解答・コメントを送る方法
コメントを送るには2つの方法があります。
- 匿名でコメントを書くログインせずにコメントを書くことができます。 名前は「匿名」となります。
- アカウントを作成してコメントを書くアカウントを作成すると、記名での投稿ができます。 また、プロフィールページが作成され、 簡単なプロフィールや 統計情報が表示されるようになります。
投稿ボタンを押す前に以下の文章を確認してください
- 当サイトへの投稿は クリエイティブ・コモンズ・ライセンス BY(表示)および、その解釈に同意するものとみなされます。各ページには下のようにライセンス表示が行われます。
- あなたの投稿したコード・コメント・トピックが再利用・添削されることを望まない場合は、投稿をお控えください。
- 自分が書いていない、ウェブサイトや書籍などからの無断コピーは著作権の侵害です。著作権者の了解を得るか、自分で0から書いてください。
- 著作権の侵害、名誉毀損、など投稿内容に問題がある場合、削除することがあります。
- これらのことにあなたはあらかじめ同意したものとみなされます。
Post comment
Post a comment to the following challenge:
正整数のゲーデル数化?
(Nested
Flatten)
As a reply to the following comment: omoikani: 素数生成が間違っていたので修正。 つい...(#4677) [show]

omoikani
#4677()
[
StandardML
]
Rating0/0=0.00
素数生成が間違っていたので修正。 ついでに多倍長整数を使って、Overflowしないようにしてみた。
fun prime n = let val a = List.tabulate (n - 1, fn x => x + 2) fun loop [] = [] | loop (x::xs) = x :: loop (List.filter (fn i => i mod x <> 0) xs) in loop a end fun goedel (n : IntInf.int) = let open IntInf val p = map fromInt (prime 100) val a = map (valOf o Int.fromString o str) ((explode o toString) n) in toString (ListPair.foldl (fn (x, y, z) => pow (x, y) * z) 1 (p, a)) end fun println s = print (s ^ "\n") val _ = println (goedel 9) val _ = println (goedel 81) val _ = println (goedel 230) val _ = println (goedel 19425463134)Rating0/0=0.00-0+