研究業績
- 井上 蒼士, 西浦 生成, 水野 修, "コミット自動分類に基づく形式検証プロジェクトの開発プロセス分析", 第33回ソフトウェア工学の基礎ワークショップ(FOSE2026), toappear.
- Soshi Inoue, "Towards Characterizing Commit Patterns in Formally Verified Open-Source Projects Using LLM-based Classification", Proc. of 27th International Symposium on Formal Methods (FM 2026), Doctoral Symposium, 2026.
- 井上 蒼士, "LLM によるコミット自動分類に基づいた 開発プロセスへの形式手法適用効果の分析", 修士学位論文, 京都工芸繊維大学 大学院工芸科学研究科, 2026.
- 井上 蒼士, 西浦 生成, 水野 修, "[優秀発表賞] 大規模言語モデルを用いたGit コミットメッセージ自動生成の評価の試み", 第32回ソフトウェア工学の基礎ワークショップ(FOSE2025), 2025.
- 井上 蒼士, 西浦 生成, 水野 修, "大規模言語モデルを用いたGit コミットメッセージ自動生成の評価の試み", 第32回ソフトウェア工学の基礎ワークショップ(FOSE2025), 227−228, 2025.