SHIMIZU Satoshi

J-GLOBAL         Last updated: Nov 7, 2019 at 12:38
 
Avatar
Name
SHIMIZU Satoshi
Affiliation
Yamanashi Gakuin University
Section
Faculty of Management Information
Job title
Professor

Research Areas

 
 

Education

 
 
 - 
1982
Faculty of Science and Engineering, Tokyo University of Science
 

Misc

 
The Interpretation of PROLOG on the Basis of Constructive Predicate Logic
Bulletin of Yamanashi Gakuin Junior College   13,93-101    1992
A Bi-Modal Formulation of the Logic of 'Knowledge and Belief'
Bulletin of Yamanashi Gakuin Junior College   12    1991
The logical Interpretation of Resolution Principle on the Basis of Constructive Logic
Memoirs of Iwaki Junior College   15    1990
On Lesniewskian Logical Grammer
PHILOSOPHY OF SCIENCE   22    1989
On the Logical Structure of a Top-Down Depth-First Parser
Memoirs of Iwaki Junior College   13    1988

Books etc

 
The logic of Natural Language and its Ontology
1990   

Conference Activities & Talks

 
Rethinking of Exchanges on Blockchain
Satoshi Horiuchi, Satoshi Shimizu, Jun Azumi
International Symposium on Paradigm Shift of the Manufacturing Business in IOT/ Industry 4.0 Environment in East Asia   2018   
A Study of Developing Autonomous-Decentralized Business Transaction Systems in the IoT Environment –Using REA State Machine and Blockchain –
Satoshi Horiuchi, Satoshi Shimizu, Jun Azumi
International Symposium on Paradigm Shift of the Manufacturing Business in IOT/ Industry 4.0 Environment in East Asia   2017   
A Logical Approach to the Parsing of Natural Language
Satoshi Shimizu
8th International Congress of Logic, Methodology and Philosophy of Science (LMPS'87)   1987   

Works

 
Study on the Linguistics for Natural Language Processing
1984 - 1986
The Logic of Natural Language and its Ontology focused on Syllogistic
1987 - 1989

Research Grants & Projects

 
Study on the Inference System Based upon Computational Logic
Cooperative Research
Study on the Logic as a Basis for Artificial Intelligence
Cooperative Research