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