時相論理（Temporal Logic）とは、時間との関連で問題を理解し表現するための規則と表記法の体系である。時相論理では、「私はいつも腹ペコだ」、「私はそのうち腹ペコになる」、「私は何かを食べるまで腹ペコだろう」といった文を表現できる。1950年代末にアーサー・プライアーが提唱した様相論理に基づいた時相論理を特に時制論理（Tense Logic）と呼ぶことがある。ハンス・カンプが重要な業績を残した。その後、そこから発展し、アミール・プヌーリら計算機科学者や論理学者が研究を進めた。時相論理はシステムのハードウェアやソフトウェアの要求仕様を記述する方法として形式的検証で利用される。例えば、「要求が発生したら常にリソースへのアクセスがそのうちに承認される。ただし、決して2つの要求を同時に承認してはならない」といった文章は時相論理で表せる。
平成11年度から17年度にかけて、整備された2070施設のうち1976施設が譲渡され、残りの94施設が廃止された。譲渡による収入額は約127.3億円となった。譲渡価格が建設費4406億円を大幅に下回っていることから、投げ売りとの批判を国民や国会議員から浴びた。
「特殊法人等の整理合理化について」（1997年（平成9年）6月6日閣議決定）において、雇用促進事業団の廃止と雇用・能力開発機構（特殊法人）の設立に伴い、勤労者福祉施設の新設を行わないこととされた。さらに、「特殊法人等整理合理化計画」（2001年（平成13年）12月19日閣議決定）において、雇用・能力開発機構の独立行政法人化に伴い、勤労者福祉施設を地方公共団体等に譲渡、または廃止することとされた。また、「雇用保険法等の一部を改正する法律」（平成19年4月23日法律第30号）により雇用保険事業から雇用福祉事業が削除された。
雇用促進事業団法第十九条第五号では、「労働者のための教養、文化、体育又はレクリエーションの施設その他の福祉施設の設置及び運営を行うこと。」と規定されていた。また、2007年（平成19年）改正前の雇用保険法第六十四条（雇用福祉事業）の第三号において「教養、文化、体育又はレクリエーションの施設その他の福祉施設を設置し、及び運営すること。」と規定されていた。これらに基づき、雇用促進事業団は設立以来、勤労者福祉施設を全国に建設した。この施設には、企業規模の違いによる福利厚生の格差を是正する役割があり、企業の共同の負担（すなわち、雇用保険料のうち事業主のみが負担する保険料。労働者が負担する保険料は含まれない。）を財源として、整備された。
勤労者福祉施設（きんろうしゃふくししせつ）とは、かつて雇用保険事業の一つであった雇用福祉事業により整備された教養、文化、体育、レクリエーション等のための施設である。特殊法人の雇用促進事業団が建物を設置し、1999年（平成11年）以降は特殊法人の雇用・能力開発機構が設置主体となり、総額4406億円をかけて合計2070箇所が建設されたが、2005年（平成17年）度までに全ての施設が譲渡または廃止された。
太古の秘宝バステッドを手に入れた騎士のライザと魔道士のアニタは、マリスーン王国へ飛ばされてしまう。マリスーン王国はラルグライムと呼ばれる人物に滅ぼされていた。ラルグライムの目的は「復元のシーナ」と呼ばれる秘宝であり、その秘宝を争ってマリスーン王国の生き残りとの争いにライザとアニタは巻き込まれる。
『バステッド』（BASTED）は、1994年10月21日にNECアベニューから発売された、PCエンジンのSUPER CD-ROM²用アクションRPGである。通常パートと戦闘パートで構成されている。戦闘は全てイベントバトルで敗北すると即座にゲームオーバーとなる。ビジュアルシーンの製作にはAICが関わっている。
カムバック賞（カムバックしょう）は、病気や怪我を乗り越えて再び実績を残したスポーツ選手に贈られる賞である。英語では「Comeback Player of the Year」。世界的なカムバック賞に、ローレウス世界スポーツ賞（英語版）のひとつであるカムバック賞（世界カムバック賞）がある。また、MLB・NFLなどのプロスポーツリーグでも設けられている場合がある。
高角砲は同じく新設計の「1934年型 10cm（56口径）高角砲」を採用した。この砲は15.6 kgの砲弾を仰角45度24,000 m、最大仰角85度で高度14,000 mまで届かられた。旋回と俯仰は電動と人力で行われ、左右方向に176度旋回でき、俯仰は仰角85.5度、俯角5.5度で発射速度は毎分16発だった。これを単装砲架で片舷4基の計8基を搭載したが、「カリーニン」と「カガノーヴィチ」は「8.5cm（52口径）高角砲」を採用して単装砲架で8基を搭載していた。他に高角砲を補助するために「1941年型 4.5cm（46口径）高角機関砲」を採用した。この砲は3.45 kgの砲弾を仰角45度9,500 m、最大仰角85度で高度6,000 mまで届かられた。旋回と俯仰は人力で行われ、俯仰は仰角85.5度・俯角10度で360度旋回できたが実際は上部構造物により射界に制限があった。発射速度は毎分25～30発だった。これを単装砲架で6基装備、新設計の「1939年型 3.7cm（67口径）機関砲」を採用した。この砲は1.8 kgの砲弾を仰角45度で8,000 m、最大仰角85度で高度6,000 mまで届かられた。旋回と俯仰は人力で行われ、俯仰は仰角85.5度・俯角10度で360度旋回できたが実際は上部構造物により射界に制限があった。発射速度は4.5cm機関砲の約3倍になる毎分100発だった。これを単装砲架で10基搭載した。更に主砲では対処できない相手に53.3cm三連装水上魚雷発射管を2基装備した。他に水路閉鎖用に機雷を60～96個搭載できた。