研究業績
- 井上 蒼士, "LLM によるコミット自動分類に基づいた 開発プロセスへの形式手法適用効果の分析", 修士学位論文, 京都工芸繊維大学 大学院工芸科学研究科, 2026.
- 井上 蒼士, 西浦 生成, 水野 修, "[優秀発表賞] 大規模言語モデルを用いたGit コミットメッセージ自動生成の評価の試み", 第32回ソフトウェア工学の基礎ワークショップ(FOSE2025), 2025.
- 井上 蒼士, 西浦 生成, 水野 修, "大規模言語モデルを用いたGit コミットメッセージ自動生成の評価の試み", 第32回ソフトウェア工学の基礎ワークショップ(FOSE2025), 227−228, 2025.
- 井上 蒼士, 崔 恩瀞, 西浦 生成, 水野 修, "形式手法による開発において報告された問題のトピックモデルによる分析", ソフトウェア・シンポジウム2024論文集, 122-130, 2024.
- Soshi Inoue, Eunjong Choi, Kinari Nishiura, and Osamu Mizuno, "Analyzing the Impact of Formal Methods on Isuue Trends Using BERTopic", Proc. of 22nd International Conference on Software Engineering Research, Management and Applications (SERA2024), 2024.