東京大学 · 総合文化研究科・教養学部 · 准教授

研究キーワードプログラミング言語・関数プログラミング・並列プログラミング・プログラム変換・プログラム合成

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

• Leveraging LLM for Detecting and Explaining LLM-generated Code in Python Programming Courses
• Lambda calculus with algebraic simplification for reduction parallelisation: Extended study.
• Dynamic Programming via Thinning and Incrementalization
• From identification of parallelizability to derivation of parallelizable codes.

• 最適化問題に対するアルゴリズムのプログラム変換による系統的な構成に関する研究
• 代数的性質と型システムに基づく自動並列化
• 大規模な実用に耐えうる双方向グラフ変換の統合的基盤技術の構築
• プロセッサ数に比例する並列速度向上を保証するＸＭＬ処理言語の研究

• 公式プロフィール