手法が解析され尽くしたんなら、計算可能な順序数を入力として、
急増加関数相当のプログラムを返すコンバーター作ってくれ。
逆は多分無理だろうから。