東京科学大学 · 情報理工学院 · 助教

研究キーワード型システム・継続・計算効果・プログラミング言語・プログラミング教育

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

• コレオグラフィックプログラミングのエフェクトおよびコエフェクトを用いた形式化2026 · 情報処理学会論文誌 プログラミング 2026年5月
• Students' Understanding of (Delimited) Continuations2026 · Proceedings of the 57th ACM Technical Symposium on Computer Science Education (SIGCSE TS 2026) 2026年2月
• An Interactive Learning Environment for Program Design2025 · Proceedings of the 2025 ACM SIGPLAN International Symposium on SPLASH-E 2025年10月
• Continuations for All: Language Design Considerations for Accessible Continuations2025 · Proceedings of the 2025 ACM SIGPLAN International Symposium on SPLASH-E 2025年10月

• 高度な制御機構の基礎理論の確立 - その安全で効率的な実装に向けて2025 · 研究課題/領域番号： 25K14986 2025年4月 - 2029年3月
• 言語処理系フレームワークによる性能と開発効率を両立させる言語基盤の創出2024 · 研究課題/領域番号： 23K28058 2024年4月 - 2028年3月
• 型理論に基づく音楽自動生成ツールの開発2021 · 2021年10月 - 2024年3月
• 信頼性と表現力を兼ね備えたプログラミング言語の実装2019 · 研究課題/領域番号： 19K24339 2019年10月 - 2021年3月

• 公式プロフィール