チューリング完全な言語ならMaxCode(n)の値はどれも同じオーダーになるんだっけ？
どういう理屈か知らんけど。