博士論文
- 2026
-
- 星野 恵佑
- A Homotopy Theory of Algebraic Higher Categories
- 2025
-
- 小島 良太
- Coalgebraic CTL: Fixpoint Characterization and Polynomial-time Model Checking
- 2024
-
- 眞田 嵩大
- Algebraic effects and handlers for arrows
- 中田 哲
- Local operators in topos theory and separation of semi-classical axioms in intuitionistic arithmetic
- 2023
-
- 冨田 悠
- Planar Realizability via Left and Right Applications
- 2022
-
- 南 規楽
- Trace Equivalence and Epistemic Logic to Express Security Properties
- 2021
-
- 荒武 永史
- Sheaves of Structures, Heyting-Valued Structures, and a Generalization of Łoś's Theorem
- 吹原 耀司
- Generalization of Bounded Linear Logic and its Categorical Semantics
- 今村 拓万
- A nonstandard invariant of coarse spaces
- 2018
-
- 滝坂 透
- Large Scale Geometries of Infinite Strings
- 2017
-
- 本浦 庄太
- A General Framework for Dynamic Epistemic Logic
- 松本 慧
- Coherence Spaces and Uniform Continuity
- 2015
-
- 佐藤 哲也
- Identifying All Preorders on the Subdistribution Monad
- 2011
-
- 星野 直彦
- A modified GoI interpretation for a linear functional programming language and its adequacy
- 2010
-
- 宮部 賢志
- An extension of van Lambalgen's Theorem to infinitely many relative 1-random reals
- 2009
-
- 浅田 和之
- Extensional universal types for call-by-value
- 2007
-
- 中田 景子
- 作用的ファンクタとパスを用いての再帰的参照機構を持つモジュールシステム
- 2006
-
- 中野 圭介
- ストリーム処理器の自動導出によるXML変換言語の実装法
- 2003
-
- 角谷 良彦
- Duality between Call-by-Name Recursion and Call-by-Value Iteration
- 1999
-
- 田辺 誠
- Timed Petri Nets and Temporal Linear Logic
- 橋本 政朋
- First-Class Contexts in ML
- 1997
-
- 南出 靖彦
- Full Lifting of Type Parameters
- 1996
-
- 香川 考司
- Mutable Data Structure and Composable References
in a Pure Functional Language
- 西村 進
- 循環構造を持つ再帰的データのためのストリクトな関数型言語
- 1993年
-
- 服部 隆志
- 優先度付制約論理型プログラミング
Research Institute for Mathematical Sciences, Kyoto University,
606-8502 Japan.