Shimizu Satoshi

シミズサトシ | Shimizu Satoshi

Affiliation and department：
Job title： Professor

Research field (2)： Software , Information theory

Research keywords (4)：情報システム工学 , 情報科学 , Symbolic Logic , Artificial Intelligence

Research theme for competitive and other funds (8)：

Show all

Papers (3)：

MISC (12)：

堀内恵, 清水智. ビジネス・プロセスのステートマシンの構築に向けての再検討. 商学論纂. 2016. 57. 5・6. 589-653
田中好文, 清水智. 経路追従制御の考え方を用いた資格取得への意識と行動に関する研究. 経営情報学論集. 2009. 15. 31-37
強い否定を含む構成的述語論理によるPROLOGの解釈. 山梨学院短期大学研究紀要. 1992. 13. 93-101
The Interpretation of PROLOG on the Basis of Constructive Predicate Logic. Bulletin of Yamanashi Gakuin Junior College. 1992. 13,93-101
A Bi-Modal Formulation of the Logic of 'Knowledge and Belief'. Bulletin of Yamanashi Gakuin Junior College. 1991. 12

ｍore...

Books (4)：

Lectures and oral presentations (10)：

Rethinking of Exchanges on Blockchain
(International Symposium on Paradigm Shift of the Manufacturing Business in IOT/ Industry 4.0 Environment in East Asia 2018)
ブロックチェーン環境における取引システムの設計について
(日本情報経営学会第77回全国大会 2018)
ブロックチェーンにおける交換の”二重性”の考察
(日本情報経営学会第74回全国大会 2017)
A Study of Developing Autonomous-Decentralized Business Transaction Systems in the IoT Environment -Using REA State Machine and Blockchain -
(International Symposium on Paradigm Shift of the Manufacturing Business in IOT/ Industry 4.0 Environment in East Asia 2017)
ビジネス・プロセスの自律分散的革新:REA ステートマシンとブロックチェーン技術の補完的利用による接近
(日本情報経営学会第73回全国大会 2016)

ｍore...

Works (2)：

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

Education (2)：

Work history (3)：

Association Membership(s) (4)：

JAPAN SOCIETY FOR INFORMATION AND MANAGEMENT , 人工知能学会 , 情報処理学会 , 日本科学哲学会

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page