ノート そのまま訳すと『高階手続きによる抽象の定式化』か。単に定式化とするか抽象化とする方がピンときそう。引数を使って具体的な数値あるいは変数から切り離して値の操作を手続きとして纏める事もひとつの抽象化であると。普通の言語は一連の操作のパタ…

整数計算のなかなか難しい話が沢山出て来ますが、調べまくった内容を兎に角メモしておきます。 ノート 例：素数判定 Searching for divisors（約数を探す） 基本的には2から始めて順に割り切れるかを確かめる。問題はいくつまで確かめれば十分なのか。n/2よ…