オブジェクトの無い世界 / This world has no objects.

Transcript

1. オブジェクトの無い世界 Object-Oriented Conference 2020

2. プロフィール • さっぴー川原 @sapi_kawahara • 放浪のITエンジニアです。 • 経験した言語は、BASIC,アセンブラ,C言 語,C++,Python,Java,Perl,PHP,Rubyです。 •

   フロントエンドもある程度わかります。 • イケているテクノロジーも好きですが、過去のテクノロ ジーを話すのが好きです。（今回もそれ？）

3. 注意 • 今回話す内容は、オブジェクト指向がほとんど出てきま せん。 • オブジェクト指向と言っても、2種類の考え方がありま す。 ◦ Simula (C++)

   系とSmalltalk系です。 • つまり、抽象データ型と、メッセージ送信型の戦争の話 も出てきません。（当日11時半に追加しました） • 出てくるのは、それより前の話です・・・。

4. 202*年のある日 • 主人公は、某システムの移行作業に明け暮れていた。 • システムは破綻しており 、毎日帰宅は終電というスケ ジュールでした。 • 時間も無いので、似たようなところはコピペで作業をし まくっていた。

   • 疲れていた、とにかく疲れていた。 • もう、何もかも捨てたいと思っていた。 • スマホも捨ててしまえ！！！！

5. いつもと違う電車に乗る

6. 到着したところは・・・

7. 1億年後の未来

8. 1億年後の未来で起きていること • 人は産まれると、特別な機械が埋め込まれる。 • 特別な機械が人の生活をすべてサポートする。 • 食事も、寝る必要もない。 • しゃべらなくても意思疎通ができるので、自然言語は失 われている。

   • 地球はすべての地域で生活しやすい気候に変わってい る。

9. 1億年後のコンピューター • 意思を持っている。 • 最適な判断ができる。 • 人を敵とは思っていない。 • プログラムをコンピューター自身がプログラミングす る。

10. 開発言語も失われている

11. The world needs only one Computer. • 遠い昔にThe World Needs

    Only Five Computers.という 予言がありました。 ◦ 当時のサン・マイクロシステムズのCTO、グレッグ・ パパドポラス氏が2006年にブログに書いたことで す。 ◦ Google、Yahoo、Amazon、Microsoft、Salesforce と、それにeBayあたりを加えれば、もうほかに地球上 にコンピュータなど不要という話です。 • 1億年後の世界は、それをさらに進めた世界です。

12. The world needs only one Computer. • 1億年後の未来は1つのコンピューターが、人類の衣食住 をすべて管理して、人は産まれたら、毎日好きなことを するだけで、遊んで暮らすだけです。

    • 夢のような世界ですが、これを求めない集団が、この1つ のコンピューターにトラップというバグをしかけまし た。 • このことに気付いた1つのコンピューターが過去の世界か らエンジニアを呼び寄せました。

13. そう貴方は選ばれた戦士です！

14. さきほど言いました

15. この世界は開発言語が失われている

16. 開発する方法は無いのか？

17. そこであることを思い出す

18. 伝説のフィルム

19. GitHub Arctic Code Vault

20. GitHub Arctic Code Vaultとは？ • GitHubは、ソースコードを1000年間アーカイブ（保管） することで、次世代にオープンソースソフトウェアを残 すというプロジェクトです。 • 残し方は、ソースコードをQRコードに置き換えてフィル

    ムに焼き付けて、気候変化が少ない北極圏に保管しま す。 • 1億年後、この設備はメンテナンスされていなかったが、 フィルムは残っていた。

21. しかしカメラデバイスは存在しない 冒頭でスマホを捨てたよねー

22. あきらめよう！

23. バグっているコンピューターに依頼したこと • コンピューターにしか分からないニーモニックを、人が 分かる形に変換する。 • キーボードを用意してもらう。

24. できたプログラムは・・・ • コンピューターが好き勝手に作ったものなので、典型的 な動けばいい形になっている。 • 一枚板の巨大なプログラムがあるだけです。 • サブルーチン化すらしていない。 • 継ぎ接ぎだらけなので、あちこちに飛びまくる。（go

    to 文） • そう、オブジェクト指向前のプログラムだったのです。

25. バグを直す前にRefactoringだ！

26. まずは構造化定理を決めよう！ Structured theorem

27. 構造化定理とは？ • プログラムを整理された構造の組み合わせによって構成 することです。 • その際に使うものは「順次（Sequence）」「反復 （Iteration）」「分岐（Selection）」です。 • 出入り口は1つだけです。 ◦

    1966年にイタリアのコンピュータ科学者コラド・ ベームとジュゼッペ・ヤコピーニが証明した「構造化 プログラム定理」（Structured program theorem） が元となっています。

28. 自動に作られたプログラムは・・・ 処理B 判定 A 処理A true false 判定B 判定 C

    処理C

29. これを構造化定理に合わせ直します

30. 順次（Sequence） 処理B 処理A

31. 反復（Iteration） 処理A 判定 A true false

32. 分岐（Selection） 処理B 判定 A 処理A true false

33. 構造化定理に収まりました

34. 次に構造化プログラミングだ！ Structured programming

35. 構造化プログラミングとは？ • 抽象（Abstraction）から細部（Refinement）への設計 （トップダウン設計）をすることによる開発手法で、当 時はパーツを作ってから全体を作る方式が主流になって ました。 • これにより車輪の再発明などのコピペプログラミングが 多かったです。

36. 構造化プログラミングとは？ • これに段階的抽象（Step-wise abstraction）を持ち込 み、抽象化したオブジェクトを設計してからの開発方式 を提唱しました。 ◦ 1969年にオランダ人の計算機科学者ダイクストラが 発表した構造化プログラミング（structured programming）が元になっています。

    • まずは、全体を抽象化しよう！

37. まずは全体を抽象化しよう！

38. でも設計書が無いよね

39. まずはモジュール（Module）化しよう

40. モジュール（Module）化とは？ • 構造化定理には、モジュール化、つまりサブルーチン （関数）の考えが無いです。 • 構造化プログラミングには、サブルーチンが必要です。 • サブルーチンは、構造化プログラミングの段階的抽象 （Step-wise abstraction）の考えにより作られていま

    す。

41. 頑張ってモジュール化しました

42. しかし・・・ • モジュール化しましたが、単なるサブルーチンで全然イ ケてない。 • サブルーチンを呼び出すだけになっているので、臨機応 変に変更ができない。 • もっとサブルーチンを使いやすくするには？ •

    サブルーチンを自由にする。

43. サブルーチンを自由にする • 自由にするということは以下のことが保証されていま す。 ◦ 変数として名前がつけられる。 ◦ 手続きに引数として渡せる。 ◦ 手続きの結果として返される。

    ◦ データ構造に組み込める。 • サブルーチンをインスタンス化（Instantiation）するこ とで実現できそうです。 • この自由なサブルーチンのことを次のように言います。

44. 第一級関数（First class function）

45. オブジェクト指向な感じになりました

46. ここで目が覚める

47. 元の世界に戻ってきました • 違う電車は逆方向に乗っただけです。 • 今日は1日休みましょう。 • 明日からは今までやってきたことを反省しつつ新たなこ とにチャレンジしようと思いました。 • まずはスマホを探そう！

48. まとめ • この資料は、当方が遠い昔にオブジェクト指向を学ぶときに、前座で 読んだ本に書いてあったことの抜粋で、未来の話は付け加えました。 • オブジェクト指向がブームなりつつあった頃、構造化定理はもちろ ん、構造化プログラミングが定着しておりません。 • その頃は構造化プログラミングに関して間違った考えも広まり、オブ ジェクト指向が定着するのは、Java言語やDelphi言語が登場してか

    らです。 • 今回、歴史の話があまり無いと思い、このような登壇をしました。