INOUE Takao

J-GLOBAL         Last updated: Jun 27, 2019 at 02:44
 
Avatar
Name
INOUE Takao
Alternative names
handle_0022
E-mail
takao.inoue.22hosei.ac.jp
URL
https://www.researchgate.net/profile/Takao_Inoue
Affiliation
Hosei University
Section
Faculty of Science and Engineering, Department of Applied Informatics
Job title
Research Associate
Degree
Master of Engineering(Tokyo University of Science, Graduate School of Science and Technology), Master of Mathematics (Doctorandus Wiskunde)(Utrecht University), Ph.D.(Shinshu University)
Research funding number
40842050

Profile

I am a mathematical logician, a computer scientist (Mizar formalization of Mathematics) and a mathematician. My Japanese name is 井上茂雄. Its part '茂雄' is the first name, Takao. Its part ’井上’ is the family name, Inoue. Ph.D.(Shinshu University, Japan), Doctorandus Wiskunde (equivalent to M.A. in Mathematics)(Universiteit Utrecht in The Netherlands), Master of Engineering (Tokyo University of Science, Japan). Graduated from Tokyo University of Science (Japan) and Universiteit Utrecht (The Netherlands).

Research Areas

 
 

Academic & Professional Experience

 
Sep 2000
 - 
Mar 2001
part time teacher, Electricity Department, Nagano Technical High School (Nagano prefecture, Japan)
 
Apr 2001
 - 
Mar 2002
part time teacher, Electricity Department, Okaya Technical High School
 
Aug 2001
 - 
Aug 2001
part time lecturer, Department of Computer Science and Systems Engineering, University of Miyazaki
 
Apr 2002
 - 
Feb 2004
part time teacher, Electricity Department, Iida Technical High School (Nagano prefecture, Japan)
 
Aug 2002
 - 
Aug 2002
part time lecturer, Department of Computer Science and Systems Engineering, University of Miyazaki
 

Education

 
Apr 1974
 - 
Mar 1976
Johoku Senior High School (Tokyo)
 
Apr 1977
 - 
Mar 1983
Department of Applied Biological Science, Faculty of Science and Technology, Tokyo University of Science
 
Apr 1983
 - 
Mar 1985
Department of Industrial Administration, Graduate School of Science and Technology, Tokyo University of Science
 
Sep 1986
 - 
Jun 1995
Department of Mathematics, Faculty of Science, Utrecht University
 

Published Papers

 
Inoue, T., Naumowicz, A., Endou, E. and Shidama, Y.
Formalized Mathematics   19 1-9   2011   [Refereed]
Inoue, T., Naumowicz, A., Endou, E. and Shidama, Y.
Formalized Mathematics   19 65-68   2011   [Refereed]
Inoue, T., Xie, B. and Liang, X.
Formalized Mathematics   18 39-46   2010   [Refereed]
Inoue, T.
Formalized Mathematics   18 113-127   2010   [Refereed]
Inoue, T., Endou, E. and Shidama, Y.
Formalized Mathematics   18 207-212   2010   [Refereed]

Misc

 
Inoue, T.
The Bulletin of Symbolic Logic   8 139-139   2002   [Refereed]
Inoue, T.
The Bulletin of Symbolic Logic   1 240-241   1995   [Refereed]
Inoue, T.
The Bulletin of Symbolic Logic   1 95-96   1995   [Refereed]
Cut elimination theorem, tableau method, axiomatic rejections
Inoue, T.
Abstracts of Papers Presented to the American Mathematical Society   14 264-264   1993   [Refereed]
Inoue, T.
The Journal of Symbolic Logic   58 760-761   1993   [Refereed]

Conference Activities & Talks

 
Inoue, T.
Logic Colloquium ‘01   6 Aug 2001   
Inoue, T.
Logic Colloquium ‘94   21 Jul 1994   
Inoue, T.
Logic Colloquium ‘93   20 Jul 1993   
Inoue, T.
Logic Colloquium ‘90   15 Jul 1990   

Teaching Experience

 
 

Association Memberships

 
 

Others

 
Jan 1989
Selected as a Japan-Dutch government exchange student (Tuition exemption, living expenses, round-trip airplane ticket allowance)
2005
edited "The dictionary of basic mathematical notations in Mizar".
http://markun.cs.shinshu-u.ac.jp/kiso/projects/proofchecker/mizar/mizardictionary1.htm