Tagged "The Expression Problem"

Data types a la carteのメモ2

データ型の定義はできるようになったので、このデータ型を評価していく。 数式の評価とはなにか。各項についての畳込みのことである。 畳み込みというとリストに限定して考え

Read more...

Data types a la carte のメモ

以下の論文を読んだ内容を自分なりにまとめたメモ. 文章は適当なので後で書き直すかもしれない. Data Types a la carte 目標:数式の木をつくる。 数式の木をつくる。この時に木を直接書

Read more...