様相論理と時相論理.
プログラミング言語の意味論.
この時期の業績から、以下のような賞を受賞している。
松田権六
概要.
マリサ・パレデス
キンイロクワガタ属
主な特徴.
体長は数cmと小型。オーストラリアやニューギニア島などのオセアニアに分布する。
名前に「キンイロ」とあるが、種類によっては個体毎に金色のみならず赤、緑、青、紫など様々な体色バリエーションがあり、標本の収集家だけでなく、飼育者にも人気がある。個体によってここまでの体色変化がある属は、クワガタムシ科のみならず昆虫全般を見渡しても非常に珍しい。また、種類・雌雄を問わず、体に金属光沢を帯びる。
最も多く見られる体色は、緑色を基調に金色を交えたような色調であり、大型のオスは多くがこの色をしている。次いで、名前通りの金色一色のものや、赤色がまじったものが見られ、青・紫などのものは比較的少なく、愛好家の間では珍重される。メスは赤色のものが多いが、メスというよりも小型のものに緑・金よりも赤が発色しやすい傾向があるとされている。
雄個体の前脚脛節には扇状の付属物が付いているが、あまり発達しない種もある。これで植物(草本)の茎に傷をつけ、出てきた汁を吸うとされている。寿命は半年以下程度で、短い方である。
飼育.
成長のサイクルが短いことで知られる。時には孵化から数か月で羽化することもある。採卵は、環境や栄養をきちんと管理すればさほど難しくないため、短期間で個体数を増やすことができる。温度管理ができるとよい。
種.
フランス領赤道アフリカ
構成植民地と統治.
歴史.
第二次世界大戦期、ドイツ軍によりフランス本土の大半が占領されると、親独のヴィシー政権側にはつかず自由フランスのアフリカにおける活動拠点となった。このとき隣接するフランス領西アフリカはヴィシー政権を支持している。
来歴.
概要.
種類.
電気自動車.
衝突安全ボディー
衝突安全ボディー（しょうとつあんぜんボディー）は、自動車の衝突時における乗員保護（衝撃吸収機能）と生存空間の確保（乗員保護機能）などを考慮して設計製造された自動車用車体のこと。衝突安全に関する車体性能には各国のメーカーごとに様々な技術があるが、各社の技術のすべてに一般向けの名称があるわけではない。
歴史.