|
|
|
| 印欧語根 | ||
|---|---|---|
| kagh- | 掴む、キャッチする、受けることを表す。 1.野生(haggard) 防衛(haw,hawfinch)。2.壁、城壁、守備(cay,quay)。3.フィルタ、濾光器。 | |
対訳 キー
対訳 キー
対訳 キー
対訳 キー
対訳 キー
対訳 キー
対訳 キー
対訳 キー
対訳 キー
鍵; キー; キーボードから入力する; かぎ; キー(データの構成における); かぎ(鍵)
何かを探すときの「手がかり」,「かぎ」という本来の意味から,コンピュータの分野では次のことを表わす場合が多い.
1)ファイルの中のレコードなど,データの集合に含まれる1個以上の文字であって,その集合に関する情報を含み,その識別ができるもの.特定のレコードを探すとか,識別したりするときの「手がかり」になる文字列のこと.たとえば,給与マスターファイルの中の社員レコードを社員の氏名順に並べ換えるとすれば,レコードの中の「氏名」項目が「キー」になる.
2)キーボード上に配列されている一つ一つの文字や機能を表わす記号の付いたレバーのこと.ファンクションキー,記号キー,リターンキーなど.
データ要素の集合に含まれる識別子
暗号化又は復号の操作を制御するビット列
| fly | 遺伝子名 | key |
| 同義語(エイリアス) | CG16910; IKKGAMMA; NEMO homolog; NF-kappa-B essential modulator; IKKgamma; kenny; IKK-gamma; IKK- gamma; dIKK-gamma; DmIKKgamma; Kenny; DmIKK gamma; IKK gamma; dIKK- gamma; dmIKK gamma; Dmikk gamma | |
| SWISS-PROTのID | SWISS-PROT:Q9GYV5 | |
| EntrezGeneのID | EntrezGene:37967 | |
| その他のDBのID | FlyBase:FBgn0041205 |
本文中に表示されているデータベースの説明
![]()
出典:Wiktionary
出典:『Wiktionary』 (2026/04/26 04:22 UTC 版)
From 中期英語 keye, kaye, keiȝe, from 古期英語 cǣġ (“key, solution, experiment”) (whence also Scots key and kay (“key”)), from Anglo-Frisian Proto-West Germanic *kaiju, of uncertain origin. The only sure cognates are Saterland Frisian Koai (“key”), West Frisian kaai (“key”), and North Frisian kai, koie (“key”). Possibly from Proto-Germanic *kēgaz, *kēguz (“stake, post, pole”), from Proto-Indo-European *ǵogʰ-, *ǵegʰ-, *ǵegʰn- (“branch, stake, bush”), which would make it cognate with Middle Low German kāk (“whipping post, pillory”), and perhaps to Middle Dutch keige (“javelin, spear”) and Middle Low German keie, keige (“spear”).
For the semantic development, note that medieval keys were simply long poles (ending in a hook) with which a crossbar obstructing a door from the inside could be removed from the outside, by lifting it through a hole in the door. Liberman has noted, however, "The original meaning of *kaig-jo- was presumably '*pin with a twisted end.' Words with the root *kai- followed by a consonant meaning 'crooked, bent; twisted' are common only in the North Germanic languages."
key (not generally comparable, comparative keyer or more key, superlative keyest or most key)
key (third-person singular simple present keys, present participle keying, simple past and past participle keyed)
出典:Wikipedia
出典:『Wikipedia』 (2011/07/28 14:08 UTC 版)
The KeY tool is used in formal verification of Java programs.It accepts both specifications written in JML or OCL to Java source files. These are transformed into theorems of dynamic logic and then compared against program semantics which are likewise defined in terms of dynamic logic. KeY is significantly powerful in that it supports both interactive (i.e. by hand) and fully automated correctness proofs. Failed proof attempts can be used for a more efficient debugging or verification-based testing. It can be integrated into CASE tools to extract specifications. There have been several extensions to KeY in order to apply it to the verification of C programs or hybrid systems. KeY is jointly developed by Karlsruhe Institute of Technology, Chalmers University of Technology in Gothenburg, and University of Koblenz and is licensed under the GPL.
![]()