動機と予定

2016-05-27 - 檜山正幸のキマイラ飼育記 メモ編の日からQuantomaticのメモがある。この日より前にインストールはしてるはず。日付は忘れたが、

1. Quantomaticをインストール
2. Isabelleと関係ありそうだと気づく。
3. Isabelleをインストール
4. Isabelleすごい！ と感激
5. Poly/MLについて調べる。
6. Standard MLについて調べる。

とかの順だろう。動機から言うと

1. Quatomaticについて知りたい。
2. QuatomaticはIsabelle PIDEベースみたいだ。
3. Isabelleについて知りたい。
4. Isabelleの実装言語はPoly/ML。
5. Poly/MLはStandard MLの実装のひとつ。
6. Standard MLについて調べよう。

と。

それで、Standard MLとPoly/MLに関して、[StandardML]タグでメモしていこう、と。Quantomatic, Isabelleについてもたぶん同じタグのもとで書く。