Importance to learn from the Histories

1. 温故知新
2014/12/6 Techmix Hokkaido
沼田 一哉 @kaznum
http://www.flickr.com/photos/75905404@N00/5074611208

2. こんにちは
•ぬまた かずや( @kaznum )
•札幌の平凡なプログラマ
•妻と息子（3歳）の3人暮らし

3. 家計簿 さな太郎
https://github.com/kaznum/sanataro

4. 見積もっ太郎
https://github.com/estcosmo/mitsumottaro

5. 僕のお題
温故知新

6. 温故知新
“前に学んだことや昔の事柄
をもう一度調べたり考えた
りして、新たな道理や知識
を見出し自分のものにする
こと。”
http://dictionary.goo.ne.jp/leaf/idiom/%E6%B8%A9%E6%95%85%E7%9F
%A5%E6%96%B0/m0u/

7. 古代の力学
•アリストテレス

8. 古典力学・電磁気学
•コペルニクス
!
•ガリレオ・ガリレイ
•ティコ・ブラーエ、ケプラー
•ニュートン
!
•ファラデー、マクスウェル

9. 量子力学
•ド・ブロイ
•ハイゼンベルグ
•シュレーディンガー
•プランク
•ボーア
•ディラック
•フォン・ノイマン

10. 量子力学・相対性理論の
融合
•ファインマン、朝永振一郎
•ダイソン、シュウィンガー
•湯川、南部、益川、小林、小柴

11. 量子力学の応用
•半導体
•トランジスタ
•バーディーン、ブラッテン、ショックレー
•トンネルダイオード：江崎
•発光ダイオード(青色)：赤崎、天野、中村
•量子コンピュータ

12. 物理学に限らず、科学の進歩は
「先人の経験と知恵」
を拠り所としている

13. Ruby
Rubyとの出会い
(2000)

14. •オブジェクト指向
•動的言語
•メタプログラミング
•関数型

15. 理解が足りない
もっと知りたい

16. •オブジェクト指向
•動的言語
•メタプログラミング
•関数型

17. ref. 静的型付き関数型言語のススメ by tmaeda
https://speakerdeck.com/tmaedax/jing-de-xing-fu-kiguan-shu-xing-yan-yu-falsesusume

18. 純粋関数型プログラミング言語
Haskell

19. Programming in Haskell
(2007)

20. 写経＆練習問題

21. 記録を残して公開

22. 写経と練習問題の解答を
Githubで公開
https://github.com/kaznum/Programming-in-Haskell

23. • Referential Transparency
(参照透過性)
• Type Inference(型推論)
• Functor
• Applicative Functor
• Monad

24. ぼくの想像を
はるかに超えて
深かった

26. @tmaedaの
罠に
嵌められた

27. プログラミング in OCaml
(2007)

28. 写経と練習問題の解答を
Githubで公開
https://github.com/kaznum/programming_in_ocaml_exercise

29. MatzLisp

30. “Lispはいつも時代の最先端に
位置している”
まつもとゆきひろ
http://www.itmedia.co.jp/enterprise/articles/0801/29/news010_2.html

31. じゃあ Lisp に
ついて勉強してみ
よう!

32. • Common Lisp
• Scheme
• Emacs Lisp
• Closure
• などなど

33. “いまRubyがブームだが、Rubyは要す
るにカッコのないLisp。XMLもぶ厚いカッ
コのあるLisp。いろいろなプログラミン
グ技法を見ますが、『Lispにあった』と
いうことが多いです”
竹内郁雄
出典: @IT「Lispの仏さま 竹内郁雄の目力」
http://www.atmarkit.co.jp/ait/articles/0807/23/news141.html

34. 13年間も熟成した
積読本
https://www.flickr.com/photos/foolstopzanet/151936713/

35. Structure and Interpretation of Computer Programs
(1996)

36. Structure and Interpretation of
Computer Programs (SICP)
MITの新入生向けの
プログラミングの
教科書

37. Structure and Interpretation of
Computer Programs (SICP)
あくまでも
プログラミング言語
の教科書

38. Structure and Interpretation of
Computer Programs (SICP)
説明用の言語として
Scheme
が採用されている

39. Structure and Interpretation of
Computer Programs (SICP)
Gerald Sussman
Schemeの生みの親
Harold Abelson
MIT/GNU Schemeの生みの親

40. Structure and Interpretation of
Computer Programs (SICP)
世界的に高評価
世界中の多くの大学で教
科書として採用
MIT150年の歴史の中で最も重要な発明の一つ
(Boston Globe紙)

41. Structure and Interpretation of
Computer Programs (SICP)
“Harold Abelson and Gerald Jay Sussman, a pair of MIT computer science
professors, wrote “Structure and Interpretation of Computer Programs,” which
remains a classic for encouraging the teaching of not one specific programming
language, but big-picture themes students could apply across a range of
programming scenarios.”
“MITのCSの教授であるAbelsonとSussmanはSICPを書いた。
これは特定のプログラミング言語ではなく、学生が様々な
プログラミングのシナリオに適用できる大局的なテーマを
教えることを促す古典であり続けている。”
（Boston Globe紙）

42. 写経＆練習問題を始めた

43. Structure and Interpretation of
Computer Programs (SICP)
MITが作成した新入
生向けのプログラミ
ングの教科書

44. Structure and Interpretation of
Computer Programs (SICP)
新入生向け

45. Structure and Interpretation of
Computer Programs (SICP)
ウソすぎ！
新入生向け

46. Structure and Interpretation of
Computer Programs (SICP)
内容が濃厚

47. Structure and Interpretation of
Computer Programs (SICP)
オブジェクト指向
関数型
メタプログラミング、DSL
遅延評価
論理プログラミング
ガベージコレクション

48. Structure and Interpretation of
Computer Programs (SICP)
Lispが常に時代の最先端
であることがよくわかった

49. 写経と練習問題の解答を
Githubで公開
[まだ第4章の途中(全5章)]
https://github.com/kaznum/SICP

50. 最近、そんなことしてます。

51. 再認識したこと

52. “職人”

53. IT系のテクノロジーは
急速に進歩

54. 進歩についていける人の共通点
いろいろな技術の
•生まれた経緯
•根本をなす概念・文化
•他との違い
について、とても詳しい

55. 歴史（先人の経験と知恵）
を学ぶのが
!
一番の近道(?)

56. その先・・・

57. “『既に創られた物理学』を学ぶことと、
その物理学が創られた当時に創った本人
が考えたことは全く違うんです。”
!
出典: 湯川秀樹著 「物理講義 」1977