塩酸セトラキサート
.lk
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/09 03:16 UTC 版)
.lkは国別コードトップレベルドメイン(ccTLD)の一つで、スリランカに割り当てられている。現地に拠点を持たない外国企業は、セカンドレベルドメインにのみ登録できる。登録し、名前を利用するためには、スリランカ内にコンタクト可能な拠点を持たなければならない。
- 1 .lkとは
- 2 .lkの概要
LK (曖昧さ回避)
LK(月着陸船)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/03/19 14:37 UTC 版)
詳細は「LK (着陸船)」を参照 LK(月着陸船) 全長5.20 m 直径4.50 m 容量5 m3 乗員1人 運用期間1970年 - 1971年 主目的月着陸 アポロ宇宙船のLM(月着陸船)に似ているが、LMの3分の1の重量で1人乗り。 コスモス379・398・434号が無人テスト機として打上げられている。
※この「LK(月着陸船)」の解説は、「ソユーズの一覧」の解説の一部です。
「LK(月着陸船)」を含む「ソユーズの一覧」の記事については、「ソユーズの一覧」の概要を参照ください。
LK
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/11/21 02:32 UTC 版)
シークエント計算ではシークエントの列で証明が記述され、各シークエントは証明過程で既に出現したシークエントに後述する推論規則を適用することで導出される(シークエントとは、命題群の論理積を前提とし、別の命題群の論理和を帰結とする論理的帰結関係を表す論理式の並びである)。
※この「LK」の解説は、「シークエント計算」の解説の一部です。
「LK」を含む「シークエント計算」の記事については、「シークエント計算」の概要を参照ください。
- .lkのページへのリンク