Meiji University · Graduate School of Science and Engineering / Faculty of Science and Engineering · 専任教授

Research keywordsJavaScript virtual machines・domain-specific languages・graph processing・floating-point optimization・programming learning environments・adaptive journaling file systems

Research fieldsInformatics・Software・Software・Engineering・情報工学・情報科学・Integrated Science and Innovative Science・Integrated Disciplines

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

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

• Official profile
• KAKEN
• CiNii