研究者
J-GLOBAL ID：200901002041763958
更新日: 2023年07月27日
倉田 俊彦
クラタ トシヒコ | Kurata Toshihiko
所属機関・部署：
職名：
教授
研究分野 (4件)：
数学基礎
, 数理解析学
, 情報学基礎論
, 情報学基礎論
論文 (20件)：
-
A remark on latttice models of second-order intuitionistic propositional logic. 京都大学数理解析研究所講究録, Theory and Applications of Proof and Computation. 2022. 2228. 206-214
-
A general form on the logic puzzles of Boolos. 京都大学数理解析研究所講究録, Logic,Algebra system, Language and Related Areas in Computer Science. 2022. 2229. 21-29
-
Neighbourhood and lattice models of second-order intuitionistic propositional logic. Fundamenta Informaticae. 2019. 170. 1-3. 223-240
-
倉田俊彦. Distributive concrete domains and sheaves on DI-domains. 京都大学数理解析研究所講究録. 2018. 1635. 137-146
-
倉田俊彦. On Sheaves Categorically Equivalent to Distributive Concrete Domains. 京都大学数理解析研究所講究録. 2015. 1950. 12-27
もっと見る
書籍 (1件)：
-
RIMS講究録1635:証明論と論理・計算の構造
京都大学数理解析研究所 2009
講演・口頭発表等 (40件)：
-
Boolos' "The Hardest Logic Puzzle Ever" and coinduction
(京都大学数理解析研究所RIMS共同研究(公開型)「群・環・言語と計算機科学の周辺領域」 2023)
-
Spectral Spaces for Models of Intuitionistic Logic
(日本数学会2022年度年会 2022)
-
A general form on the logic puzzle of Boolos
(京都大学数理解析研究所RIMS研究集会(公開型)「論理・代数系・言語と計算機科学の周辺領域」 2022)
-
Spectral Spaces for Models of Intuitionistic Logic
(京都大学数理解析研究所RIMS研究集会(公開型)「証明論と計算の理論と応用」 2021)
-
On formalization of logic puzzles a la George Boolos
(日本数学会日本数学会2021年度秋季総合分科会 2021)
もっと見る
学歴 (1件)：
- - 1997 東京工業大学 情報理工学 数理・計算科学
学位 (1件)：
委員歴 (2件)：
- 2013/07 - 2015/06 日本数学会 分科会運営委員・雑誌数学常任編集委員
- 2009/04 - 2012/03 日本数学会 分科会運営委員
所属学会 (2件)：
日本数学会
, European association for theoretical computer science
