K ジェトロニック の 派生 版 で 、 ラムダ ・ クローズド ループ ・ コントロール が 付い て いる 物 。

北米 で は ' CIS - E ' として 知ら れ て おり 、 エンジンノックセンサー に 対応 し た もの は KE 3 ( CIS - E III ) LE 2 ジェトロニック に ラムダ ・ クローズド ループ ・ コントロール を 付け た 物 。

また 初版 で は 、 NGC 6087 と NGC 6067 を 取り違え て おり 、 ケンタウルス 座 ラムダ 星団 で ある IC 2944 を ケンタウルス 座 ベータ 星団 と 間違え て 記載 し て いる 。

その後 エンター の 妨害 により 燃料 の ラムダ 2000 を 奪わ れ た ため 、 バディロイド の エネトロン で 代用 する という 展開 だっ た 。

ラムダ 計算 における 共通 の テーマ の 一つ として 、 「 与え られ た ラムダ 式 の 不動点 を 求める 」 という もの が ある 。

ラムダ 式 に は 必ず 不動点 が 存在 し 、 「 ラムダ 式 を 入力 する と 、 その 式 の 不動点 が 出力 として 得 られる 」 という 関数 が 不動点 コンビネータ で ある 。

IC 2944 （ Caldwell 100 ） は 、 ケンタウルス 座 の ケンタウルス 座 ラムダ 星 の 近く に ある 、 輝線 星雲 を 伴っ た 散開 星団 で ある 。

ケンタウルス 座 ラムダ 星 星雲 または その 形 から 走る にわとり 星雲 と 呼ば れる 。

正しい 証明 は 正しく 型 が つく ラムダ 式 で ある という カリー ＝ ハワード 同型 対応 を 利用 し て いる ので 、 Coq の 証明 言語 は 型付き ラムダ 計算 の 一 種 で ある 。

ブロック ( Blocks ) は アップル 社 による C 言語 、 Objective - C 、 C ++ 用 の 非 標準 の 拡張 で あり 、 ラムダ 式 風 の 構文 を 用い て クロージャ を 作成 する 機能 を 提供 する 。

L 5 様 、 ラムダ 様 、 Phic 3 una 様 等 の 属 の 遺伝子 組織 は 、 これら が ラムダ 亜 科 を 形成 し て いる こと を 示し て いる 。

ダイクォーク を 用い て 、 高速 クォーク による ハドロン の 生成 の 際 に 形成 さ れる ラムダ 粒子 及び シグマ 粒子 の 実験 が 行わ れ た 。

ラムダ 粒子 及び シグマ 粒子 は 、 アップクォーク と ダウンクォーク 、 ストレンジクォーク の 結合 で 形成 さ れる 。

科学 者 { who | date = January 2013 } は 、 ラムダ 粒子 は [ ud ] ダイクォーク を 含む が シグマ 粒子 は 含ま ない こと を 発見 し た 。

この 結果 から 、 ラムダ 粒子 は シグマ 粒子 より 形成 さ れ やすい こと が 推測 さ れ { clarify | date = January 2013 }、 実際 に 10 倍 程度 多く 生成 さ れ て いる 。

スコット 連続 関数 は 、 ラムダ 計算 に関する モデル の 研究 や 、 コンピューター ・ プログラム の 表示 的 意味 論 に 現れる 。

額 に 向け て 伸び て いく 途中 で 側 枝 と 内側 枝 の 2 つ の 枝 に 分かれ 、 頭皮 の 外皮 に 栄養 を 供給 し つつ ラムダ 縫合 まで 到達 する 。

また 、 ニュートン ・ ラムダ を もと に 、 ELT - 211 用 に 2 つ 目 の コンソール を 追加 し た ネットゥーノ （ Nettuno ） 、 さらに 空中線 部 に 改正 を 加え た ネットゥーネル （ Nettunel ） が 派生 し た 。

ローゼンタール 財団 賞 と ラムダ 文学 賞 を 受賞 。

短編 小説 の 最初 の コレクション を 発表 し た の は 2001 年 で フェロ Grumley 賞 、 ラムダ 文学 賞 受賞 。