小窓モード


プレミアム

ログイン
設定

設定

Weblio 辞書 > 英和辞典・和英辞典 > 英和対訳 > Type inhabitationの意味・解説 

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

ピン留め

追加できません

(登録数上限)

単語を追加

意味・対訳 型理論において 、型住性問題(type inhabitation problem)とは、型 τ {\displaystyle \tau } と型環境 Γ {\displaystyle \Gamma } が与えられたとき、 Γ ⊢ t : τ {\displaystyle \Gamma \vdash t:\tau } を満足する項tが存在するか否かの判定問題である。


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

Type inhabitation

(型理論)
型理論において問題(type inhabitation problem)とは、 τ {\displaystyle \tau } と環境 Γ {\displaystyle \Gamma } が与えられたとき、 Γ ⊢ t : τ {\displaystyle \Gamma \vdash t:\tau } を満足するtが存在するか否か判定問題である
Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

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

該当件数 : 3



例文

To provide an ecosystem consideration type water way structure capable of simultaneously forming a stagnated space suitable for the inhabitation of fishes and a sedimentary part of earth and sand suitable for the inhabitation of benthos such as shell-fishes, etc. and, at the same time, being carried out the exclusion of settling earth and sand.例文帳に追加

魚類の生息に適した淀み空間と、貝類等の底生動物の生息に適した土砂の堆積部分を同時に形成できると共に、沈殿土砂の排除が適度に行われる水路構造を提供する。 - 特許庁

WATER PURIFYING METHOD SUITABLE FOR INHABITATION OF WILD BIRD SERVING BOTH AS REVETMENT OF LAKES AND FISHERY IN ORDER TO PROTECT ECOSYSTEM OF NATURAL ENVIRONMENT AND BEAUTY BY BOWL ATTACHED L-TYPE BLOCK例文帳に追加

鉢付L型ブロックによる、自然環境の生態系及び景観保護の為の、湖沼及び河川の護岸と魚巣を兼ね、野鳥の生息に適した浄水工法。 - 特許庁

例文

Article 25-3 (1) In the case that the Minister of Economy, Trade and Industry and the Minister of the Environment have, with regard to any single Type III Monitoring Chemical Substance, found it necessary to make a determination as to whether or not said Type III Monitoring Chemical Substance falls under item (ii) of paragraph (3) of Article 2 since said Type III Monitoring Chemical Substance poses a risk of causing damage to the inhabitation and/or growth of flora and fauna in the human living environment through environmental pollution if said Type III Monitoring Chemical Substance falls under said item, in view of the results of the tests prescribed in paragraph (7) of Article 4 (including the cases where it is applied mutatis mutandis pursuant to paragraph (9) of Article 4-2) and any other available knowledge concerning said Type III Monitoring Chemical Substance as well as the state of its manufacture, import, use, etc., they may, pursuant to the provisions of an Ordinance of the Ministry of Economy, Trade and Industry and Ordinance of the Ministry of the Environment, instruct a person operating the business of manufacturing or importing said Type III Monitoring Chemical Substance (including a person who operated such business formerly and who is specified by an Ordinance of the Ministry of Economy, Trade and Industry) to conduct a study of the hazardous properties specified by an Ordinance of the Ministry of Economy, Trade and Industry and Ordinance of the Ministry of the Environment (which means a study on the effects of said chemical substance on the inhabitation and/or growth of flora and fauna in the human living environment if ingested continuously; the same shall apply in paragraph (3)) and to report the results thereof.発音を聞く 例文帳に追加

第二十五条の三 経済産業大臣及び環境大臣は、経済産業省令、環境省令で定めるところにより、一の第三種監視化学物質につき、第四条第七項(第四条の二第九項において準用する場合を含む。)に規定する試験の試験成績その他当該第三種監視化学物質に関して得られている知見及びその製造、輸入、使用等の状況からみて、当該第三種監視化学物質が第二条第三項第二号に該当するものであるとすれば、当該第三種監視化学物質による環境の汚染により生活環境動植物の生息又は生育に係る被害を生ずるおそれがあると見込まれるため、当該第三種監視化学物質について同号に該当するかどうかを判定する必要があると認めるに至つたときは、当該第三種監視化学物質の製造又は輸入の事業を営む者(これらの事業を営んでいた者であつて経済産業省令で定めるものを含む。)に対し、経済産業省令、環境省令で定める有害性の調査(継続的に当該化学物質が摂取され、又はこれにさらされる場合における生活環境動植物の生息又は生育に及ぼす影響についての調査をいう。第三項において同じ。)を行い、その結果を報告すべきことを指示することができる。 - 日本法令外国語訳データベースシステム

>>例文の一覧を見る


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

ウィキペディア英語版での「Type inhabitation」の意味

Type inhabitation

出典:『Wikipedia』 (2010/09/13 13:51 UTC 版)

英語による解説
ウィキペディア英語版からの引用

「Type inhabitation」の意味に関連した用語

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

   
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのType inhabitation (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。

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

こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

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

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

無料会員に登録する

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

ログイン

Weblio会員(無料)になると

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

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

無料会員に登録する

©2024 GRAS Group, Inc.RSS