絶対に忘れないAI辞書＆単語帳アプリ「DiQt（ディクト）」

最終更新日：2025/12/05

例文

To ensure the program only uses intuitionistic logic, the team decided to constructivize the classical proofs in the library.

プログラムが直観主義的な論理のみを使用するように、チームはライブラリ内の古典的な証明を構成主義に一致する枠組みに変換することにした。

正解を見る

To ensure the program only uses intuitionistic logic, the team decided to constructivize the classical proofs in the library.

音声機能が動作しない場合はこちらをご確認ください

動詞

(mathematics) To convert into a framework that is consistent with constructivism. / To make constructivist (grounded in experience).

日本語の意味

（数学において）構成主義の枠組みに適合するように変換する / 経験に基づいた構成主義の立場から作り変える

To ensure the program only uses intuitionistic logic, the team decided to constructivize the classical proofs in the library.

プログラムが直観主義的な論理のみを使用するように、チームはライブラリ内の古典的な証明を構成主義に一致する枠組みに変換することにした。

項目の編集設定

例文の編集設定

問題の編集設定