2012-02-18から1日間の記事一覧
Collatzの予想、Ackermann関数、チューリングの停止性問題について触れられます。 ノート: Collatzの問題 次の関数はCollatzの予想に登場する関数との事。その前に、one?を以下の様に定義する。 (define one? (lambda (n) (eq? n 1))) Collatzの予想とは、0…
Collatzの予想、Ackermann関数、チューリングの停止性問題について触れられます。 ノート: Collatzの問題 次の関数はCollatzの予想に登場する関数との事。その前に、one?を以下の様に定義する。 (define one? (lambda (n) (eq? n 1))) Collatzの予想とは、0…