小窓モード


プレミアム

ログイン
設定

設定

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

発音を聞く
プレーヤー再生
ピン留め

追加できません

(登録数上限)

単語を追加

意味・対訳 型理論; タイプ理論

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

該当件数 : 45



例文

a type of economic theory called Marxist economic theory発音を聞く 例文帳に追加

マルクス経済学という学問 - EDR日英対訳辞書

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日英京都関連文書対訳コーパス

>>例文の一覧を見る

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

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

type theory


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

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

Type theory


type theory

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

ウィキペディア英語版での「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日英京都関連文書対訳コーパス

>>例文の一覧を見る


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会員(無料)になると

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

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

無料会員に登録する

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

ログイン

Weblio会員(無料)になると

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

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

無料会員に登録する

©2026 GRAS Group, Inc.RSS