京都大学 · 理学部・理学研究科 · 准教授

研究キーワードdata parallelism・parallel functional programming・game semantics・shared-variable parallelism・data-parallel query language・program transformation・type inference・separation logic

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

• Defining logical obstruction with fixpoints in epistemic logicJournal of Applied and Computational Topology,
• A Strict Functional Language with Cyclic Recursive DataFormal Aspects of Computing,
• Safe modification of pointer programs in refinement calculusMATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS,
• FLOPS 2004 会議報告コンピュータソフトウェア = Computer software,

• Study on type systems
• 組合せ位相幾何に基づく高レベル仕様からの並列・分散プログラムの生成
• 動的メソッドを扱うオブジェクト指向言語の型システム
• 形式的に検証可能なプログラム変換フレームー.クの構築

• 公式プロフィール