徳尾 健司
Kenji TOKUO
更新日: 03/17
基本情報
- 所属
- 大分工業高等専門学校 情報工学科 教授
- 学位
-
博士 (人間・環境学)(2004年3月 京都大学)
- 連絡先
- tokuo
oita-ct.ac.jp - 研究者番号
- 20455182
- ORCID iD
https://orcid.org/0000-0001-8878-9824- J-GLOBAL ID
- 200901057962368050
- researchmap会員ID
- 6000005765
- 外部リンク
研究分野
6経歴
5-
2021年4月 - 現在
-
2012年4月 - 2021年3月
-
2009年4月 - 2012年3月
-
2007年4月 - 2009年3月
-
2003年4月 - 2007年3月
学歴
4-
2001年4月 - 2003年3月
-
2000年4月 - 2001年3月
-
1998年4月 - 2000年3月
-
1994年4月 - 1998年3月
主要な論文
12-
Logic Journal of the IGPL 2025年3月 査読有り筆頭著者責任著者
-
Logic Journal of the IGPL 2024年11月 査読有り筆頭著者責任著者
-
Logica Universalis 16(3) 469-497 2022年8月 査読有り筆頭著者責任著者
-
Axiomathes 32(Suppl 2) 473-483 2022年1月 査読有り筆頭著者責任著者
-
SN Applied Sciences 1:1255 2019年10月 査読有り筆頭著者責任著者
-
Axiomathes 29(3) 297-310 2019年6月 査読有り筆頭著者責任著者
-
Axiomathes 24(1) 1-7 2014年3月 査読有り筆頭著者責任著者
-
Journal of Applied Non-Classical Logics 22(1–2) 43-51 2012年6月 査読有り筆頭著者責任著者
-
International Journal of Theoretical Physics 48(5) 1290-1299 2009年5月 査読有り筆頭著者責任著者
-
International Journal of Theoretical Physics 43(12) 2461-2481 2004年12月 査読有り筆頭著者責任著者
-
Journal of Philosophical Logic 32(5) 549-563 2003年10月 査読有り筆頭著者責任著者
-
International Journal of Theoretical Physics 42(1) 27-38 2003年1月 査読有り筆頭著者責任著者
主要なMISC
4-
Mathematical Reviews MR4557938 2024年5月 招待有り
-
Mathematical Reviews MR4624096 2024年2月 招待有り
-
Mathematical Reviews MR4572237 2023年9月 招待有り
-
Mathematical Reviews MR4544240 2023年8月 招待有り
主要な講演・口頭発表等
1-
57Logica Universalis Webinar 2022 (LUW 2022) 2022年8月 招待有り
主要な担当経験のある科目(授業)
36-
2023年 - 現在
-
2019年 - 現在
-
2016年 - 現在
-
2015年 - 現在
-
2015年 - 現在
-
2014年 - 現在
-
2008年 - 現在
-
2008年 - 現在
-
2007年 - 現在
-
2007年 - 現在
-
2016年 - 2024年
-
2022年 - 2022年
-
2016年 - 2021年
-
2013年 - 2019年
-
2007年 - 2016年
-
2015年 - 2015年
-
2014年 - 2015年
-
2010年 - 2015年
-
2007年 - 2015年
-
2013年 - 2014年
-
2011年 - 2012年
-
2011年 - 2012年
-
2010年 - 2012年
-
2011年 - 2011年
-
2008年 - 2011年
-
2009年 - 2010年
-
2009年 - 2010年
-
2009年 - 2009年
-
2008年 - 2008年
-
2007年 - 2008年
-
2007年 - 2008年
-
2007年 - 2008年
主要な所属学協会
2-
2002年 - 現在
-
2024年 - 2025年
主要な共同研究・競争的資金等の研究課題
1-
日本学術振興会 科学研究費助成事業 基盤研究 (C) 2024年4月 - 2027年3月