研究者
J-GLOBAL ID：200901057962368050   更新日: 2026年05月07日

徳尾 健司

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

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


職名： 教授
ホームページURL (1件)： https://kenjitokuo.github.io/
研究分野 (6件)： 哲学、倫理学 ,  数理物理、物性基礎 ,  哲学、倫理学 ,  応用数学、統計数学 ,  数学基礎 ,  情報学基礎論
研究キーワード (6件)： 科学哲学 ,  分析哲学 ,  非古典論理 ,  数理論理学 ,  様相論理 ,  量子論理
競争的資金等の研究課題 (1件)：
  • 2024 - 2027 含意演算を中心とした量子論理に基づく推論および計算理論の展開
論文 (12件)：
  • Kenji Tokuo. Decidability of quantum modal logic. Logic Journal of the IGPL. 2025. 33. 3
  • Kenji Tokuo. Quantum modal logic. Logic Journal of the IGPL. 2024. 33. 3
  • Kenji Tokuo. Natural Deduction for Quantum Logic. Logica Universalis. 2022. 16. 3. 469-497
  • Kenji Tokuo. Implicational quantum logic. Axiomathes. 2022. 32. Suppl 2. 473-483
  • Kenji Tokuo. Feasible Computation Based on Quantum Logic. SN Applied Sciences. 2019. 1:1255
もっと見る
MISC (7件)：
  • Kenji Tokuo. Review of M. Korbelář, J. Paseka and T. Vetterlein's Characterisation of quadratic spaces over the Hilbert field by means of the orthogonality relation. Mathematical Reviews. 2026. MR4961408
  • Kenji Tokuo. Review of K. Emir and J. Paseka's Quantum implications in orthomodular posets. Mathematical Reviews. 2025. MR4868314
  • Kenji Tokuo. Review of N. J. Goldstein's Composite systems: uniqueness. Mathematical Reviews. 2025. MR4759711
  • Kenji Tokuo. Review of B. Lindenhovius and T. Vetterlein's A characterisation of orthomodular spaces by Sasaki maps. Mathematical Reviews. 2024. MR4557938
  • Kenji Tokuo. Review of S. Zhong's Quantum entanglement: an analysis via the orthogonality relation. Mathematical Reviews. 2024. MR4624096
もっと見る
講演・口頭発表等 (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 京都大学 高等教育研究開発推進機構 非常勤講師
所属学会 (2件)：
Association for Computing Machinery (ACM) ,  Association for Symbolic Logic (ASL)
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM