(最終更新日:2019-09-25 04:09:00)
  コバヤシ サトシ   KOBAYASHI SATOSHI
  小林 聡
   所属   京都産業大学  情報理工学部 情報理工学科
   職種   教授
業績
■ 学会発表
1. 2011 カットを含む証明のゲーム意味論(「記号論理学と情報科学」研究集会 (SLACS 2011))
2. 2008/02/12 Game semantics and translational semantics for limit computable mathematics(Third NII TypeTheory Workshop)
3. 2007/09/18 極限計算可能数学のためのゲーム意味論と変換意味論(「記号論理学と情報科学」研究集会 (SLACS 2007))Link
4. 2007/03/07 Game semantics for limit computable mathematics(Second NII TypeTheory Workshop)
5. 2006/10/13 極限計算可能数学のゲーム意味論(「代数,論理,幾何と情報科学」研究集会 (ALGI 17))Link
全件表示(8件)
■ 著書・論文歴
1. 2008 論文  A New Translation for Semi-classical Theories --- Backtracking without CPS (単著) Link
2. 2007/03 著書  岩波数学辞典第4版(共著) (共著) Link
3. 2007 論文  極限計算可能数学のゲーム意味論 (単著) Link
4. 2005 論文  情報と依存関係の論理 (単著) Link
5. 2004 論文  情報と依存関係の論理 (単著) Link
全件表示(18件)
経歴
■ 学歴
1. ~1991 The University of Tokyo Graduate School of Science Mathematics
2.
(学位取得)
The University of Tokyo Doctor of Science
3. ~1984 The University of Tokyo Faculty of Science Department of Mathematics
4.
(学位取得)
東京大学 博士(理学)
5. ~1984 東京大学 理学部 数学科
全件表示(6件)
■ 主要学科目
コンピュータのための数学
■ 所属学会
1. 1989/10~ 日本ソフトウェア科学会Link
その他
■ 研究課題・受託研究・科研費
1. 2008/04~2011/03  計算可能性問題における極限再帰関数の役割の多角的研究 基盤研究(C) (キーワード:極限再帰関数、実効的一様位相、計算可能確率分布、Fine計算可能関数、数学基礎論、極限再帰性、列計算可能性、極限再帰の数学の体系、マルチフラクタル、数理哲学、実効的収束、2次元Fine可積分関数、フラクタル、実効的一様性、単調有界性原理、計算可能分布、Fine可積分関数、グラフ有向集合、形式的体系の解釈、計算機上の実現)
2. 2006/04~2008/03  極限計算可能数学の計算機上の実行 萌芽研究 (キーワード:極限再帰性、実効的一様位相、セミ古典論理、ゲーム意味論、バックトラック、必勝法、変換意味論、有限基底定理、極限再帰関数、ゲームセマンティックス、ゲームサイトセマンティックス、構成的論理体系、カット・三段論法、バックトラッキング、ゲーム・ソフトウェア)
3. 1994/04~1996/03  構成的プログラミングの新局面の研究 一般研究(C) (キーワード:構成的プログラミング、プログラム検証、プログラム論理、形式的方法、型理論、構成的数学)
4. 1984~  非古典論理とその計算機科学への応用 個人研究 (キーワード:極限計算可能数学、構成的数学、ゲーム意味論、変換意味論、バックトラック、アルゴリズム抽出)
■ 講師・講演
1. 1990 状況理論のための論理体系(東京)
■ メールアドレス
  kyoin_mail
■ 受賞学術賞
1. 1989 日本ソフトウェア科学会高橋奨励賞
■ 現在の専門分野
情報学基礎論, 数学基礎 (キーワード:構成的論理 非古典論理 プログラム抽出 様相論理 証明論 圏論的論理 実現可能性解釈 帰納的定義 極限計算可能数学 ゲーム意味論) 
科研
■ 担当経験のある科目
1. コンピュータ基礎1・2(京都産業大学理学部)
2. システムソフトウェア論(京都産業大学理学部)
3. プレ特研(京都産業大学理学部)
4. プログラミングC(京都産業大学理学部)
5. プログラミング言語学(京都産業大学理学部)
全件表示(9件)
■ ORCID
https://orcid.org/0000-0002-4137-9091