Welcome Guest 
メインメニュー
林晋ブログ 最近のエントリ
Blogカレンダー
2019年 11月
« 10月    
 12
3456789
10111213141516
17181920212223
24252627282930
Blog 月別過去ログ
Blog 検索
カテゴリ一
ログイン
ユーザー名:

パスワード:


パスワード紛失

リンク
検索

主な招待講演等


国際会議・国際ワークショップにおける招待講演・基調講演・パネル等



  1. An Introduction to PX: Institute of Logical Foundations of Functional Programming,
    1987, Year of Programming, Texas University, Austin, published
    version
    .
  2. Constructive Mathematics and Computer-Aided Reasoning Systems: 1988, Heyting
    '88, Chaika, Bulgaria, published version
  3. Kreisel-Troelstra realizability interpretation and program extraction:
    1988, Workshop on Programming Logic, Bastad, Sweden, publisehd
    version
    .
  4. ATT: an optimized Curry-Howard isomorphism: 1989, Esprit Basic Research
    Action, The first Logical Framework Meeting, Sophia-Antipolis, France
  5. Singleton, Union and Intersection Types for Program Extraction : 1991,
    Theoretical Aspects of Computer Science '91, Sendai, Japan, published
    version

  6. Representing logic in ATTT: Esprit Basic Research Action, Types for Proofs
    and Programs workshop, 1993, Nijmegen, The Netherlands, published
    version
    .
  7. Feferman's theory and Frege Structure: 1993, The 5th Asian Logic Conference,
    Singapore, published version
  8. Two Extensions of PX system: 1996, Linear Logic 96, Tokyo Meeting, published
    version

  9. Constructive programming - a personal view -, DMTCS'96, published
    version

  10. A series of invited lectures at
    MSJ Regional Workshop: Theories of Types and Proofs (TTP-Tokyo)
    , Sept.
    8-18, 1997,Tokyo Institute of Technology, Tokyo, Japan:

    • Comparing constructive programming with practical formal methods -Constructive
      programming is possible but not indispensable-, Sept. 8, 1997
    • Towards Proof Animation from Constructive Programming, Sept. 9, 1997

  11. Testing Proofs by Examples, Asian
    Computing Science Conference '98
    , Dec. 8-10, 1998, Manila, Philipin, published
    version
    .
  12. Limit Computable Mathematics and Proof Animation, TYPES 2000.
  13. S. Hayashi and K. Nakatogawa, Hilbert and Computation, 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.
  14. Limit Computable Mathematics and Interactive Computation, 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.
  15. S. Hayashi and Y. Akama, Limit-Computable Mathematics and its Applications,
    CSL'02 (Computer Science Logic 2002), Edinburgh, UK.
  16. S. Hayashi, Mathematics based on Learning, (Algorithmic Learning Theory
    2002), Lubeck, Germany.
  17. 長幼序あり -ソフトウェア工学にみる慣習と技術の問題- “The order of seniority - social traditions and software engineering-” 国際会議

    人口の高齢化に対応した人的資源マネジメントと労働政策 - 日独比較-(ドイツー日本研究所、東京 / ミュンヘン大学日本センター(LMU) ,
    東京大学大学院工学系研究科 / フリードリヒ・エーベルト財団 共催) における講演およびパネル。2005 三月

  18. S. Hayashi, Can proofs be animated by proofs?, TLCA
    05,
    Nara, Japan, April, 2005.
  19. Proof Animation,
    Limit Computable Mathematics, and
    Hilbert’s finite basis theoremMax-Planck-Institut fuer Mathematik, Bonn Conference “Methods of proof theory in mathematics” Hoersaal MPIM, June 2007, 3-10, a talk in an invitation-only conference.
  20. SMART-GS Project: a tool searching, marking up and linking historical documents, 科研費特定領域研究「日本の技術革新−経験蓄積と知識基盤化−」、第3回国際シンポジウム、2007年12月14-15日、東京、第1セッション講演とパネル。

国内での主な招待講演・基調講演・パネル等



  1. 構成的数学の諸相:1981,昭和56年度総会数学基礎論分科会特別講演
  2. 計算機科学のための数理論理学: 平成2年, ソフトウェア科学会年会チュートリアル
  3. 論理学と計算機科学:平成2年,日本数学会,平成2年度総会数学基礎論分科 会
  4. 証明工学: 平成5年, 日本応用数理学会, 平成5年度年会特別講演
  5. 数学は完璧か?: 平成6年, 日本数学会, 平成6年度年会市民講座
  6. 変貌する数学観 -そのとき形式化は?-: 平成6年6月, 日本学術会議科学基礎論研究連絡委員会主催, 科学基礎論学会共催, 前原昭二記念シンポジウム「形式化について」,
    published version
  7. ヒルベルトと20世紀数学:平成11年3月29日、日本数学会、企画特別講演、早稲田大学
  8. ソフトウェア開発の新傾向
    ― 象の合理性と猿の合理性 ―, 第52回応用物理学関係連合講演会シンポジウム
    「光技術と技術経営 ―国際競争力回復を目指して―」 , 2005年3月、報告とパネル
  9. 真のヒルベルト像をもとめて
    -ヒルベルト研究の現状-杉浦光夫先生傘寿記念第18回数学史シンポジウム, 津田塾大, 2007, 10/27-10/28、招待講演
  10. 渕一博の思想 −なぜ論理だったのか?−: 渕一博記念コロキウム 『論理と推論技術:四半世紀の展開』、基調講演、 2007年10月20日、慶応大学(三田)


XOOPS Cube PROJECT