TOPページ
>
小林 聡
研究キーワード：構成的論理、非古典論理、プログラム抽出、様相論理、証明論、圏論的論理、実現可能性解釈、帰納的定義、極限計算可能数学、ゲーム意味論
（最終更新日 : 2025-09-22 09:12:24）
コバヤシ サトシ
KOBAYASHI SATOSHI
小林 聡
小林 聡
所属
京都産業大学 情報理工学部 情報理工学科
職種
教授
| 学会発表 | ||
|---|---|---|
| 2023/08/31 | ||
| 2011 | ||
| 2008 | ||
| 2007 | ||
| 2007 | ||
| 学歴 | ||
|---|---|---|
| ～1991 | ||
| ～1984 | ||
| ～1984 | ||
| 職歴 | ||
|---|---|---|
| 2018/04/01 ～ | ||
| 2008/04/01 ～ 2018/03/31 | ||
| 2005 | ||
| 主要学科目 |
|---|
| 所属学会 | ||
|---|---|---|
| 研究課題・受託研究・科研費 | ||
|---|---|---|
| 1984 | ||
| 1984 | ||
| 1984 | ||
| 1984 | ||
| 展覧会・演奏会・競技会等 | ||
|---|---|---|
| 1994 ～ 1995 | ||
| 2006 ～ 2007 | ||
| 2008 | ||
| 2008 | ||
| 委員会・協会等 | ||
|---|---|---|
| 1990 ～ 1992 | ||
| 1990 ～ 1992 | ||
| メールアドレス |
|---|
| 受賞学術賞 | ||
|---|---|---|
| 1989 | ||
| 1989 | ||
| 現在の専門分野 |
|---|
| 外部研究者ID | |||
|---|---|---|---|
| Researcher ID | |||
