0842132人目の素数さん垢版 | 大砲2017/11/02(木) 19:57:38.58ID:yLMQAo0S >>841 無限時間チューリングマシンだと 0, ω, Γ_0, ω_1^CK, ω_1^CK + Γ_0 + ω はそれぞれどういう表記になりますか?