林晋
日本の情報学者・数学者
人物・経歴
編集広島県生まれ[1]。1972年広島大学附属福山高等学校卒業。1976年立教大学理学部数学科卒業。1978年立教大学大学院理学研究科博士課程前期修了（理学修士）。1981年筑波大学大学院数学研究科修了（理学博士）[2]。
同年文部技官任官（数学系準研究員）。1982年東京都立工科短期大学専任講師。1984年京都大学数理解析研究所助手。1988年スタンフォード大学計算機科学科客員研究員、フランス国立情報学自動制御研究所ソフィア・アンティポリス客員研究員。1989年龍谷大学理工学部数理情報学科助教授。1992年同教授[2]。
1995年神戸大学工学部知能情報工学科教授。2004年文部科学省科学技術政策研究所科学技術動向研究センター客員研究官。2005年京都大学大学院文学研究科教授、神戸大学名誉教授。2019年京都大学名誉教授[2]。
歴史学者としての活動
編集林は、元々情報学者・数学者であったが、2005年以降は、歴史学を中心に研究するようになった。特に、論理学者クルト・ゲーデルの歴史観[3]に端を発する「ゲーデルと数学の近代」の歴史研究に力を入れ、京都学派研究、ヒルベルト数学ノート研究、SMART-GS[4]という手書き史料研究ツールの開発、更にはAIの社会影響の研究、IT政策に関する研究及びエッセイや講演など関連する活動は多岐に渡る[5]。研究成果の一部は、2018年の応用哲学会のシンポジウムの報告[6]や2021年の「西田・田辺記念講演」[7]で知ることができる。
著書
編集- ”PX: A Computational Logic, S. Hayashi and H. Nakano” マサチューセッツ工科大学出版局 1988年
- 『構成的プログラミングの基礎』（小林聡と共著）遊星社、1991年。ISBN 4795268673。
- 『情報系の数学入門』（八杉満利子と共著）オーム社 1993年
- 『ゲーデルの謎を解く』岩波書店 1993年
- 『プログラム検証論』共立出版 1995年
- 『論理パズルとパズルの論理』（八杉満利子と共著）遊星社 1998年
- 『パラドックス！』（編著）日本評論社 2000年
- 『お話・数学基礎論』（八杉満利子と共著）ブルーバックス 2002年
翻訳
編集脚注
編集- ^ ブルーバックスお話・数学基礎論―数学では必ず正しい結論に到達できるか？紀伊國屋書店
- ^ a b c 経歴
- ^ “ゲーデルの歴史観：哲学から見た数学の基礎の近代的発展”. 林晋 (2021年6月29日). 2025年2月11日閲覧。
- ^ 大浦真、林晋、久木田水生「SMART-GS:文献研究のためのソフトウェアツール」『言語処理学会 第19回年次大会 発表論文集』、言語処理学会、2013年3月、382-385頁。
- ^ “林晋（八杉晋）の経歴と研究業績”. shayashiyasugi.com. 2025年2月10日閲覧。
- ^ “講演 "How was Mathematics modernized?"”. shayashiyasugi.com. 2023年3月3日閲覧。
- ^ “講演「歴史学から見た京都学派―ある数理思想史家の観点」”. shayashiyasugi.com. 2023年3月3日閲覧。
外部リンク
編集- “幸運な学者人生：Wikipedia の記事を見て”. 林晋（八杉晋）の経歴と研究業績 ver.2023.03.15 (2022年7月3日). 2025年2月10日閲覧。
- “林晋（八杉晋）の経歴と研究業績 ver.2023.03.15”. Susumu Hayashi Yasugi ブログ. 2025年2月10日閲覧。