Institute of Science Tokyo · School of Computing · 教授

Research keywords並行計算・型式手法・情報学・計算機科学・自己反映計算・Programming・language・Distributed・プログラミング言語

Research fieldsInformatics・Software・Software・情報科学・Integrated Science and Innovative Science・Integrated Disciplines・Comprehensive Fields・Complex systems

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 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月

• Official profile
• KAKEN
• CiNii