芝浦工業大学 · システム理工学部 情報課程 ソフトウェアコース · 教授

研究キーワードdrone programming・digital twins・automatic program repair・UML verification・tangible programming・autonomous robot testing

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• Automatic Program Repair Using Large Language Models in Model-Based Development2026 · The International Conference on Model-Based Software and Systems Engineering (MODELSWARD 2026),
• Automatic Program Repair Using Large Language Models in Model-Based Development2026
• Verification Method of UML Diagrams Using Large Language Models2026 · he IEEE Global Engineering Education Conference (EDUCON 2026)
• A Behavior-Centric Programming Framework for Drone Systems with Digital Twin Backends2026 · The 10th International Conference on the Art, Science, and Engineering of Programming (Programming 2026)

• ロボット運用環境のシナリオベースシミュレーションの体系化に関する研究2023 · 科学研究費助成事業
• Concept Design and Implementation of Personalized Triage to Reduce Healthcare Data Errors in Human Assisted Remote Healthcare Systems2018 · 科学研究費助成事業 基盤研究(C)
• Robot Operating System向け文脈指向言語基盤と方法論2017 · 科学研究費助成事業 基盤研究(C)
• 情報科学の基礎概念理解向け“万人のための情報学”指向なIoT学習パッケージの開発2016 · 科学研究費助成事業 基盤研究(B)

• 公式プロフィール
• ORCID