Rchr
J-GLOBAL ID:201801009508866181
Update date: Sep. 27, 2021
Nishimuta Yuki
ニシムタ ユウキ | Nishimuta Yuki
Homepage URL (1):
https://incognito0.hatenablog.com/archive
Research field (4):
Philosophy and ethics
, Information theory
, Applied mathematics and statistics
, Basic mathematics
Research keywords (8):
論理学史
, Type theory
, Mathematical Logic
, Category Theory
, Proof Theory
, Lambda Calculus
, Logical Connectives
, Linear Logic
Papers (3):
-
西牟田 祐樹. 乗法的論理結合子の一般化と証明網について. 哲學. 2018. 141. 29-51
-
Yuki Nishimuta. Categorical theory of computation: 2-categorical logic, lambda calculus and term rewriting system. 2015
-
西牟田 祐樹. ルディクスに対する構文論的考察. 京都大学解析研究所講究録. No. 2083. 38-45
MISC (3):
-
Yuki Nishimuta. Deducibility of Identicals, Reflection Principle and Synthetic Connectives. 2019
-
Yuki Nishimuta. Three Topics in Non-decomposability of Generalized Multiplicative Connectives. 2018
-
Yuki Nishimuta, Mitsuhiro Okada. A Note on Switching Conditions for the Generalized Logical Connectives in Multiplicative Linear Logic. 2018
Lectures and oral presentations (17):
-
セキュリティ・プロトコル検証に応用可能である分解不可能な論理結合子について
(科学哲学会 2018)
-
反映原理を用いた統合的論理結合子の特徴づけ
(科学基礎論学会 2018)
-
Girard’s Proof of Takeuti’s Conjecture
(2018)
-
Short History of Semantic Proofs for Takeuti’s Conjecture
(2018)
-
Relationship between Switchings and Introduction rules of Multiplicative Connectives
(Second Workshop on Mathematical Logic and its application 2018)
more...
Education (3):
- 2015 - 2018 慶應義塾大学後期博士課程 文学研究科 哲学・倫理学専攻
- 2013 - 2015 慶應義塾大学前期博士課程 文学研究科 哲学・倫理学専攻
- 2009 - 2013 Sophia University Faculty of Humanities Department of Philosophy
Work history (1):
- 2018/04 - 2019/03 Keio University
Return to Previous Page