Rchr
J-GLOBAL ID:200901048965447670
Update date: Jan. 30, 2024
SATOSHI KOBAYASHI
コバヤシ サトシ | SATOSHI KOBAYASHI
Affiliation and department:
Job title:
Professor
Research field (3):
Applied mathematics and statistics
, Basic mathematics
, Information theory
Research keywords (11):
構成的論理 非古典論理 プログラム抽出 様相論理 証明論 圏論的論理 実現可能性解釈 帰納的定義 極限計算可能数学 ゲーム意味論
, Game Semantics
, Limit Computable Mathematics
, Inductive Definition
, Realizability Interpretation
, Categorical Logic
, Proof Theory
, Modal Logic
, Program Extraction
, Nonstandard Logic
, Constructive Logic
Research theme for competitive and other funds (5):
- 2008 - 2010 Multilateral research on the role of limiting recursive functions in the computability problem
- 2006 - 2007 極限計算可能数学の計算機上の実行
- 2000 - 2001 限定合理性の情報構造:証明論およびセラ・オートマタによる特徴づけ
- 1984 - 非古典論理とその計算機科学への応用
- 1984 - Nonstandard Logics and their application to computer science
MISC (34):
-
Satoshi Kobayashi. A New Translation for Semi-classical Theories --- Backtracking without CPS. Proceedings of 9th International Symposium on Functional and Logic Programming (FLOPS 2008). 2008
-
Satoshi Kobayashi. A New Translation for Semi-classical Theories --- Backtracking without CPS. Proceedings of 9th International Symposium on Functional and Logic Programming (FLOPS 2008). 2008
-
小林聡. 極限計算可能数学のゲーム意味論. 日本ソフトウエア科学会第24回大会論文集. 2007
-
Satoshi Kobayashi. Kyokugen Keisan Kanou Suugaku no Geimu Imiron (Game Semantics of Limit Computable Mathematics, in Japanese). Proceedings of JSSST 24th Annual Conference. 2007
-
小林 聡. 情報と依存関係の論理. コンピュータソフトウェア. 2005. Vol.22. No.3. 194-200
more...
Books (4):
-
岩波数学辞典第4版(共著)
岩波書店 2007 ISBN:9784000803090
-
Iwanami Sugaku Jiten (The Encyclopedic Dictionary of Mathematics) (coauthor)
Iwanami Shoten 2007 ISBN:9784000803090
-
構成的プログラミングの基礎(共著)
遊星社 1991 ISBN:9784795268678
-
Kouseiteki programming no kiso (Foundation of Constructive Programming)
Yuseisha 1991 ISBN:9784795268678
Lectures and oral presentations (8):
-
カットを含む証明のゲーム意味論
(「記号論理学と情報科学」研究集会 (SLACS 2011) 2011)
-
Game semantics and translational semantics for limit computable mathematics
(Third NII TypeTheory Workshop 2008)
-
極限計算可能数学のためのゲーム意味論と変換意味論
(「記号論理学と情報科学」研究集会 (SLACS 2007) 2007)
-
Game semantics for limit computable mathematics
(Second NII TypeTheory Workshop 2007)
-
極限計算可能数学のゲーム意味論
(「代数,論理,幾何と情報科学」研究集会 (ALGI 17) 2006)
more...
Works (3):
-
計算可能性問題における極限再帰関数の役割の多角的研究
2008 -
-
極限計算可能数学の計算機上の実行
2006 - 2007
-
構成的プログラミングの新局面の研究
1994 - 1995
Education (4):
- - 1991 東京大学大学院 理学系研究科 数学専攻
- - 1991 The University of Tokyo Graduate School of Science Mathematics
- - 1984 The University of Tokyo Faculty of Science Department of Mathematics
- - 1984 The University of Tokyo Faculty of Science Department of Mathematics
Professional career (1):
- Doctor of Science (The University of Tokyo)
Work history (8):
- 1999 - 2005 Kyoto Sangyo University
- 1999 - 2005 Kyoto Sangyo University, Associate Professor
- 2005 - - 京都産業大学教授
- 2005 - - Kyoto Sangyo University, Professor
- 1991 - 1999 Ryukoku University
- 1991 - 1999 Ryukoku University, Research Assistant
- 1995 - 1996 Kobe University
- 1995 - 1996 Kobe University, Part-time Lecturer
Show all
Committee career (2):
- 1990 - 1992 新世代コンピュータ技術開発機構「状況理論・意味論」ワーキンググループ委員
- 1990 - 1992 Situation Theory/Semantics Working Group member of Institute for New Generation Computer Technology (ICOT)
Awards (2):
- 1989 - 日本ソフトウェア科学会高橋奨励賞
- 1989 - Takahashi Shorei-sho (Takahashi Incentive Award) from Japan Society for Software Science and Technology
Association Membership(s) (2):
日本ソフトウェア科学会
, Japan Society for Software Science and Technology
Return to Previous Page