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

パスワード:


パスワード紛失

リンク
検索

著書



  1. PX: A Computational Logic, S. Hayashi
    and H. Nakano,1988, The MIT Press, free PDF volume
  2. 数理論理学, 平成元年12月, コロナ社
  3. 続・新しいプログラミング・パラダイム, 平成2年11月, 共立出版, 分担執筆
  4. 現代数理科学辞典, 平成3年3月, 大阪書籍, 分担執筆
  5. 構成的プログラミングの基礎 , 平成3年4月, 遊星社, 林晋・小林聡
  6. 情報系の数学入門 , 平成5年9月, オーム社, 林晋・八杉満利子
  7. ゲーデルの謎を解く , 平成5年11月, 岩波書店
  8. コンピュータ基礎理論ハンドブック, 8章「プログラミング言語における型理論」担当, 平成6年, 丸善出版, 分担訳
  9. プログラム検証論 , 平成7年9月, 共立出版
  10. 「論理パズルとパズルの論理」, 八杉満利子・
    林晋, 平成10年9月, 遊星社
  11. 「パラドックス!」林晋編著、平成12年8月, 日本評論社
  12. 「お話・数学基礎論」八杉満利子・林晋、平成14年6月20日,
    講談社
  13. 「不完全性定理」K. ゲーデル著、林晋・八杉満利子訳と解説、平成18年9月15日、岩波書店、岩波文庫



XOOPS Cube PROJECT