林 晋
ハヤシ ススム (Susumu Hayashi)
更新日: 01/17
基本情報
- 所属
- 京都大学 大学院文学研究科 現代文化学専攻 専攻情報・史料学専修 教授
- 学位
-
Doctor of Science(University of Tsukuba)
- J-GLOBAL ID
- 200901059305551972
- researchmap会員ID
- 1000105638
- 外部リンク
論文
20-
日本哲学史研究 : 京都大学大学院文学研究科日本哲学史研究室紀要 (9) 23-74 2012年9月
-
思想 (1053) 303-306 2012年1月
-
思想 (1053) 197-216 2012年1月
-
研究報告 デジタルドキュメント(DD) 2011(5) 1-5 2011年1月14日
-
日本哲学史研究 (7) 40-75 2010年9月
-
ANNALS OF PURE AND APPLIED LOGIC 161(10) 1254-1269 2010年7月 査読有り
-
Knowledge, Information, and Creativity Support Systems - 5th International Conference, KICSS 2010, Chiang Mai, Thailand, November 25-27, 2010, Revised Selected Papers 32-43 2010年 査読有り
-
人工知能学会誌 25(1) 24-31 2010年1月1日
-
科学技術動向 (88) 24-40 2008年7月
-
FUNDAMENTA INFORMATICAE 77(4) 331-343 2007年6月 査読有り
-
THEORETICAL COMPUTER SCIENCE 350(1) 125-139 2006年1月 査読有り
-
Games for Logic and Programming Languages (GALOP 2005), University of Edinburgh, 2-3 April 2005, The workshop was organized as part of the ETAPS Conference 210-225 2005年 査読有り
-
TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS 3461 11-22 2005年 査読有り
-
19TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS 192-201 2004年 査読有り
-
UML 2004 - THE UNIFIED MODELING LANGUAGE: MODELING LANGUAGES AND APPLICATIONS, PROCEEDINGS 3273 395-409 2004年 査読有り
-
Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers 125-144 2000年 査読有り
-
Electronic Notes in Theoretical Computer Science 3(C) 88 1996年 査読有り
-
Logic, Language and Computation, Festschrift in Honor of Satoru Takasu 1-9 1994年 査読有り
-
THEORETICAL COMPUTER SCIENCE 41(1) 95-104 1985年 査読有り
-
600 57-76 招待有り
MISC
43-
研究報告デジタルドキュメント(DD) 2012(2) 1-1 2012年1月13日
-
情報処理学会研究報告知能と複雑系(ICS) 2008(20) 1-6 2008年3月5日
-
情報処理学会研究報告. ICS, [知能と複雑系] 151(20) 1-6 2008年3月5日
-
電子情報通信学会技術研究報告. AI, 人工知能と知識処理 107(523) 1-6 2008年2月27日
-
数学セミナー 46(5) 42-47 2007年5月
-
科学技術動向 (67) 12-20 2006年10月
-
光学 34(8) 416-419 2005年8月10日
-
Theoretical Computer Science 272(1-2) 177-195 2002年2月6日
-
現代思想 28(12) 30-41 2000年10月
-
数理解析研究所講究録 1169 102-108 2000年9月
-
数学セミナ- 39(2) 54-58 2000年2月
-
数学セミナ- 39(1) 22-25 2000年1月
-
数学セミナ- 38(6) 2-5 1999年6月
-
コンピュータソフトウェア 16(3) 263-266 1999年5月17日
-
日本ファジィ学会誌 9(5) 611-613 1997年10月15日
-
数学セミナ- 35(5) 30-33 1996年5月
-
Electronic Notes in Theoretical Computer Science 3(C) 88 1996年
-
数理科学 32(11) p15-19 1994年11月
-
科学基礎論研究 83(1) 1-6 1994年
-
数セミ 29(10) p18-21 1990年10月
書籍等出版物
16-
東大出版会 2015年3月30日 (ISBN: 413046115X)
-
近代科学社 2010年
-
岩波書店 2005年
-
講談社 2001年
-
日本評論社 1999年
-
遊星社 1997年
-
共立出版 1994年
-
丸善出版 1993年
-
岩波書店 1992年
-
オーム社 1992年
-
遊星社 1990年
-
大阪書籍 1990年
-
共立出版, 分担執筆 1988年
-
コロナ社 1987年
-
The MIT Press,
講演・口頭発表等
29-
経済学史学会、ヤングスカラーセミナー2012 2012年12月1日 経済学史学会 招待有り
-
ソフトウェアプロセス改善カンファレンス2012 2012年10月10日 日本SPIコンソーシアム
-
2011年度 西田・田辺記念講演会 2011.06.04, 京都大学 2011年6月4日 京都大学文学研究科日本哲学史専修 招待有り
-
2010年3月開催会議「文化とコンピューティング」における展示。 林研究室、永井研究室(京大), 寺沢研究室(はこだて未来大学), 2010年
-
渕一博記念コロキウム 『論理と推論技術:四半世紀の展開』、基調講演、 2007年10月20日、慶応大学(三田) 2007年
-
杉浦光夫先生傘寿記念第18回数学史シンポジウム, 津田塾大, 2007, 10/27-10/28、招待講演 2007年
-
科研費特定領域研究「日本の技術革新−経験蓄積と知識基盤化−」、第3回国際シンポジウム、2007年12月14-15日、東京、第1セッション講演とパネル。 2007年
-
S. Hayashi, TLCA 05, Nara, Japan, April, 2005. 2005年
-
国際会議人口の高齢化に対応した人的資源マネジメントと労働政策 - 日独比較-(ドイツー日本研究所、東京 / ミュンヘン大学日本センター(LMU) , 東京大学大学院工学系研究科 / フリードリヒ・エーベルト財団 共催) における講演およびパネル。2005 三月 2005年
-
S. Hayashi, (Algorithmic Learning Theory 2002), Lubeck, Germany. 2002年
-
S. Hayashi and Y. Akama, CSL'02 (Computer Science Logic 2002), Edinburgh, UK. 2002年
-
S. Hayashi and K. Nakatogawa, Hilbert Workshop, Jan. 12, 2002, Keio University, Tokyo, organized by Dept. of Philosophy, Keio University, sponsored by Philosophy of Science Society, Japan, and Mita Philosophy Society. 2002年
-
The International Workshop on Rewriting in Proof and Computation (RPC'01), October 25-27, 2001, Itutsubashi-kaikan, Sendai, organized by Research Institute of Electrical Communication Tohoku University. 2001年
-
TYPES 2000. 2000年
-
第52回応用物理学関係連合講演会シンポジウム 「光技術と技術経営 ―国際競争力回復を目指して―」 , 2005年3月、報告とパネル 1999年
-
平成11年3月29日、日本数学会、企画特別講演、早稲田大学 1999年
-
Sept. 9, 1997, A series of invited lectures at MSJ Regional Workshop: Theories of Types and Proofs (TTP-Tokyo) 1997年
-
平成6年6月, 日本学術会議科学基礎論研究連絡委員会主催, 科学基礎論学会共催, 前原昭二記念シンポジウム「形式化について」 1994年
-
平成6年, 日本数学会, 平成6年度年会市民講座 1994年
-
平成5年, 日本応用数理学会, 平成5年度年会特別講演 1993年
Works(作品等)
2共同研究・競争的資金等の研究課題
6その他
2-
1982-1984 東京都立工科短期大学講師 1984-1989 京都大学数理解析研究所助手 1989-1992 龍谷大学理工学部数理情報学科助教授 1992-1995 龍谷大学理工学部数理情報学科教授 1995-2005 神戸大学工学部情報知能工学科教授 2005-現在 京都大学大学院文学研究科教授
-
1982-1984 Lecturer of Mathematics, Metropolitan College of Technology 1984-1989 Research associate, Research Institute of Mathematical Sciences, Kyoto University 1989-1992 Associate Professor, Department of Applied Mathematics and Informatics, Ryukoku University 1992-1995 Professor, Department of Applied Mathematics and Informatics, Ryukoku University 1995- Professor, Department of Computer and Systems Engineering, Kobe University