The effectivization of the proof required constructing an explicit algorithm to compute the bound.
その証明を効果的にするには、上界を計算する明示的なアルゴリズムを構築する必要があった。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
