0275132人目の素数さん垢版 | 大砲2024/05/14(火) 16:52:03.82ID:wqV6CtwU >>274 それは単純な式なら分かるけどさ 複数の式で定義されている しかもその複数の式に使われている 帰納的な記法が一定の範疇に収まらないのを どうするのかなと