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

研究キーワード並行計算・型式手法・情報学・計算機科学・自己反映計算・Programming・language・Distributed・プログラミング言語

研究分野情報学・ソフトウェア・ソフトウエア・情報科学・総合・新領域系・総合系・総合領域・複合領域

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

• Multi-Mode Debugging for FRP-Based Embedded Systems2026 · Proceedings of 4th ACM International Workshop on Future Debugging Techniques (DEBT ’26) (to appear) 2026年6月
• Unification Modulo Isomorphisms between Dependent Types for Type-based Library Search2025 · Proceedings of the 10th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe '25) 15 - 25 2025年10月
• Formalization of Coverage Checking in Agda2025 · Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2025) 33 - 49 2026年4月
• Co-operative JIT Compilation for Resource-Constrained Low-Power Coprocessors2025 · Proceedings of the 22nd ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes (MPLR ’25) 57 - 70 2025年10月

• 時間を一級データとするFRP言語とそれによる実時間CPS開発支援2024 · 研究課題/領域番号： 24K14892 2024年4月 - 2027年3月
• アクターモデルとFRPの融合による高効率・高信頼CPS開発支援2021 · 研究課題/領域番号： 21K11822 2021年4月 - 2024年3月
• アクターモデルと関数リアクティブプログラミングの融合による組込みシステム開発支援2018 · 研究課題/領域番号： 18K11236 2018年4月 - 2021年3月
• 連続・離散ハイブリッド領域のための区間制約プログラミング技術2015 · 研究課題/領域番号： 15K15968 2015年4月 - 2018年3月

• 公式プロフィール
• KAKEN
• CiNii