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

研究キーワードmulti-version programming・software evolution・gradual typing・compilation semantics・dynamic version checking・Python runtime systems

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

• Multi-Version Objects: Mediating Object Access in Mixed-Version Programs for Python2026 · The 28th JSSST Workshop on Programming and Programming Languages (PPL2026), Category 1 2026年3月
• Dynamic Version Checking for Gradual Updating2025 · Journal of Information Processing 33 471 - 486 2025年
• An Efficient Execution Mechanism on a GPU for Fine-Grained Parallel Programs With the Fork-Join Model2025 · Journal of Information Processing 33 840 - 851 2025年10月
• Language-Level Support for Multiple Versions for Software Evolution2025 · The 24th Belgium-Netherlands Software Evolution Workshop (BENEVOL2025), Summary of Highlights and Outstanding Work (SHOW) Track 2025年11月

• 高信頼ソフトウェアコード生成システムのためのプログラミング言語基盤2026 · 研究課題/領域番号： 26H02493 2026年4月 - 2030年3月
• 互換性指向プログラム解析による漸進的・対話的なプログラム更新支援2025 · 研究課題/領域番号： 25K21178 2025年4月 - 2028年3月
• 言語処理系フレームワークによる性能と開発効率を両立させる言語基盤の創出2023 · 研究課題/領域番号： 23K28058 2023年4月 - 2028年3月
• バージョンを言語要素に持つプログラミング言語の開発2023 · 研究課題/領域番号： 22KJ1313 2023年3月 - 2024年3月

• 公式プロフィール