• 小
  • 中
  • 大
ENGLISH 使い方
文献、特許、研究者などの科学技術情報サイト
詳細検索
すべて

同義語を見る(0)

専門用語を詳しく探す

シソーラスmap クリップ

ー



MyJ-GLOBALにログインしてご利用ください。
はじめての方はアカウント登録をお願いします。
MyJ-GLOBAL とは？
ログイン 新規登録
クリップ数の上限を超えました (最大クリップ数: 600)
閉じる
リセット
「検索方法」ページへ
詳細検索：
を探す
　詳細検索を行う基本情報を選んでください
フリーワード
～
構造検索
構造検索の利用方法
NEW R FG i
C N O S F Cl Br I P X
JSME Molecular Editor by Peter Ertl and Bruno Bienfait
drag out MOL or RXN file
構造ファイル取込

MOLfileがご利用頂けます。 (V3000形式はご利用頂けません）

              
詳細情報
関連リンク
探す

共著の研究者

共同発明の研究者

この研究者の研究内容に近い研究者

この研究者の研究内容に近い文献

この研究者の研究内容に近い特許

この研究者の研究内容に近い研究課題

この研究者が著者と推定される文献

この研究者が発明者と推定される特許

研究者
J-GLOBAL ID：200901057962368050   更新日: 2025年02月24日

徳尾 健司

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

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


職名： 教授
ホームページURL (1件)： http://onct.oita-ct.ac.jp/seigyo/tokuo_hp/
研究分野 (6件)： 哲学、倫理学 ,  数理物理、物性基礎 ,  哲学、倫理学 ,  応用数学、統計数学 ,  数学基礎 ,  情報学基礎論
研究キーワード (6件)： 科学哲学 ,  分析哲学 ,  非古典論理 ,  数理論理学 ,  様相論理 ,  量子論理
競争的資金等の研究課題 (1件)：
  • 2024 - 2027 含意演算を中心とした量子論理に基づく推論および計算理論の展開
論文 (12件)：
  • Kenji Tokuo. Decidability of quantum modal logic. Logic Journal of the IGPL. 2025. to appear
  • Kenji Tokuo. Quantum modal logic. Logic Journal of the IGPL. 2024
  • 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 (4件)：
  • 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
  • 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 京都大学 高等教育研究開発推進機構 非常勤講師
所属学会 (2件)：
Association for Symbolic Logic (ASL) ,  Association for Computing Machinery (ACM)
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM