14/09/30 20:27:22.22 p23v2Yf3.net
>>389
まあ、大風呂敷を広げた方が話が盛り上がるかと思って。
>>391
正直すべてのレスをフォローするのはしんどいかも。
方向性はまだ固まってないです。
>>393
結構、ことばがわかりません。ていわれる。
いまのでも結構すごいがこれを実用までもっていったらかなりすごいと思う。
>>394
Zはオブジェクト指向でいうUMLみたいなもん？
集合論プログラミングはぐぐったけどCiNiiの論文がヒットした。
プレビュー読んでみたけどアルゴリズムを自動生成するの？
確かにすごいし理屈も通ってると思う。
これの処理系がすでにあるなら触ってみたいけど、
自分で実装しようとは思わないｗ。大変すぐるｗ。