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

研究キーワード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 · 科学研究費助成事業

• 公式プロフィール