東京電機大学 · 理工学部 / 理工学研究科

研究キーワードプログラミング言語・Programming language logic semantics types・意味論・論理学・ラムダ計算・型理論・カリー・ハワード同型・T-代数

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

• A category-like structure of reduction paths for parallel reduction
• Simple Models of Type Free λ µ-Calculus.
• Continuation Semantics and CPS-Translation of lambda-mu-Calculus
• 類似性に基づく証明

• 2025/04/01 ～ 2029/03/31 カリー・ハワード同型の深化による証明と計算の解析 基盤研究(C)2025 · 研究課題・受託研究・科研費
• 2023/04 ～ 2027/03 直観主義論理の推論に関する代数的特徴付けの精密化 基盤研究(C)2023 · 研究課題・受託研究・科研費
• 2020/04/01 ～ 2025/03/31 ゲーデルのシステムTと計算量的階層に関する研究 基盤研究(C)2020 · 研究課題・受託研究・科研費
• 2017/04/01 ～ 2021/03/31 簡約システムの存在定理に関する定量的性質の解明 基盤研究(C)2017 · 研究課題・受託研究・科研費

• 公式プロフィール