京都大学 · 情報学研究科

研究キーワードtype systems・program verification・refinement types・session types・smart contracts・quantum programming

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

• Ownership Refinement Types for Pointer Arithmetic and Nested Arrays2026 · Proceedings of ECOOP 2026,
• Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types2026 · Proceedings of ECOOP 2026,
• Contextual Metaprogramming for Session Types2026 · Programming Languages and Systems - 35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part I.,
• Contextual Metaprogramming for Session Types2025 · 第27回プログラミングおよびプログラミング言語ワークショップ(PPL2025)論文集,

• 公式プロフィール