>>953
別にナゴヤ関数がこのスレ最大の
定義された計算可能関数だとは思ってないです。
9月半ばごろ来たときはさっぱりわかりませんでしたが、
たろう氏のC1関数などは定義概要をつかんだときには
Ver1修正版よりもかなり大きいと思っています。
ただC1関数の場合は帰納的定義できない順序数Ωなどの
定義理解があいまいで微妙ですが。
（F[F[ ・・・ F[Ω_ω] ・・・ ](Ω_1)](ω) = F[1, 0](ω) との比較では
多分 C1( C1(1, 0, 0, 0), 0 ) 程度か？）
むしろきちんと比較できれば面白いです。

ただ自分も別にチャンピォンとかこだわりなく
いろいろな方法で巨大な順序数や巨大数を考えて
いきたいと思っているだけです。
ふぃっしゅ氏など、順序数と関係ない方法で
Veblenリスト or F[ψ(Γ_Ω+1)](x)などをしのぐ巨大数も
いつできるのかも楽しみにしています。