Shibaura Institute of Technology · Faculty of Science and Engineering, Information Program, Software Course · 准教授

Research keywordsversioned programming languages・persistent objects・distributed reactive programming・retroactive computation・functional programming languages・signal networks・time-varying values・compilation semantics

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

• 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 · 科学研究費助成事業

• Official profile