徳尾健司

J-GLOBALへ         更新日: 16/10/03 06:50
 
アバター
研究者氏名
徳尾健司
 
トクオケンジ
eメール
tokuooita-ct.ac.jp
URL
http://www.oita-ct.ac.jp/seigyo/tokuo_hp/index.html
所属
大分工業高等専門学校
部署
情報工学科
職名
准教授
学位
博士(人間・環境学)(京都大学)

研究分野

 
 

経歴

 
2012年4月
 - 
現在
大分工業高等専門学校 情報工学科 准教授
 
2009年4月
 - 
2012年3月
大分工業高等専門学校 制御情報工学科 准教授
 
2007年4月
 - 
2009年3月
大分工業高等専門学校 制御情報工学科 講師
 
2003年4月
 - 
2007年3月
京都大学 高等教育研究開発推進機構 非常勤講師
 

学歴

 
1998年4月
 - 
2003年3月
京都大学 大学院人間・環境学研究科 
 
1994年4月
 - 
1998年3月
京都大学 理学部 (数学専攻)
 

論文

 
Unified Interpretation of Quantum and Classical Logics
Kenji Tokuo
Axiomathes   24(1) 1-7   2014年   [査読有り]
Linearity and Negation
Kenji Tokuo
Journal of Applied Non-Classical Logics   22(1–2) 43-51   2012年   [査読有り]
Logic of Simultaneity
Kenji Tokuo
International Journal of Theoretical Physics   48 1290-1299   2009年   [査読有り]
Quantum Number Theory
Kenji Tokuo
International Journal of Theoretical Physics   43 2461-2481   2004年   [査読有り]
Extended Quantum Logic
Kenji Tokuo
Journal of Philosophical Logic   32 549-563   2003年   [査読有り]
Typed Quantum Logic
Kenji Tokuo
International Journal of Theoretical Physics   42 27-38   2003年   [査読有り]

担当経験のある科目