研究者
J-GLOBAL ID：200901057962368050   更新日: 2022年12月20日

徳尾 健司

TOKUO Kenji
所属機関・部署：
大分工業高等専門学校 情報工学科

大分工業高等専門学校 情報工学科 について


職名： 教授
ホームページURL (1件)： http://onct.oita-ct.ac.jp/seigyo/tokuo_hp/
研究分野 (6件)： 哲学、倫理学 ,  数理物理、物性基礎 ,  哲学、倫理学 ,  応用数学、統計数学 ,  数学基礎 ,  情報学基礎論
研究キーワード (6件)： 科学哲学 ,  分析哲学 ,  非古典論理 ,  数理論理学 ,  様相論理 ,  量子論理
論文 (10件)：
もっと見る
講演・口頭発表等 (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の登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM