主な研究実績

• 自然言語処理モデルBERTを用いたNuSMVの検証結果予測と反例生成：真偽判定の再現実験による評価と構文解析情報に基づく生成モデルの構築
  大野 亮祐，小形 優人，張江 洋次朗
  Cross-Sectoral Information Exchange in the ICT Field Toward Sustainable and Smart Society (X-ICT2S3) 2026 Winter: Symposium and Workshop 査読有り

• 自然言語処理モデルを利用したソフトウェア検証分野における反例予測
  大野 亮祐，張江 洋次朗
  FIT2024（第23回情報科学技術フォーラム） 選奨セッション

受賞

• 2026年: 金沢学院大学 学長褒賞2件（学業成績優秀者，課外活動優秀者）

• 2026年: Cross-Sectoral Information Exchange in the ICT Field Toward Sustainable and Smart Society (X-ICT2S3) 2026 Winter: Symposium and Workshop Best Conversant Award

資格

• 情報処理推進機構 基本情報技術者
• 情報処理推進機構 情報セキュリティマネジメント