小窓モード


プレミアム

ログイン
設定

設定

Proof theoryとは 意味・読み方・使い方

ピン留め

追加できません

(登録数上限)

単語を追加

意味・対訳 証明理論


JST科学技術用語日英対訳辞書での「Proof theory」の意味

proof theory


「Proof theory」の部分一致の例文検索結果

該当件数 : 17



例文

Your theory is not susceptible of proof.発音を聞く 例文帳に追加

あなたの理論は証明できない. - 研究社 新英和中辞典

Those artifacts were considered to be proof of the theory, the invasion of the Korean Kingdoms by Wakoku.発音を聞く 例文帳に追加

このことも、この説の証拠として提示されている。 - Wikipedia日英京都関連文書対訳コーパス

These may have been simply proof that a scientific theory, an experiment, worked.例文帳に追加

これらは単なる理論を証明する 実験かもしれない - 映画・海外ドラマ英語字幕翻訳辞書

additional proof that something that was believed (some fact or hypothesis or theory) is correct発音を聞く 例文帳に追加

本当だと信じられていることを再び証明すること - 日本語WordNet

a proof technique which combines techniques from Petri net theory and from temporal logics発音を聞く 例文帳に追加

ペトリ・ネット理論からの技術と時相論理からの技術とを組合わせた立証技術 - コンピューター用語辞典

An out-of-plane bending yield proof stress fMy of the eccentric joint part and a punching shear yield proof stress psMy are obtained using a yield line theory and reflecting an amount of eccentricity of a steel beam in the yield line theory.例文帳に追加

偏心接合部の面外曲げ降伏耐力fMyと、パンチングシャー降伏耐力psMyとを、降伏線理論を用い、該降伏線理論に鋼梁の偏心量を反映させて求める。 - 特許庁

例文

In terms of identifying the calligrapher, the most prominent theory is that he was FUJIWARA no Yukitsune (1012-1050, also known as Yukitsune SESONJI), son of famed calligrapher FUJIWARA no Yukinari (his first name can also be rendered as Kozei), but there is no definitive proof of this.発音を聞く 例文帳に追加

筆者については藤原行成の子の世尊寺行経(1012-1050)とする説が有力だが、確証はない。 - Wikipedia日英京都関連文書対訳コーパス

>>例文の一覧を見る


調べた例文を記録して、 効率よく覚えましょう
Weblio会員登録無料で登録できます!
  • 履歴機能
    履歴機能
    過去に調べた
    単語を確認!
  • 語彙力診断
    語彙力診断
    診断回数が
    増える!
  • マイ単語帳
    マイ単語帳
    便利な
    学習機能付き!
  • マイ例文帳
    マイ例文帳
    文章で
    単語を理解!
  • その他にも便利な機能が満載!
Weblio会員登録(無料)はこちらから

日英・英日専門用語辞書での「Proof theory」の意味

proof theory


Weblio英和対訳辞書での「Proof theory」の意味

Proof theory

Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

「Proof theory」の部分一致の例文検索結果

該当件数 : 17



例文

Her origin is even more mysterious than that of Nukata no Okimi; although a theory states that Kagami no Okimi was an older sister of Nukata no Okimi, there is no description in "Nihonshoki" to indicate that they were sisters, and thus no proof for the theory.発音を聞く 例文帳に追加

鏡王女の素性は額田王以上に謎に包まれており、額田王の姉という説があるが、『日本書紀』には二人が姉妹だという記述はなく、確証はない。 - Wikipedia日英京都関連文書対訳コーパス

According to this theory, the historical document that was considered proof of the Tanuma villain theory was created by his political opponents after Tanuma fell from power, and its credibility was not verified in Tsuji's documentation.発音を聞く 例文帳に追加

これらの説によると、田沼悪人説の根拠となる史料も田沼失脚後に政敵たちにより口述されたもので、辻の著作においては信憑性が検証されていないとしている。 - Wikipedia日英京都関連文書対訳コーパス

There are no academic theses that support the theory of the Kyushu Dynasty among the academic journals that conduct peer review, and in general any claims regarding the theory of the Kyushu Dynasty, or anything related to that matter, have not been deemed to be academic theories with any scientific proof.発音を聞く 例文帳に追加

査読のある学術雑誌において、九州王朝を肯定的に取り上げた学術論文は皆無であり、一般に九州王朝説及び関連する主張は科学的な学説とはみなされていない。 - Wikipedia日英京都関連文書対訳コーパス

However, Naohiko YAEGASHI's theory, that seeks evidence by backing Umehara's theory on the demise of the Soga clan's head family (Soga no Emishi and Soga no Iruka), and Kazuomi TADA's view, that points to evidence in the death of Prince Otsu, are logically valid although both refer to writings of later times as proof, including "Fusoryakki" and "Yakushiji-Eng".発音を聞く 例文帳に追加

蘇我宗家(蘇我蝦夷・蘇我入鹿)の滅亡にその兆候がみとめられるとする八重樫直比古のような理解や、大津皇子にその発端をみる多田一臣らの説は、『扶桑略記』『薬師寺縁起』のように後世にくだる史料に拠らざるを得ない欠点はあるものの、一定の論拠を有している。 - Wikipedia日英京都関連文書対訳コーパス

Some historians also consider that 'the Omodaka oban' was minted by order of Terumoto MORI whom Hideyoshi permitted to mint using the Goto family; the theory is based on the mark at the middle of the back of the oban, such as the Mori family's crest of Omodaka (a swamp plant), the Goto family's Kamon of paulownia in a hexagon and Goto's Kao; however, there is no positive proof for the theory yet.発音を聞く 例文帳に追加

裏面中央に家紋の一覧沢瀉(おもだか)、亀甲桐紋、花押の極印が打たれた澤瀉大判(おもだかおおばん)は秀吉が毛利輝元に後藤家で大判を作製することを許したと推定する説もあるが定かでない。 - Wikipedia日英京都関連文書対訳コーパス

Another version has it that Takanori's ancestor was Shigenori (should be the same person as a grandfather of Norinaga WADA who appears in another theory called Amenohiboko theory) the second son of Morinori, who was the youngest son of Moritsuna SASAKI from the Uda-Genji, who worked for Yoritomo MINAMOTO, but the only proof of this theory is "Seishi Kakei Daijiten" (a large dictionary of Japanese surnames) published by Kadokawa Group Publishing Co., Ltd., and as the source of the dictionary was not clear, it is not highly credible.発音を聞く 例文帳に追加

異説として、源頼朝に従った宇多源氏・佐々木盛綱末子・盛則の次男・重範(天之日矛後裔説・和田範長祖父と同一か)を祖とする説もあるが、この説の場合は角川書店発刊『姓氏家系大辞典』のみが出典であり、同書の出典の不明瞭な点から説の根拠としてはやや信憑性に欠けることが言える。 - Wikipedia日英京都関連文書対訳コーパス

Therefore, we need to pay attention to the fact that there is no proof of the argument based on the assumption that this theory is the ideological background for choosing the land for Heian-kyo, which was built in the late eighth century.発音を聞く 例文帳に追加

そのため、同説が8世紀後葉に建設された平安京選地の思想的背景であるとの前提に立った主張については裏付けがないことに注意が必要である。 - Wikipedia日英京都関連文書対訳コーパス

例文

However, the theory of him being a descendant of the Retired Emperor Gotoba was created in the Meiji period, and there was no proof that such a legend existed before that.発音を聞く 例文帳に追加

ただし、後鳥羽上皇の後裔であるとする系図は明治時代に作られたものであり、それ以前からこのような伝承があったという証拠はない。 - Wikipedia日英京都関連文書対訳コーパス

>>例文の一覧を見る


Proof theoryのページの著作権
英和・和英辞典 情報提供元は 参加元一覧 にて確認できます。

   
独立行政法人科学技術振興機構独立行政法人科学技術振興機構
All Rights Reserved, Copyright © Japan Science and Technology Agency
日中韓辭典研究所日中韓辭典研究所
Copyright © 2024 CJKI. All Rights Reserved

ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。

こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

このモジュールを今後表示しない
みんなの検索ランキング
閲覧履歴
無料会員登録をすると、
単語の閲覧履歴を
確認できます。
無料会員に登録する
英→日 日→英
こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

©2024 GRAS Group, Inc.RSS