hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
1990年以後の企業の買収・合併の実績 航空機・武器・軍事製品の製造
ゼネラル・ダイナミクス
1991年、Data Systems事業をComputer Sciencesに売却。
1992年、Tactical Missiles事業をHughes Aircraftに売却。
1992年、セスナをTextronに売却。
1993年、固定翼軍用機事業をロッキードに売却。
1993年、宇宙システム事業をマーチン・マリエッタに売却。
1994年、Aerostructures事業をマクダネル・ダグラスに売却。
1995年、バス鉄工所を買収。
1997年、Teledyne Vehicle Systemsを買収。
1997年、ロッキード・マーチンのDefense and Armament Systems事業を買収。
1997年、ルーセントのAdvanced Technology Systems事業を買収。
1997年、CeridianのComputing Devices事業を買収。
1998年、National Steel and Shipbuildingを買収。
1999年、Forstmann LittleのGulfstream Aerospaceを買収。
1999年、GTE Government Systemsを買収。
2000年、SACO Defenseを買収。
2001年、Primex Technologiesを買収。
1990年以後の企業の買収・合併の実績 航空機・武器・軍事製品の製造
2001年、Israeli Aircraft IndustriesのGalaxy Aerospaceを買収。
2001年、モトローラのIntegrated Information Systems事業を買収。
2002年、ATPを買収。
2002年、Command Systemsを買収。
2003年、Creative Technologyを買収。
2003年、Digital Systems Resourcesを買収。
2003年、Steyr Spezialfahrzeugを買収。
2003年、ゼネラルモーターズのDefense Vehicle事業を買収。
2003年、Intercontinental Manufacturingを買収。
2003年、Steyr Daimler Puch Spezialfahrzeugを買収。
2003年、Veridian and Digital Systems Resourcesを買収。
2004年、Spectrum Astroを買収。
2004年、TriPoint Global Communicationsを買収。
2004年、Propulsion Systems事業をL-3 Communicationsに売却。
2005年、FC Business Systemsを買収。
2005年、Itronix Corporationを買収。
1990年以後の企業の買収・合併の実績 航空機・武器・軍事製品の製造
2005年、MAYA Vizを買収。
2005年、Tadpole Computerを買収。
2006年、Anteonを買収。
2006年、SNC TechnologiesをSNC-Lavalin Groupから買収。
レイセオン
1993年、ブリティッシュ・エアロスペースから商用航空機事業を買収。
1995年、E-Systemsを買収。
1996年、テキサス・インスツルメンツの防衛事業を買収。
1997年、ヒューズ・エアクラフトを買収。
2000年、Raytheon TDTSをL-3 Communicationsに売却。
2004年、Photon Research Associatesを買収。
2004年、Raytheon Commercial InfraredをL-3 Communicationsに売却。
2006年、Houston Associatesを買収。
2006年、Virtual Technologyを買収。
1990年以後の企業の買収・合併の実績 航空機・武器・軍事製品の製造
BAEシステムズ
1999年、MarconiElectric Systemをゼネラル・エレクトリックから買収。
1999年、ブリティッシュ・エアロスペースは社名をBAE Systemsに変更。
2002年、Condor Pacificを買収。
2003年、Piper Groupを買収。
2003年、AstriumをEADSに売却。
2003年、Advanced Power Techを買収。
2003年、MEVATECを買収。
2004年、Alphatechを買収。
2004年、Commercial Electronics事業をボーイングから買収。
2004年、DigitalNet Holdingsを買収。
2004年、Practical Imagineeringを買収。
2004年、STI Government Systemsを買収。
2004年、Alvisを買収。
2004年、Aerosystems InternationalをGKNから買収。
2005年、United Defenseを買収。
2006年、National Sensor Systemsを買収。
1990年以後の企業の買収・合併の実績 航空機・武器・軍事製品の製造
EADS
1999年、アエロスパシアルとマトラが合併。
1999年、Aerospatiale MatraとDASA(Daimler-Benz Aerospace AG)が合併。
2000年、Aerospatiale Matra、DASA、SASAが合併してEADS(European Aeronautic Defense and Space)を設立。
2001年、CAC Systemesを買収。
2001年、Cogentを買収。
2003年、AstriumをBAE Systemsから買収。
2004年、Racal Instrumentsを買収。
2005年、Talon Instrumentsを買収。
2005年、TDA ArmementsをThalesに売却。
1990年以後の企業の買収・合併の実績 航空機・武器・軍事製品の製造
タレス・グループ
1982年、フランス政府はThomson-CSFを国有化。
1997年、フランス政府はThomson-CSFを消費者電機企業と軍需企業に分割し民営化。
1997年、Dassault Electroniqueをアルカテルから買収。
1997年、衛星事業をAerospatialeから買収。
2000年、Thomson-CSFからThalesに社名変更。
2000年、Recal Electronicsを買収。
2001年、Magellan Corp and Navigationを買収。
2002年、SemaをSchlumbergerSemaから買収。
2004年、Arisemを買収。
2005年、TDA ArmementsをEADSから買収。
2006年、Australian Defence Industriesを買収。
2006年、衛星事業をアルカテルから買収。
1990年以後の企業の買収・合併の実績 航空機・武器・軍事製品の製造
SAIC
2004年、Aquidneck Managementを買収。
2004年、Presearchを買収。
2004年、ProcureNet Holdingsを買収。
2004年、Trios Associatesを買収。
2005年、Object Sciences Corporationを買収。
2005年、IMAPSを買収。
2006年、Applied Ordnance Technologyを買収。
2006年、Applied Marine Technologyを買収。
2006年、bd Systemsを買収。
2006年、Cornerstone Industryを買収。
2006年、Data Systems & Solutionsをロールス・ロイスに売却。
CACI
2004年、Defense and Intelligence事業をAmerican Management Systemsから買収。
2004年、CMS Information Servicesを買収。
2005年、National Security Researchを買収。
2006年、AlphaInsightを買収。
2006年、Information Systems Supportを買収。
1990年以後の企業の買収・合併の実績 航空機・武器・軍事製品の製造
Teledyne Technologiesc
2004年、Defence Electronics事業をCeleritekから買収。
2004年、Reynolds Technologiesを買収。
2005年、Benthosを買収。
2005年、Microwave Technical SolutionsをAvnetから買収。
2006年、Assets of KM Microwaveを買収。
2006年、CollaborXを買収。
2006年、Ocean Designを買収。
QinetiQ
2002年、Motionbaseを買収。
2004年、HVR Consultingを買収。
2004年、Foster-Millerを買収。
2004年、Westar Aerospace & Defense Groupを買収。
2005年、Apogen Technologiesを買収。
2005年、Planning Systemsを買収。
2006年、Graphics Researchを買収。
Cobham
2003年、Drager AerospaceをDragerから買収。
2004年、Spectronicを買収。
2004年、REMEC Defense and SpaceをREMECから買収。
2004年、DTC Communicationsを買収。
2005年、航空宇宙燃料事業をEatonに売却。
2006年、Wallop Defence SystemsをEsterline Technologiesに売却。
L-3 Communications
1998年、ElectrodynamicをCarpenter Technolから買収。
1998年、ILEX Systemsを買収。
1998年、Microdyneを買収。
1998年、Ocean SystemsをAllied Signalから買収。
1998年、SPD Technologiesを買収。
1998年、Storm Control Systemsを買収。
1999年、Aydin Corpを買収。
1999年、EMP TrexComをTrex Communicationsから買収。
1999年、LNX TrexComをTrex Communicationsから買収。
1999年、Interstate Electronic CorporationをScott Technologiesから買収。
1999年、Space & Navigation SystemsをAllied Signalから買収。
2000年、Raytheon TDTSをレイセオンから買収。
2004年、AVISYSを買収。
2004年、BEAMHITを買収。
2004年、Brashearを買収。
2004年、Canadian Navigation Systemsをノースロップ・グラマンから買収。
2004年、Cincinnati ElectronicsをCMC Electronicsから買収。
2004年、DP Associatesを買収。
2004年、Electron Dynamic Devicesをボーイングから買収。
2004年、Marine ControlsをCAEから買収。
2004年、Propulsion Systems事業をゼネラルダイナミクスから買収。
2004年、Raytheon Commercial Infraredをレイセオンから買収。
2005年、BAI Aerosystemsを買収。
2005年、EOTechを買収。
2005年、Joseph Sheairs Associatesを買収。
2005年、Sonoma Design Groupを買収。
2005年、Titan Corporationを買収。
2005年、SAM Electronicsを買収。
2006年、Advanced System Architecturesを買収。
2006年、Magnet-Motorを買収。
2006年、Nautronix Defence GroupをNautronix Holdingsから買収。
2006年、TRL Electronicsを買収。
1990年以後の企業の買収・合併の実績 電気光学製品の製造
ゼネラル・エレクトリック
1998年、東邦生命を買収し社名をGEエジソン生命に変更。
1998年、レイクを買収。
1998年、日本リースを買収。
1999年、MarconiElectric SystemをBAEシステムズに売却。
2003年、GEエジソン生命をAIGに売却。
2007年、プラスチック事業をSaudi Basic Industries Corporationに売却（これに伴い、同事業における日本法人である日本ジーイープラスチックス（三井化学・長瀬産業との三社合弁）も全株式を同社へ売却）。
1990年以後の企業の買収・合併の実績 電気光学製品の製造
インテル
1998年、ウイルス対策事業をシマンテックに売却。
1999年、Dialogicを買収。
1999年、Level One Communicationsを買収。
2000年、Ambient Technologiesを買収。
2000年、Thinkit Technologiesを買収。
2000年、Basis Communicationsを買収。
2000年、GigaASを買収。
2000年、Trillium Digital Systemsを買収。
2000年、Network Solutionsを買収。
2001年、Xircomを買収。
2003年、West Bay Semiconductorを買収。
2005年、Oplus Technologiesを買収。
2006年、Sarvegaを買収。
パナソニック
1991年、Music Corporation of Americaを買収。
1995年、Music Corporation of Americaをシーグラムに売却。
2001年、松下電子工業を合併。
2004年、兄弟会社であり持分会社でもあった松下電工（現在のパナソニック電工）を買収。
2008年、持分会社であった日本ビクターがケンウッドと経営統合、共同持株会社・JVC・ケンウッド・ホールディングスとなる。
2011年、三洋電機を買収。
東芝
2003年、アミューズピクチャーズを買収して社名を東芝エンタテインメントに変更。
2005年、パナソニック四国エレクトロニクスのハードディスク事業のアメリカ事業所を買収。
2004年、東芝タンガロイがMBOにより資本独立。
2006年、British Nuclear Fuelsからウェスティングハウス・エレクトリックを買収。
2007年、東芝セラミックスがMBOにより資本独立。
2007年、東芝エンタテインメントを博報堂DYメディアパートナーズに、東芝EMIをキャピトルEMIに売却。
1990年以後の企業の買収・合併の実績 コンピュータ・ソフトの製造
IBM
1995年、ロータスを買収。
1996年、チボリを買収。
1998年、ウイルス対策事業をシマンテックに売却。
1999年、Sequent Computer Systemsを買収。
2000年、ハードディスク事業を日立製作所に売却。
2001年、インフォミックスを買収。
2002年、PricewaterhouseCoopers Consultingを買収。
2003年、ラショナルを買収。
2004年、PC事業を連想集団に売却。
2004年、Alphabloxを買収。
2004年、Veneticaを買収。
2004年、Trigo Technologiesを買収。
2005年、Ascential Softwareを買収。
2005年、DataPowerを買収。
2005年、Meiosysを買収。
2005年、iPhrase Systemsを買収。
2005年、Gluecode Softwareを買収。
2006年、デジタル印刷事業をリコーに売却。
2006年、Palisades Technology Partnersを買収。
2006年、FileNetを買収。
2006年、MRO Softwareを買収。
2006年、Rembo Technologyを買収。
2006年、CIMS Labを買収。
2006年、Internet Security Systemsを買収。
1990年以後の企業の買収・合併の実績 コンピュータ・ソフトの製造
2007年、Softek Storage Solutionsを買収。
2007年、Telelogicを買収。
2007年、Princeton Softechを買収。
2007年、DataMirrorを買収。
2019年、レッドハットを買収。
サン・マイクロシステムズ
2004年、Cobalt Networksを買収。
2004年、InfraSearchを買収。
2004年、Nauticus Networksを買収。
2005年、Storage Technologyを買収。
2005年、Tarantellaを買収。
2005年、SeeBeyondを買収。
2006年、Aduvaを買収。
2006年、Neogentを買収。
1990年以後の企業の買収・合併の実績 コンピュータ・ソフトの製造
CA
1991年、On-Line Softareを買収。
1994年、ASK Groupを買収。
1995年、Legent Corporationを買収。
1996年、Cheyenne Softwareを買収。
1997年、Avalan Technologyを買収。
1997年、AI Ware を買収。
1998年、Viewpoint DataLabsを買収。
1998年、Realogicを買収。
1998年、QXCOMを買収。
1999年、Platinum Technologyを買収。
2000年、Applied Management Systemsを買収。
2000年、Sterling Softwareを買収。
2003年、Netreonを買収。
2003年、SilentRunnerを買収。
2004年、PestPatrolを買収。
2004年、Netegrityを買収。
2004年、Miramarを買収。
2005年、Concord Communicationsを買収。
2005年、Qurbを買収。
2005年、Tiny Softwareを買収。
2005年、Nikuを買収。
2005年、iLumin Software Servicesを買収。
2005年、Ingres RDB事業をIngres Corporationとして分離。
1990年以後の企業の買収・合併の実績 コンピュータ・ソフトの製造
2006年、Control-F1 Corporationを買収。
2006年、Cybermationを買収。
2006年、Wily Techを買収。
シマンテック
1990年、Peter Norton Computingを買収。
1994年、Central Point Softwareを買収。
1998年、Ghost事業をBinary Researchから買収。
1998年、Quarterdeckを買収。
1998年、ウイルス対策事業をIBMから買収。
1998年、ウイルス対策事業をインテルから買収。
2000年、AXENT Technologiesを買収。
2003年、GoBack事業をRoxioから買収。
2003年、Nexlandを買収。
2003年、PowerQuestを買収。
2005年、Sygate Technologiesを買収。
2005年、Veritas Softwareを買収。
2005年、BindViewを買収。
2007年、Altirisを買収。
Yahoo
1997年、Four11を買収。
1997年、ClassicGameを買収。
1998年、Geocitiesを買収。
2000年、eGroupsを買収。
2002年、Inktomiを買収。
2003年、Overtureを買収。
2005年、Flickrを買収。
2005年、blo.gsを買収。
2005年、Upcoming.orgを買収。
2005年、del.icio.usを買収。
2006年、webjayを買収。
2007年、Blue Lithiumを買収。
Google
2003年、Pyra Networksを買収。
2004年、Picasaを買収。
2004年、Keyholeを買収。
2005年、Urchinを買収。
2006年、UpstartleのWritely事業を買収。
2006年、Neven Visionを買収。
2006年、YouTubeを買収。
2006年、JotSpotを買収。
2007年、DoubleClicKを買収。
2007年、Tonic Systemsを買収。
2007年、FeedBurnerを買収。
1990年以後の企業の買収・合併の実績 金属製品の製造
アルセロール・ミッタル
1992年、Mittalはシバルサ買収。
1994年、Mittalはシドベック・ドスコを買収。
1995年、Mittalはハンブルガー・シュタルヴェルケ、カルメトを買収。
1998年、Mittalはインランド・スチールを買収。
1999年、Mittalはユニメタルを買収。
2001年、Mittalはアルファシド、シデックスを買収。
2003年、Mittalはノヴァ・フットを買収。
2004年、Mittalはポルスキー・フティ・スタリ、BHスチールを買収。
2004年、MittalはLNM、イスパット、インターナショナル・スチールを買収。
2005年、Mittalはクリボリシスタリを買収。
2006年、MittalはArcelorを買収して社名をArcelor Mittalに変更。
1990年以後の企業の買収・合併の実績 化学製品の製造
BASF
1996年、北陸製薬を買収。
1998年、Salchi S.P.Aを買収。
2001年、American Home Productsの農薬事業を買収。
2001年、Aventis CropScienceを買収。
2002年、北陸製薬をアボット・ラボラトリーズに売却。
2006年、Engelhardを買収。
2006年、Johnson Polymerを買収。
2006年、Degussaの建設用化学品部門を買収。
2006年、CropDesign社を買収。
三菱ケミカルホールディングス
1994年10月1日、「三菱化成株式会社」と「三菱油化株式会社」が合併し「三菱化学株式会社」に会社発足。
1999年10月1日、「三菱化学株式会社」の医薬品事業と「東京田辺製薬」株式会社が合併し「三菱東京製薬株式会社」を会社設立。
2001年10月1日、「三菱東京製薬株式会社」と「ウェルファイド株式会社」が合併し「三菱ウェルファーマ株式会社」を会社設立。
2005年10月3日、「三菱化学株式会社」と「三菱ウェルファーマ株式会社」が経営統合し「株式会社三菱ケミカルホールディングス」を設立。
1990年以後の企業の買収・合併の実績 小売
セブン&アイ
2003年、そごうが社名をミレニアムリテイリングに変更。
2004年、ミレニアムリテイリングが西武百貨店を買収。
2005年、イトーヨーカ堂、セブン-イレブン・ジャパン、デニーズジャパンがセブン&アイ・ホールディングスを設立。
2005年、タワーベーカリーを買収。
2006年、ヨークベニマルを買収。
2006年、ミレニアムリテイリングを買収。
2007年、赤ちゃん本舗をタカラトミーから買収。
1990年以後の企業の買収・合併の実績 小売
ダイエー
1994年、ユニードダイエーを買収・合併。
1994年、忠実屋を買収・合併。
1994年、ダイナハを買収・合併。
1999年、ほっかほっか亭の東日本地域の事業をプレナスに売却。
2001年、ローソンの株式を三菱商事に売却し、関連会社から外れる。
2002年、プランタン銀座を読売新聞に売却。
2002年、ウェンコ・ジャパン（現在は日本ウェンディーズ）、ビッグボーイをゼンショーに売却。
2003年、神戸メリケンパークオリエンタルホテル、なんばオリエンタルホテル、ホテルセントラーザ博多、新浦安オリエンタルホテルをゴールドマン・サックス証券に売却。
2004年、新神戸オリエンタルシティをモルガン・スタンレー証券に売却。
2004年、ホークスタウンをコロニー・キャピタルに売却。
2005年、福岡ダイエーホークスをソフトバンクに売却。
2005年、フォルクスをどんに売却。
2006年、ハワイの現地法人をドン・キホーテに売却。
2007年、十字屋を買収・合併。
1990年以後の企業の買収・合併の実績 卸売
住友商事
1992年、Cantexを買収。
2004年、キリウを買収。
2004年、J.W.Child AssociatesからHartz Mountainを買収。
2005年、AMC Entertainment Internationalから日本エイエムシー・シアターズを買収。
2005年、TBCを買収。
2006年、伊勢丹からバーニーズジャパンを買収。
2006年、河南天方薬業を買収。
2006年、コーエイドラッグを買収。
丸紅
2006年、AgbarとAlmendralからチリの水道事業会社Aguas Decimaを買収。
2006年、ビークイックを買収。
2007年、Belterraを買収。
2007年、CoActiv Capital Partnersを買収。
2007年、ミラントからミラント・カリビアン・ホールディングスを買収。
2007年、Whitefield Power and Lightからニューハンプシャー州の発電所を買収。
2007年、ロジテックをエレコムに売却。
2007年、ダイエーを買収。
2013年、ダイエーをイオンに売却。
1990年以後の企業の買収・合併の実績 旅客・貨物輸送
フェデックス
1998年、Caliber Systemを買収。
1998年、American Freightwaysを買収。
2004年、Kinko'sを買収。
2004年、Parcel Directを買収。
2006年、ANC Holdingsを買収。
2006年、Watkins Motor Linesを買収。
2007年、Prakash Air Freight Private Limitedを買収。
日本航空
2002年、日本航空と日本エアシステムが経営統合し、日本航空システムを設立。
2004年、日本航空は社名を日本航空インターナショナルに変更。
2004年、日本エアシステムは社名を日本航空ジャパンに変更。
2004年、日本アジア航空を買収。
2004年、日本航空システムは社名を日本航空に変更。
2006年、日本航空インターナショナルが日本航空ジャパンを合併。
1990年以後の企業の買収・合併の実績 電話・電気通信
AT&T
2000年、AT&TはMediaOneを買収。
2005年、SBC CommunicationsはAT&Tを買収し社名をAT&Tに変更。
2006年、InFreeDAを買収。
2006年、Bell Southを買収。
2007年、Dobson Communicationsを買収。
2015年、ディレクTVを買収。
2018年、タイム・ワーナーを買収。
KDDI
1998年、国際電信電話と日本高速通信が合併してKDDを設立。
2000年、第二電電、KDD、日本移動通信が合併してDDIを設立。
2000年、北海道セルラー電話、東北セルラー電話、北陸セルラー電話、関西セルラー電話、中国セルラー電話、四国セルラー電話、九州セルラー電話が合併し、auを設立。
2001年、DDIはauを買収。
2001年、DDIは社名をKDDIに変更。
2005年、ツーカーセルラー東京、ツーカーセルラー東海、ツーカーホン関西を買収・合併。
2006年、パワードコムを買収・合併。
1990年以後の企業の買収・合併の実績 電話・電気通信
ソフトバンク
1995年、Ziff Davisを買収。
1995年、キングストンテクノロジーを買収。
1999年、Ziff Davisを売却。
1999年、キングストンテクノロジーを売却。
2000年、日本債券信用銀行（現在のあおぞら銀行）を預金保険機構から買収。
2000年、あおぞら銀行をサーベラス・キャピタル・マネジメントに売却。
2004年、日本テレコムを買収し社名をソフトバンクテレコムに変更。
2005年、福岡ダイエーホークスを買収し社名を福岡ソフトバンクホークスに変更。
2006年、ボーダフォンを買収し社名をソフトバンクモバイルに変更。
1990年以後の企業の買収・合併の実績 銀行・証券・保険・ファンド・金融
バンク・オブ・アメリカ
1992年、セキュリティ・パシフィックを買収。
1994年、コンチネンタル・イリノイ銀行を買収。
1994年、トラスト・オブ・シカゴを買収。
1997年、ナショナルバンクを買収し社名をバンク・オブ・アメリカに変更。
2004年、National City Corpを買収。
2004年、FleetBoston Financialを買収。
2004年、Wells Fargoを買収。
2006年、United States TrustをCharles Schwabから買収。
カーライル・グループ
2002年、QinetiQを買収。
2003年、Fiat Avioをフィアットから買収。
2004年、Standard Aerospace事業をDoughty Hansonから買収。
2004年、Stellex Aerostructuresを買収。
2004年、ウィルコムを買収。
2005年、NP AerospaceをReinhold Industriesから買収。
2006年、Stellex AerostructuresをGKNに売却。
1990年以後の企業の買収・合併の実績 銀行・証券・保険・ファンド・金融
三菱UFJフィナンシャル・グループ
2005年、三菱東京フィナンシャル・グループとUFJホールディングスが合併して三菱UFJフィナンシャル・グループを設立。
2005年、三菱信託銀行がUFJ信託銀行を買収・合併して社名を三菱UFJ信託銀行に変更。
2005年、三菱証券はUFJつばさ証券を買収・合併して社名を三菱UFJ証券に変更。
2006年、東京三菱銀行とUFJ銀行が合併し社名を三菱東京UFJ銀行に変更。
東京三菱銀行
1996年、三菱銀行と東京銀行が合併して社名を東京三菱銀行に変更。
1996年、バンク・オブ・カリフォルニアとユニオンバンクが合併して社名をユニオン・バンク・オブ・カリフォルニアに変更。
1996年、三菱ダイヤモンド証券は社名を東京三菱証券に変更。
1999年、菱光証券と大七証券が合併して社名を東京三菱パーソナル証券に変更。
2002年、国際証券、東京三菱証券、東京三菱パーソナル証券、一成証券が合併して社名を三菱証券に変更。
1990年以後の企業の買収・合併の実績 銀行・証券・保険・ファンド・金融
みずほフィナンシャルグループ
2000年、第一勧業銀行、富士銀行、日本興業銀行が経営統合してみずほフィナンシャルグループを設立。
2000年、第一勧業富士信託銀行が興銀信託銀行を買収・合併してみずほ信託銀行を設立。
2000年、安田信託銀行は、社名をみずほアセット信託銀行に変更。
2000年、興銀証券、第一勧業証券、富士証券が合併して社名をみずほ証券に変更。
2000年、勧角証券は公共証券と合併して社名をみずほインベスターズ証券に変更。
2001年、みずほインベスターズ証券は大東証券を買収・合併。
2002年、第一勧業銀行・富士銀行・日本興業銀行が経営統合してみずほ銀行を設立。
2002年、第一勧業銀行・富士銀行・日本興業銀行が経営統合してみずほコーポレート銀行を設立。
2003年、みずほ信託銀行がみずほアセット信託銀行を買収・合併。
三井住友フィナンシャルグループ
2001年、住友銀行がさくら銀行と合併して三井住友銀行となる。
2002年、三井住友銀行が三井住友フィナンシャルグループを設立。
2003年、三井住友フィナンシャルグループは三井住友銀行よりわかしお銀行を買収・両銀行が合併。
2003年、さくらフレンド証券と明光ナショナル証券が合併してSMBCフレンド証券となる。
2004年、SMBCフレンド証券は泉証券を買収・合併。
2006年、SMBCフレンド証券を買収。
1990年以後の企業の買収・合併の実績 銀行・証券・保険・ファンド・金融
りそなホールディングス
2001年、大和銀行、近畿大阪銀行、奈良銀行は大和銀ホールディングスを設立。
2002年、大和銀ホールディングスは大和銀行の信託事業を分離して大和銀信託銀行を設立。
2002年、大和銀ホールディングスはあさひ銀行を買収して大和銀行はあさひ銀行を合併。
2002年、大和銀行はあさひ信託銀行を買収・合併
2002年、大和銀信託銀行は社名をりそな信託銀行に変更。
2002年、大和銀ホールディングスは社名をりそなホールディングスに変更。
2002年、りそなホールディングスは埼玉りそな銀行を設立。
2003年、大和銀行はあさひ銀行の埼玉県内の事業を埼玉りそな銀行へ譲渡。
2003年、大和銀行はあさひ銀行を買収・合併して社名をりそな銀行に変更。
2003年、預金保険機構はりそなホールディングスグループを買収し国有化。
2006年、りそな銀行は奈良銀行を合併。
SOMPOホールディングス
2010年、損害保険ジャパンと日本興亜損害保険が経営統合し、持株会社NKSJホールディングス株式会社を設立。
2014年、損害保険ジャパンと日本興亜損害保険が正式に合併し、損害保険ジャパン日本興亜が発足。NKSJホールディングス株式会社は社名を損保ジャパン日本興亜ホールディングスに変更。
2016年、社名をSOMPOホールディングスに変更。
僖康王
僖康王（きこうおう、生年不詳 - 838年）は、新羅の第43代の王（在位：836年 - 838年）であり、姓は金、諱は悌隆（ていりゅう）または悌顒（ていぎょう）。38代元聖王の曾孫であり、父は伊飡（2等官）の金憲貞、母は朴氏の包道夫人。王妃は角干（1等官）の位にあった葛文王忠恭の娘の文穆夫人。836年12月に先代の興徳王が死去したときに、伯父の金均貞との間の政争に勝利して王位に就いた。
僖康王 即位まで
興徳王の死後、直接に王位継承を争ったのは上大等職にあった金均貞と甥の金悌隆とであったが、均貞を支持した者は子の阿飡（6等官）の金祐徴（後の神武王）、妹婿にあたる阿飡の金礼徴、武烈王9世孫の金陽らであり、悌隆を支持した者は侍中の金明（後の閔哀王）、伊飡の利弘、裴萱伯らであった。はじめは均貞派が王宮に入って優勢となったが、悌隆派の大軍が押し寄せて均貞らを敗走させ、乱戦の中で均貞が殺害されて悌隆が即位することとなった。
僖康王 即位後
王位継承戦で王を支持した金明を上大等に、利弘を侍中に任命して権力の安定を図ったが、在位3年目となる838年正月には擁立者であった金明・利弘らが軍を起こして王の側近の貴族を殺害する反乱を起こした。王は自分を擁立した貴族勢力から見放されたことを自覚し、王位にとどまることはできないとあきらめ、宮中で首をくくって自殺した。こののちに僖康王と諡されて蘇山に葬られたといい、その王陵は慶尚北道慶州市内南面望星里の史跡第220号が比定されている。
フジヤマ☆スタア
『フジヤマ☆スタア』は、2007年4月19日から2008年3月27日まで関西テレビで毎週木曜 24:35 - 25:05に放送されていたトークバラエティ番組。全49回。
フジヤマ☆スタア 概要
サブカルチャーから伝統芸能まで、様々なジャンルで活躍する「日本のカルチャースタア」たちを紹介していた深夜番組。毎回1つのジャンルから「タクミスタア」もしくは「シンガタスタア」をゲストに迎えていたが、毎回必ずこの両者が登場すると決まっているわけではなかった。2007年5月10日放送分では「ビッグ☆スタアナイト」と題し、石井竜也を「ビッグスタア」としてゲストに招いた。
スタジオセットはクラブの設定で、メインフロアに置かれたソファで藤井隆をはじめとするMC陣がゲストを囲んでトークしていた。その後ろのDJブースにはDJ CHAMIが、ダンスフロアには有酸素ガールズが位置する。
隔週月曜日、関西テレビ第2スタジオにて2、3本撮りで収録。
フジヤマ☆スタア 用語
タクミスタア
その技が持つ最も伝統的な表現スタイルを守りながら追求し続けるスタア。
シンガタスタア
ベーシックな技巧を受け継ぐだけにとどまらず、独自の新しいスタイルを加えた表現に挑戦するスタア。
有酸素ガールズ
ゲストトークの間、スタジオに設けられたダンスフロアで、イヤホンから流れてくる曲（メンバーのブログによるとJ-POP）に乗ってひたすら踊り続ける、文字通り有酸素運動を行う女性グループ。DJ一条寺による命名。関西を拠点に活動するタレント7 - 11名で構成され、放送期間中に変動した。
ペトラ・ブルカ
ペトラ・ブルカ（Petra Burka、1946年11月17日 - ）は、カナダ出身の女性フィギュアスケート選手でのちにコーチ兼解説者。1964年インスブルックオリンピック女子シングル銅メダリスト。1965年世界フィギュアスケート選手権女子シングルチャンピオン。
ハインリヒ3世 (ザクセン公)
ハインリヒ獅子公（ドイツ語: Heinrich der Löwe, 1129年 - 1195年8月6日）は、中世ドイツの領邦君主の1人で、ザクセン公（ハインリヒ3世、在位：1142年 - 1180年）、バイエルン公（ハインリヒ12世、在位：1156年 - 1180年）。1180年に従兄のローマ皇帝フリードリヒ1世に2つの公領を奪われるまでは当時最も権力を持ったドイツの君主の1人だった。
最盛期には北海及びバルト海沿岸からアルプス山脈まで、ヴェストファーレンからポンメルンまでの広大な領土を統治した。ハインリヒは自身の政治的、軍事的な洞察力と4人の祖父母の遺産によって強大な権力と領地を獲得した。
ハインリヒ3世 (ザクセン公) 生涯
バイエルン公とザクセン公を兼ねたハインリヒ10世と妃ゲルトルートの子としてラーフェンスブルク（en:Ravensburg）に生まれた。父はバイエルン公ハインリヒ9世とザクセン公家のビルング家の女性相続人ヴルフヒルトの息子だった。また、母方の祖父は神聖ローマ皇帝ロタール3世であり、祖母でロタール3世の妻リヒェンツァ・フォン・ノルトハイムはノルトハイム家（en:Northeim）のザクセン領地とブルノン家の所有するブラウンシュヴァイクの女性相続人だった。
ハインリヒ3世 (ザクセン公) 生涯
1138年、父ハインリヒ10世は帝位の競争相手コンラート3世に敗れて追放、1138年と1139年にザクセン公位はアルブレヒト1世に、バイエルン公位はオーストリア辺境伯レオポルト4世に与えられた。父は1139年にそのまま没したが、ハインリヒは遺産相続の要求を取り下げず、1142年にコンラート3世にザクセンの所領を返還された。皇帝コンラートとその甥で後の皇帝フリードリヒを筆頭に、聖俗の諸侯・貴族がこぞって参加した第2回十字軍への関与では、獅子公は父から不当に剥奪されたとするバイエルン公の地位の返還を訴えたものの、コンラート3世が応じなかったために、公とザクセンの貴族は十字軍参加を拒否した。代わりに1147年のヴェンド十字軍に参加し、1156年にはコンラート3世の後継者でハインリヒの従兄に当たるフリードリヒ1世に対してバイエルンもハインリヒ2世（レオポルト4世の兄）から返還するよう要求、バイエルン公も兼ねた。また、1149年以降エルベ川東の司教区の再建とその司教の叙任権を要求し、フリードリヒ1世によって認められた。
ハインリヒ3世 (ザクセン公) 生涯
ハインリヒは都市開発も進め、1157年（または1158年）にミュンヘンを、1159年にリューベックを興した。またシュターデ、リューネブルク、ブラウンシュヴァイクの町も興し、これを都市に発展させた。ブラウンシュヴァイクは彼の拠点であり、1166年、ここに自身の紋章に描かれた動物のライオンの像を作成、その像はダンクヴァルデローデ城（de:Dankwarderode）の庭に建立された。これはアルプス山脈の北において最初に建立された青銅像だった。後にこの像の側にブラウンシュヴァイク大聖堂（en:Brunswick Cathedral）が建築された。
1147年、ハインリヒはクレメンティア・フォン・ツェーリンゲンと結婚し、それによって彼女が相続したシュヴァーベンの領地を手に入れた。1162年にフリードリヒ1世からの圧力で妻と離婚するが、それと引き換えに皇帝はザクセンの皇帝領内にある教皇派の要塞を重要視せずにハインリヒに与えた。1168年にハインリヒはイングランド王ヘンリー2世とアリエノール・ダキテーヌの娘マティルダと再婚した。
ハインリヒ3世 (ザクセン公) 生涯
ハインリヒは長い間フリードリヒ1世に忠誠を誓い、支え続けていた。帝位の確立を賭けたロンバルディア同盟の都市と教皇との度重なる戦いの中で何度か戦いの流れを変えたため、フリードリヒ1世はハインリヒの擁する気性の荒いザクセンの騎士が気に入っていた。しかし1174年、ハインリヒは自領の東の境界線を守るのに手一杯だったため、フリードリヒ1世が再開したロンバルディア侵攻の援助要請を拒否した。ハインリヒにはイタリア遠征に労力を割く価値があるとは思えず、長年与えられるのを望んでいた皇帝の都市ゴスラーを報酬にするとフリードリヒ1世が持ちかけても考えは変わらなかった。
ハインリヒ3世 (ザクセン公) 生涯
フリードリヒ1世のロンバルディア遠征は大失敗に終わり、自分を支援出来なかったハインリヒに対してひどく憤慨した。フリードリヒ1世はザクセンとバイエルンの他、ドイツ北部と東部にも広大な領地を確保し、強大な権力を持つハインリヒに対する他のドイツ君主の敵意を利用した。フリードリヒ1世は聖職と世俗の選帝侯達が開いた法廷の決議により、不服従の罪で1180年、ハインリヒを追放刑に処した。また帝国法はドイツの慣習法を覆し得ると断言し、ハインリヒの持つ所領を没収して帝国アハト刑に処した。フリードリヒ1世はハインリヒを屈服させるため、皇帝軍を率いてザクセンを侵攻した。ハインリヒは1181年11月に降伏、エアフルトで開かれた帝国議会で1182年から3年間ドイツから追放され、ノルマンディーに居る義父のヘンリー2世の下に滞在した。1185年に許可が下りる前に帰国したため、1188年に再び追放された。妻マティルダは1189年に没した。
1189年、フリードリヒ1世が第3回十字軍に出征した時、ハインリヒはザクセンに戻って忠実な自軍を動員し、裏切りに対する報復として富裕な都市バルドヴィック（en:Bardowick）を征服し教会を除く全てを破壊した。フリードリヒ1世の息子のハインリヒ6世はハインリヒ獅子公に敗れた。1194年、死期が近づいたためハインリヒは皇帝と和解し、周囲の領地をかなり減らされたブラウンシュヴァイクへ戻り、芸術と建築を振興しブラウンシュヴァイク公として1195年8月6日に没した。遺骸はブラウンシュヴァイク大聖堂の妻マティルダの隣に葬られた。
バイエルンはヴィッテルスバッハ家へ、ザクセンはアスカーニエン家（後にヴェッティン家）に受け継がれ、帝国内の有力領邦に成長していった。ハインリヒの長男ハインリヒ5世はライン宮中伯、次男のオットー4世はローマ皇帝に即位したが、いずれも短期間で終わった。ブラウンシュヴァイクとリューネブルクは孫で末子ヴィルヘルムの息子オットー1世が相続、ブラウンシュヴァイク＝リューネブルク公として復帰した。
ドイツの世俗領主の中で最初に宮廷を権勢誇示の中心としとしたのはハインリヒであり、その宮廷はブラウンシュヴァイクの宮廷である。
ドイツの世俗領主の中で最初に「文書」（Schriftstück）の重要性を認識し、積極的に活用したのが、ハインリヒである。公は1144年あるいはそれ以前に ブラウンシュヴァイクの宮廷に官房（Kanzlei）を置いた 。
文化に関心の深いハインリヒとマティルデ妃は、豪華な装飾写本「ハインリヒ獅子公の福音書」（Evangeliar Heinrichs des Löwen）を作成させ、フランスの武勲詩の傑作「ローランの歌」をドイツ語に翻訳させている。前者では、公夫妻それぞれが王族の子孫であり、戴冠が神自身の手によることを強調する画像が特に印象的である。画像は「かつての封土授与式の図における皇帝像をモデルとしている」。後者では、そのエピローグにおいて、公はダビデ、カール大帝の系譜を引き継ぐ人物として称揚され、国王と同列に置かれている。なお、ハインリヒ獅子公の孫娘、アグネス（Agnes von Bayern）は、ラインボット・フォン・デュルネに „Der heilige Georg“を著わすことを命じている 。
ハインリヒ3世 (ザクセン公) 子女
ハインリヒの子のうち主な人物を挙げる。
イングランド王ヘンリー2世の娘マティルダ（婚期：1168年 - 1189年、死別）との間の子
リヒェンツァのちにマティルデ（1172年 - 1208年/1209年） - ペルシュ伯ジョフロワ3世と結婚、後にクシー領主アンゲラン3世と結婚。
ハインリヒ5世（1173年/1174年頃 - 1227年） - ライン宮中伯。娘のアグネスはバイエルン公オットー2世に嫁いだ。
ロタール（1174年/1175年 - 1190年）
オットー4世（1175年/1176年 - 1218年） - 神聖ローマ皇帝及びシュヴァーベン大公
ヴィルヘルム（1184年 - 1213年） - リューネブルク公。デンマーク王ヴァルデマー1世の娘ベアトリクスと結婚。彼の傍系は、ハノーファー家のイギリス国王ジョージ1世に繋がる。
鈴井貴之のロケハン。
『鈴井貴之のロケハン。』（すずいたかゆきのロケハン）は、チャンネルNECOで複数回放送された番組。
シークエント計算
シークエント計算（シークエントけいさん、英: Sequent calculus）は、一階述語論理や特殊な命題論理で広く用いられる演繹手法である。類似の手法もシークエント計算と呼ぶことがあるので、LK と呼んで区別することがある。また類似の手法も含め、総称してゲンツェン・システムとも呼ばれる。
シークエント計算とその概念全般は証明論や数理論理学において重要な意味を持つ。以下では LK について解説する。
シークエント計算 LK
シークエント計算ではシークエントの列で証明が記述され、各シークエントは証明過程で既に出現したシークエントに後述する推論規則を適用することで導出される（シークエントとは、命題群の論理積を前提とし、別の命題群の論理和を帰結とする論理的帰結関係を表す論理式の並びである）。
シークエント計算 LK は1934年、ゲルハルト・ゲンツェンが自然演繹を研究する道具として生み出した。その後、論理導出を行うのに非常に有効であることから普及した。LK（エルケー、エルカー） という名称はドイツ語の Logischer Kalkül（論理計算）に由来する。
ここでは、以下のような記法を用いる:
制約: (∃L) と (∀R) の規則において、変項  は  と  に自由出現をもたない。
なお、(∃L) と (∀R) の規則、および、制約は次を採用してもよい。
制約: (∃L) と (∀R) の規則において、変項  は  に自由出現をもたない。
上記の規則群は「論理規則」と「構造規則」に分けられる。論理規則は帰結関係  の右辺か左辺に新たな論理式を導入する。一方、構造規則はシークエントの構造を操作し、論理式の正確な形を無視する。例外として同一性の公理 (I) とカット規則 (Cut) がある。
シークエント計算 LK
形式化されているものの、これらの規則は古典論理的に直観的に読み解くことができる。例えば、(∧L1) 規則を見てみよう。これは、A を含む論理式の列から Δ が証明される場合は常に A∧B という（より強い）仮定からも Δ が導かれることを示している。同様に、(¬R) 規則 は Γ と A によって Δ が導かれるなら、Γ のみから Δ が真または A が偽であること（A が成り立たない）が導かれることを意味する。どの規則もこのように解釈可能である。
量化子の規則に関する直観的説明として、(∀R) 規則を見てみよう。もちろん、A[y/x] が真であるという事実だけから ∀x A が成り立つとは一般には結論できない。しかしながら、変項 y がどこにも言及されない場合（すなわち、他の論理式に影響を与えることなく自由に選べる場合）、A[y/x] は任意の y の値について成り立つと見なすことができる。他の規則も同様に解釈可能である。
シークエント計算 LK
これら規則を述語論理における正当な導出と見なさず、与えられた論理式について証明を構築するための手順と見ることもできる。この場合、規則を下から上に適用していく。例えば、(∧R) では、Γ と Σ という前提から A∧B が帰結されることを証明するには、それぞれ Γ から A が帰結され、Σ から B が帰結されればよい。ただし、先行条件をどのように Γ と Σ に分ければよいかは明らかではない。しかし、先行条件が有限であれば、考慮すべき組合せも有限である。これは証明論における組合せ的証明操作も示している。すなわち、A と B の両方を証明することで A∧B の証明を構築できる。
これらの規則のほとんどは、どう証明すればよいかを示しているが、カット規則だけは異なる。カット規則 (Cut) は、論理式 A が帰結となり、同時に他の帰結の前提にもなる場合、A を除いて論理的帰結関係を結合することができることを示している。証明をボトムアップで行う場合、A を具体的に何にするかという問題が生じる（横棒の下に出現しないため）。この問題はカット除去定理で扱われる。
同一性の公理 (I) もある意味で特殊である。直観的には A ならば A であるという自明なことを意味しているにすぎない。
シークエント計算 LK
例として (A ∨ ¬A) すなわち排中律の導出過程を示す。
この導出は構文的計算の厳密に形式的な構造を強調している。例えば、上述の右論理規則は常にシークエントの右辺の最初の論理式に適用されている。この厳格な推論は最初は分かりにくいかもしれないが、形式論理における「文法」と「意味」の根本的な違いを示している。A ∨ ¬A という論理式と ¬A ∨ A という論理式は同じ「意味」だが、形式的な導出過程においては異なるものとして扱われる。しかし、推論をより簡単にするために補題（lemma）すなわち何らかの標準的な導出をもたらす事前定義された図式を導入することもある。例えば、以下のような変換がある。
この推論を導出する規則適用過程が分かっていれば、これを証明の中で略記法として使うことができる。しかし、よい補題は証明を読みやすくするが、かえって複雑化させる場合もあり、その選択は単純ではない。これは特に証明論を使った自動化演繹で重要となる。
構造規則にはもう少し説明が必要である。規則の名称は Weakening (W)、Contraction (C)、Permutation (P) であり、日本語で言えばそれぞれ「弱化規則」、「縮約規則」、「転置規則」である。
シークエント計算 LK
弱化規則は任意の要素を付け加える。直観的には前提に何かを加えるというのは証明でもよくあることで自然である。帰結は要素の論理和となっているため、どちらかが成り立っていればよいため、証明されていない式を追加しても成り立つのである。
縮約規則と転置規則は、記述順序（転置規則）や同じ式が複数個登場すること（縮約規則）が問題とならないことを示している。従って、列ではなく集合とみなすことができる。
シークエント計算から構造規則の一部を除いたものを部分構造論理と呼ぶ。この場合、逆に列としての意味を重視する。
この規則体系は一階述語論理において健全かつ完全である。すなわち、 が上記規則群から導出される場合に限って、前提 Γ () から命題 A が意味論的に導かれる。
シークエント計算では、カット除去定理が許される。これをゲンツェンの Hauptsatz（主定理）とも呼ぶ。
シークエント計算 派生
上述の規則群は LK の本質を変えることなく修正可能である。そのような修正を加えた体系も LK と呼ばれる。
まず、上述の通り、シークエント群を集合や多重集合と見ることもできる。この場合、転置規則と（集合の場合） 縮約規則は陳腐化する。
弱化規則は公理 (I) を Γ, A  A, Δ という任意のシークエントが導出されるように修正することで許容される。これは、任意のコンテキストで、A ならば A であること意味している。導出の途中に出現する弱化規則は導出開始直後に実施できるようになる。これはボトムアップの証明で特に便利な変形である。
これとは別に、コンテキストを規則内で分ける方法を変更することもある。(∧R)、(∨L)、(→L) は下から上に適用する場合、コンテキストを Γ と Σ にどうにかして分けることになる。縮約規則を下から上に適用すれば、これらが重複してもよいので、常に全コンテキストが両方の分岐に適用されるとしてもよい。そうすると、重要なコンテキストを省いてしまう危険がなくなる。不要なコンテキストは後から弱化規則を適用することで削除できる。
これらの変形を施しても LK とは本質的には違わず、相互に変換が可能である。
シークエント計算 LJ
LK の規則に少しだけ変更を加えることで、直観論理の証明体系となる。この場合、直観主義的シークエントになるよう制限を加え、推論規則はこの制限が保たれるように修正を加える。たとえば、規則 (∨L) には以下のような修正を加える。
ここで  は1個または0個の論理式の列である。
このような体系を LJ（エルジェー、エルヨット）と呼ぶ。これは直観論理においては健全かつ完全な体系であり、LK と同様なカット除去証明が存在する。
ヒューマンバランス
有限会社ヒューマンバランス(HUMAN BALANCE) は北海道に拠点を置く、オンラインゲームの開発・運営およびソフトウェアの企画・開発・販売を行う企業である。代表取締役は菊地志郎。
ヒューマンバランス 製品・サービス（終了コンテンツ含む）
LiveMaker - ノベルゲーム開発ツール。2018年2月28日に開発が完全終了、及び公式サイトでのプログラム配布と公式サポートが終了した。ただし、2019年２月現在、LiveMakerのインストーラーなどアーカイブについては、有限会社ふりーむの運営する「Freem!」にて、サポート無しを前提条件とする形で旧LiveMaker公式サイトのHTMLコンテンツとセットになったアーカイブをダウンロードする事が出来る。
ガムガムパンチ
『ガムガムパンチ』（がむがむぱんち）は、手塚治虫の幼年向け漫画作品。
ガムガムパンチ 概要
小学館の学年別学習雑誌『小学一年生』に1967年4月号から連載が始まり、その1ヵ月後からは、『小学二年生』でも連載が始まった。虫プロダクションでもアニメ化が企画され、虫プロ商事でパイロット版が作られたが放映にはならずパイロットフィルムの製作で終わった。
ガムガムパンチ あらすじ
パンチとピンコの兄弟は、ガムの神様から魔法のガムをもらう。そしてガムの国からやってきたガムガムとクチャクチャのあわせて4人が、魔法のガムを使って毎回騒動を引き起こす。
ピエール・ラヴァル
ピエール・ラヴァル（フランス語: Pierre Laval,　1883年6月28日 - 1945年10月15日）は、フランスの政治家。第三共和政下で2度首相を務めた。1940年のフランス敗北後にはヴィシー政権の成立に主導的な役割を果たし、副首相および首相を務め、積極的な対独協力政策（コラボラシオン）を主導した。
ピエール・ラヴァル 来歴
ピュイ＝ド＝ドーム県出身。父親は肉屋と宿屋を経営し、学問とは縁がない環境で育ったが、奨学金を得て大学入学資格と学士号を取り、法学の学位を修めて弁護士となった。故郷の名士の娘と結婚したことで急進社会党の市長と県会議員が身内となり、顧客は社会主義者や労働組合員が多くなった。弁護士時代のラヴァルは、訴訟を実際に起こすのを避けていた。彼は「噛みつきの技」と呼ばれる、説得に長けた人物であったという。
1914年、31歳の時にパリ近郊のオーベルヴィリエ市の市会議員として政治活動を開始した。最初フランス社会党で活動したが、第一次世界大戦を機に社会主義から保守派に転向した。一方で反戦デモを鎮圧した政府の対応を批判したり、ヴェルサイユ条約によるドイツへの苛酷な懲罰には反対している。1920年の社会党の分裂では独立派に転じた。政党に属さず政治的立場を明確にしない日和見の政治家となったが、弁護士としては収入は格段に増え、新聞やラジオ局のオーナーにもなった。1923年にはオーベルヴィリエ市の市長となっている。