Rchr
J-GLOBAL ID:201101004375319880   Update date: Sep. 28, 2022

KOMORI YUICHI

KOMORI YUICHI
Homepage URL  (1): http://komoriyuichi.web.fc2.com/
Research field  (7): Algebra ,  Applied mathematics and statistics ,  Basic mathematics ,  Applied mathematics and statistics ,  Basic mathematics ,  Algebra ,  Information theory
Research keywords  (51): 極小論理式 ,  文脈 ,  有限モデル性 ,  明示的代入 ,  直観主義的様相論理 ,  意味論 ,  自然演繹体系 ,  カット除去定理 ,  線型論理 ,  モデル ,  認識論理 ,  証明システム ,  ファジィ理論 ,  チャーチ ,  束縛変数 ,  P=NP問題 ,  項書換え系 ,  多値論理 ,  代入操作 ,  α変換 ,  強制規化 ,  カット除去 ,  ラッセルの逆理 ,  様相論理 ,  線形論理 ,  Curry-Howard対応 ,  正規化 ,  様相部分構造命題論理 ,  型としての論理式 ,  クリプキ完全性 ,  普遍代数 ,  部分構造理論 ,  ω-無矛盾性 ,  知識の論理 ,  ファジー論理 ,  数理論理学 ,  強正規化 ,  クリプキ・フレ-ム ,  集合論 ,  カテゴリ理論 ,  curry-Haward ,  構成的論理 ,  非標準論理 ,  適切さの論理 ,  クリプキ意味論 ,  直観主義論理 ,  BCK論理 ,  型理論 ,  古典論理 ,  部分構造論理 ,  ラムダ計算
Papers (6):
MISC (21):
  • Ken-etsu Fujita, Ryo Kashima, Yuichi Komori, Naosuke Matsuda. Reduction Rules for Intuitionistic lambda rho-calculus. STUDIA LOGICA. 2015. 103. 6. 1225-1244
  • Yamakawa Fumika, Komori Yuichi. An extension to predicate logic of $\lambda\rho$-calculus (Logics, Algebras and Languages in Computer Science). RIMS Kokyuroku. 2014. 1915. 1-10
  • 山川 郁加, 古森 雄一. ラムダ計算と組み合わせ論理の体系C$\lambda$$I_\lambda$ (証明論と複雑性). 数理解析研究所講究録. 2013. 1832. 135-138
  • 山川 郁加, 古森 雄一. ラムダ計算と組み合わせ論理の体系C$lambda$$I_lambda$ (証明論と複雑性). 数理解析研究所講究録. 2013. 1832. 135-138
  • 古森雄一. 汎用システムとしての「ラムダ計算+論理」(算術体系の証明論). 数理解析研究所講究録. 2007. 1533. 39-48
more...
Books (12):
  • 現代数理論理学序説
    日本評論社 2010 ISBN:9784535785564
  • チャーチのラムダ計算のBCK論理による再生
    [千葉大学] 2007
  • 部分構造論理の研究
    [千葉大学] 2000
  • Non-classical logics and their Kripke semantics
    京都大学数理解析研究所 1995
  • Algebraic theory of codes and combinatorics on words
    京都大学数理解析研究所 1992
more...
Professional career (1):
  • Doctor of Science
Work history (5):
  • 2013/04 - 現在 Chiba University
  • 2012/04 - 2013/03 Chiba University
  • 2001/04 - 2012/03 千葉大学 総合メディア基盤センター 教授
  • 1996/10 - 2001/03 Chiba University Faculty of Science
  • 1991/04 - 1996/09 Shizuoka University Faculty of Science
Association Membership(s) (2):
Association for Symbolic Logic ,  日本数学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page