検索結果- 英語 - 英語

検索内容:

formalizable

形容詞

比較不可

Capable of being formalized.

日本語の意味

形式化可能な

Although the concept seemed informal at first, the theory proved formalizable through a set of rigorous axioms.

その概念は最初は非公式に見えたが、一連の厳密な公理によってその理論が形式化可能であることが示された。

名詞

不可算名詞

The quality of being formalizable.

日本語の意味

形式化可能性 / 物事が形式として定義・規格化される性質

Researchers debated the formalizability of the new theory before attempting to implement it in a proof assistant.

研究者たちは、証明支援システムに実装しようとする前に、その新しい理論の形式化可能性について議論した。

Webで検索する