ホワット・ア・ワンダフル・ワールド ET Q&A

問い詰める会 wiki の方で質問されて （私の不勉強により） うまく答えられなかったことを，研究室の M 先輩を問い詰めて （笑） いろいろ教えていただいたので，ちょっとまとめてみます． たぶん Web 上での議論には限界があるので （また収集がつかなくなる），さらなる疑問点などは，問い詰める会などでよろしくお願いします．コメント欄などに質問をオープンな形でメモするぶんには大歓迎です （レスはあまり期待しないでください） (免責 : これは私の理解，解釈であり，間違いは全て私の責任です) # というか，問い詰める会は，理論的なことをちゃんとやってる M 先輩とかが行った方が （笑） Q. 正しさの根拠の違い 命令型 : アルゴリズムの一実装 （コーディング）．正しさの議論が困難．仕様 (what) の概念無し．how そのもの 関数型 : how を書くことには変わりないんだけど，プログ

[kgbu]

ETとは何か。Prologとは違って、仕様（命題集合）とそれを証明するプログラムのドメインが分離しているらしい。ふーーーん（←わかってない）

[yuji1982]

"ET は，仕様とプログラムの空間がわかれているので，プログラムを，新しいルールの探索により，段階的に改善していくことができる"

[morita_non]

ET