研究者
J-GLOBAL ID：200901048965447670   更新日: 2024年11月12日

小林 聡

コバヤシ サトシ | 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 (18件)：
もっと見る
書籍 (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件)：
  • 博士(理学) (東京大学)
経歴 (4件)：
  • 1999 - 2005 京都産業大学助教授
  • 2005 - - 京都産業大学教授
  • 1991 - 1999 龍谷大学助手
  • 1995 - 1996 神戸大学非常勤講師
委員歴 (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の登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM