Kyoto University · Faculty of Science / Graduate School of Science · 准教授

Research keywordsdata parallelism・parallel functional programming・game semantics・shared-variable parallelism・data-parallel query language・program transformation・type inference・separation logic

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

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

• Official profile