意味 | 例文 (1件) |
定理証明機の英語
追加できません
(登録数上限)
英訳・英語 theorem prover
「定理証明機」の部分一致の例文検索結果
該当件数 : 1件
機械のオンラインマニュアルや、計算機プログラミング用CADや、異なる言語間の翻訳作業援助や、ナレッジ・マネジメントや、デジタル・ナーバス・システムに用いるための、広い意味での定理の自動証明システムを実現する。例文帳に追加
To actualize an automatic certification system for a theorem in a broad sense which is used for an on-line manual of a machine, CAD for computer programming, translating operation assistance between different languages, knowledge management, and digital nervous system. - 特許庁
-
履歴機能過去に調べた
単語を確認! -
語彙力診断診断回数が
増える! -
マイ単語帳便利な
学習機能付き! -
マイ例文帳文章で
単語を理解!
Weblio例文辞書での「定理証明機」に類似した例文 |
|
定理証明機
|
意味 | 例文 (1件) |
|
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
weblioのその他のサービス
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |