- 90 名前：デフォルトの名無しさん mailto:sage [2008/01/27(日) 15:58:31 ]
- >>83
> それ重要じゃねーか。
逆だろ？ たとえば、
sendmail.cfがチューリング完全だからといって、それがどれくらい重要かというと
・記法が配送の記述に向いてるかどうかは関係ない
・プログラミングに向いてるかどうかとは関係ない
つまり、向き不向き(優劣)の議論と、チューリング完全かどうか、は、
全く関係ない。
と昨日までは思っていたのだが、どこぞでPyPyはpartial evaluationだ二村射影だ
という記事を読んで少々意見が変わった。そのへんの理論を実用のシステムに
応用するのがあたりまえになってくると重要になってくるかも。
