Rchr
J-GLOBAL ID：200901057962368050   Update date: Mar. 31, 2023

TOKUO Kenji

TOKUO Kenji
Affiliation and department：
National Institute of Technology, Oita College Department of Information Engineering

About National Institute of Technology, Oita College Department of Information Engineering


Job title： Professor
Homepage URL  (1)： http://onct.oita-ct.ac.jp/seigyo/tokuo_hp/
Research field  (6)： Philosophy and ethics ,  Mathematical physics and basic theory ,  Philosophy and ethics ,  Applied mathematics and statistics ,  Basic mathematics ,  Information theory
Research keywords  (6)： Philosophy of Science ,  Analytic Philosophy ,  Non-Classical Logic ,  Mathematical Logic ,  Modal Logic ,  Quantum Logic
Papers (10)：
ｍore...
Lectures and oral presentations  (1)：
  • Natural Deduction for Quantum Logic
    (Logica Universalis Webinar 2022 (LUW 2022) 2022)
Education (4)：
  • 2001 - 2003 Kyoto University Graduate School of Human and Environmental Studies Department of Human and Environmental Studies
  • 2000 - 2001 Kyoto University Graduate School of Human and Environmental Studies Department of Cultural and Regional Environmental Studies
  • 1998 - 2000 Kyoto University Graduate School of Human and Environmental Studies Department of Cultural and Regional Environmental Studies
  • 1994 - 1998 Kyoto University Faculty of Science Department of Mathematics
Professional career (1)：
  • Dr. (Kyoto University)
Work history (5)：
  • 2021/04 - 現在 National Institute of Technology, Oita College Department of Information Engineering Professor
  • 2012/04 - 2021/03 National Institute of Technology, Oita College Department of Information Engineering Associate Professor
  • 2009/04 - 2012/03 Oita National College of Technology Department of Computer and Control Engineering Associate Professor
  • 2007/04 - 2009/03 Oita National College of Technology Department of Computer and Control Engineering Assistant Professor
  • 2003/04 - 2007/03 Kyoto University Institute for the Promotion of Excellence in Higher Education Part-time Lecturer
Association Membership(s) (1)：
Association for Symbolic Logic
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM