M: 井上 蒼士

研究テーマ

  • TBD

研究業績

  • 井上, "形式検証されたソフトウェアに対して報告された問題のトピックモデルによる傾向調査," 卒業研究報告書, 京都工芸繊維大学, 2024年2月.