芝浦工業大学 · システム理工学部 情報課程 ソフトウェアコース · 准教授

研究关键词versioned programming languages・persistent objects・distributed reactive programming・retroactive computation・functional programming languages・signal networks・time-varying values・compilation semantics

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

• Evolution Language Framework for Persistent Objects.2025 · Art Sci. Eng. Program.
• Consistent Distributed Reactive Programming with Retroactive Computation.2025 · CoRR
• Consistent Distributed Reactive Programming with Retroactive Computation.2025 · Art Sci. Eng. Program.
• Evolution Language Framework for Persistent Objects.2025 · CoRR

• 高い抽象度レベルを持つ宣言的分散プログラミング言語の実現と高度化2024 · 科学研究費助成事業
• プログラムの動的更新のための多版ワークフロープログラミング言語の設計と実現2024 · 科学研究費助成事業
• 版情報を取り込んだプログラミング言語の研究2019 · 科学研究費助成事業
• 文脈の変化に応じて離散的に振舞いを変えるソフトウェアのためのプログラミング言語2016 · 科学研究費助成事業

• 官方个人主页