一年戦争末期、ジオン公国軍の戦局悪化に伴って技術本部が「決戦兵器」と称して緊急開発した駆逐モビルポッドである。疲弊した国力でも生産できるよう、複数の企業のプロジェクトを統合しつつ従来の生産ラインを活用する事が求められ、基幹ユニットにはザク向けに開発されたパーツを使用する設計となり、正規の手続きを踏まぬまま、なし崩し的に制式化され量産に入った。
本機は国力の疲弊した国家特有の、不要になった既存兵器のリサイクルを多用した廉価兵器である。連邦軍がMSの代用品として使用してきたボールを彷彿とさせるコンセプトの機体であることから、一部の兵士からは「先祖帰り」などと揶揄された。実際、オッゴ開発の背景にはボールの活躍に触発されたジオン公国軍の後押しがあった。
ジオン潜水艇.
シルバー・ランス.
制御ユニットとしてケンプファーを搭載し、高速で目標に接近し内蔵した気化弾頭による自爆により攻撃を行う。
計画段階では無人仕様であったが、技術的問題から有人制御となり特攻兵器となった。
ブースター部分の取っ手に護衛モビルスーツを搭載可能な他、制御ユニットであるケンプファーは手持火器による自衛戦闘を行うとともに、切り離して独立運用が可能。
名称の由来は未塗装の機体色からである。
ゲーム『機動戦士ガンダム外伝 コロニーの落ちた地で…』に登場する試作大型機動兵器。拠点防衛用に開発された機体で、性能や開発経緯等については不明な点が多い。
トニ・リマ
アントニ・リマ・ソラ
ギアレシオ
共変性と反変性 (計算機科学)
共変性と反変性は、圏論由来の用語である。この用語には以下の概念がある。
総称化データ構造の事例.
関数の型の事例.
での共変性と反変性は、そのサブタイプでのパラメータ型とリターン型の汎化特化を制約して、サブタイピングの型安全性を実現するための概念になる。
一般的な規則は以下となる。
推論規則の記法を使うと以下のように書ける。
クラスの継承の事例.
共変性と反変性はクラスの継承でよく用いられる。ジェネリッククラスの継承の共変性反変性は、総称化データ構造の共変性反変性と似た用法になる。クラスのメソッドの継承の共変性反変性は、関数の型の共変性反変性と似た用法になる。
形式的定義.
プログラミング言語の型システムにおいて、型構築子等が、
例.
典型的な例を示す: