意味 | 例文 (44件) |
type theoryとは 意味・読み方・使い方
追加できません
(登録数上限)
意味・対訳 型理論; タイプ理論
「type theory」の部分一致の例文検索結果
該当件数 : 44件
There is a theory that says it is a type of Jomon god.発音を聞く 例文帳に追加
縄文神の一種という説もある。 - Wikipedia日英京都関連文書対訳コーパス
Perhaps more surprisingly, the same type of theory例文帳に追加
もっと驚くべきは同じような理論が - 映画・海外ドラマ英語字幕翻訳辞書
By this fact, one theory holds that craftsmen to make Suemura-type Sueki spread out to local areas, whereas the other theory holds that craftsmen in local areas learned how to make Suemura-type Sueki and produced them.発音を聞く 例文帳に追加
このことを陶邑工人の地方拡散とみる説、在地工人が陶邑様式を受容して生産したとみる説とがある。 - Wikipedia日英京都関連文書対訳コーパス
Koya-gire: There is a theory that the first type of this work was written by FUJIWARA no Yukitsune.発音を聞く 例文帳に追加
高野切 ※この切の第一種は彼の真筆であるとされる説もある。 - Wikipedia日英京都関連文書対訳コーパス
There are various theories about where the boundary is between areas using Kanto type soup broth and those using Kansai type soup broth, such as a Maibara City, Shiga Prefecture theory, Sekigahara-cho (a town situated on the boundary between Shiga Prefecture and Gifu Prefecture) theory, an Oi-gawa River (people in the Edo period found difficulty in wading across Oi-gawa River) theory, and so on.発音を聞く 例文帳に追加
つゆの関東風と関西風との境界線は諸説存在し、滋賀県の米原市説、滋賀県・岐阜県境の関ヶ原町説、大井の渡しによって分断されていた大井川説、、などの意見がある。 - Wikipedia日英京都関連文書対訳コーパス
Aritsune TOYOTA stated the theory that Emperor Tenmu was a ninja because he was familiar with tenmon tonko (a type of fortune-telling).発音を聞く 例文帳に追加
-天文遁甲に通じていたことを根拠に豊田有恒が忍者説を唱えた。 - Wikipedia日英京都関連文書対訳コーパス
-
履歴機能過去に調べた
単語を確認! -
語彙力診断診断回数が
増える! -
マイ単語帳便利な
学習機能付き! -
マイ例文帳文章で
単語を理解!
Wiktionary英語版での「type theory」の意味 |
type theory
名詞
type theory (usually uncountable, 複数形 type theories)
- (mathematics, computer science) A branch of mathematical logic and theoretical computer science concerned with types.
- 2013, Homotopy Type Theory: Univalent Foundations of Mathematics, Univalent Foundations, page 2:
- Although it is not generally regarded as the foundation for classical mathematics, set theory being more customary, type theory still has numerous applications, especially in computer science and the theory of programming languages.
参考
ウィキペディア英語版での「type theory」の意味 |
Type theory
出典:『Wikipedia』 (2011/06/15 13:14 UTC 版)
「type theory」の部分一致の例文検索結果
該当件数 : 44件
One theory is that it was named as 'vertical type' because this grinding stone is arranged vertically.発音を聞く 例文帳に追加
一説には、この砥石が縦に貼られていることから「縦型」という名称になったともいう。 - Wikipedia日英京都関連文書対訳コーパス
To provide a projection type encoder based on three-lattice theory capable of detecting an origin position precisely.例文帳に追加
原点位置を精度良く検出可能な3枚格子の理論による投影型エンコーダを実現すること。 - 特許庁
Another theory suggests a different type of soup broth, Tokai type or Nagoya type, existing in addition to the Kanto and Kansai types, by regarding the Tokai region as an area with separate Udon noodle cultures, not as an area merely lying halfway between the Kanto and Kansai regions.発音を聞く 例文帳に追加
これに東海地域を中間とせず別個とした、、と区別する意見もある。 - Wikipedia日英京都関連文書対訳コーパス
And the other theory is that Mokkatsuji-ban refers to all the wood movable-type prints published after the time of Kokatsuji-ban and before the Meiji period (including metal movable-type prints).発音を聞く 例文帳に追加
また、古活字版より後代の明治以前に出された活版印刷物(すなわち金属製活字を含めた)全てを木活字版とする説もある。 - Wikipedia日英京都関連文書対訳コーパス
There is a theory that a kango (words of Chinese origin) 'manpitsu (漫筆)' meaning an essay which is 'writing (a sentence) at will' became 'manpitsu-ga (a picture painted at will)', then 'manga', also there is another theory that a type of spoonbill called 'mankaku (漫画)' which 'looks for various things' was the origin.発音を聞く 例文帳に追加
「気の向くままに(文章を)書く」という随筆を意味する漢語「漫筆」が「漫筆画」を経て「漫画」になったとする説と、「漫画(まんかく)」という名のヘラサギの一種から「種々の事物を漁る」意になったとする説がある。 - Wikipedia日英京都関連文書対訳コーパス
* There is a theory that the location of Kokufu varied according to the era in which they were built, and this theory is based on the following facts: some descriptions on Kokufu agree, but others differ depending on the type of document; some documents do not contain any descriptions on certain Kokufu; and some documents mention only the name of the province in which the Kokufu was established without providing any further details.発音を聞く 例文帳に追加
※各史料によって、国府の異同、国府の記載なし、国府所在郡のみで郷名の記載なし、などから、国府の時代による移転説がある。 - Wikipedia日英京都関連文書対訳コーパス
If this theory were true, people throughout Japan in the mid Jomon Period had already been familiar with the Hainuwele-type myth and cultivation of potatoes (or five grains).発音を聞く 例文帳に追加
この説によるとハイヌウェレ型神話は芋(あるいは五穀)栽培とともにすでに縄文中期に日本列島で知られていた、ということになる。 - Wikipedia日英京都関連文書対訳コーパス
However, another theory suggests that kumiai-jutsu wasn't a striking art like karate but a type of jujutsu (a grappling and throwing art), and the picture of kumiai-jutsu remains a matter of speculation.発音を聞く 例文帳に追加
しかし、組合術とは空手のような打撃技ではなく、一種の柔術だったのではないかとの見解もあり、推測の域を出ていない。 - Wikipedia日英京都関連文書対訳コーパス
|
意味 | 例文 (44件) |
|
type theoryのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. | |
All Rights Reserved, Copyright © Japan Science and Technology Agency | |
Copyright © 2024 CJKI. All Rights Reserved | |
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、Wiktionaryのtype theory (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
|
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのType theory (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
「type theory」のお隣キーワード |
weblioのその他のサービス
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |