教員情報 - 小林　聡

1.	2023/08/31	複雑な構造を持つ状態のメモリ効率的かつ関数的な更新手法について（第40回記号論理と情報科学研究集会）
2.	2011	カットを含む証明のゲーム意味論（「記号論理学と情報科学」研究集会 (SLACS 2011)）
3.	2008	Game semantics and translational semantics for limit computable mathematics（Third NII TypeTheory Workshop）
4.	2007	Game semantics for limit computable mathematics（Second NII TypeTheory Workshop）
5.	2007	極限計算可能数学のためのゲーム意味論と変換意味論（「記号論理学と情報科学」研究集会 (SLACS 2007)）
6.	2006	極限計算可能数学のゲーム意味論（「代数，論理，幾何と情報科学」研究集会 (ALGI 17)）
7.	2004	情報と依存関係の論理（「代数，論理，幾何と情報科学」研究集会 (ALGI 15)）
8.	2004	情報と依存関係の論理（「記号論理学と情報科学」研究集会 (SLACS 2004)）
9.	2003	情報と依存関係の論理（「記号論理学と情報科学」研究集会 (SLACS 2003)）
5件表示
全件表示(9件)

■ 著書・論文歴

1.	2008	その他	A New Translation for Semi-classical Theories --- Backtracking without CPS Proceedings of 9th International Symposium on Functional and Logic Programming (FLOPS 2008)
2.	2008	その他	A New Translation for Semi-classical Theories --- Backtracking without CPS Proceedings of 9th International Symposium on Functional and Logic Programming (FLOPS 2008)
3.	2007	その他	Iwanami Sugaku Jiten (The Encyclopedic Dictionary of Mathematics) (coauthor)
4.	2007	その他	Kyokugen Keisan Kanou Suugaku no Geimu Imiron (Game Semantics of Limit Computable Mathematics, in Japanese) Proceedings of JSSST 24th Annual Conference
5.	2007	その他	岩波数学辞典第4版(共著)
6.	2007	その他	極限計算可能数学のゲーム意味論日本ソフトウエア科学会第24回大会論文集
7.	2005	その他	Jouhou to Izon-Kankei no Ronri (Logic of Information and Dependency, in Japanese) Computer Software Vol.22(No.3),194-200頁
8.	2005	その他	情報と依存関係の論理コンピュータソフトウェア Vol.22(No.3),194-200頁
9.	2004	その他	Jouhou to Izon-Kankei no Ronri (Logic of Information and Dependency, in Japanese) Proceedings of JSSST 21st Annual Conference
10.	2004	その他	情報と依存関係の論理日本ソフトウエア科学会第21回大会論文集
11.	2002	その他	Chishiki no Ronri to Puroguramu (Logic of Knowledge and Programs, in Japanese) Computer Software Vol.19(No.1),34-38頁
12.	2002	その他	知識の論理とプログラムコンピュータソフトウェア Vol.19(No.1),34-38頁
13.	1999	その他	Monad and Modality from Computational Point of View 東京大学博士論文
14.	1999	その他	Monad and Modality from Computational Point of View Doctoral thesis (The University of Tokyo)
15.	1997/03/30	その他	Monad as modality Theoretical Computer Science 175(1),pp.29-74
16.	1997/03	その他	Monad as modality THEORETICAL COMPUTER SCIENCE 175(1),pp.29-74
17.	1996	その他	Refinement Gata no Riron wo Mochiita Evaluation Modality no Kaishaku (Interpretation of Evaluation Modality using Refinement Type Theory, in Japanese) Proceedings of JSSST 13th Annual Conference 421-424頁
18.	1996	その他	Refinement 型の理論を用いたevaluation modality の解釈日本ソフトウエア科学会第13回大会論文集 421-424頁
19.	1996	その他	Two Extensions of PX system Electronic Notes in Theoretical Computer Science Vol. 3
20.	1996	その他	Two Extensions of PX system Electronic Notes in Theoretical Computer Science Vol. 3
21.	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頁
22.	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頁
23.	1995	その他	Constructive Evaluation Logic 日本ソフトウエア科学会第12回大会論文集 pp.97--100頁
24.	1995	その他	Constructive Evaluation Logic Proceedings of JSSST 12th Annual Conference pp.97--100頁
25.	1994/08/29	その他	Realizability interpretation of generalized inductive definitions Theoretical Computer Science 131(1),pp.121-138
26.	1994/08	その他	REALIZABILITY INTERPRETATION OF GENERALIZED INDUCTIVE DEFINITIONS THEORETICAL COMPUTER SCIENCE 131(1),pp.121-138
27.	1993	その他	Monado, Yousou to Curry-Howard Genri (Monad, Modality and Curry-Howard Principle, in Japanese) Proceedings of JSSST 10th Annual Conference pp.225--228頁
28.	1993	その他	モナド・様相とCurry-Howard原理日本ソフトウエア科学会第10回大会論文集 pp.225--228頁
29.	1991	その他	Kouseiteki programming no kiso (Foundation of Constructive Programming)
30.	1991	その他	構成的プログラミングの基礎(共著)
31.	1990	その他	Joukyou Riron no Tame no Ronri Taikei (Logical System for Situation Theory) Tutorial text for JSSST Autumn Tutorial "Joukyou riron (Situation Theory)" pp.23--32頁
32.	1990	その他	Kousei-teki Shoumei Kara no Puroguramu Chuushutu (Program Extraction from Constructive Proofs, in Japanese) Computer Software Vol. 7(No.4)
33.	1990	その他	構成的証明からのプログラム抽出コンピュータソフトウェア Vol. 7(No.4)
34.	1990	その他	状況理論のための論理体系日本ソフトウェア科学会オータム・チュートリアル「状況理論」テキスト pp.23--32頁
35.	1989	その他	Chokkan-shugi-teki Kinouteki Teigi ni Taisuru Jitsugen Kanousei Kaishaku (Realizability Interpretation of Intuitionistic Inductive Definitions, in Japanese) Proceedings of JSSST 6th Annual Conference 113-116頁
36.	1989	その他	CONSISTENCY OF BEESON FORMAL SYSTEM RPS AND SOME RELATED RESULTS LECTURE NOTES IN MATHEMATICS 1388,pp.120-140
37.	1989	その他	Consistency of Beeson\'s Formal System RPS and Some Related Results Springer Lecture Notes in Math. No. 1388,120-140頁
38.	1989	その他	直観主義的帰納的定義に対する実現可能性解釈日本ソフトウェア科学会第6回大会論文集 113-116頁
5件表示
全件表示(38件)

経歴

■ 学歴

1.	(学位取得)	東京大学博士(理学)
2.	～1991	東京大学
3.	～1991	東京大学大学院理学系研究科数学専攻
4.	～1984	東京大学理学部数学科
5.	～1984	東京大学

■ 職歴

1.		京都産業大学京都産業大学情報理工学部情報理工学科
2.	2018/04～	京都産業大学情報理工学部情報理工学科教授
3.	2008/04～2018/03	京都産業大学コンピュータ理工学部インテリジェントシステム学科教授
4.	2005	- 京都産業大学教授
5.	2005	- Kyoto Sangyo University, Professor
6.	1999～2005	京都産業大学助教授
7.	1999～2005	京都産業大学
8.	1995～1996	神戸大学非常勤講師
9.	1995～1996	神戸大学
10.	1991～1999	龍谷大学助手
11.	1991～1999	龍谷大学
5件表示
全件表示(11件)

■ 主要学科目

コンピュータのための数学

■ 所属学会

1.		Japan Society for Software Science and Technology
2.		日本ソフトウェア科学会

その他

■ 研究課題・受託研究・科研費

1.	1984	Nonstandard Logics and their application to computer science
2.	1984	非古典論理とその計算機科学への応用

■ 展覧会・演奏会・競技会等

1.	1994～1995	構成的プログラミングの新局面の研究
2.	2006～2007	極限計算可能数学の計算機上の実行
3.	2008	計算可能性問題における極限再帰関数の役割の多角的研究

■ 委員会・協会等

1.	1990～1992	Situation Theory/Semantics Working Group member of Institute for New Generation Computer Technology (ICOT)
2.	1990～1992	新世代コンピュータ技術開発機構「状況理論・意味論」ワーキンググループ委員

■ メールアドレス

■ 受賞学術賞

1.	1989	Takahashi Shorei-sho (Takahashi Incentive Award) from Japan Society for Software Science and Technology
2.	1989	日本ソフトウェア科学会高橋奨励賞

■ 現在の専門分野

Foundation of Informatics, Foundation of Mathematics, Applied Mathematics　（キーワード：構成的論理、非古典論理、プログラム抽出、様相論理、証明論、圏論的論理、実現可能性解釈、帰納的定義、極限計算可能数学、ゲーム意味論）