マイクロソフト用語集

CTL

対訳 CTL

解説

A signed list of root certification authority certificates that an administrator considers reputable for designated purposes, such as client authentication or secure e-mail.

コンピューター用語辞典

CTL<complementary transistor logic>

相補トランジスタ論理

機械工学英和和英辞典

CTL (complementary transistor logic)

相補型トランジスタ論理

---

CTL (core transistor logic)

トランジスタロジックコア

学術用語英和対訳集

CTL

細胞傷害性Tリンパ球; cytotoxic T lymphocyte; CTL

ITER（国際熱核融合実験炉）用語対訳辞書

CTL

英語正式名: Circular Transmission Line
日本語: 円形伝送ライン

ライフサイエンス辞書

CTL

****

((略))
細胞傷害性Tリンパ球

関連語

cytotoxic T-lymphocyte

CTLの共起表現

日英・英日専門用語辞書

CTL

相補トランジスタ論理

遺伝子名称シソーラス

ctl

fly	遺伝子名	ctl
	同義語（エイリアス）	coatless
	SWISS-PROTのID	---
	EntrezGeneのID	EntrezGene:44805
	その他のDBのID	FlyBase:FBgn0000385

fly	遺伝子名	ctl
	同義語（エイリアス）	gilead; cutlet; CG33122; CG10030
	SWISS-PROTのID	---
	EntrezGeneのID	EntrezGene:44637
	その他のDBのID	FlyBase:FBgn0015376

mouse	遺伝子名	ctl
	同義語（エイリアス）	curly tail-like
	SWISS-PROTのID	---
	EntrezGeneのID	---
	その他のDBのID	MGI:3045163

本文中に表示されているデータベースの説明

SWISS-PROT

スイスバイオインフォマティクス研究所と欧州バイオインフォマティクス研究所によって開発・運営されているタンパク質のアミノ酸配列のデータベース。

EntrezGene

NCBIによって運営されている遺伝子データベース。染色体上の位置、配列、発現、構造、機能、ホモロジーデータなどが含まれている。

FlyBase

米英の大学のショウジョウバエの研究者などにより運営される、ショウジョウバエの生態や遺伝子情報に関するデータベース。

MGI

様々なプロジェクトによる、研究用マウスの遺伝的・生物学的なデータを提供するデータベース。

Weblio英和対訳辞書

.ctl

.ctlとは、ジャストシステム社のワープロソフト「一太郎」のバージョン2、バージョン3 において、文書ファイルを構成するファイルのひとつとして用いられる拡張子のことである。

---

CTL

電荷輸送層

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

Wiktionary英語版

CTL

出典:『Wiktionary』 (2009/11/15 00:55 UTC 版)

頭文字

CTL

1. computation tree logic.

参考

• LTL

アナグラム

• LTC
• TLC

ウィキペディア英語版

CTL*

出典:『Wikipedia』 (2011/07/13 19:14 UTC 版)

英語による解説

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

引用

CTL* is a superset of computational tree logic (CTL) and linear temporal logic (LTL). It freely combines path quantifiers and temporal operators. Like CTL, CTL* is a branching time logic. The formal semantics of CTL* formulae are defined with respect to a given Kripke structure.