研究者
J-GLOBAL ID:200901048965447670   更新日: 2024年01月30日

小林 聡

コバヤシ サトシ | SATOSHI KOBAYASHI
所属機関・部署:
職名: 教授
研究分野 (3件): 応用数学、統計数学 ,  数学基礎 ,  情報学基礎論
研究キーワード (11件): 構成的論理 非古典論理 プログラム抽出 様相論理 証明論 圏論的論理 実現可能性解釈 帰納的定義 極限計算可能数学 ゲーム意味論 ,  Game Semantics ,  Limit Computable Mathematics ,  Inductive Definition ,  Realizability Interpretation ,  Categorical Logic ,  Proof Theory ,  Modal Logic ,  Program Extraction ,  Nonstandard Logic ,  Constructive Logic
競争的資金等の研究課題 (5件):
  • 2008 - 2010 計算可能性問題における極限再帰関数の役割の多角的研究
  • 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
もっと見る
書籍 (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
講演・口頭発表等 (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)
もっと見る
Works (3件):
  • 計算可能性問題における極限再帰関数の役割の多角的研究
    2008 -
  • 極限計算可能数学の計算機上の実行
    2006 - 2007
  • 構成的プログラミングの新局面の研究
    1994 - 1995
学歴 (4件):
  • - 1991 東京大学大学院 理学系研究科 数学専攻
  • - 1991 東京大学
  • - 1984 東京大学 理学部 数学科
  • - 1984 東京大学
学位 (1件):
  • 博士(理学) (東京大学)
経歴 (8件):
  • 1999 - 2005 京都産業大学助教授
  • 1999 - 2005 京都産業大学
  • 2005 - - 京都産業大学教授
  • 2005 - - Kyoto Sangyo University, Professor
  • 1991 - 1999 龍谷大学助手
全件表示
委員歴 (2件):
  • 1990 - 1992 新世代コンピュータ技術開発機構「状況理論・意味論」ワーキンググループ委員
  • 1990 - 1992 Situation Theory/Semantics Working Group member of Institute for New Generation Computer Technology (ICOT)
受賞 (2件):
  • 1989 - 日本ソフトウェア科学会高橋奨励賞
  • 1989 - Takahashi Shorei-sho (Takahashi Incentive Award) from Japan Society for Software Science and Technology
所属学会 (2件):
日本ソフトウェア科学会 ,  Japan Society for Software Science and Technology
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る