Rchr
J-GLOBAL ID：200901048965447670   Update date: Nov. 12, 2024

SATOSHI KOBAYASHI

コバヤシ サトシ | SATOSHI KOBAYASHI
Affiliation and department：
Kyoto Sangyo University

About Kyoto Sangyo University


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 (18)：
ｍore...
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)
ｍore...
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 (4)：
  • 1999 - 2005 Kyoto Sangyo University
  • 2005 - - 京都産業大学教授
  • 1991 - 1999 Ryukoku University
  • 1995 - 1996 Kobe University
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

TOP

BOTTOM