研究者
J-GLOBAL ID:201801009508866181
更新日: 2021年09月27日
西牟田 祐樹
ニシムタ ユウキ | Nishimuta Yuki
ホームページURL (1件):
https://incognito0.hatenablog.com/archive
研究分野 (4件):
哲学、倫理学
, 情報学基礎論
, 応用数学、統計数学
, 数学基礎
研究キーワード (8件):
論理学史
, 型理論
, 数理論理学
, 圏論
, 証明論
, ラムダ計算
, 論理結合子
, 線形論理
論文 (3件):
西牟田 祐樹. 乗法的論理結合子の一般化と証明網について. 哲學. 2018. 141. 29-51
西牟田 祐樹. 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
講演・口頭発表等 (17件):
セキュリティ・プロトコル検証に応用可能である分解不可能な論理結合子について
(科学哲学会 2018)
反映原理を用いた統合的論理結合子の特徴づけ
(科学基礎論学会 2018)
Girard’s Proof of Takeuti’s Conjecture
(手形L4研究集会 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)
もっと見る
学歴 (3件):
2015 - 2018 慶應義塾大学後期博士課程 文学研究科 哲学・倫理学専攻
2013 - 2015 慶應義塾大学前期博士課程 文学研究科 哲学・倫理学専攻
2009 - 2013 上智大学 文学部 哲学科
経歴 (1件):
2018/04 - 2019/03 慶應義塾大学 文学研究科 助教(有期・研究奨励)
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM