研究業績
- 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.
- 井上 蒼士, 崔 恩瀞, 西浦 生成, 水野 修, "形式手法による開発において報告された問題のトピックモデルによる分析", ソフトウェア・シンポジウム2024論文集, 122-130, 2024.