hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
デモンズ3 本作以外にデモンズ3のタイトルを使用した作品
ウンベルト・レンツィ監督作品。元々の原題は邦題と同じく"Black Demons"であったが、ビデオリリースに合わせて"Dèmoni 3"（デモンズ3）または"Noite Maldita - Demoni 3"（呪われた夜 - デモンズ3）に改題された。レンツィ自身はこのタイトルをデモンズシリーズだと誤解されるので、快く思っていなかったという。日本では劇場未公開。
ランベルト・バーヴァ監督作。イタリア版原題は"La casa dell'orco"（鬼の館）だが、英語圏では『デモンズ』、『デモンズ2』の続編扱いで"Demons III: The Ogre"（デモンズ3：悪鬼）のタイトルで公開された。日本では劇場未公開。
パウリナ・ルビオ
パウリナ・スサーナ・ルビオ・ドサマンテス（Paulina Susana Rubio Dosamantes、1971年6月17日 - ）は、メキシコ・メキシコシティ出身の歌手、女優。ポップグループTimbiricheに10歳で参加しキャリアを開始する。グループ脱退後、20歳の時にソロ歌手へ転向。2,000万枚以上のレコードを売り上げ、これまでで最も売れたラテン音楽アーティストの1人になり「ラテンポップの女王」と呼ばる。
君の瞳には映らない
『君の瞳には映らない』（きみのめにはうつらない）は、小松未歩の11枚目のシングル。2000年10月18日にGIZA studioより発売された。規格品番はGZCA-1047。
小説ストーリーテラー
小説ストーリーテラー（しょうせつストーリーテラー）は、かつて存在した小説サイトの一つである。厳密には二次創作サイトだが、一次創作サイトとしての割合が強かった。一般的な小説投稿サイトと比較しての特長点が多く、小説サイトよりも寧ろ交流サイトとされていた。略名「ストテラ」
小説ストーリーテラー 概要
完全攻略.ｃｏｍのサブコンテンツがそれぞれに二次小説板を作った事が起源。それからストーリーテラーが開設し、監視人が設置されたが、色々な都合があり監視人は解雇。現在にいたる。利用者の大半が、執筆力が稚拙で未熟な中高生が占めることもあってか、作品の完結率は極めて低かった。末期は一部の板を除いて、ほとんどの板が限界集落的な状態となっており、利用者はほぼいないに等しい状態となっていた。2020年6月頃に突如閉鎖されたが、その際に告知等は一切なかった。
レナモン
レナモンはバンダイのモンスター育成玩具『デジタルモンスター』シリーズに登場する架空の生命体・デジタルモンスターの一種。アニメ『デジモンテイマーズ』にて牧野留姫のパートナーデジモンとして登場。
レナモン 概要
デジモンテイマーズから登場する金色のキツネをモチーフにしたデジモン。ほとんどが2頭身である成長期の中で、目測にして5頭身以上ある。腕の防具には太極図が刻まれている。
レナモン 種族としてのレナモン
常に冷静沈着な獣人型デジモン。他の成長期に比べ立派な体躯を持つ。テイマーとなる人間との関係がストレートに現れるといわれるデジモンで、幼年期のころの育て方によってはさらに知能が高いレナモンに進化できるとされる。あらゆる状況下でも冷静さを失わず、細身かつ長身の姿は他の成長期デジモンと比べても抜きん出ており、パワーよりもスピードを利用した多彩な技で敵を翻弄する。
X抗体を取り込んだ形態においては成長期でありながら妖術の道に精通し、身体から溢れ出る妖気をオーラのように身に纏うようになった。高まった力は2本に増えた大きな尾と全身に浮き出た赤い紋様として現れており、使用する術にも磨きがかかっている。
必殺技
光の矢
光の矢を腕から放って敵を刺し貫く。
狐葉楔
鋭く尖った木の葉を、敵に手裏剣のように無数に飛ばす。
レナモン 登場人物としてのレナモン
声優は今井由香。ルキのパートナーデジモン。女性的な身なりであり、本当の性別については本人曰く「本来、デジモンには性別は存在しない」とのことだが、留姫の母は女性として扱った。サクヤモンに進化した際にはさらに声が女性的になった。
当初は人間がデジモンに与える力を欲するためだけに、ルキのパートナーとなり（正確に言えばルキを利用していただけ）、リアライズするデジモンたちを片っ端からロードしていった。しかし、タカトやギルモンと出会い、テイマーがもたらすカードスラッシュ以上の力を知ることになる。ルキとは度々すれ違いが生じながらも、最終的には強い信頼関係を築いていき、真のパートナーとなった。
成長期ながら性格は至って沈着冷静で、屈託の無いギルモンやテリアモンと比べると、大人びて落ち着いた面が際立っている。小学生であるルキの歳相応の振る舞いや疑問に対しては、保護者ともとれるような態度で接している。
とある理由で人間のパートナーと決別し孤独になっていたインプモンのことを心配しており、彼が本当はタカトとギルモンの関係を羨ましがっていることを指摘したり、ベルゼブモンに進化して自分たちの命を狙ってきた際にも、完全に敵意を抱こうとはしなかった。
レナモン 登場人物としてのレナモン
作品中に一度だけだが、留姫に渡された栄養ドリンクを一気飲みし、「おっしゃっ！」と漏らしている（このとき尻尾がピンと張り詰めていた）。
種族としての能力によって、ギルモンやテリアモンなどと違って隠れたりぬいぐるみの振りをしたりする苦労をせずにリアルワールドにとけ込んでいた。ワンダースワン用ゲームソフトではテイマーである留姫に化けてみせるなどの変身能力を見せていた。
進化を主力とする以前は「ヘヴィメタル」や「スナイモン」など腕が武器となるカードをスラッシュすることで戦力を増強するという戦法をとっていた。
留姫の祖母には以前から存在に気づかれており、陰ながら「お狐様」と呼ばれていた（ちなみに留姫の母、祖母には敬語で話していた）。
またデジタルワールド編ではレオモンと共にデジタルワールドの解説をしていた。
声優は千葉進歩。オリジナルキャラクター神楽由麻のパートナーデジモンとして登場。
OVERDRIVE (ブランド)
OVERDRIVE（オーバードライブ）は、株式会社キッチンガイズファクトリーのアダルトゲームブランド。略称「オバイブ」。
OVERDRIVE (ブランド) 概要
設立は2006年4月、代表はmilktubリーダーの「bamboo」。現在、東京都台東区雷門に拠点を置いている。童貞を雇用しないという（冗談を理解出来ない人間を雇用しないという意味合い）他ブランドと異なる大きな特徴があったが、現在は備考欄からは消されている。2008年8月より2010年4月まで公式モバイルサイト「OVERDRIVE MOBILE」が展開されていた。
2018年4月、12年におよぶ活動の締めくくりとして最終作MUSICUS!の制作を発表。シナリオは瀬戸口廉也、原画・キャラクターデザインはすめらぎ琥珀が参加。CAMPFIREにて同年7月30日に開発プロジェクトのクラウドファンディング(CF)を開始したところ、日本記録級の異例の速さで目標調達金額に到達。2018年10月18日の最終集計で1億3230万2525円の支援金額となり、日本国内クラウドファンディング史上最高調達額を達成した。
OVERDRIVE (ブランド) 概要
ブランド終了の理由として代表のbambooは、「体力的・精神的な問題」や「若いクリエイターのセンスに敵わなくなったと感じたこと」、「自身の持つ様々な肩書きを整理し、ゆくゆくは音楽一つにシフトしていきたい気持ちもある」というものを挙げている。また、今回はOVERDRIVEブランドを終了するだけであって、母体の会社であるキッチンガイズファクトリー自体を畳むつもりはないとも語った。
クラウドゲーミングプラットフォーム「OOParts」に『キラ☆キラ』『超電激ストライカー』をアルファ版として提供しており、2020年4月24日に正式配信された。
2020年5月29日にはOVERDRIVEの全作品が配信された。
2022年3月31日、全てのブランド活動を終え、解散した。
53-61 (魚雷)
53-61型は、ソビエト連邦が開発した対艦誘導魚雷。また発展型の53-65型についても本項目で扱う。
53-61 (魚雷) 53-61
ソビエト連邦では、第2次世界大戦中にレニングラード近郊で撃沈したドイツ海軍のU-250からG7es（TV）魚雷を鹵獲し、これをもとに誘導魚雷の開発に着手していた。これによって開発されたSAET-50型は、1950年よりソ連海軍に引き渡された。またこれとは別に、1950年より、第400研究所によってタービン・エンジンを備える長射程無航跡魚雷の開発が着手されており、これによって開発された53-57型魚雷は1957年に海軍に引き渡された。これらを組み合わせた魚雷として開発されたのが本型であり、1962年より実戦配備された。
本機は、灯油（ケロシン燃料）と過酸化水素酸化剤によるタービン・エンジンを備えている。誘導装置としては、目標の船体および推進器より発生する微細な気泡を追尾するという『ウェーキホーミング（航跡追尾）方式』を採用している。当初はアクティブ型を採用していた。1964年には光学式のS-380型誘導装置が実用化され、これを搭載した53-61M型が開発されたものの、当時の技術では実用性に欠けたことから、1968年より、改良型アクティブ型誘導装置を搭載した53-61MA型に再換装された。
53-61 (魚雷) 53-65
これらの改良と並行して、1965年には、タービンの燃焼室を2個にすることで出力を増強した53-65型が実用化された。これにより、最大雷速は55ノットから68.5ノットに強化された。また1969年には、エンジンを更に近代化し、出力を1,800馬力に強化するとともに射程を延伸した53-65M型が配備された。しかし、過酸化水素の扱いの難しさから、これらの魚雷は特に整備性や安全性に問題があったことから、1969年には、過酸化水素のかわりに酸素を用いる53-65K型が配備された。また輸出型として53-65KE型も開発され、アルジェリア、中国、インド、イラン、ポーランド、ルーマニアに輸出された。1996年時点の単価は60〜80万ドルであった。
Love gone
『Love gone』（ラブ ゴーン）は、小松未歩の12枚目のシングル。2001年1月31日にGIZA studioより発売された。規格品番はGZCA-1060。
LOVE (大塚愛)
LOVE（ラブ）は、シンガーソングライターの大塚愛がデザインを施した、ウサギのキャラクター。
もちのようにふっくらした顔や、ぼーっとした細い目などが特徴。
なおエイベックスでは、大塚愛とLOVEは別アーティスト扱いになっている。レコード会社はLOCOMUSIC。
国語科指導の単純形態
国語科指導の単純形態（こくごかしどうのたんじゅんけいたい）は、教育者・芦田惠之助が始めた芦田教式をわかりやすくした国語の指導方法。
芦田教は、芦田のみが行える名人芸に近い指導方法であったため、弟子の鈴木佑治がわかりやすくまとめた。
国語科指導の単純形態 2つの表
国語科指導の単純形態には、2つの表がある。
第1表では、第1次指導から第3次指導までの指導計画の中で取り扱いの方向を示している。
第2表では、「二、とく」「六、とく」にしぼって取り扱いの方向を示している。
とどまることのない愛
『とどまることのない愛』（とどまることのないあい）は、小松未歩の13枚目のシングル。2001年5月30日にGIZA studioより発売された。規格品番はGZCA-1080。
Dps (バンド)
dps（ディー・ピー・エス）は、日本の男性4人組ロックバンド。2017年結成。所属芸能事務所はAding。所属レコード会社はGIZA studio。
Dps (バンド) 概説
2016年に始動し、楽曲重視の質の高い作品を送り出そうと始まったプロジェクト・d-projectの第1弾アルバム『d-project with ZARD』に参加した森丘、安井、川村に、ボーカルコンテストで優勝した木村が加わり2017年に結成された。
バンド名は、d-projectから派生し、スペシャルなバンドを目指すd-project+specialを意味する略語である。
キッチンガイズファクトリー
株式会社キッチンガイズファクトリー（Kitchen-Guys-Factory.Ltd.）は、日本のアダルトゲームのソフトウェアメーカーおよびイベント企画運営会社。
かつてはアダルトゲームブランド『OVERDRIVE』の運営会社でもあった。
キッチンガイズファクトリー 事業内容
ソフトウェア開発
自社のアダルトゲームブランド「OVERDRIVE」を通じ、PC用ゲームの製作を行っていた。組織上は2022年3月31に解散。
商品企画
ゲーム、キャラクターの関連商品や音楽CDなどの企画、デザイン、製造、販売を行なっている。また、アーティストや作家のマネージメントも行っている。
イベント企画運営
ゲームの販促イベントやライブなどの企画、開催、運営、調整などを行っている。自社主催のイベントやライブで実績がある。
キッチンガイズファクトリー ゲーム
「OVERDRIVE」作品については、「OVERDRIVE」を参照。
長野県道421号宮ノ平豊里線
長野県道421号宮ノ平豊里線（ながのけんどう421ごう みやのたいらとよさとせん）は、長野県南佐久郡北相木村宮ノ平から長野県南佐久郡小海町東馬流に至る一般県道である。
長野県に複数ある、路線認定されているが区域決定のされていない路線の一つ。
長野県道421号宮ノ平豊里線 概要
北相木村と小海町を親沢峠を経由して結ぶ。県道として指定されていない地図も存在するが、全線開通済み。ルート中に県道標識が全く設置されていない。終点付近の市野沢川沿いのルートは狭隘悪路であり、一般車両の通行に適さない。
さいごの砦
『さいごの砦』（さいごのとりで）は、小松未歩の14枚目のシングル。2001年8月8日にGIZA studioより発売された。規格品番はGZCA-2006。
愛知県立小牧高等学校
愛知県立小牧高等学校（あいちけんりつこまきこうとうがっこう）は、愛知県小牧市小牧1丁目321番地にある公立の高等学校。
おぜんやご飯のしたくと金貨を生む騾馬と棍棒袋から出ろ
「おぜんやご飯のしたくと金貨を生む騾馬と棍棒袋から出ろ」（独: Tischlein deck dich, Esel streck dich und Knüppel aus dem Sack）は、グリム童話の一篇。訳者によっては「“テーブルよ、ご飯の用意”とお金を生むロバと“こん棒、袋から”」の題も。
おぜんやご飯のしたくと金貨を生む騾馬と棍棒袋から出ろ あらすじ
あるところに、仕立屋とその3人の息子が暮らしていた。
技を覚えた長男が独立するにあたって父親は、どこでも平らなところにおいて「お膳や、ご飯の支度」と唱えれば瞬く間に食事が並ぶ魔法のテーブルを餞別として贈る。長男は旅立つが、投宿したある宿屋でそれを見せたために、就寝中に宿の主人に盗まれ、外見だけはそっくりの何の変哲もないテーブルとすり替えられてしまう。
次に独立した次男は同様に、呪文「ブリックレー・ブリット！(Bricklebrit!)」を唱えると金貨を生むラバを贈られ、金に不自由することはなくなるが、兄が投宿した同じ宿屋でやはりラバを亭主にすり替えられてしまう。
最後に三男が独立するが、長男と次男が宿屋での事件を手紙で知らせたために、父は三男に護身用の、魔法で動く棍棒の入った袋を贈る。同じ宿屋に泊まる三男。亭主は袋の中に金目の物が入っているに違いないと思い込んですり替えようとするが、待ち構えていた三男は呪文「こん棒、袋から」で棍棒に亭主を殴りつけさせ懲らしめる。亭主は反省・謝罪して長男と次男から盗んだテーブルとラバを返す。お宝を取り返した三男は兄たちにそれぞれを元通り返して一同幸せに暮らす。
おぜんやご飯のしたくと金貨を生む騾馬と棍棒袋から出ろ 改変
最初の方の版では、主人公が棍棒をテストするため、何の罪もない人間や犬を棍棒で殴る場面があったが、道徳的によくないと判断したためか、全て削除している。その代わり、悪人をこらしめる場面が、版を重ねるごとに詳細な描写になっていき、暴力もエスカレートしている。
愛してる…
『愛してる...』（あいしてる）は、小松未歩の15枚目のシングル。2001年12月5日にGIZA studioより発売された。規格品番はGZCA-2023。
T-43 (航空機)
T-43とはアメリカ空軍が運用していた機上航法訓練機・練習機。ボーイング737-200を基にしたものであり、主に機上航法・電子装置操作の訓練に用いられた。非公式な愛称として、ゲイター（Gator,navigatorより）やフライング・クラスルーム（Flying Classroom）があった。
T-43 (航空機) 概要
第二次世界大戦後、電子航法装置と電波航法は格段の進歩を遂げていた。機上の航法装置は複雑になり、その操作教育・訓練についても充分な機材が必要とされるようになった。1970年代のアメリカ空軍においてはT-29を用いていたが、旧式化したために、これを更新することとなった。ボーイング737-200とDC-9が比較検討され、1971年5月にボーイング737-200の採用が決定された。T-43Aと命名され、1973年4月10日に初飛行が行われ、部隊配備が開始された。
機体の外見は、アンテナが増備され、窓が減った以外は737-200からほとんど変化はない。ただし、燃料タンクは増量されている。機内には訓練生用のコンソールが12席と他に錬度が異なる訓練生用のコンソールが4席ある。通常の訓練生のコンソールは4席が背中合わせに一組となっており、その真ん中に教官が位置し、各訓練生を指導することとなる。
T-43 (航空機) 概要
訓練機材はINS、LORAN、VOR、TACAN、電波高度計、地上走査レーダーなどであり、現在は訓練に使用されないものの天文航法用のペリスコープ型の六分儀も5基備えてある。
1973年から1974年にかけて19機が製造され、6機がアメリカ南方軍向けのCT-43輸送機に改装されている。
なお、1996年4月3日にアメリカ合衆国商務長官のロン・ブラウンが搭乗したCT-43がクロアチアで墜落している。（アメリカ空軍IFO-21便墜落事故）
2010年9月17日の飛行をもって退役している。
T-43 (航空機) 各型
T-43A
練習機型、19機製造。
CT-43A
輸送機型、6機改装。
NT-43A
レーダー試験機型(SN 73-1155) 、1機改装。
Dance (小松未歩の曲)
『dance』（ダンス）は、小松未歩の16枚目のシングル。2002年5月29日にGIZA studioより発売された。規格品番はGZCA-2038。
シネリーブル
シネリーブル (CINE LIBRE) は、日活が所有し、テアトルシネマグループが運営するシネマコンプレックスとミニシアター系の映画館である。
元はナムコ傘下で経営再建中であった日活が新たに展開した映画館で、同社直営施設であったが、2009年に東京テアトルと業務提携。東京テアトルへ施設を賃借し、運営を全面委託する形となった（施設は日活が継続保有）。劇場自体の公式サイトは東京テアトルに統合されている。
シネリーブル 劇場
シネ・リーブル池袋
東京都豊島区西池袋・メトロポリタンプラザ8階<2スクリーン、310席>
こけら落としが『マーシャル・ロー』と『現実の続き夢の終わり』（水野美紀主演）だったように、ロードショー作品とミニシアター向け作品を交互に上映していたが、東京テアトルへの移管後、2011年5月29日にテアトルダイヤが閉館して以降は、池袋唯一のテアトル直営館となった。2026年1月31日をもって契約満了に伴い閉館予定。
シネ・リーブル神戸
兵庫県神戸市中央区・神戸朝日ビル地下1階<3スクリーン、322席>
1994年に再建した神戸朝日ビル地下の多目的ホール跡地に新設された映画館。2017年から2020年まで、神戸朝日ホール（505席）を先述のアネックスとして営業していた。
シネリーブル かつて存在した施設
シネ・リーブル博多駅
シネリーブル千葉ニュータウン
→「USシネマ千葉ニュータウン」を参照
シネ・リーブル梅田
大阪市北区梅田・梅田スカイビルタワーイースト3階、4階<2000年12月23日開業・2024年4月19日にテアトル梅田（二代目）に改称>
形式手法
形式手法（けいしきしゅほう、英: formal methods）は、ソフトウェア工学における数学を基盤としたソフトウェアおよびハードウェアシステムの仕様記述、開発、検証の技術である。ソフトウェアおよびハードウェア設計への形式手法の適用は、他の工学分野と同様、適切な数学的解析を行うことで設計の信頼性と頑健性が向上するという予想によって動機付けられている。
形式手法は理論計算機科学の様々な成果を基盤として応用したものであり、数理論理学、形式言語、オートマタ理論、プログラム意味論、型システム、代数的データ型などを活用して、ソフトウェアおよびハードウェアの仕様記述とその検証を行う。
形式手法 分類
形式手法はいくつかの水準で使用可能である:
水準0
形式仕様記述を行い、プログラム自体を非形式主義的に行う。「軽い形式手法」と呼ぶ。費用対効果が早く得ることができる選択である。
水準1
形式手法を使って開発と検証を行い、より形式主義的にプログラムを生成する。例えば、仕様記述からのプログラム作成において詳細化と属性の証明を行う。高信頼システムに適した選択である。
水準2
自動定理証明によって完全に機械的な証明を行う。道具を整備するのに費用がかかるか、厳密である必要がありシステムを記述するのに手間がかかる。間違いが混入することで生じる損失に見合わなければ実施しない（例えば、マイクロプロセッサ設計の重要な部分など）。
詳しくは後述する。
プログラム意味論の分類に対応して、形式手法は以下のように大別する:
表示的意味論
表示的意味論では、システムの意味は領域理論で表現する。この場合、領域理論の性質によってシステムの意味を与える。しかし、あらゆるシステムが関数に直感的に表現できるわけではないとも言われている。
操作的意味論
操作的意味論では、より単純な計算モデルの一連の動作によってシステムの意味を表現する。この場合、モデルの単純性が表現を明確にする。しかし、これは意味論的な判断の先延ばしとも言われている（つまり、使用された単純な計算モデルの意味論の定義はどうなるのか？）。
形式手法 分類
公理的意味論
公理的意味論では、システムがある処理を行う前と後の（真なる）状態によってシステムの意味を表現する。この場合、古典的論理学と関係が深い。しかし、単に実行前と実行後の状態を示しただけで実際にシステムが何をするかを表現したことになるのかとの疑念も言われている。
実際の開発に携わる人々の中には、形式手法コミュニティが仕様記述と設計の完全な形式化を強調しすぎていると感じている。彼らは対象となるシステム自体の複雑性だけでなく使用する言語の表現能力が完全かどうかが形式化を困難にしていると主張する。代替案として様々な軽量（ライトウェイト）な形式手法が提案されてきた。それらは部分的な仕様記述と応用に注力したものである。このようなライトウェイトな形式手法の例として、型システム、uppaal Alloy オブジェクトモデリング記法、Z言語によるユースケース駆動型開発、CSK VDM ツールセットがある。
形式手法 利用
形式手法は開発工程の様々な部分に適用可能である。
形式手法は開発対象システムの任意のレベルの仕様を記述するのに利用可能である。そのような形式的記述はその後の開発活動のガイドとなるだけでなく、開発されたシステムの機能が要求通りであるか正確性と完全性の観点での検証にも利用可能である。
従来から、形式仕様記述システムの必要性は注目されている。ALGOL 58の報告書の中でジョン・バッカスはプログラミング言語の文法の形式的記法（後にバッカス・ナウア記法、BNF記法と呼ばれるようになった）を提案した。バッカスはプログラミング言語の意味論の記法の必要性にも言及した。報告書にはBNF記法と同様の意味論に関する記法を将来提案すると書かれているが、それが現われることはなかった。
形式仕様記述ができると、それに従って設計を行い、実際の開発を行う（すなわち、ソフトウェアやハードウェアに実体化させる）。例えば:
形式仕様記述ができると、それを証明の根拠として使用することもある。
場合によっては、システムの正当性の証明を行う動機は、システムの品質保証のためではなく、システムの動作をさらに理解したいためということがある。結果として正当性の証明を数学的証明の形式で行うこともある。自然言語を使い、あまり形式的でない形で証明が記述される。よい証明とは、他の人間が読んで理解できるものと言える。
形式手法 利用
このような手法への批判として、自然言語の曖昧さがエラーを見逃す原因となるとの指摘がある。微妙なエラーはそのような証明で見過ごされた低レベルな詳細部分に潜んでいることが多い。さらに、よい証明を作成するには高度な数学的専門知識が必要である。
一方、システムの正当性の証明を自動的に生成することに関心が集まりつつある。自動化技術は2つに分類される:
一部の自動定理証明は人間の補助なしには機能せず、追跡すべき特性を人間が指定してやる必要がある。モデル検査ではうまく抽象化されたモデルを与えないと、膨大な数の状態によって身動きが取れなくなる。
これらシステムの提唱者は、詳細に渡ってアルゴリズム的に照合が行われるため、その結果は人間による証明よりも数学的にずっと正確であると主張する。これらシステムを使うための訓練は手で証明を書くための訓練よりも簡単であり、多くの人材を生み出せるとしている。
批判的な人々は、それらシステムの「神託」的性格を問題にする。それらは真実であると宣言しているが、その詳細は説明されない。また「検査機構の検査」と呼ばれる問題もある。検証に関わるプログラム自体が検証されていない場合、その結果を疑う余地があるだろう。
形式手法 批評
部分的な批評だけでなく、形式手法全体への批判もある。現状、人間の手による証明も自動的な証明も多大な時間（とお金）を要する。従って、形式手法はそのコストが十分利益に見合うか、エラーの混入が多大な損害に結びつく場合にのみ使われることになる。例えば、航空宇宙工学ではエラーの混入は死を意味するため、他の領域よりも形式手法が一般化している。
形式手法の推進者の中には、それがソフトウェア危機の特効薬となると主張する者もあった。もちろん多くの人々はソフトウェア危機に特効薬は存在しないと考えているし、形式手法の利点を強調しすぎる姿勢を問題にする人々もいる。
形式手法 主な形式手法とその記述法
以下に主な形式手法と形式手法の記述法を列挙する。
仕様記述言語
モデルチェッカ
古代ローマの料理
古代ローマの料理（こだいローマのりょうり）は、それを産んだ古代の文明が長期にわたり存続したために多くの転換を経た。これらの習慣には、ギリシアの文化、王政から共和政をはさみ帝政へという政体の変更、および属州（provincia）から多くの新しい調理習慣や料理技術をもたらすことになった帝国の大幅な拡張が影響している。初めのうち、社会階級間の料理の違いはあまり大きくなかったが、帝国が成長すると共に、差異が増えていった。
古代ローマの料理 食事
伝統的には、朝に朝食（イェンタークルムientaculum またはiantaculum）が、正午に一日の主となる食事ケーナcena が、晩にウェスペルナvesperna が、それぞれ供された。ギリシャの習慣の影響、および外国の食材の輸入と消費の増加のため、ケーナは量と種類を増やし午後に食べられるようになった。ウェスペルナは廃れ、正午の辺りの二度目の朝食であるプランディウムprandium が導入された。
社会階級が低い層では、日々の肉体労働のリズムにより合っていたため古い習慣が残った。
最初はエンメル麦（小麦と近い関係にある穀物）で作られた平らで丸いパンが少量の塩とともに食べられていた。上流階級では、卵や、チーズ、蜂蜜も食べられ、牛乳や果物も添えられた。帝政期に入り、紀元頃になると、小麦で作られたパンが導入され、時とともにますます多くの焼き物がこのエンメル麦パンから置き換わっていった。パンはワインに浸けられて、オリーブやチーズ、ブドウとともに食べられることもあった。
この二回目の朝食はより内容が豊かで、ほとんどが前日のケーナの残り物によって構成されていた。
古代ローマの料理 食事
肉体労働に従事していない上流階級の人間の間では、全ての仕事のスケジュールを午前中に入れることが習慣になっていた。プランディウムの後は、全ての仕事から解き放たれ、浴場へ行った。3時頃にケーナが始まる。この食事は特に客が呼ばれている時は深夜まで続くこともあり、comissatio（酒の時間）がよくその後に持たれた。
王政期や共和政初期にはとりわけ、労働者階級にとってはまた共和政後期にも、cena はポリッジ (porridge) （オートミールなどを牛乳や水で煮た粥）の一種であるpuls が主としてに賄われていた。最も簡単なものはエンメル麦、水、塩、油脂によって作られていた。最も洗練されたものはオリーブ・オイルで作られ、可能ならとりどりの野菜の付け合わせがあった。富裕層はpuls を卵、チーズ、蜂蜜とともに食べ、たまにではあるが、肉や魚と食べることもあった。
共和政期が過ぎるとケーナは2つのコースに分かれて発展した。メインコースと果物や魚介類（貝類、イカ、タコ、エビなど）のデザートである。共和政の終わりまでには3つに分かれて供されるのが普通になった。最初のコース（gustatio）、メインコース（cena）、そしてデザート（secudae mensae）である。
古代ローマの料理 食卓の文化
紀元前300年頃より、ギリシャの習慣がローマの上流階級に影響を与えるようになった。増大する富はかつてないほど大規模で洗練された食事へとつながった。栄養価は重視されていなかった。それどころか、美食家たちはカロリーも栄養も少ない食べ物を好んだ。消化の良い食べ物や利尿作用を持つものがもてはやされた。
食事の時には食事用のドレス（ウェスティス・ケナトリア vestis cenatoria）などの寛いだ感じのゆったりとした服が好まれた。ディナーは後にトリクリニウム triclinium と呼ばれることになる食堂で取られた。ここで、人々は食事用の長椅子（レクトゥス・トリクリナリス lectus triclinaris）に横になった。円卓 mensa の周りには奴隷が食事を運び易いように、レクトゥスが3つ馬蹄形に並べられ、レクトゥス1つには最大で3人が横になった。王政期および共和政期には、レクトゥスに座ることが許されたのは男性のみであった。椅子の傍らには飲物のためのテーブルが置かれた。頭を中央のテーブルの方にして左肘をクッションに乗せ、足がレクトゥスから出た格好で最大9人の人が一つのテーブルで食事をすることができた。それ以上の人数の客人は椅子に座った。奴隷は通常立っていなければならなかった。
古代ローマの料理 食卓の文化
ケーナ cena の前には足と手を洗った。食事を取るときは、指先と2種類のスプーン（大きめのリグラ ligula と小さく柄がとても細いコクレアル cochlear）を使った。コクレアルは貝やカタツムリなどの軟体動物を突いて食べるときに現代のフォークのように使われた。大きな塊は小分けにするためにテーブルでカットされた。料理の各皿の後には指を洗い、ナプキン（マッパエ mappae）で口を拭った。客人は自分のマッパエを持参して食事の残りやお土産（アポホレタ apophoreta）を持って帰ることもあった。
ローマ人の食事の文化で珍しいのは骨や貝殻などの食べられない部分を床にそのまま投げ捨て、後は奴隷に任せておくことだった。
夏には外で食事をする事がよくあり、ポンペイの多くの家はそのためにだけ庭の一番美しい場所に石でできた長椅子を備えていた。しかし、その椅子に横になるのは正式の催しの場合のみで、普段は腰を掛けたり立ったままで食事をとったりした。
古代ローマの料理 娯楽
招待客のための正餐のあいだ、音楽家、軽業師、あるいは詩人がパフォーマンスをおこない、そして正餐での会話が重要な役を演ずる。舞踏はテーブルマナーにそぐわず無作法とされるため行われなかったが、comissatio ではこの慣習は無視されていた。生理現象で席を立つことは不適切とされ、我慢することが良いマナーとされた。メインコースの後、休止中に、家の守護霊であるラレスに供物を捧げた。この供物は通常、肉、ケーキ、およびワインであり、ケーキはサフランで色づけされる。
古代ローマの料理 典型的料理
食事のこの部分は、gustatio またはpromulsis と呼ばれ、軽く食欲をそそる料理からなる。通常の飲み物は、ワインと蜂蜜を混ぜたmulsum である。卵（ほとんどの場合は鶏卵であるが、鴨やガチョウ、特別な場合クジャクの卵）が重要な役割を果たす。他の主な前菜はサラダと野菜である。大規模な祝宴では、複数の前菜が次々と出される。
通常のサラダと野菜は次の通りである:
果物やオリーブ、チコリ、カルドン、ゼニアオイ、ブロッコリー、アスパラガス、アーティチョーク、リーキ、ニンジンや、カブ、パースニップ、ビート、エンドウ、グリーンビーンズ、ラディッシュ、カリフラワー、レタス、および畑野菜、タマネギ、スカッシュ、キュウリ、フェンネル、メロン、ケッパー、およびクレスの酢漬けは、acetariaと呼ばれ、食欲を増進すると考えられていた。ホウレンソウは9世紀まで知られなかった。
他の前菜は次の通りである:
しばしば、中間料理が実際のcaput cenae の前にふるまわれた。この料理は実際の中身より装飾が重要であった。
メインディッシュは普通、肉料理であった。一般的な料理は次の通りである：
古代ローマの料理 典型的料理
ソーセージ（farcimen）は、驚くほど様々なレシピや形式に従い、牛肉と豚肉で作られた。特に普及したブラッドソーセージのbotulus は、路上で販売されていた。最も一般的なタイプのソーセージのlucanica は、短く太い素朴な豚肉ソーセージで、そのレシピはイタリアや世界の他の地域で今日も使われている。ポルトガルとブラジルのlinguiça は、ローマのソーセージの一種を源流としている。
魚は後半にふるまわれ、肉のみよりも高価であり続けた。淡水と塩水の池での養殖が試みられたが数種類の魚を捕らえて肥育させることはできなかった。最も一般的な魚は、ヒメジ科（mullus）の魚である。特定の時間のこの魚は最上のぜいたくの典型と考えられた。水から出て死ぬと、うろこが明るい赤になることが理由である。このため、これらの魚は、時に食卓でゆっくり死ぬことがあった。これがソースの中（in garum）で行われるレシピさえあった。しかし帝政期の初めにこの流行は終わったとされる。トリマルキオの響宴（サテュリコン参照）でのヒメジ科（mullus）の魚が、時代遅れの魚の死ぬ姿で客を退屈させる成金の特徴であることが示されている（もっとも、作中のこれらの時代遅れの料理についてはメイン料理の前座の演出である）。
古代ローマの料理 典型的料理
今日でいうサイドディッシュや付け合わせはなかったが、小麦の伝来に続いてパンがすべての身分で食べられた。その後、オーブンを使用できない最貧民のみがpuls を食べ続けなければならなかった。パンは、様々な異なる種類があり、急速に例外的に一般的となり、西暦270年から公的なパン屋がローマで規定された。
果物の中で、ブドウが最も好まれた。ローマではワイン用と食用のブドウを区別した。レーズンもまた生産された。ブドウに次いで、イチジクとナツメヤシが重要な役割を果たし、多品種のザクロが食べられた。マルメロ、様々な種類のリンゴ、アンズ、モモ、サクランボ、ナシ、干しブドウ、ブラックベリー、メロン、およびアザロールが栽培された。ローマでは、クルミ、ヘーゼルナッツ、アーモンド、クリ、および松の実が食べられた。ローマのパン屋は、パン、ロール、フルーツタルト、菓子パンおよびケーキの多種類が有名であった。小麦で作られ、通常蜂蜜に浸されたプラケンタ、スピーラ、グロービ、エンキュトスなどの菓子も大きな役割を演じた。ある種のナッツもまた使用され、今日の菓子のように祭で投げられた。なお、レシピのほとんどは残っていない。
冷たいクラムとカキ（大きくなるまで養殖したもの）は、始めはデザート料理であったが、後に前菜となった。
古代ローマの料理 調味料
ガルムとして知られるソースは、何にでも使える調味料だった。これは、塩漬けの魚、特にサバの内臓を非常に遅い熱過程にかけることで作られる。2 - 3か月にわたって、通常日光にさらすことによる熱で促進される酵素処理で、魚のタンパク質がほぼ完全に分解される。残った固体物は濾され、液体はガルム、残る固体物は一種の塩辛いスプレッドであるアレックとして取引される。生産の際のにおいが理由で、都市でのガルムの生産は禁止された。ガルムは小さい密封されたアンフォラで供給され、帝国中で使用されて調味料の塩を完全に置き換えた。今日、同様のソースはタイ王国とベトナムで生産され、「魚醤」として海外に販売されている。
ガルムと同じと見なされることがある調味料に、リクアメンがある。リクアメンは液状か半液状の塩味の調味料で、コルメラの『農事論』ではラードを用いた塩気の多い調味料としてリクアメンが登場し、パラディウスは塩漬の梨をベースにしたリクアメンを語っている。このため、ガルムとは別の塩味の調味料とする説がある。
古代ローマの料理 調味料
香辛料、特にコショウおよび他の数百種が、大規模に輸入され、大量に使用された。非常に一般的な香辛料の1つがシルフィウム (silphium) で、ローマ人がラーセルピキウムと呼んだ植物である。ラーセルは栽培できなかったため、野生の植物を乱獲した結果絶滅し、ラーセルの代用品としてアサフェティダが使われるようになった。野菜と肉の固有の風味は、ガルムと他の調味料の多量使用で完全に消された。美食家が料理を見ても、においをかいでも、味わっても、その材料が分からない場合、調理法における最高の実績を示すと考えられていた。
甘味料としては、主に蜂蜜が用いられた。蜂蜜は高価であるため、ブドウの汁を煮詰めた濃縮ブドウ汁や、マルメロやイチジクなどの果汁を煮詰めたものもあった。
古代ローマの料理 アルコール飲料
水は紀元前300年以降、ローマ中で良質なものを飲むことができ、暖められ、または雪で冷やして振る舞われた。水以外では、多種類のワインがあった。ワインのブランドでは、カンパニアのファレルヌス産、ラティウムのセティア産などが有名だった。ワインは通常飲む前に水割りにされ、製造者により調整され「改良」されることもあった。指示される調整は白ワインから赤、およびその逆、ワインが酢に変る危険を救うものであった。ワインはまた、様々に味付けされた。例えば、強くて甘いレーズンワインのpassum （カルタゴ発祥の最も古いレシピとして知られている）、ワインと蜂蜜を新鮮に混ぜたmulsum、ワイン、蜂蜜および香辛料をあらかじめ混ぜて熟成したconditum がある。ある特定のレシピ、onditum paradoxum は、ワイン、蜂蜜、コショウ、ゲッケイジュ、ナツメヤシ、マスティック・ガム、およびサフランを混ぜて調理し、後で飲むために貯蔵する。
古代ローマの料理 アルコール飲料
宴会など大量にワインが必要な場合は「最初だけ良いものを出して酔いが回ってからは質の悪いものが出てくる。」というのがよくある方法だったらしい。
comissatio では、「飲酒のマスター」（arbiter bibendi）がサイコロで選ばれた。ワインと水の割合と全員が飲める量を決定する。また、詩、暗唱やスピーチを他の出席者に要請することができた。
客は、食事客の健康と宴会の雰囲気に寄与するために、様々な芳香の花輪を着けていた。この花輪は多種の花と香水で作られた。身につける花輪は、上流階級に位置することを示していた。
古代ローマの料理 ウォミトリウム
広く知られる誤解は、ローマではウォミトリウム（vomitorium）と呼ばれる部屋を、より多くの食事をとるために食事の間に嘔吐するために作ったとされることである。最上流階級の非常に一部のみが、故意に嘔吐する習慣があった。ウォミトリウムは、実施に全く関係ない建築物の特徴で、円形劇場の座席の層の後ろまたは下に位置する通路である。この通路から、ショーの最後に群衆を「吐き出す」ことができる。
ウォミトリウムは、今日のいくつかの劇場に見られる。例えば、オレゴン・シェークスピア・フェスティバル (Oregon Shakespeare Festival) では、野外エリザベス朝劇場、アンガス・ボマー劇場の2つがヴォミトリウムを持っている。ここから、役者は通路から円形劇場のステージに上ることができる。
ツメバケイ
ツメバケイ（爪羽鶏、学名：Opisthocomus hoazin）は、ツメバケイ目ツメバケイ科に分類される鳥類の1種で、ツメバケイ目のうち現存するのはO. hoazinの1属1種のみ。ガイアナの国鳥に指定されているほか、「翼に爪がある鳥」として始祖鳥と比較されることでも有名。本種の体格はキジ程で、飛翔があまり得意ではない。もっぱら水辺の周囲の樹上にて植物を主食としている前胃発酵動物（英語: Foregut fermentation）である。英名はホーアチン、あるいはスティンクバード(stinkbird)とも呼ばれる。前者は本種がヨーロッパに紹介された時に、メキシコのアステカ族の伝承で「ホーアチン」と鳴く鳥と誤って名づけられたもの (種小名の由来も同様) 。後者は本種の放つ悪臭からとられた。
ツメバケイ 分布
南アメリカ大陸の北部から中部（アマゾン川とオリノコ川流域の熱帯雨林）に分布する。
ツメバケイ 形態
全長60-65cm。尾が長く、後頭部に細長く目立つ冠羽があり、比較的大きな翼を持つ。背中の羽毛は光沢のある暗緑褐色で、頸や肩羽に褐色がかった白色の縦斑がある。喉から胸は黄褐色で、腹部と初列風切は赤褐色である。顔面に青い皮膚の裸出し、虹彩は赤色である。雌雄同色であるが、繁殖期になると雄は雌に比べて、顔に青みを増す。
嘴が太く短い。脚は体長の割に短いが、脚の指は比較的長い。
本種の体の構造的な特徴として、樹木の葉を常食としている特異な食性の為、素嚢（そのう、スナギモとも呼ばれる砂嚢とは全く別で、その一つ前の消化器官）が著しく発達していることがあげられる。他種の鳥類においては、素嚢の役割は食物を一時的に貯めておくことだが、本種では素嚢において消化活動も行う。本種では、素嚢は内臓の約3分の一を占めている（反面、砂嚢は退化している）。この為、翼を動かす胸筋の付着点である竜骨突起が圧迫され変形または退化しており、大きな翼を持つのに飛翔能力はかなり低い。勢いをつけて、枝から枝へ滑空するのが精一杯である。
生まれたばかりの雛体重は僅か20g、黒い羽毛が疎らに生え、嘴や目の形は既にツメバケイの特徴を備えている。雛の翼には、片方の翼に二本ずつ爪がある。ツメバケイという名は、この雛の爪にちなんだものであるが、孵化後2-3週間で爪は消失し成鳥には爪は存在しない。
ツメバケイ 生態
熱帯雨林の川岸にある樹上に生息している。飛翔力は弱く長距離や高所を飛ぶことはできない。移動時は、長い足の指で枝や細い蔓をつかみ、翼を広げてバランスをとりながら、歩いて木々の間を移動する。樹上性で地上には滅多に降りない。繁殖期は番い若しくは数羽の集団で生活するが、非繁殖期には40羽程度の群れを形成する。
ウシの糞に似た極めて強い体臭を持ち、興奮するとさらに強くなる。これは外敵に対する防御の役割があるらしい。
ツメバケイは植物食、とりわけ木の葉を好む葉食動物（英語: Folivore）で、サトイモ科の樹木やヒルギダマシ類などの肉厚の葉を常食としている。また、雛が孵った直後にはその卵の殻を食べる。本種は鳥類の中で唯一草食獣のような前胃発酵を行う。
繁殖期は、食物が豊富になる雨季である。10-15羽の集団で繁殖することが多い。一夫一妻で、毎年同じ相手と番いを組むとされる。川面や潟に張り出した樹の上に、小枝を粗雑に組んでサギ類の巣に似た皿状の巣を雌雄共同で作る。巣の直径は30-45cmほどで、一度作った巣は数年間修理しながら使い続ける。1腹2-3個（稀に4-5個）の卵を産み、抱卵期間は約27日である。雌雄で抱卵、育雛する。雛は、親の口の中に頭を突っ込んで半消化した餌をもらって成長する。
ツメバケイ 生態
雛は、親が巣から出ていくと、翼にある爪と嘴、脚の指を使って枝から枝へ移動する。普通の鳥の雛なら親が餌を持ってくるのを巣の中で待つが、ツメバケイの雛は巣の外に出て活発に動き回る。樹上に巣を構える鳥の中で、生まれて間もない雛がこれほどまでに活発に出歩くという習性はツメバケイ独特のもので、他の鳥には見られない。
天敵のナキガオオマキザルなどが、雛や卵を狙って巣を襲いにくると、親は初めのうちは羽を広げて巣を守ろうとするものの、さらに敵が近づいてくると雛を残し巣から逃げ出す。置き去りにされた雛は巣から出て、木の下の川に飛び込んで、水草の間に身を隠して危険を避ける。また、成鳥では泳ぐことはなくなるが、雛の時期には泳ぎも潜水も巧みである。着水後の雛は、前肢の鉤爪を用いて木を登り、元の巣へと戻る。本種のよう孵化直後の幼体でも自発的な移動・採餌が可能なことを早熟性・早成性という。
ツメバケイ 人間との関係
肉は臭くて滅多に食用にはされないが、原住民によって卵が食用として採取されており、また開発による生息環境の破壊によって、生息数は減少している。
ツメバケイ 分類
ツメバケイの分類はキジ目に近いとするものや、カイツブリに近いとするもの、始祖鳥に近いとするものまで諸説あった。しかし2015年に発表されたDNA解析によると、大半の陸棲鳥類よりも基盤的とされた。この研究によると現生鳥類の多くは、K-Pg境界直後の約6400万年前に急速に多様化し、ツメバケイの祖先も同時期に出現したと考えられている。
小幡憲重
小幡 憲重（おばた のりしげ）は、戦国時代から安土桃山時代にかけての武将。上野国甘楽郡小幡郷の国衆。国峯城城主。
小幡憲重 略歴
小幡氏は国峯城を中心とする上野国甘楽郡一帯に勢力を持つ国衆で、関東管領の山内上杉家に仕えていた。憲重の別名として「重定」が伝えられているが、これは山内上杉家に仕えていた当時の名（“憲”は上杉憲政の一字）から改名することで、同家を離反後に決別を示す意図があったとも考えられる。
小幡氏の主君である山内上杉氏は相模国の後北条氏との抗争で衰退すると長野氏との関係が悪化し、さらに一族の内紛が勃発する。このような状況下で憲重は天文17年（1548年）10月に山内上杉氏から離反し、同年12月には上杉憲政の拠点・平井城を攻撃している。この頃から武田氏・後北条氏に通じていたようであり、同18年もしくは19年には同族である小幡三河守の武田氏への従属を仲介している。同19年（1550年）には後北条氏に通じ、それに伴い北条軍が平井城を攻撃した。同21年（1552年）3月の北条軍の侵攻により上杉憲政が本拠平井城・上野から没落し越後長尾氏を頼ると、憲重は後北条氏・武田氏に両属する立場となった。翌22年（1553年）9月には「小幡父子」が信濃塩田城に在陣する武田晴信（信玄）に出仕しており、これが憲重と嫡子・信実のことを指すと考えられている（『高白斎記』）。
小幡憲重 略歴
永禄3年（1560年）8月末、上杉憲政を擁した長尾景虎（上杉謙信）が本格的な関東侵攻(小田原城の戦い)を行った。この際に小幡一族は鷹巣城の小幡三河守信尚、庶流の小幡道佐が上杉方に参陣していることが『関東幕注文』から確認でき、憲重の下でまとまって行動することができなかったようである。憲重は相婿で従兄弟でもある神成城（現・富岡市）主・小幡図書助の内通によって国峰城を追われ、武田氏を頼り南牧城に在城したという。
翌4年（1561年）11月に武田氏は西上野侵攻を行い、憲重も図書助の子・景高を追放し国峰城を奪還し、旧領復帰に成功した。この年の12月には「尾張入道」と称していることからこれ以前には出家したようである。その後武田氏による西上野支配が進められていく中で後北条氏との両属関係は失われ、武田氏への従属を強めていった。川中島の戦いや三増峠の戦いなど参戦した。天正3年（1575年）5月、長篠の戦いに参戦し戦死したとされることが多いが、はっきりしたことは分かっていない。
その後、同10年（1567年）には嫡子・信実が史料上の初見としてみられ、この時点で家督は譲られているという。史料上の終見は天正8年（1580年）7月の武田勝頼からの書状であり、『小幡氏歴代法名記録』によると、織田信長による武田征伐で甲斐武田氏が滅亡した後の同11年（1583年）8月15日に死去したと推定される。妻の長野氏は、同17年（1589年）7月28日に死去。
服部霊園
服部霊園（はっとりれいえん）は、大阪府豊中市にある大阪市立の霊園である。当霊園は、三島由紀夫の『愛の渇き』にも登場している。住所は、大阪府豊中市広田町1-1。なお霊園の全域のみが、広田町という町丁となっている。郵便番号は561-0863。
服部霊園 概要
服部緑地に隣接し、19haの敷地を有する。
服部霊園 交通アクセス
上記2駅から無料送迎車も運行される。阪急バス路線は北大阪急行緑地公園駅又は阪急宝塚線豊中駅を経由する。
V6の素
『V6の素』（ブイロクノモト）は、1999年10月から2000年3月23日までフジテレビ系列局で放送されたフジテレビ製作のバラエティ番組である。放送時間は毎週木曜 23:00 - 23:20 (JST) 、フジテレビ系全国ネットの深夜番組放送枠『バラパラ』木曜の番組として放送。
V6の素 概要
V6のメンバーによるゲーム企画を主軸にしていた深夜番組。
V6の素 放送内容
V6のメンバーが、電流が走るピアニカや、はめると顔に墨がべったりと付くお面などを用いたロシアンルーレットに挑戦。6個のうち1個だけある「はずれ」を引いた者が、番組の最後に罰ゲームの物真似をする。
この企画は後番組の『マッハブイロク』で一旦は消滅するが、後にメイン企画として復活した。
メインコーナー。カミセン (Coming Century) とトニセン (20th Century) が、毎回テーマとなるヒーロー（はらたいら、チャップリンなど）に因んだゲームで対戦する。司会を要する企画では、山中秀樹（当時フジテレビアナウンサー）が司会を務めた。各ゲームは2週にわたって放送され、ドラマ形式などの場合は第1週にカミセンが挑戦、第2週にトニセンが挑戦（逆の場合もあり）と分けて放送される。
5敗したカミセンが後の『マッハブイロク』第1回スペシャルで、罰ゲームとして廃校を使った肝試しをした。
331
331（三百三十一、さんびゃくさんじゅういち）は自然数、また整数において、330の次で332の前の数である。
331 性質
1 と 3 を使った7番目の素数である。1つ前は313、次は3313。(オンライン整数列大辞典の数列 A020451)
a = 3 、b = 1 のときの a…ab の形で表せる30番目の素数である。1つ前は229、次は337。(オンライン整数列大辞典の数列 A062353)
3…31 の形の2番目の素数である。1つ前は31、次は3331。(オンライン整数列大辞典の数列 A123568)
331, 3331, 33331, 333331, 3333331, 33333331 はいずれも素数である。
1と2つの3を使って順序を並べると、313は素数だが、133は合成数。
331 = 113 − 103
n = 11 のときの n3 − (n − 1)3 の値とみたとき1つ前は271、次は397。(オンライン整数列大辞典の数列 A003215)
連続する立方数の差で表せる7番目の素数である。1つ前は271、次は397。
331 = 112 + 11 × 10 + 102
1辺11の立方体を1辺1の立方体1331個を使って作ったとき、同時に見ることができる1辺1の立方体は最大331個である。
331 性質
331 = 52 + 92 + 152 = 92 + 92 + 132
3つの平方数の和2通りで表せる81番目の数である。1つ前は330、次は332。(オンライン整数列大辞典の数列 A025322)
331 = 52 + 92 + 152
異なる3つの平方数の和1通りで表せる93番目の数である。1つ前は324、次は332。(オンライン整数列大辞典の数列 A025339)
パレ・ロワイヤル
パレ・ロワイヤル（仏: Palais-Royal）は、パリの1区にある歴史的建造物。
現在は文化省や国務院、憲法評議会などが入る建物となっている。
パレ・ロワイヤル 歴史
ルーヴル宮殿の北隣、サントノーレ通り204番地に位置する。もともとはルイ13世の宰相リシュリューの城館パレ・カルディナル（Palais-Cardinal）だったが、その死後に主君へ寄贈された。ルイ13世の死後、1643年に当時5歳のルイ14世がルーヴル宮殿から移り住んだことで、パレ・ロワイヤル（王宮）と呼ばれるようになった。それから、オルレアン家の手に渡り、ルイ14世の弟オルレアン公フィリップ1世が住むようになる。当時は、建物の中には貴族や金持ちしか入れなかったが、一般公開されていた庭園で庶民は散歩を楽しむことができた。その後、リシュリュー時代の建物は取り壊された。
パレ・ロワイヤル 歴史
フランス革命前に王位を狙っていたオルレアン公フィリップ・エガリテ（フィリップ平等公）は、金貸し業者からの借金80万リーヴル（1780年当時）を返済するために、借金の抵当になっていたパレ・ロワイヤルの屋敷の庭園をぐるりとコの字を描くように建物を建て、商人たちに貸し出した。一種の不動産経営のようなものでもあるが、開放された一階にはレストランや商店が並び、中庭にはカフェができた。カフェには貴族を棒で打って店から追い出した勝利を記念して、自由の帽子を先端につけた五月柱が建てられていたという。ここは繁華街となったばかりではなく、警察の立ち入りを禁じたので、革命家のたまり場となっていた。民衆の政治論議の中心となったり、娼婦や怪しげな商売をする人たちで溢れてもいた。1789年7月12日の午後、「諸君、武器を取れ!!」と大きな声でカミーユ・デムーランが演説した場所もここである。
フランス革命後は、劇場、賭博場、証券取引所、商事裁判所、高級アパートなど、用途が転々と変わったが、1階回廊にカフェ、商店、ダンスホールなどが店を構え、市民の集会、娯楽の中心地となった。
現在は文化省や国務院などが入る建物となっている。西側のリシュリュー館側がコメディ・フランセーズ。ブティック、画廊、骨董品店などが軒を並べ、気軽にウインドーショッピングが出来る。
中庭の広場には1986年に完成したダニエル・ビュラン作の白黒のストライプ模様の260本の円柱や、ポール・ビュリイ作のシルバーの球体が集まった噴水がある。中世の建物に現代芸術の円柱や噴水とは不調和にも思えるが、パレ・ロワイヤルの数奇な歴史を象徴しているかのようで面白く、フランス人にも愛着をもたれているようである。柱廊は米映画『シャレード』で最後の銃撃場面に使われた。
パレ・ロワイヤル アクセス
メトロ1号線、7号線パレ・ロワイヤル＝ミュゼ・デュ・ルーヴル駅下車、徒歩2分。
飛龍乱
飛龍 乱（ひりゅう らん、2月8日 - ）は、日本の漫画家。高知県出身。水瓶座。成人向け漫画を描く。別名義「時緒 翔」（ときお かける）を持つ。
飛龍乱 経歴
大学在学時に森山塔のアシスタントとなる。1986年、『スーパーエロス』（司書房）に森山塔の代理原稿として掲載の『I Do Wanna Know』でデビュー。『COMICペンギンクラブ』には創刊号から関わっており2006年10月号までは同誌を中心に活躍。2004年8月号までは表紙も描いていたが成人向け雑誌の封印シール導入をきっかけに交代となった。2006年9月『コミックハウス』の同誌編集業務の終了に伴い活躍の場を新創刊誌『COMIC SIGMA』に移した。2009年現在は主に『COMIC快楽天BEAST』、『COMIC SIGMA』などで活躍。年上の女性モノや、近親相姦を含む熟女モノが多い。代表作は『SOAP』『マテリアルガール』『セレブの棲む家』『MAMAMA』。
また同人サークル「白昼書房」で活動も行っている。
2000年から2006年の廃刊まで、『ゲーム批評』の読者コーナーのイラストと漫画も手掛けた。
1998年にはアシスタントで元漫画家の宇佐木恵と結婚。アニオタで自身のホームページではアニメの感想を主とした日記を書いている。
ハン・ベルガー
ハン・ベルガー（Han Berger , 1950年6月17日 - ）は、オランダ出身の元サッカー選手・サッカー指導者。