数学基礎論関連りんく
- 京都産業大学 八杉満利子 HP http://www.kyoto-su.ac.jp/~yasugi/
- 高崎金久(京都大学)数理論理学入門 - 京都大学での全学共通科目講義に基づく - http://www.math.h.kyoto-u.ac.jp/~takasaki/edu/logic/
- 林晋のホームページ http://www.shayashi.jp/
- 東北大学 大学院理学研究科 数学専攻 数学基礎論セミナー http://www.math.tohoku.ac.jp/~tanaka/tanahome.html
- Masami Hagiya http://nicosia.is.s.u-tokyo.ac.jp/members/hagiya.html
「論理パズルとパズルの論理」 http://www.shayashi.jp/puzzlebook/index.html
このパズルを解けますか? この屁理屈に勝てますか? http://www.shayashi.jp/puzzlebook/index.html#helogic
八杉満利子・林晋 共著『論理パズルとパズルの論理』目次 http://www2.odn.ne.jp/yuseisha/out/jo7-c.htm isbn:4795268878
林晋(神戸大学工学部情報知能工学科教授) 黒川利明(CSK [*1])
二つの合理性と日本のソフトウェア工学
科学技術動向 2004年9月号 文部科学省 科学技術政策研究所 [*2] 科学技術動向研究センタ
http://www.nistep.go.jp/achiev/ftx/jpn/stfc/stt042j/index.html