自動定理証明器

「自動定理証明器」の英語

自動定理証明器は英語で automated theorem prover と言います。theorem prover も一般的な言い方で、automated を付けると自動処理であることが明確です。reasoner は推論ソフト全般を指し、定理証明器より広い表現です。

「自動定理証明器」の英語の使い分け

automated theorem prover
定理の証明をコンピューターで自動的に行うソフトを指す専門用語です。
The automated theorem prover checked the proposed proof.
その自動定理証明器は提案された証明を検証しました。
theorem prover
自動かどうかを問わず、定理を証明するシステム全般を指します。
This theorem prover supports several logical systems.
この定理証明器はいくつかの論理体系に対応しています。
reasoner
知識や規則から結論を導くソフトを広く指す、やや一般的な語です。
The reasoner derives conclusions from stored rules.
その推論器は保存された規則から結論を導きます。

「自動定理証明器」の例文

The program acted as an automated reasoner for solving logic puzzles.

そのプログラムは論理パズルを解く自動推論者として機能した。

コアイメージ

推論者は与えられた前提や規則から論理的に結論を導く人やプログラム

英英

An agent, human or program, that derives conclusions from premises or applies logical rules, often implemented as an automated inference engine.

語源

reasonerは、reasonという語と行為者を表す接尾辞‑erの結合から生まれ、推論者を指す語として理性や理屈に基づき結論を導く主体を表す

コラム

コンピュータの分野では推論者は知識と規則に基づいて自動的に結論を出すソフトウエアを指し、日常では理性的に考える人を意味する

「自動定理証明器」のレベル別の例文

中学
This theorem prover can prove simple statements.

この定理証明器は簡単な命題を証明できます。
高校・英検2級
Researchers tested an automated theorem prover on difficult mathematical problems.

研究者たちは難しい数学の問題で自動定理証明器を試験しました。
TOEIC・ビジネス
Our team selected a reasoner for the new verification system.

私たちのチームは新しい検証システム用に推論器を選びました。
日常会話
Which theorem prover are you using?

どの定理証明器を使っているのですか。

「自動定理証明器」を英語にするときのよくある間違い

× theorem proof machine

○ automated theorem prover

英語では定理証明器をこのようには言わず、定型的な専門用語を使います。
× The program did a theorem.

○ The program proved a theorem.

定理を証明するは do ではなく prove を使います。

「自動定理証明器」の英語についてよくある質問

Q. 「自動定理証明器」を英語で一言で言うと？

automated theorem prover が最も正確で一般的な専門用語です。短く theorem prover と言うこともあります。

Q. automated theorem prover と reasoner の違いは？

automated theorem prover は定理の証明に特化したソフトを指します。reasoner は規則や知識から推論するソフト全般を指す、より広い表現です。

Q. 「自動定理証明器」を論文や技術文書でどう言う？

論文や技術文書では automated theorem prover とするのが一般的です。初出で略語を使う場合は、まず正式名称を書いてから略すと明確です。

「自動定理証明器」と関連する日本語の英語

ほかの日本語から英語を引く