(mathematics) To convert into a framework that is consistent with constructivism. / To make constructivist (grounded in experience).
constructivize
プログラムが直観主義的な論理のみを使用するように、チームはライブラリ内の古典的な証明を構成主義に一致する枠組みに変換することにした。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★