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

研究キーワード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