Publications
You can also find my articles on my Google Scholar profile.
Journal Papers
- 田中 英武,井垣 宏,嶋利 一真,福安 直樹,松本 健一,”シナリオを活用した多様なプログラミング演習問題自動生成手法の提案”,情報処理学会論文誌,Vol.66, No.4, pp.687-700, Apr. 2025.
International Conferences (Peer-reviewed)
- Sien Reeve O. Peralta, Fumika Hoshi, Hironori Washizaki, Naoyasu Ubayashi, Inase Kondo, Yoshiki Higo, Hiroki Mukai, Norihiro Yoshida, Kazuki Kusama, Hidetake Tanaka, Youmei Fan, “Why Are Agentic Pull Requests Merged or Rejected? An Empirical Study,” 23nd International Conference on Mining Software Repositories, 2026. (Accepted)
- Hidetake Tanaka, Haruto Tanaka, Kazumasa Shimari, Kenichi Matsumoto, “Understanding the Characteristics of LLM-Generated Property-Based Tests in Exploring Edge Cases,” 2nd IEEE/ACM International Conference on AI-powered Software (AIware 2025), pp.11-18, Nov. 2025.
- Hidetake Tanaka, Kazuma Yamasaki, Momoka Hirose, Takashi Nakano, Youmei Fan, Kazumasa Shimari, Raula Gaikovina Kula, Kenichi Matsumoto, “Mining for Lags in Updating Critical Security Threats: A Case Study of Log4j Library,” 22nd International Conference on Mining Software Repositories, pp.319-323, Apr. 2025.
International Workshops
- Hidetake Tanaka, Hiroshi Igaki, Kazumasa Shimari, Naoki Fukuyasu, Kenichi Matsumoto, “Scenario-Based Automatic Generation Method for Diverse Programming Exercises,” The 1st International Workshop on Intertwining Research & Education on Software (WIREDS 2024), Poster, Dec. 2024.
Domestic Conferences (Peer-reviewed)
- 田中 英武,井垣 宏,嶋利 一真,福安 直樹,松本 健一,”シナリオの導入による多様なプログラミング演習問題の自動生成手法の検討”,ソフトウェアエンジニアリングシンポジウム2024論文集,Vol.2024, pp.222-231,Oct. 2024.
- 前田悠翔,田中 英武,井垣 宏,福安 直樹,多様な問題パターンおよび難易度を考慮した言語系生成AIによるプログラミング演習問題自動生成手法の検討,実践的IT教育シンポジウムrePiT論文集,Vol. 2024, pp. 88–99, Mar. 2024.
Domestic Workshops and Annual Conferences
- Hidetake Tanaka, Haruto Tanaka, Kazumasa Shimari, Kenichi Matsumoto, “Detecting Edge Cases in LLM-Generated Code,” AI-Driven Software Engineering Summit for Fostering Next-Generation Researchers, Poster, Dec. 2025.
- 田中 英武,田中 温人,嶋利 一真,松本 健一,”LLMを用いたProperty-based Testingによるコード生成手法の提案”,情報処理学会研究報告, vol.2025-SE-220, no.18, pp.1-8,Jul. 2025.
- 田中 英武,田中 温人,嶋利 一真,松本 健一,“LLMを用いたProperty-based Testingによる高精度なコード生成手法の検討”,第18回ソフトウェア信頼性研究会ワークショップ/第10回ソフトウェア情報学研究会/第6回次世代ソフトウェアエコシステムワークショップ,Mar. 2025.
- 田中 英武,前田 悠翔,井垣 宏,”Few-Shot Promptingを用いた言語系生成AIによるプログラミング演習問題の自動生成手法の検討”,日本ソフトウェア科学会第40回大会講演論文集,Sep. 2023.
Awards
- 田中 英武,前田 悠翔,井垣 宏,”学生奨励賞:Few-Shot Promptingを用いた言語系生成AIによるプログラミング演習問題の自動生成手法の検討”,日本ソフトウェア科学会第40回大会講演論文集,Sep. 2023.
Books
- 金谷 重彦,平尾 俊貴,小笠原 司,松本 健一,嶋利 一真,工藤 拓斗,田中 英武,山﨑 和真,張 凡,”奈良先端科学技術大学院大学NAIST STELLAプログラム運営委員会高校生のデータサイエンス・Pythonでも77本ノック : NAIST STELLAプログラム”「共創」が育む主体性の未来” 学習教材”,国立大学法人奈良先端科学技術大学院大学,(2024.10)
- 張 凡,今西 温輝,金谷 重彦,松本 健一, 平尾 俊貴,嶋利 一真,工藤 拓斗,田中 英武,山﨑 和真,德永 眞一郎,三宅 雅人,小笠原 司,奈良先端科学技術大学院大学NAIST STELLAプログラム運営委員会,”データサイエンスで考える理数探究基礎「未来に向かって」Python版”,国立大学法人奈良先端科学技術大学院大学,(2024.10)
Research Grants
- Nara Institute of Science and Technology, Support Project for Innovative Doctoral Students in the Field of Next-generation AI (NAIST Granite-AI, Supported by JST BOOST), 2025.10 - 2028.09.
