意味 | 例文 (2件) |
Herbrandとは 意味・読み方・使い方
追加できません
(登録数上限)
Wiktionary英語版での「Herbrand」の意味 |
Herbrand
統計情報
- According to the 2010 United States Census, Herbrand is the 82317th most common surname in the United States, belonging to 229 individuals. Herbrand is most common among White (96.51%) individuals.
派生語
- Herbrand function
- Herbrandization
- Herbrand-Ribet theorem
- Herbrand's theorem
- Herbrand universe
「Herbrand」を含む例文一覧
該当件数 : 2件
Turing was able to show that his machine was equivalent to other systems such as Herbrand-Godel-Kleene's general recursiveness, ...発音を聞く 例文帳に追加
チューリングは彼のマシンが他のシステム, たとえばエルブラン・ゲーデル・クリーネの一般再帰性, 等々と等価であることを示すことができた. - コンピューター用語辞典
This will require systematic generation of the members of the Herbrand Universe, obtaining ground clauses, and testing the ground clauses for unsatisfiability.発音を聞く 例文帳に追加
このことは, 基礎節を取得し, 充足不能性に対してその基礎節をテストしながら, エルブラン領域のメンバを系統的に創出することを求める. - コンピューター用語辞典
-
履歴機能過去に調べた
単語を確認! -
語彙力診断診断回数が
増える! -
マイ単語帳便利な
学習機能付き! -
マイ例文帳文章で
単語を理解!
|
意味 | 例文 (2件) |
Herbrandのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、WiktionaryのHerbrand (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
「Herbrand」のお隣キーワード |
weblioのその他のサービス
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |