Richardson's theorem
present participle of devour
(Canada, US) Alternative spelling of paedometer
plural of squamation
(computing theory) A theorem that establishes a limit on the extent to which an algorithm can decide whether certain mathematical expressions are equal.
式の等価性をアルゴリズムが判定できる範囲に限界を示す定理により、チームは任意の実数指数式が等しいかどうかを完全に判定するアルゴリズムの構築を断念せざるを得なかった。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
