拘束 さ れ た 銭形 の 前 に 、 ラムダ を 操縦 し て い た 娘 が 姿 を 見せる 。

一連 の 騒ぎ で ロボット 兵 の 有効 性 は 十分 に デモンストレーション でき 、 国防 会議 による 量産 型 ロボット 兵 の 大量 発注 も 決まっ た と ほくそ笑む 偽 ルパン 一味 は 、 用 済み に なっ た 真希 を 縛り上げ て ラムダ に 乗せ 、 自衛隊 に 撃墜 さ せ て 証拠 隠滅 を 図ろ う と する 。

しかし アジト が 爆破 さ れ 、 ラムダ が 飛び立っ た 時 、 脱出 し た 銭形 が ラムダ に 飛び乗っ た 。

ルパン は 、 偽 ルパン 一味 と 決着 を つける べく 、 真希 の 操縦 する ラムダ と共に 、 黒幕 で ある 永田 重工 社長 の いる 本社 工場 へ 向かう の だっ た … 。

カリー・ハワード 対応 で は 、 上述 の 演繹 メタ 定理 について の 変換 過程 は 、 ラムダ 計算 の 項 から 組合せ 論理 の 項 へ の 変換 に 類似 し て いる 。

評価 戦略 （ ひ ょうかせんりゃく 、 evaluation strategy ） と は 、 プログラミング 言語 や 、 ラムダ 計算 の よう な 式 から 成る 計算 模型 において 、 如何なる 手順 で 、 評価 すなわち 式 から 値 を 得る か 、 という （ 通常 決定的 な ） 規則 群 で ある 。

ラムダ 計算 （ など ） における 評価 すなわち 簡約 （ reduction ） において は 「 ( 1 ) 入れ子 状 に なっ た 式 の 最も 外側 から 簡約 する か 、 最も 内側 から 簡約 する か ( 2 ) 関数 適用 の ( X Y ) という 形 の 式 において 、 X と Y の どちら の 簡約 を 先 に する か 」 という 選択肢 が ある 。

20 世紀 前半 、 非 形式 的 な 概念 だっ た 「 計算 可能 関数 」 を 表現 する 形式 手法 として 、 μ 再帰 関数 、 チューリングマシン 、 ラムダ 計算 など が 提案 さ れ た 。

ラムダ 計算 で は 、 M = λ x . T という ラムダ 式 で 、 x は M において は 束縛 変数 、 T において は 自由 変数 で ある 。

T に さらに ラムダ 式 λ x . U が 含ま れる 場合 、 x は この 中 で 再 束縛 さ れる 。

カリー ＝ ハワード 同型 対応 は 、 自然 演繹 計算 における 正規 化 の プロセス と 型付き ラムダ 計算 における ベータ 簡約 の 構造 的 類似 性 を 示し た もの で ある 。

ラムダ ( Λ ) ロケット と は 東京大学 生産 技術 研究所 と 後継 機関 の 東京大学 航空 宇宙 研究所 （ 現 JAXA 宇宙 科学 研究所 ） が 、 プリンス 自動車 工業 と 後継 企業 の 日産自動車 宇宙 航空 事業 部 と共に 開発 し た 全段 固体 燃料 の 観測 ロケット シリーズ で ある 。

ラムダ ロケット は 直径 735 mm の ロケット モーター を 持つ 。

打ち上げ に は 鹿児島 宇宙 空間 観測 所 ( 現 内之浦 宇宙 空間 観測 所 ) に 保管 さ れ て い た ラムダ ロケット 用 ランチャ を 改修 し 、 ウーメラ 射場 へ 搬送 さ れ 用い られ た 。

ミューロケットシリーズ は ペンシル , ベビー , カッパ , ラムダ に 続く 日本 独自 の 固体 ロケット シリーズ で あり 、 人工 衛星 の 打ち上げ によって 宇宙 開発 を 本格 的 に 推進 する 為 に 開発 さ れ た もの で ある 。

補助 ブースタ に ラムダ ロケット を 用いる 等 、 第 1 段 以外 の 全て の ロケット モータ を 大型 化 し た こと によって 、 低 軌道 に 770 kg の ペイ ロード を 打ち上げる こと が 可能 で ある 。

軽い 作り の 身体 を 持ち 樹 上 性 で あっ た と 思わ れる Archaeolambda から 、 長い 尾 を 備え 地上 性 ナマケモノ に 似 た バリ ラムダ （ Barylambda ） 、 そして サイ または カバ 似 の 体型 で 北 アメリカ に 生息 し て い た もの （ 前述 ） まで 、 枚挙 に 暇 が ない 。

ただし ベマラムダ 上 科 、 コリフォドン 上 科 、 パント ラムダ 上 科 の 三つ の 上 科 に 分ける 資料 も ある 。

この エンジン の 基本 設計 は 1922 年 に 登場 する 前輪 独立 サスペンション 、 モノコックボディ を 持つ 傑作 車 ・ ラムダ に 後 を 譲り 、 1925 年 に 生産 を 終了 し た 。

ラムダ （ Lambda ） は イタリア の 自動車 メーカー 、 ランチア が 1922 年 から 1931 年 まで 製造 し て い た 乗用車 。