Rpakrさんのすべての投稿

このように書くのはどうでしょうか。

また、削除依頼を、メッセージウォールで行うのではなく、フォーラムやユーザーページなどに削除依頼のための場所を設けたほうが、どのような削除依頼がされたか/されているかがわかりやすいと思いますが、どのように思いますか。

編集: 返信に気付かずに投稿してしまいました。すみません。

4.2に以下のように書いてありますが。

「削除提案」という語を使っているので、テンプレートを使う通常の削除提案の手順に従わなければならないと解釈されると思います。

その方がよいと思います。

ユーザーが自らの記事の削除の必要性を感じたときには、（アドミンにメッセージウォールなどで伝えるのではなく）削除提案をしなければならないのですか？

単に「記事」と書くと、通常の記事のみを指しているのか、それともブログ記事・ユーザー記事・コメント等も含むのかが曖昧なので、

と書いた方が明確だと思います。

削除が行われる理由が、内容が不適切であるという理由ではなかった場合（例えば、出典が存在しない巨大数の記事を削除する場合や、アドミンが自らの投稿を削除する場合など）にも、この作業を行うことを義務付ける必要はないと思います。

削除理由の説明について、英語版GWikiでは、

このページは削除候補です。 削除理由は: (理由)

この記事はコミュニティ管理方針の「削除提案」に従って取り扱われます。もし、削除に同意できない場合は、 削除候補でその理由を説明するか、ページを書き直して、<code>{{delete}}</code>または<code>{{削除}}</code>タグを取り除いてください。

削除する前に、リンク元とページ履歴のチェックを忘れないでください。

と書くことでテンプレートに削除を提案する理由を書くことができますが、この機能は使えないのですか？

「経済における巨大数」というタイトルではいかがですか。

n≧2に対しg^n(x)を計算させると、g^(n-1)(0)が呼び出されるバグがあります。

C++翻訳版を作ってみましたが、3 ↑^2 4を呼び出したところ3^7625597484987の呼び出しが実行されたので、3↑↑4=7625597484987とはなっていないと思います。

現在はどのように実装されている状態ですか？

私は、ラヨ数は定義されていないと思います。ビジービーバー関数で使われるチューリングマシンは、停止するかどうかは公理系とは関係ありません。（停止性の証明可能性は公理系によって変わりますが、停止性自体は変わりません。）チューリングマシンを実行する方法は、1通りしかないからです。ですが、ラヨ数で使われるFOSTの式は、どのように計算すればよいのかが示されていません。なので、公理系によって結果が変わる可能性があります。

\(a\rightarrow^n_ba\approx f_{\omega^\omega}(n)\)

\(a\Rightarrow^1b\Rightarrow^1c\approx f_{\omega^\omega}(c)\)

\(\Rightarrow^1(a,b,c)\approx f_{\omega^\omega}(c)\)

\(\Rightarrow^1(a,b,c,2)\approx f_{\omega^\omega+1}(c)\)

\(\Rightarrow^1(a,b,c,3)\approx f_{\omega^\omega+2}(c)\)

\(\Rightarrow^1(a,b,c,d)\approx f_{\omega^\omega+\omega}(d)\)

\(\Rightarrow^1(a,b,c,d,2)\approx f_{\omega^\omega+\omega+1}(d)\)

\(\Rightarrow^1(a,b,c,d,e)\approx f_{\omega^\omega+\omega\times2}(e)\)

\(a\Uparrow^{1,2}_1b\approx f_{\omega^\omega+\omega\times2}(b)\)

\(\rightarrow_{1,1,2}(a,b)\approx f_{\omega^4}(b)\)

\(\rightarrow_{1,1,2}(a,b,2)\approx f_{\omega^4+1}(b)\)

\(\rightarrow_{1,1,2}(a,b,3)\approx f_{\omega^4+2}(b)\)

\(\rightarrow_{1,1,2}(a,b,c)\approx f_{\omega^4+\omega}(c)\)

\(\rightarrow_{1,1,2}(a,b,c,2)\approx f_{\omega^4+\omega+1}(c)\)

\(\rightarrow_{1,1,2}(a,b,c,d)\approx f_{\omega^4+\omega\times2}(d)\)

\(\rightarrow_{2,1,2}(a,b)\approx f_{\omega^4+\omega^2}(b)\)

\(\rightarrow_{2,1,2}(a,b,c)\approx f_{\omega^4+\omega^2+\omega}(c)\)

\(\rightarrow_{3,1,2}(a,b)\approx f_{\omega^4+\omega^2\times2}(b)\)

\(\rightarrow_{4,1,2}(a,b)\approx f_{\omega^4+\omega^2\times3}(b)\)

\(\rightarrow_{1,2,2}(a,b)\approx f_{\omega^4+\omega^3}(b)\)

\(\rightarrow_{2,2,2}(a,b)\approx f_{\omega^4+\omega^3+\omega^2}(b)\)

\(\rightarrow_{1,3,2}(a,b)\approx f_{\omega^4+\omega^3\times2}(b)\)

\(\rightarrow_{1,1,3}(a,b)\approx f_{\omega^4\times2}(b)\)

\(\rightarrow_{2,1,3}(a,b)\approx f_{\omega^4\times2+\omega^2}(b)\)

\(\rightarrow_{1,2,3}(a,b)\approx f_{\omega^4\times2+\omega^3}(b)\)

\(\rightarrow_{1,1,4}(a,b)\approx f_{\omega^4\times3}(b)\)

\(\rightarrow_{1,1,5}(a,b)\approx f_{\omega^4\times4}(b)\)

\(\rightarrow_{1,1,1,2}(a,b)\approx f_{\omega^5}(b)\)

\(\rightarrow_{2,1,1,2}(a,b)\approx f_{\omega^5+\omega^2}(b)\)

\(\rightarrow_{3,1,1,2}(a,b)\approx f_{\omega^5+\omega^2\times2}(b)\)

\(\rightarrow_{1,2,1,2}(a,b)\approx f_{\omega^5+\omega^3}(b)\)

\(\rightarrow_{1,3,1,2}(a,b)\approx f_{\omega^5+\omega^3\times2}(b)\)

\(\rightarrow_{1,1,2,2}(a,b)\approx f_{\omega^5+\omega^4}(b)\)

\(\rightarrow_{1,2,2,2}(a,b)\approx f_{\omega^5+\omega^4+\omega^3}(b)\)

\(\rightarrow_{1,1,3,2}(a,b)\approx f_{\omega^5+\omega^4\times2}(b)\)

\(\rightarrow_{1,1,1,3}(a,b)\approx f_{\omega^5\times2}(b)\)

\(\rightarrow_{1,1,2,3}(a,b)\approx f_{\omega^5\times2+\omega^4}(b)\)

\(\rightarrow_{1,1,3,3}(a,b)\approx f_{\omega^5\times2+\omega^4\times2}(b)\)

\(\rightarrow_{1,1,1,4}(a,b)\approx f_{\omega^5\times3}(b)\)

\(\rightarrow_{1,1,1,1,2}(a,b)\approx f_{\omega^6}(b)\)

\(\rightarrow_{1,1,2,1,2}(a,b)\approx f_{\omega^6+\omega^4}(b)\)

\(\rightarrow_{1,1,1,2,2}(a,b)\approx f_{\omega^6+\omega^5}(b)\)

\(\rightarrow_{1,1,1,1,3}(a,b)\approx f_{\omega^6\times2}(b)\)

\(\rightarrow_{1,1,1,1,1,2}(a,b)\approx f_{\omega^7}(b)\)

\(\rightarrow_{1,1,1,1,1,3}(a,b)\approx f_{\omega^7\times2}(b)\)

\(\rightarrow_{1,1,1,1,1,1,2}(a,b)\approx f_{\omega^8}(b)\)

\(\rightarrow_{1,1,1,1,1,1,1,2}(a,b)\approx f_{\omega^9}(b)\)

以上より、第n帰化演算は\(f_{\omega^{n+1}}\)の強さを持つことがわかる。また、帰化拡張法Ver.1は\(f_{\omega^\omega}\)の強さを持つ。