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
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
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page