教員情報 - 小林　聡 | 京都産業大学

コバヤシ　サトシ KOBAYASHI SATOSHI
小林　聡

所属

京都産業大学情報理工学部情報理工学科

職種教授

著書・論文歴
2025/06	著書	考える機械たち歴史、仕組み、倫理―そして、AIは意思をもつのか？ (共著)
2008	論文	A New Translation for Semi-classical Theories --- Backtracking without CPS Proceedings of 9th International Symposium on Functional and Logic Programming (FLOPS 2008) (単著)
2007	著書	岩波数学辞典第4版 (共著)
2007	論文	極限計算可能数学のゲーム意味論日本ソフトウエア科学会第24回大会論文集 (単著)
2005	論文	情報と依存関係の論理コンピュータソフトウェア Vol.22 (No.3),194-200頁 (単著)
2004	論文	情報と依存関係の論理日本ソフトウエア科学会第21回大会論文集 (単著)
2002	論文	知識の論理とプログラムコンピュータソフトウェア Vol.19 (No.1),34-38頁 (単著)
1999	論文	Monad and Modality from Computational Point of View Doctoral thesis (The University of Tokyo) (単著)
1997/03	論文	Monad as modality THEORETICAL COMPUTER SCIENCE 175 (1),29-74頁 (単著)
1996	論文	Refinement 型の理論を用いたevaluation modality の解釈日本ソフトウエア科学会第13回大会論文集,421-424頁 (単著)
1996	論文	Two Extensions of PX system Electronic Notes in Theoretical Computer Science Vol. 3 (共著)
1995	論文	A New Formalization of Feferman\'s System of Functions and Classes and its Relation to Frege Structure International Journal of Foundations of Computer Science Vol. 6 (No.3),187-202頁 (共著)
1995	論文	Constructive Evaluation Logic 日本ソフトウエア科学会第12回大会論文集,97-100頁 (単著)
1994/08	論文	Realizability interpretation of generalized inductive definitions Theoretical Computer Science 131 (1),121-138頁 (共著)
1993	論文	モナド・様相とCurry-Howard原理日本ソフトウエア科学会第10回大会論文集,pp.225--228 (単著)
1991	著書	構成的プログラミングの基礎 (共著)
1990	論文	構成的証明からのプログラム抽出コンピュータソフトウェア Vol. 7 (No.4) (単著)
1990	論文	状況理論のための論理体系日本ソフトウェア科学会オータム・チュートリアル「状況理論」テキスト,pp.23--32 (単著)
1989	論文	Consistency of Beeson\'s Formal System RPS and Some Related Results Springer Lecture Notes in Math. No. 1388,120-140頁 (単著)
1989	論文	直観主義的帰納的定義に対する実現可能性解釈日本ソフトウェア科学会第6回大会論文集,113-116頁 (共著)