明治大学 · 理工学研究科/理工学部 · 専任教授

研究关键词JavaScript virtual machines・domain-specific languages・graph processing・floating-point optimization・programming learning environments・adaptive journaling file systems

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

以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。

• Integrating Static Optimization and Dynamic Nature in JavaScript2025 · Proc. 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2025) 41 - 53 2025年7月
• メタヒューリスティクスの適用を効率的に記述するドメイン特化言語2024 · コンピュータソフトウェア 41 ( 2 ) 80 - 95 2024年5月
• Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers2024 · Proc. ACM SIGPLAN Haskell Symposium 2024 (Haskell 2024) 83 - 96 2024年9月
• Haskell Library for Safer Virtual Machine Introspection (Experience Report)2023 · Proc. ACM SIGPLAN Haskell Symposium 2023 (Haskell 2023) 89 - 96 2023年9月

• システムソフトウェアのための安全性と記述性に優れた領域特化言語とその構成法2023 · 研究課題/領域番号： 23K11055 2023年4月 - 2026年3月
• 大規模グラフを対象とする並列分散処理プログラムのプログラム変換技法に基づく開発手法の確立2019 · 2019年4月 - 2021年3月
• IoTデバイス向けの軽量でモジュラーなJavaScript処理系2016 · 研究課題/領域番号： 16K00103 2016年4月 - 2019年3月
• 大規模グラフ並列処理のための代数的構造に基づく理論基盤とプログラム開発基盤の構築2014 · 2014年4月 - 2018年3月

• 官方个人主页
• KAKEN
• CiNii