Rchr
J-GLOBAL ID：200901002041763958
Update date: Jul. 27, 2023
Kurata Toshihiko
クラタ トシヒコ | Kurata Toshihiko
Affiliation and department：
Job title：
Professor
Research field (4)：
Basic mathematics
, Mathematical analysis
, Information theory
, Information theory
Papers (20)：
-
Toshihiko Kurata and Ken-etsu Fujita. A remark on latttice models of second-order intuitionistic propositional logic. 2022. 2228. 206-214
-
Ken-etsu Fujita and Toshihiko Kurata. A general form on the logic puzzles of Boolos. 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
ｍore...
Books (1)：
-
Proof theoretical study of the structure of logic and computation
京都大学数理解析研究所 2009
Lectures and oral presentations (40)：
-
Boolos' "The Hardest Logic Puzzle Ever" and coinduction
(2023)
-
Spectral Spaces for Models of Intuitionistic Logic
(2022)
-
A general form on the logic puzzle of Boolos
(2022)
-
Spectral Spaces for Models of Intuitionistic Logic
(2021)
-
On formalization of logic puzzles a la George Boolos
(2021)
ｍore...
Education (1)：
- - 1997 Tokyo Institute of Technology 情報理工学 数理・計算科学
Professional career (1)：
Committee career (2)：
- 2013/07 - 2015/06 日本数学会 分科会運営委員・雑誌数学常任編集委員
- 2009/04 - 2012/03 日本数学会 分科会運営委員
Association Membership(s) (2)：
日本数学会
, European association for theoretical computer science
