2010-02-14から1日間の記事一覧
いや〜、わからねぇwww まだこのセクション理解しきれてないので、以下、途中経過だけ書いておきます。 ■除数の探索 覚えていますか素因数分解。「素数^n」の表記を使って自然数を分解していくアレです。 割ることができる素数が見つからない場合、その数は…
【問題】 手続きが生成するプロセスはもちろん解釈系が使う規則に依存する。 例えば、上で述べた反復的 gcd 手続きを考え、1.1.5節で論じた正規順序評価を使って解釈したとする。 (if の正規順序評価規則は問題1.5に書いてある。) (正規順序の)置き換え…