コンピュータのための新たな表現の追及―プログラミング言語Egison開発史
•
1 gostou•2,160 visualizações
このスライドは2014年11月28日に東京大学のGlobal Design Seminarでの講演に使われました。 http://www.gcl.i.u-tokyo.ac.jp/wp-content/uploads/2014/11/Rakuten20141128.pdf コンピュータは非常に高速な代わりに、機械語という単純な命令列しか理解できません。そのため、人間はコンピュータにしてほしいことを全て形式的に記述せねばなりません。 コンピュータ向けに翻訳することなしに、人間の直感による認識を表現するというのは、非常に難しい問題です。私達が日常行っているコミュニケーションは、聞き手や読み手の補完によって成り立っています。例えば、数学書の記述は、書き手の数学的認識を、読み手が自身の頭の中に構築するためのヒントの羅列に過ぎません。内容を理解するには、ただ一通り読むだけでは足りなくて、相当の思考が必要です。 人間の直感による認識の直接的な表現は、コンピュータの出現によって非常に重要な問題になりました。もしそのような表現が見つかれば、プログラミングにより、コンピュータに非常に少ない労力で仕事をさせることができるからです。幾つもの表現の抽象化の発見により、プログラミング言語は、直接かつ形式的に表現できる直感の範囲を広げてきました。しかしながら、人間の考えをコンピュータ向けに翻訳して記述せねばならない場面は未だにあります。そのような場面を見つけ、自身の直感を分析し、その直接的な表現を見出すことにより、私は新しいプログラミング言語Egisonを作りました。 本講演では、その研究の経緯を話すことにより、プログラミングやプログラミング言語の研究の面白さを共有したいと考えています。
Recomendados
Mais conteúdo relacionado
Mais de Rakuten Group, Inc.
Mais de Rakuten Group, Inc. (20)
コンピュータのための新たな表現の追及―プログラミング言語Egison開発史
- 1. コンピュータのための 新たな表現の追求 Vol.01 Nov/28/2014 Satoshi Egi (江木 聡志) Rakuten Institute of Technology http://rit.rakuten.co.jp/ - プログラミング言語Egison開発史-
- 2. 2 自己紹介 Name 江木 聡志 Association 楽天株式会社 楽天技術研究所 Education 東京大学大学院情報理工学系研究科コンピュータサ イエンス専攻修士 Interests プログラミング言語・自動推論 Website http://www.egison.org/~egi/
- 3. 3 1. Egison を作った経緯 2. Egison 概要 3. Egison 開発の歴史 目次
- 4. 4 1. Egison を作った経緯 2. Egison 概要 3. Egison 開発の歴史 目次
- 5. 5 プログラミング言語とは？ 単純な命令列しか理解できないコンピュータに 対する要求を、人間が形式的に記述するための 言語 例. C, Java, Ruby, Lisp, Haskell, Egison, …
- 7. 7 Egisonを作った理由 人間の頭の中の認識 (直感) をより直接的に表現す る方法を見つけた！ 人間の考えをコンピュータ向けに翻訳して記述せねばなら ない場面は未だにあります。そのような場面を見つけ、自 身の直感を分析し、その直接的な表現を見出すことにより、 私は新しいプログラミング言語Egisonを作るに至りました。 CodeIQ MAGAZINEへの寄稿記事より
- 9. 9 1. Egison を作った経緯 2. Egison 概要 3. Egison 開発の歴史 目次
- 10. 10 Egison紹介 Egisonはオープンソースのプログラミング言語です。 https://github.com/egison/egison パラダイム パターンマッチ指向、 純粋関数型 作者 江木 聡志 ライセンス MIT バージョン 3.3.12 (2014/10/24) 最初のリリース 2011/5/24 拡張子 .egi 実装言語 Haskell (3,800行くらい)
- 11. 11 Egisonとは？ Egison は1つの定まった標準形を持たないデータに対 しても柔軟なパターンマッチが表現可能なプログラミン グ言語です。 (match-all xs (multiset integer)! [<cons $x <cons ,x _>> x])! Egison コレクション‘xs’の要素で2回以上 現れる要素を列挙します。 pairs = []! (1..n).each do |i|! (i..n).each do |j|! if xs[i] == xs[j]! pairs = pairs +! xs[i]! end! end! end! Ruby
- 12. 12 デモ: ポーカーの役判定
- 13. 13 デモ: ポーカーの役判定 Pattern for straight flash
- 14. 14 デモ: ポーカーの役判定 Pattern for straight flash Match as a set of cards
- 16. 16 Straight Flush のパターン Same suit with $s
- 17. 17 Straight Flush のパターン Same suit with $s Numbers are serial from $n
- 18. 18 Straight Flush のパターン Same suit with $s Numbers are serial from $n バリューパターン(‘,’の後)には任意の式を 記述できます
- 19. 19 デモ: ポーカーの役判定 Pattern for two pair
- 21. 21 Two Pair のパターン Matches with any suit Matches with any card
- 22. 22 Two Pair のパターン Matches with any suit Matches with any card Same number with $m Same number with $n
- 23. 23 Two Pair のパターン Matches with any suit Matches with any card Same number with $m Same number with $n 非線形パターンの表現力は非常に強力です
- 25. 25 デモ: 麻雀の上がり判定
- 26. 26 デモ: 麻雀の上がり判定 Two same tiles Three consecutive tiles Three same tiles
- 27. 27 デモ: 麻雀の上がり判定 Two same tiles Three consecutive tiles Three same tiles Seven twins or one twin + four shuntsu or kohtsu
- 28. 28 デモ: 麻雀の上がり判定 Two same tiles Three consecutive tiles Three same tiles Seven twins or one twin + four shuntsu or kohtsu パターンのモジュール化も非常に 強力な機能です
- 31. 31 プログラミング言語理論の中でのEgison Egison has been pioneering a new field of the theory of programming language.
- 33. 33 1. Egison を作った経緯 2. Egison 概要 3. Egison 開発の歴史 目次
- 35. 35 発端 2010年3月、卒業研究のために数学の定理を自動で 予想するプログラムを書いている時にEgisonのアイデ アを得た 数学の理論の自動生成という大問題の部分問題として 新しいアイデアを得た
- 53. 53 ウェブサイトを更新
- 54. 54 ウェブサイトを更新
- 55. 55 オンラインデモを実装
- 57. 57 ウェブサイト大改装の結果 • 2014年3月、Reddit上で話題になる • http://www.reddit.com/domain/egison.org/ • 2014年4月、InfoWorldで取り上げられる • http://www.infoworld.com/article/2606823/ application-development/146094-Ten-useful- programming-languages-you-might-not-know- about.html • 2014年6月、7月、Hacker News上で立て続け に話題になる • https://hn.algolia.com/?q=egison#!/story/forever/ prefix/0/egison%20-edison%20-elison%20- egibson
- 58. 58 半年間のアクセスマップ (2014/4/23 – 2014/10/23) Total session is 15,228
- 59. 59 コミュニティの成長 (2013/11/15 – 2014/11/28) • メーリングリスト • Before: 12 – 作者の友人のみ • Current: 27 – 世界中の人々 • Stargazers on GitHub • Before: 12 – 作者の友人のみ • Current: 250 – 世界中の人々
- 65. 65 まとめ • プログラミング言語を考えることは面白い • 新しい理論を考えることは面白い • 新しい理論を普及させることは大変 • この情報化社会でも非常に大変 • 理論を作る以上の行動力と執念が必要 • 新しい理論の普及には周りの方々の優しさが必須