Weblio 辞書 > 英和辞典・和英辞典 > 英和対訳 > dependent typeの意味・解説

意味

例文 (194件)

dependent typeとは意味・読み方・使い方

ピン留め

追加できません

(登録数上限)

単語を追加

意味・対訳依存型 (いぞんがた、英: dependent type) とは、計算機科学と論理学において、値に依存する型のことである。

Weblio英和対訳辞書での「dependent type」の意味

dependent type

依存型

依存型 (いぞんがた、英: dependent type) とは、計算機科学と論理学において、値に依存する型のことである。

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

出典元索引ランキング

「dependent type」の部分一致の例文検索結果

該当件数 : 194件

例文

POLARIZATION DEPENDENT TYPE OPTICAL DEVICE例文帳に追加

偏波依存型光デバイス - 特許庁

WORKER DEPENDENT TYPE WORK MANAGEMENT SYSTEM例文帳に追加

作業者依存型作業管理システム - 特許庁

LOW POLARIZATION DEPENDENT WAVEGUIDE TYPE OPTICAL COMPONENT例文帳に追加

偏波低依存の導波路型光部品 - 特許庁

SIGNAL-TYPE DEPENDENT REAL-TIME FAX RELAY例文帳に追加

信号タイプに依存するリアルタイムＦＡＸリレー - 特許庁

LOW WAVELENGTH-DEPENDENT WAVEGUIDE-TYPE OPTICAL PART例文帳に追加

波長低依存の導波路型光部品 - 特許庁

SIGHT-LINE DIRECTION DEPENDENT TYPE RETINA DISPLAY DEVICE例文帳に追加

視線方向依存型の網膜ディスプレイ装置 - 特許庁

例文

To construct a high-activity type PQQ (pyrroloquinoline quinone)-dependent aldose dehydrogenase, in particular, to convert the PQQ-dependent aldose dehydrogenase constructed by a gene recombination technique etc., into a high-activity type enzyme.例文帳に追加

高活性型のPQQ依存型アルドース脱水素酵素の構築を目的とする。 - 特許庁

>>例文の一覧を見る

調べた例文を記録して、効率よく覚えましょう

Weblio会員登録無料で登録できます！

履歴機能

過去に調べた
単語を確認!
語彙力診断

診断回数が
増える!
マイ単語帳

便利な
学習機能付き!
マイ例文帳

文章で
単語を理解!

Weblio会員登録(無料)はこちらから

ウィキペディア英語版での「dependent type」の意味

Dependent type

出典:『Wikipedia』 (2011/06/05 15:58 UTC 版)

英語による解説

ウィキペディア英語版からの引用

引用

In computer science and logic, a dependent type is a type that depends on a value. Dependent types play a central role in intuitionistic type theory and in the design of functional programming languages like ATS, Agda and Epigram.

出典元索引ランキング

「dependent type」の部分一致の例文検索結果

該当件数 : 194件

例文

GRADATION DEPENDENT TYPE ERROR SPREAD HALF TONE PROCESSING METHOD例文帳に追加

階調依存型誤差拡散ハーフトーン化方法 - 特許庁

Attribute String Type Default"XV_ENCODING" XvEncodingID Server dependent"XV_HUE" [-1000...1000] 0"XV_SATURATION" [-1000...1000] 0"XV_BRIGHTNESS" [-1000...1000] 0"XV_CONTRAST" [-1000...1000] 0発音を聞く例文帳に追加

属性文字列型デフォルト値 - XFree86

SPEED-DEPENDENT TYPE CONTROL FOR DUAL AIR SPRING CONSTITUTION例文帳に追加

デュアル空気ばね構成の速度依存型制御 - 特許庁

it is a type of cyclin-dependent kinase inhibitor.発音を聞く例文帳に追加

サイクリン依存性キナーゼ阻害薬の一種である。 - PDQ®がん用語辞書英語版

it is a type of cyclin-dependent kinase (cdk) inhibitor.発音を聞く例文帳に追加

サイクリン依存性キナーゼ（cdk）阻害薬の一種である。 - PDQ®がん用語辞書英語版

A parameter input dependent on the inspection type is not required.例文帳に追加

検査タイプ依存のパラメーターの入力は要しない。 - 特許庁

The character string specifies in an implementation-dependent way the type of NAN.発音を聞く例文帳に追加

この文字列は実装に依存する NAN を指定する。 - JM

例文

type of requested info, valid values for $type are database dependent, ie: tables, databases, users, view, functions発音を聞く例文帳に追加

取得したい情報の型。 $typeに指定できる値はデータベースに依存しtables、databases、users、view、functions のいずれかです。 - PEAR

>>例文の一覧を見る

「dependent type」の意味に関連した用語

依存型

(英和対訳)

time-independent

(Wiktionary英語版)

意味

例文 (194件)

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

Wikipedia

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

dependent typeとは 意味・読み方・使い方

Weblio英和対訳辞書での「dependent type」の意味

dependent type

「dependent type」の部分一致の例文検索結果

ウィキペディア英語版での「dependent type」の意味

Dependent type

「dependent type」の部分一致の例文検索結果

「dependent type」のお隣キーワード

dependent typeとは意味・読み方・使い方