プログラミング言語Egison - 表現の新たな抽象化の発見このスライドは2014年11月28日に東京大学のGlobal Design Seminarでの講演に使われました。 http://www.gcl.i.u-tokyo.ac.jp/wp-content/uploads/2014/11/Rakuten20141128.pdf コンピュータは非常に高速な代わりに、機械語という単純な命令列しか理解できません。そのため、人間はコンピュータにしてほしいことを全て形式的に記述せねばなりません。 コンピュータ向けに翻訳することなしに、人間の直感による認識を表現するというのは、非常に難しい問題です。私達が日常行っているコミュニケーションは、聞き手や読み手の補完によって成り立っています。例えば、数学書の記述は、書き手の数学的認識を、読み手が自身の頭の中に構築するためのヒントの羅列に過ぎません。内容を理解するには、ただ一通り読むだけでは足りなくて、相当の思考が必
