 |
|
小林聡
Kobayashi Satoshi |
|
 |
|
教授 |
|
 |
|
博士（理学）（東京大学） |
|
 |
|
 |
|
理論計算機科学、数理論理学 |
|
 |
|
コンピュータ基礎１・２、システムソフトウェア論、
プログラミング言語学、プレ特研、特別研究I、特別研究II-1・2
|
|
 |
|
情報論理学特論A, B
|
|
 |
|
1.小林聡: 情報と依存関係の論理, コンピュータソフトウェア, 第22巻第3号(2005), pp.194-200.
2.小林聡：様相としてのモナド（和訳）、（Monad as Modality）、Theoretical
Computer Science 175 (1997), pp.29-74
3.林晋、石川雅一、小林聡、中野浩、中崎修一：PX システムの２つの拡張（和訳）、（Two
Extensions of PX system）、Electronic Notes in Theoretical Computer Science
3 (1996), URL: http://www.elsevier.nl/locate/entcs/volume3.html
4.林晋，小林聡：フェファーマンの関数とクラスの理論の新しい定式化及びそのフレーゲ構造との関連について（和訳）、（A
New Formalization of Feferman's System of Functions and Classes and its
Relation to Frege Structure）、International Journal of Computer Science
Vol.6 No. 3 (1995), pp.187-202
5.小林聡，龍田真：一般化された帰納的定義の実現可能性解釈（和訳）、（Realizability
Interpretation of Generalized Inductive Definitions）、Theoretical Computer
Science 131 (1994), pp.121-138
|
|
 |
|
|
コンピュータプログラムとある種の論理体系における証明との間には「カリー・ハワード対応」と呼ばれる密接な対応関係が成立することが知られている。私の主な研究テーマは、この対応を様々な種類の論理体系や計算体系に拡張することである。これまでに、一般化された帰納的定義を持つ論理体系と再帰的計算との対応、構成的S4命題論理とモナドに基づく関数型／命令型プログラムとの対応などを確立してきた。現在はEvaluation Logic、知識の論理などに興味を持っている。
|
|
 |
|
| これから追加されます |
|
 |
|
|
|
|
|
