Susumu Hayashi

林晋, 京都大学大学院文学研究科現代文化学専攻情報・史料学教授
〒606-8501 京都市左京区吉田本町京都大学文学研究科情報・史料学専修
電話：ダイヤルイン075-753-2474,代表 075-753-7531, FAX 075-753-2476
研究室：本部キャンパス構内, 文系学部校舎 5F, 502号室
研究室アクセス案内

林と情報・史料学専修

2013年度担当講義

こちらのページへ
- 授業資料もこのリンク先におきます。

過去の研究活動から

２０１１年度西田・田辺記念講演「種の論理再考」、2011年6月4日
「数理哲学」としての種の論理、日本哲学史研究、第７号、2010年9月
渕一博の思想－なぜ論理だったのか？－: 渕一博記念コロキウム『論理と推論技術：四半世紀の展開』、基調講演、 2007年10月20日、慶応大学（三田)
David Hilbert's Mathematical notebooks
旧「数学基礎論の歴史」のページ
真のHilbert 像をもとめて-Hilbert 研究の現状-: 2007年10月津田塾大学での数学史シンポジウムにての招待講演の報告集用の原稿。(2010年3月18日訂正版アップ）
数学セミナー2007年５月号「ヒルベルトの数学手帳」
- 付加的文章「私は如何にして歴史家になったか」(長らくリンク切れなっていたようです。2011/10/20)
- 訂正：p.44 「H. ヴェーバー」は、「H. ウィーナー」の間違い
- 執筆後の研究による訂正：(i) 「無矛盾性=存在」のテーゼが1890年代最初のころであることの証拠を林が最初に見つけたように書いてあるが、少し弱い形ではあるが講義録に同じような言明があることを HalletやMajer が Hilbert edition 第１巻で指摘していた。ただし、幾何学基礎論講義の言明と同じものが数学ノートにあることの発見は林が最初であることは正しい。(ii) ヒルベルトが不変式論研究の時代に集合論を使っていないという記述があるが、これは間違い。１８９０年の論文で使っている。「使っているが、同時に常に使わないでも済ませる方法を考えている」が正しい。解説的部分では使うが、定理（とその証明）の叙述では別の方法を考えて集合論的議論を避けるという方法をとっている。（２００８．０２．２０）
岩波文庫ゲーデル著「不完全性定理」、林・八杉訳解説、本体700円、解説の内容：ヒルベルト計画を中心とした数学基礎論史。ヒルベルトの数学手帳の新史料と、それに基づくヒルベルト形式主義の新解釈を提示した。正誤表
日本の危機としてのIT人材問題
情報通信技術と「思想」 ―科学技術の能力としての「思想」― , English version: Information and Communications Technology and Shiso ? Shiso as a Capability for Science and Technology
ソフトウェア開発法の新傾向 A New Trend in Software Developments and Ex Post Modularity (「光学」34巻8号 2005年の原稿。注. 掲載版とは異なる古い版です。）
二つの合理性と日本のソフトウェア工学, English version:Two rationality and Japan's software engineering
ソフトウエアに役立つ「日本型ハードウエア生産法」：ひとつ上の論文に関連して日経の谷島さんに書いていただいた記事。本人（林）の文章よりまとまっている！
長幼序あり -ソフトウェア工学にみる慣習と技術の問題- “The order of seniority - social traditions and software engineering-” 国際会議
人口の高齢化に対応した人的資源マネジメントと労働政策 - 日独比較-(ドイツー日本研究所、東京 (DIJ)? / ミュンヘン大学日本センター(LMU) ?
東京大学大学院工学系研究科 / フリードリヒ・エーベルト財団共催）　における講演。
証明アニメーションとLCM：帰納学習に基づく論理とその応用
SMART-SE：テスト駆動開発をサポートするUMLモデル開発ツール
モジュール化と科学
標準化ということ
情報・史料学ワークショップ- コミュニケーション、知識、ソフトウェア 2005年12月