world-of-languages.pdf

Transcript

1. 言語の世界 Powered by Rabbit 0.9.2 言語の世界 ネットワーク応用通信研究所 楽天 技術研究所 Rubyアソシエーション @yukihiro_matz まつもとゆきひろ Yukihiro "Matz" Matsumoto
2. 言語の世界 Powered by Rabbit 0.9.2 プログラミング言語って？ 言語ってなんだろう？
3. 言語の世界 Powered by Rabbit 0.9.2 プログラミング言語って？ プログラム＝手順書 手順書記述用人工言語
4. 言語の世界 Powered by Rabbit 0.9.2 プログラミング言語って？ プログラム＝理想記述 思考表現用人工言語
5. 言語の世界 Powered by Rabbit 0.9.2 せめぎあうふたつの立場 機械のためか？ 人間のためか？
6. 言語の世界 Powered by Rabbit 0.9.2 FORTRAN (1954) FORmula TRANslator
7. 言語の世界 Powered by Rabbit 0.9.2 FORTRAN (1954) 人間のため 数式でプログラムできるよう
8. 言語の世界 Powered by Rabbit 0.9.2 FORTRAN (1954) 機械のため 速く計算できるためにはどんなことでも
9. 言語の世界 Powered by Rabbit 0.9.2 FORTRAN (1954) ループアンローリング ベクトル化
10. 言語の世界 Powered by Rabbit 0.9.2 FORTRAN (1954) 背景 コンピュータが遅かった
11. 言語の世界 Powered by Rabbit 0.9.2 FORTRAN (1954) 背景 「言語の常識」がまだなかった
12. 言語の世界 Powered by Rabbit 0.9.2 LISP (1958) LISt Processor
13. 言語の世界 Powered by Rabbit 0.9.2 LISP (1958) 人間のため 数学的概念からスタート ラムダ計算
14. 言語の世界 Powered by Rabbit 0.9.2 LISP (1958) 機械のため IBM704計算機 car＝content of address register cdr＝content of data register
15. 言語の世界 Powered by Rabbit 0.9.2 LISP (1958) 人間のため ガーベージコレクター
16. 言語の世界 Powered by Rabbit 0.9.2 LISP (1958) 人間のため Lispプログラマは値はなんでも知っている が、コストについてはなにも知らない
17. 言語の世界 Powered by Rabbit 0.9.2 LISP vs FORTRAN 人間主義 vs 機械主義
18. 言語の世界 Powered by Rabbit 0.9.2 勝者は？ Algol!
19. 言語の世界 Powered by Rabbit 0.9.2 漁夫の利 原始的すぎるFORTRAN 数学的すぎるLISP 求められたのはアルゴリズム記述
20. 言語の世界 Powered by Rabbit 0.9.2 新たな伝統の誕生 Algolは滅びぬ！ 何度でもよみがえるさ
21. 言語の世界 Powered by Rabbit 0.9.2 Algol属 Algol → PL/I Algol → Pascal
22. 言語の世界 Powered by Rabbit 0.9.2 Algol属 Ada, Eiffel, C, C++, Java,...
23. 言語の世界 Powered by Rabbit 0.9.2 Lispへの揺り戻し Smalltalk, Scheme, Ruby,...
24. 言語の世界 Powered by Rabbit 0.9.2 言語のカンブリア爆発 カンブリア爆発 古生代カンブリア紀の 間に突如として今日見 られる動物の「門」が出 そろった現象
25. 言語の世界 Powered by Rabbit 0.9.2 言語のカンブリア爆発 言語のカンブリア爆発 1960年代後半から 1970年代前半までに 多種多様な言語が誕 生した現象
26. 言語の世界 Powered by Rabbit 0.9.2 言語のカンブリア爆発 現在の「重要」な言語分類の基礎 システムプログラミング言語 C:1972 オブジェクト指向言語 Simula:1967 スクリプト言語 Shell:1971 関数型言語 ML:1972
27. 言語の世界 Powered by Rabbit 0.9.2 言語のカンブリア爆発 「変な言語」も 配列指向言語 APL:1960 論理型言語 Prolog:1972 並列言語 アクターモデル:1973
28. 言語の世界 Powered by Rabbit 0.9.2 つまり、どういうことか キバヤシ 優れた言語のアイディ アは1970年代までに 出揃っているのだよ！ MMRメンバー なんだってーーっ！！
29. 言語の世界 Powered by Rabbit 0.9.2 言語設計者受難の時代 どうせ既存のものの組 み合わせさ
30. 言語の世界 Powered by Rabbit 0.9.2 そうは言っても 人気の言語はそれなりに新しい Perl (1986) Python (1990) Ruby (1995) PHP(1995)
31. 言語の世界 Powered by Rabbit 0.9.2 そうは言っても 人気の言語はそれなりに新しい Java (1995) C# (2000) Scala (2003) Erlang (1986)
32. 言語の世界 Powered by Rabbit 0.9.2 新しい？ とは言っても１０年、２０年
33. 言語の世界 Powered by Rabbit 0.9.2 新しい？ 言語の世界じゃ１０年く らいじゃまだまだはなた れ小僧さ
34. 言語の世界 Powered by Rabbit 0.9.2 新しい言語の動機 作りたかったから 新しいパラダイム 新しい環境 新しい制約
35. 言語の世界 Powered by Rabbit 0.9.2 新しいパラダイム 構造化プログラミング オブジェクト指向プログラミング 関数型プログラミング
36. 言語の世界 Powered by Rabbit 0.9.2 新しいパラダイム ここ２０年くらい登場してないなあ
37. 言語の世界 Powered by Rabbit 0.9.2 新しいパラダイム 過去のパラダイムの組み合わせ
38. 言語の世界 Powered by Rabbit 0.9.2 新しいパラダイム 既存のパラダイムの組み合わせ 並列＋関数型 オブジェクト指向＋関数型 並列＋論理型
39. 言語の世界 Powered by Rabbit 0.9.2 既存のパラダイムの組み合わせ バランスの良い組み合わせ
40. 言語の世界 Powered by Rabbit 0.9.2 新しい環境 新しいOS 新しいCPU 新しいアプリケーション
41. 言語の世界 Powered by Rabbit 0.9.2 新しいアプリケーション Web MapReduce
42. 言語の世界 Powered by Rabbit 0.9.2 新しい制約 CPU数 メモリ量 データ量 アクセス量
43. 言語の世界 Powered by Rabbit 0.9.2 どこまでが言語か 文法 ライブラリ アーキテクチャ
44. 言語の世界 Powered by Rabbit 0.9.2 どこまでが言語か デザインパターン コミュニティ エコシステム
45. 言語の世界 Powered by Rabbit 0.9.2 どこまでが言語か 思想 人格
46. 言語の世界 Powered by Rabbit 0.9.2 　 温故知新
47. 言語の世界 Powered by Rabbit 0.9.2 　 歴史から学ぶ
48. 言語の世界 Powered by Rabbit 0.9.2 　 歴史のパターン
49. 言語の世界 Powered by Rabbit 0.9.2 歴史の振り子 集中 vs 分散
50. 言語の世界 Powered by Rabbit 0.9.2 歴史の振り子 性能 vs 生産性
51. 言語の世界 Powered by Rabbit 0.9.2 歴史の振り子 静的 vs 動的
52. 言語の世界 Powered by Rabbit 0.9.2 歴史の振り子 正確さ vs 柔軟さ
53. 言語の世界 Powered by Rabbit 0.9.2 未来の言語 APL
54. 言語の世界 Powered by Rabbit 0.9.2 APL APLによるライフゲーム
55. 言語の世界 Powered by Rabbit 0.9.2 未来の言語 Whitespace
56. 言語の世界 Powered by Rabbit 0.9.2 Whitespace Whitespaceによるhello world
57. 言語の世界 Powered by Rabbit 0.9.2 未来の言語 新しいぶどう酒は新し い皮袋に [「マタイ 9:17」より引用]
58. 言語の世界 Powered by Rabbit 0.9.2 旧来の言語 古いぶどう酒は古い皮 袋に
59. 言語の世界 Powered by Rabbit 0.9.2 未来の言語 大規模分散 高抽象度
60. 言語の世界 Powered by Rabbit 0.9.2 未来へのパラメータ データ量 アクセス量 CPU数
61. 言語の世界 Powered by Rabbit 0.9.2 データ量 ビッグデータ
62. 言語の世界 Powered by Rabbit 0.9.2 アクセス量 クラウド ソーシャルゲーム
63. 言語の世界 Powered by Rabbit 0.9.2 CPU数 マルチコア クラウド
64. 言語の世界 Powered by Rabbit 0.9.2 未来の言語 Erlang Node.js R SQL の発展形
65. 言語の世界 Powered by Rabbit 0.9.2 Erlang 分散 アクターモデル
66. 言語の世界 Powered by Rabbit 0.9.2 Node.js 大量アクセス 非同期I/O
67. 言語の世界 Powered by Rabbit 0.9.2 R 統計・解析 ビッグデータ連携 (R-ODM)
68. 言語の世界 Powered by Rabbit 0.9.2 SQL 宣言的データ取得 高抽象度 Hive
69. 言語の世界 Powered by Rabbit 0.9.2 言語の楽しさ プログラミングの楽しさ
70. 言語の世界 Powered by Rabbit 0.9.2 言語の楽しさ 言語＝プログラミング
71. 言語の世界 Powered by Rabbit 0.9.2 言語の楽しさ 言語実装＝プログラミング
72. 言語の世界 Powered by Rabbit 0.9.2 言語の楽しさ 言語実装＝プログラミング総合芸術
73. 言語の世界 Powered by Rabbit 0.9.2 言語の楽しさ 言語設計＝プログラミング
74. 言語の世界 Powered by Rabbit 0.9.2 言語の楽しさ 言語設計＝発想をプログラミング
75. 言語の世界 Powered by Rabbit 0.9.2 言語の楽しさ We program you!
76. 言語の世界 Powered by Rabbit 0.9.2 　 Enjoy Programming!