研究者
J-GLOBAL ID:200901057962368050   更新日: 2024年03月01日

徳尾 健司

TOKUO Kenji
所属機関・部署:
職名: 教授
ホームページURL (1件): http://onct.oita-ct.ac.jp/seigyo/tokuo_hp/
研究分野 (6件): 哲学、倫理学 ,  数理物理、物性基礎 ,  哲学、倫理学 ,  応用数学、統計数学 ,  数学基礎 ,  情報学基礎論
研究キーワード (6件): 科学哲学 ,  分析哲学 ,  非古典論理 ,  数理論理学 ,  様相論理 ,  量子論理
競争的資金等の研究課題 (1件):
  • 2024 - 2027 含意演算を中心とした量子論理に基づく推論および計算理論の展開
論文 (10件):
もっと見る
MISC (3件):
  • Kenji Tokuo. Review of S. Zhong's Quantum entanglement: an analysis via the orthogonality relation. Mathematical Reviews. 2024. MR4624096
  • Kenji Tokuo. Review of I. Chajda and H. Länger's Tense logic based on finite orthomodular posets. Mathematical Reviews. 2023. MR4572237
  • Kenji Tokuo. Review of D. Fazio, A. Ledda and F. Paoli's On Finch's conditions for the completion of orthomodular posets. Mathematical Reviews. 2023. MR4544240
講演・口頭発表等 (1件):
  • Natural Deduction for Quantum Logic
    (Logica Universalis Webinar 2022 (LUW 2022) 2022)
学歴 (4件):
  • 2001 - 2003 京都大学 大学院人間・環境学研究科 人間・環境学専攻 (環境情報認知論講座)
  • 2000 - 2001 京都大学 大学院人間・環境学研究科 文化・地域環境学専攻 (環境保全発展論講座)
  • 1998 - 2000 京都大学 大学院人間・環境学研究科 文化・地域環境学専攻 (環境保全発展論講座)
  • 1994 - 1998 京都大学 理学部 数理科学系
学位 (1件):
  • 博士 (人間・環境学) (京都大学)
経歴 (5件):
  • 2021/04 - 現在 大分工業高等専門学校 情報工学科 教授
  • 2012/04 - 2021/03 大分工業高等専門学校 情報工学科 准教授
  • 2009/04 - 2012/03 大分工業高等専門学校 制御情報工学科 准教授
  • 2007/04 - 2009/03 大分工業高等専門学校 制御情報工学科 講師
  • 2003/04 - 2007/03 京都大学 高等教育研究開発推進機構 非常勤講師
所属学会 (1件):
Association for Symbolic Logic
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る