KOBAYASHI SATOSHI

J-GLOBAL         Last updated: Jun 2, 2016 at 02:47
 
Avatar
Name
KOBAYASHI SATOSHI
Affiliation
Kyoto Sangyo University
Section
Faculty of Computer Science and Engineering, Department of Intelligent Systems, Faculty of Computer Science and Engineering
Job title
Professor
Degree
Doctor of Science(The University of Tokyo)

Academic & Professional Experience

 
1991
 - 
1999
Ryukoku University, Research Assistant
 
1995
 - 
1996
Kobe University, Part-time Lecturer
 
1999
 - 
2005
Kyoto Sangyo University, Associate Professor
 
2005
   
 
- Kyoto Sangyo University, Professor
 

Education

 
 
 - 
1991
Mathematics, Graduate School of Science, The University of Tokyo
 
 
 - 
1984
Department of Mathematics, Faculty of Science, The University of Tokyo
 

Committee Memberships

 
1990
 - 
1992
Situation Theory/Semantics Working Group member of Institute for New Generation Computer Technology (ICOT)
 

Awards & Honors

 
1989
Takahashi Shorei-sho (Takahashi Incentive Award) from Japan Society for Software Science and Technology
 

Misc

 
Consistency of Beesonś Formal System RPS and Some Related Results
Satoshi Kobayashi
Springer Lecture Notes in Math.   No. 1388 120-140   1989
Chokkan-shugi-teki Kinouteki Teigi ni Taisuru Jitsugen Kanousei Kaishaku (Realizability Interpretation of Intuitionistic Inductive Definitions, in Japanese)
Satoshi Kobayashi and Makoto Tatsuta
Proceedings of JSSST 6th Annual Conference   113-116   1989
Kousei-teki Shoumei Kara no Puroguramu Chuushutu (Program Extraction from Constructive Proofs, in Japanese)
Satoshi Kobayashi
Computer Software   Vol. 7(No.4)    1990
Joukyou Riron no Tame no Ronri Taikei (Logical System for Situation Theory)
Satoshi Kobayashi
Tutorial text for JSSST Autumn Tutorial "Joukyou riron (Situation Theory)"   pp.23--32   1990
Monado, Yousou to Curry-Howard Genri (Monad, Modality and Curry-Howard Principle, in Japanese)
Satoshi Kobayashi
Proceedings of JSSST 10th Annual Conference   pp.225--228   1993

Books etc

 
Kouseiteki programming no kiso (Foundation of Constructive Programming)
Yuseisha   1991   ISBN:978-4795268678
Iwanami Sugaku Jiten (The Encyclopedic Dictionary of Mathematics) (coauthor)
Iwanami Shoten   2007   ISBN:978-4000803090

Research Grants & Projects

 
Nonstandard Logics and their application to computer science
Project Year: 1984   
Proof theory and semantics of nonstandard logics including constructive logics and modal logics, especially Corry-Howard correspondence and its application.