|
|
印欧語根 | ||
---|---|---|
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 |
本文中に表示されているデータベースの説明
出典: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.