コンピュータプログラミングの概念・技法・モデル

コンピュータプログラミングの概念・技法・モデル at TECH

90:デフォルトの名無しさん
08/01/27 15:58:31
>>83
> それ重要じゃねーか。

逆だろ？　たとえば、
sendmail.cfがチューリング完全だからといって、それがどれくらい重要かというと
・記法が配送の記述に向いてるかどうかは関係ない
・プログラミングに向いてるかどうかとは関係ない
つまり、向き不向き(優劣)の議論と、チューリング完全かどうか、は、
全く関係ない。

と昨日までは思っていたのだが、どこぞでPyPyはpartial evaluationだ二村射影だ
という記事を読んで少々意見が変わった。そのへんの理論を実用のシステムに
応用するのがあたりまえになってくると重要になってくるかも。

次ページ

続きを表示

1を表示