研究テーマ
- TBD
研究業績
- 井上, 崔, 西浦, 水野, "形式手法による開発において報告された問題のトピックモデルによる分析," ソフトウェアシンポジウム2024論文集, pp. 122-130, 2024年6月.
- S. Inoue, E. Choi, K. Nishiura, and O. Mizuno, "Analyzing the Inpact of Formal Methods on Isuue Trends Using Bertopic," In Proc. of 22nd International Conference on Software Engineering Research, Management and Applications (SERA2024), May 2024.
- 井上, "形式検証されたソフトウェアに対して報告された問題のトピックモデルによる傾向調査," 卒業研究報告書, 京都工芸繊維大学, 2024年2月.