Kenji Tokuo

National Institute of Technology, Oita College / Professor

Kenji Tokuo

National Institute of Technology, Oita College / Professor

Oita, Japan

Kenji Tokuo

National Institute of Technology, Oita College / Professor

Why not create your own Wantedly profile?

Showcase yourself and your experiences to bring your professional story to life.

Join

Abstract Nonsense

I am a faculty member in the Department of Information Engineering at National Institute of Technology, Oita College. My research interests are mathematical logic, analytic philosophy, and foundation of quantum theory.

Apr 2007
-
Present

Apr 2007 -

Present

Linearity and Negation

June 2012

Unified Interpretation of Quantum and Classical Logics

Mar 2014

Feasible Computation Based on Quantum Logic

Oct 2019

Fungibility in Quantum Sets

June 2019

Logic of Simultaneity

May 2009

Apr 2003
-
Mar 2007

Part-Time Lecturer

Apr 2003 - Mar 2007

Typed quantum logic

Oct 2003

Quantum Number Theory

Dec 2004

Mar 2003

Kyoto University

Graduate School of Human and Environmental Studies

Mar 2003

Mathematical Logic

Extended Quantum Logic

Jan 2003

Faculty of Science

Mathematics


Publications

Feasible Computation Based on Quantum Logic

Oct 2019

Fungibility in Quantum Sets

June 2019

Unified Interpretation of Quantum and Classical Logics

Mar 2014

Linearity and Negation

June 2012

Logic of Simultaneity

May 2009

Show more

Awards and Certifications

Fundamental Information Technology Engineer

Nov 2004

Doctoral Degree (Kyoto University)

Mar 2004