| 意味 | 例文 (45件) |
type theoryとは 意味・読み方・使い方
追加できません
(登録数上限)
意味・対訳 型理論; タイプ理論
「type theory」の部分一致の例文検索結果
該当件数 : 45件
Perhaps more surprisingly, the same type of theory例文帳に追加
もっと驚くべきは同じような理論が - 映画・海外ドラマ英語字幕翻訳辞書
There is a theory that says it is a type of Jomon god.発音を聞く 例文帳に追加
縄文神の一種という説もある。 - Wikipedia日英京都関連文書対訳コーパス
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日英京都関連文書対訳コーパス
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日英京都関連文書対訳コーパス
Koya-gire: There is a theory that the first type of this work was written by FUJIWARA no Yukitsune.発音を聞く 例文帳に追加
高野切 ※この切の第一種は彼の真筆であるとされる説もある。 - 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」の部分一致の例文検索結果
該当件数 : 45件
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日英京都関連文書対訳コーパス
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枚格子の理論による投影型エンコーダを実現すること。 - 特許庁
To provide a switching element capable of state switching operation of bipolar type on a predetermined operation principle theory.例文帳に追加
所定の動作原理においてバイポーラ型の状態スイッチング動作が可能なスイッチング素子を提供する。 - 特許庁
To provide a projection type encoder based on the three grid theory manufacturable by simple processes and at low cost.例文帳に追加
簡単な工程により廉価に製造可能な3枚格子の理論に基づく投影型エンコーダを提案すること。 - 特許庁
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 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日英京都関連文書対訳コーパス
A theory has been developed about this distinction between A-type and B-type, saying the distinction stemed from sounds; in ancient times, there were eight vowels, which were five vowels of アイウエオ (a, i, u, e, o) with each of イエオ (i, e, o) having two types, A-type and B-type.発音を聞く 例文帳に追加
こうした甲乙の区別は、上代においては母音がアイウエオの5音の他にイエオのみ甲乙の2種類に分かれ、8母音であったことから生じたという音韻による区別の説が立てられた。 - Wikipedia日英京都関連文書対訳コーパス
|
| 意味 | 例文 (45件) |
|
|
type theoryのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
| Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. | |
| All Rights Reserved, Copyright © Japan Science and Technology Agency | |
| Copyright © 2026 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会員(無料)になると
|