ctlの意味・使い方・読み方

マイクロソフト用語集

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.

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

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

履歴機能過去に調べた単語を確認できる

語彙力診断診断回数が4回に増加

マイ単語帳便利な学習機能付き

マイ例文帳文章で意味を理解できる

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

コンピューター用語辞典

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リンパ球

日英・英日専門用語辞書

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英語版

出典：Wiktionary

CTL

出典:『Wiktionary』 (2024/11/29 20:04 UTC 版)

名詞

CTL

Initialism of computation tree logic.
Initialism of complex text layout.

参考

アナグラム

TLC, cl*t, LCT, LTC, CLT, TCL, Tcl

ウィキペディア英語版

出典：Wikipedia

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.

音声を聞く

閲覧履歴

検索結果に戻る

全履歴クリア

・ctl
・eSIM
・to set forth
・engineering model
・Radar Approach Control
・scriptori
・Embedded Systems
・tool posts
・underkill
・coldworked

単語帳に追加

ctlのページの著作権

DBCLS Home Page by DBCLS is licensed under a Creative Commons 表示 2.1 日本 License.
Copyright (C), Japan Atomic Energy Agency (JAEA)
DBCLS Home Page by DBCLS is licensed under a Creative Commons 表示 2.1 日本 License.
Wiktionary
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、WiktionaryのCTL (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。
Wikipedia
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのCTL* (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。