hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
ジョン・チヴィントン 南北戦争
彼の南部同盟の供給列車の発見は純粋にアクシデントだったが、当然チヴィントンはジョンソンズ牧場の彼の決定的な攻撃でかなりの称賛を得た。また、彼が、砲火がピジョンズ牧場から来るのを聞いてすぐにチヴィントンがスロウの軍隊を強化するために急いで帰ったなら、彼の400人の余分な兵士によって北軍が戦いに勝ったかもしれないと示唆された。チヴィントンは、誰も実際に殺されたり負傷したり事件で、南北戦争のマイナーな軍事の英雄になったという点で珍しかった。彼は1862年4月に第１コロラド志願兵騎馬隊連隊の大佐に任命された。しかしながら、チヴィントンのより暗い側面は、捕らわれているた南部同盟の牧師の苦情により明らかにされている（牧師の証言が全て信用できるのならば、ではあるが）。その牧師は、ジョンソンズ牧場で捕らえた囚人を殺すとチヴィントンに脅かされたと残している。1862年11月に、彼は志願兵部隊の准将に任命されたが、役職は1863年2月に解かれた。
ジョン・チヴィントン サンドクリークの虐殺
1864年11月、アラパホ族を含むシャイアン族インディアンの一団を、アーカンソー川沿いの彼らの保留地から、インディアン準州（現在のオクラホマ州）の新しい保留地へ強制移住させるため、チヴィントンは監督官として第一コロラド騎馬隊を率い、ベントズ・フォートからコロラド南東部に入った。この際、サンドクリーク沿いに野営した彼ら非武装のインディアンに対してチヴィントンの部隊が行った無差別虐殺「サンドクリークの虐殺」を指揮した。
彼は当時白人の間で普通に主張されていたインディアン嫌いを隠そうとせず（隠す必要性が無い）、次のような言葉を残している。
インディアンに同情する奴は糞だ!... 私はインディアンを殺さなければならない。そして神の天国のもとではどのような方法であってもインディアンを殺すことは正しく名誉あることであると信じる。赤銅色の反逆者共を殺すことこそ、平和と平穏を達成する唯一の道だという考えに到って、私は十分に満足している。
チヴィントンの率いた部隊が虐殺したのは、和平派のシャイアン族のバンド（一団）で、ブラック・ケトル酋長はティーピーのてっぺんに白旗を掲げて非武装・無抵抗の意志を示していた。にも拘わらず攻撃を加えている。白旗を掲げている相手に軍事攻撃を加えるのは非人道的であり、完全に一方的な虐殺行為である。
ジョン・チヴィントン サンドクリークの虐殺
チヴィントンは当時の白人達が皆そうであったように、インディアンの部族が細かいバンドに分かれ、それぞれが独立した自治を保ち、部族とは決して一枚板ではない、ということが理解出来ていなかった。「シャイアン族が白人に逆らっている」ということは「シャイアン族の部族の中で、白人に逆らっているバンドがある」ということなのだが、白人社会にはこれが難しく、また解りにくいことであり、まるですべてのシャイアン族が一団となって白人に逆らっているように見えていた。とはいえインディアンの文化に興味も関心も無く、彼らに消えて無くなってほしいと考えていた質の人間達には、理解すること自体無理な話であり、自然な解釈であると言える。
チヴィントンはこの無差別虐殺の命令として、兵士たちにこう叫んだと後世の伝記物などで主張されている。
殺せ！　どいつもこいつも頭の皮を剥げ。大きいのも小さいのもだ。シラミの幼虫はシラミになるからな！
ジョン・チヴィントン サンドクリークの虐殺
このチヴィントンの虐殺命令に対し、将校のひとりサイラス・スーレはこれに逆らい、「目の前のシャイアン族は友好的である」として（相手は白旗を掲げていた為）、部下に火器の使用をしないよう命令した。だが軍は命令通り、「大きいのも小さいのも（大人も子供も女も）」無差別銃撃を加え、彼らの虐殺を実行した。シャイアン族戦士達は抵抗しようと試みたが、突然襲われた事、そしてこの直前に無抵抗の意思表示として自主的に武装を解除していたため、抵抗というような抵抗もできずに殺された。
この「勝利」（完全な虐殺であるが、この時点での米国民の見解は戦勝である）を祝って、彼らの本陣のある西部のコロラドのデンバーでは記念行進が行われ、一般大衆や新聞は「南北戦争以来の栄光」として賞賛した。後にスーレの告発によってその内容が明らかになると、東部白人社会にスキャンダルを巻き起こす事となる。
チヴィントンは、彼の軍が交戦したのは「敵対的なインディアン」であり、何名かの兵士（実際はほとんどの兵士）が記念品としてインディアンの身体の一部（男女の生殖器や頭の皮）を切り取った行為は、単にその勝利を祝ったものだった、と証言した（当時よく行われていた戦利品の簒奪行為でもある）。
しかしスーレと彼の部下、告発協力者らの証言によって、事件の調査が行われ、陸軍の軍法会議では、チヴィントンが部隊に発した命令は違反行為という結論が下された。
ジョン・チヴィントン サンドクリークの虐殺
スーレ達はチヴィントンに不利な証言をしたため、チヴィントンはスーレを偽証者と糾弾したとされ、後にスーレはサンドクリークの虐殺に加わっていたというチヴィントン部下の兵士によって殺害されている。この殺害にチヴィントンが関わったとされているが証拠は無い。
この虐殺における、チヴィントンの冷酷といえる行動は痛烈に非難されたが、彼はすでに陸軍を去っており、一般的な南北戦争後の恩赦制度では、彼の刑事責任を問うことができなかった。とある陸軍裁判官は、サンドクリークが「恥と憤りですべてのアメリカ人の顔を覆うことができるくらいの冷血な虐殺」であったと言及したとされている。
死体の切断を含む虐殺の野蛮さに対して「東部」大衆は激しく米国のイメージを損なった事に憤り、それは後に中西部のインディアンとの全面戦争の考えを一部見直すよう米国議会に申し入れるほどのものであったとされている。　ただし彼らの主張は「インディアン達に「保留地」を与え、年金手当て等を正しく施せばこんな問題など無くなるはずだ」という、インディアン達からすれば非現実的な、白人の一方的な思考かつ偽善心に掻き立てられた同情程度のものであった。
1866年12月21日、フェッターマン大尉らの部隊がシャイアン族とスー族の連合軍と対峙した際、彼らは挑発に乗ってしまい結果的に全滅する事態に遭ったとき、シャイアン族の戦士達はフェッターマン含む米軍兵士に対し、彼らの身体を残酷に切り裂いて、チヴィントン隊が起こした残虐行為の報復を行っている。
ジョン・チヴィントン 晩年
厳しく罰せられることはなかったが、チヴィントンはコロラド民兵を辞職させられた。一部大衆の激しい憤りは、彼を政治から引き下がらせ、州制へ向けたコロラドの運動に彼は加われなかった。1865年、彼はネブラスカに戻って、貨物運送業になったが不首尾に終わったという。
カリフォルニアに少し住んだ後に、チヴィントンはオハイオに戻り農業をし、後に地方紙の編集者になった。1883年、彼はオハイオ立法府で選挙運動をしたが、対立候補がサンドクリークの虐殺に注意を向けたので、やむを得ず引き下がった。彼はデンバーに移り、1892年に癌で死ぬまで、執行官代理として働いた。
チヴィントンは終生、「サンドクリークの虐殺」は首尾よく行われた軍事任務であり、遠征自体がインディアンによる一連の白人に対する襲撃に対抗したものだったと主張した。彼自身は、「虐殺」がシャイアン族、アラパホ族、スー族の怒りを買い、またインディアンによる白人襲撃の大義名分を強めた事となり、白人への襲撃を増加させ多くの人々が殺されたという結果を都合よく無視している。
彼が起こした虐殺は非人道的な悪夢的破壊行為であり、この罪が追及され続けるのは自然な流れである。だが、白人たちの入植以降、数えきれないほどインディアンへ犯してきた虐殺・蛮行の事実を都合よく解釈し、彼に全責任を押し付け、他の民族浄化から注意を逸らそうとしているのもまた事実である。
ジョン・チヴィントン 晩年
1887年、ミズーリ・パシフィック鉄道の鉄道町として、虐殺のあった場所にかなり近いところにコロラド州チヴィントンの町が設立され、名前もそのままジョン・チヴィントンにちなんで名付けられた。その町は、1920年代と1930年代のダストボウルの間、いくつかの建物がまだ残っていたが、やがて無人となり見捨てられた。
小葉田淳
小葉田 淳（こばた あつし、1905年4月24日 - 2001年8月8日）は、日本の歴史学者（専攻は貨幣史・鉱山史・貿易史）。京都帝国大学名誉教授。日本学士院賞受賞者、学士院会員、文化功労者。
小葉田淳 経歴
1905年、福井県坂井郡丸岡町（現在の坂井市）生まれ。1922年に福井中学校（現：福井県立藤島高等学校）、1925年に第四高等学校を卒業した。その後は京都帝国大学文学部史学科に進んだ。卒業論文「貨幣流通の發展」をまとめ、1928年に卒業。
卒業後は、堺市史編纂部嘱託となった。1930年、台北帝国大学文政学部講師に着任。後に同大学助教授に昇進。1944年に応召し、陸軍中尉に至った。戦後も1946年まで国立台湾大学副教授として同地にとどまったが、同年中に帰国した。
帰国後は東京文理科大学文学部および京都大学文学部講師となった。1947年、学位論文『中世日支通交貿易史の研究』を京都帝国大学に提出して文学博士号を取得。1949年、京都大学文学部教授に昇進。1969年に京都大学を定年退官して名誉教授となった。その後は龍谷大学文学部教授として教鞭をとった。1971年に龍谷大学を退職して京都女子大学教授、1981年からは財団法人冷泉家時雨亭文庫常任理事、1987年からは住友史料館館長をつとめた。2001年、急性循環器不全のため96歳で死去した。1976年に学士院会員に選出された。
蔵書約2万点が坂井市立丸岡図書館に寄贈され、2004年より「小葉田淳記念文庫」として一般公開されている。
藤倉寛
藤倉 寛（ふじくら ひろし、1980年4月24日 - ）は、栃木県出身の元サッカー選手でポジションはDF。現在は帝京高等学校サッカー部監督。
藤倉寛 来歴
2024年、母校・帝京高校サッカー部の監督に就任。15年ぶりに全国高校選手権出場に導いた。
パサデナ (原子力潜水艦)
パサデナ(USS Pasadena, SSN-752)は、アメリカ海軍のロサンゼルス級原子力潜水艦の41番艦。艦名はカリフォルニア州パサデナに因んで命名された。その名を持つ艦としてはクリーブランド級軽巡洋艦9番艦(CL-65)以来3隻目。
パサデナ (原子力潜水艦) 艦歴
パサデナの建造は1982年11月30日にコネチカット州グロトンのジェネラル・ダイナミクス・エレクトリック・ボート社に発注され、1985年12月20日に起工した。1987年9月12日にポーリン・トロスト夫人によって命名、進水し、1989年2月11日にW・フィッチマン艦長の指揮下就役した。
パサデナの記章は青い背景を係船索が取り囲む。周囲の旗には艦名と船体番号、モットーが書かれる。モットーは明瞭な言葉で世界中のどこへでも駆けつける準備が整っていることを表す。赤いバラはパサデナ市で100年以上の歴史を持つ、毎年元日に行われるトーナメント・オブ・ローズ・パレードと艦を結びつける。カメのボクサーは第二次世界大戦で6個の従軍星章を受章した軽巡洋艦「パサデナ」 (USS Pasadena, CL-65) でも使用された。CL-65のための紋章はウォルト・ディズニーによって作成された。
パサデナは当初大西洋艦隊の潜水艦部隊に配属された。1990年10月に太平洋艦隊潜水艦部隊との艦隊間移転が行われ、パサデナはカリフォルニア州サンディエゴを母港に設定された。
パサデナ (原子力潜水艦) 艦歴
1991年7月にパサデナは西太平洋へ6ヶ月の配備が行われる初の改良型ロサンゼルス級となった。1993年6月には6ヶ月の西太平洋配備が行われ、ペルシャ湾に展開する。この配備でサウジアラビア海軍、オマーン海軍、オーストラリア海軍と共にいくつかの演習を行った。
1995年3月にパサデナは再び西太平洋へ6ヶ月の配備が行われる。ペルシア湾での展開ではインド海軍と演習を行う初のアメリカ潜水艦となり、オマーンの港を訪れた初の原子力潜水艦、ペルシャ湾内で連続して活動した初の潜水艦、第5艦隊で司令艦を命じられた初の潜水艦となった。1996年6月から9月までパサデナは改良型攻撃・防御兵器システムの装備が行われ、選択制限有効性 (Selected Restricted Availability, SRA) の試験が行われた
1996年11月、パサデナは母港を真珠湾に変更され、第7潜水艦部隊の司令艦となる。1997年4月には4ヶ月の東太平洋配備が行われ、 UNITAS を支援した。
パサデナは艦隊もしくは任務部隊の司令機能を提供することができる多目的艦である。艦は原子力機関による無制限の耐久性、最新型のソナー、魚雷、巡航ミサイルおよび機雷敷設システムを持ち、高速性と隠密性を要求される多くの任務を遂行する能力を持つ。
パサデナは1998年に戦闘効率賞「Battle "E"」を受賞した。2001年には艦隊レクリエーション賞を受賞している。
2005年1月、パサデナはオペレーション・ユニファイド・アシスタンスに参加し、スマトラ島沖地震被災者への支援を行った。
2024年12月31日、退役した。
熱田公
熱田 公（あつた いさお、1931年2月5日 - 2002年9月3日）は、日本の歴史学者。神戸大学名誉教授。
熱田公 経歴
和歌山県那賀郡上岩出村（現：岩出市）に上野家の次男として生まれる。1943年和歌山県立粉河中学校に入学。翌1944年中退し、大坂陸軍幼年学校に入学するが、敗戦により復員し、和歌山県立粉河中学校に復学し、1948年卒業。1953年、卒業論文「中世末期における国人層の動向」をまとめ、京都大学文学部史学科国史学専攻卒業。1960年、京都大学大学院文学研究科博士課程単位修得退学、京都大学文学部助手となる。
1970年に神戸大学教育学部助教授に転任、1979年同教授、1992年神戸大学文学部教授。神戸大学を退職した後は、1994年から大手前女子大学文学部教授。兵庫県立歴史博物館館長も務めた。
1988年、遊戯史学会創設時の会長。
ウニオン・エスパニョーラ
ウニオン・エスパニョーラ（スペイン語: Unión Española S.A.D.P.）は、チリの首都サンティアゴを本拠地とするサッカークラブである。
ウニオン・エスパニョーラ 概略
1897年にスペイン系移民によって創設された。チリ国内リーグには初年度の1933年から参加し、1943年にリーグ初優勝を果たした。その歴史の中でも顕著な活躍をみせた1970年代には、国内リーグで3回の優勝、1975年に国際大会における最大の成功といえるコパ・リベルタドーレス準優勝という成績を残す。
ライバルであるアウダックス・イタリアーノ、パレスティーノとの試合はクラシコ・デ・コロニアスと呼ばれる。
ウニオン・エスパニョーラ 現所属メンバー
2024年8月8日現在
注：選手の国籍表記はFIFAの定めた代表資格ルールに基づく。
イン・ザ・ビッグ・ドリーム
イン・ザ・ビッグ・ドリーム（In The Big Dream）は、1989年に発表されたアンダーソン・ブラッフォード・ウェイクマン・ハウ（ABWH）のミュージックビデオである。
イン・ザ・ビッグ・ドリーム 解説
1989年、アリスタ・レコード/BMGVIDEOより発売。ABWHのビデオ・クリップ、レコーディング風景、メンバーへのインタビュー、「燃える朝焼け（Heart of the Sunrise）」のライブ映像が収録された。
日本では1990年、BMGビクター株式会社よりレーザー・ディスク/VHSで発売されたが、やがて絶版になった。
2007年、インタビュー部分等などが、DVD2枚組として再発されたライブ・ビデオ『イエス・ミュージックの夜』のボーナス・トラックとして収録された。
ブラジルでは、異なるジャケットでライブ映像が追加されたものが、イエスの名義で発売されている。
右門捕物帖 (1982年のテレビドラマ)
『右門捕物帖』（うもんとりものちょう）は、1982年（昭和57年）11月23日から1983年（昭和58年）9月6日に日本テレビ系で毎週火曜日の20時から20時54分に放映された連続時代劇。全33話放送。
右門捕物帖 (1982年のテレビドラマ) 概要
原作は佐々木味津三、無口である事から「むっつり右門」と呼ばれた南町奉行所同心の近藤右門を主人公とする時代劇。右門が岡っ引きの「おしゃべり伝六」を従え、江戸市中に睨みをきかせて持ち前の推理で事件を解決する。右門と与力の座を争っている同僚筆頭同心の通称「あばたの敬四郎」は、右門が次々と事件を解決するのを苦々しく思っており、対抗心を燃やしている。
本作は杉良太郎主演の東映・NETテレビ版右門捕物帖や、新五捕物帳と比べ、どちらかといえば娯楽時代劇を目指していた感があり、2作に比べてコミカルな感じに仕上がっていた。嫡子ではないが2人の子供がいるという設定から、第1話の予告編でも「ホームドラマ＋時代劇」と謳っている。
右門捕物帖 (1982年のテレビドラマ) キャスト
南町奉行所同心。草香流柔術、錣正流剣術・居合斬りの名手でもある。
右門配下の岡っ引。本作では父親が登場している。
敬四郎の妹。お千代・お春ら他の女性に対して嫉妬深い一面がある。
敬四郎配下の岡っ引。本作では質屋を兼業している。
伝六の父親。元岡っ引の蕎麦屋。
ともに回船問屋・肥前屋紋兵衛の娘。第1話に於いて肥前屋夫妻及び使用人らは全員殺害され、店は爆破・炎上の上、金品は強奪されたが、彼女たちは堀端で遊んでいたため無事だった。江戸で身寄りがないため、右門が自ら預かっている。
敬四郎の妻。敬四郎が最も恐れており、「たか殿」と呼ばれている。
南町奉行所筆頭同心。本作では恐妻家で妹が登場している。
イングリッド
イングリッド（Ingrid）は、北欧起源の女性名。ドイツ人、オランダ人などの場合はイングリットと表記される。
蒲牢
蒲牢（ほろう）は、中国神話の怪物。形状は龍に似ている。竜生九子の一つ。
蒲牢 竜頭の由来となった蒲牢
龍生九子の一、蒲牢は吼えることを好むという。蒲牢が吼えるのは鯨に襲われている時とも、逆に襲っている時ともいわれ、または、蒲牢に襲われた鯨が吼えていて、それを蒲牢が好む、ともされる。故に梵鐘などの釣鐘の鈕（釣鐘上部の、吊るすために綱などを通す部分）の飾りとなり、鐘の音を大きく響かせるのを手伝っているという。この鈕の事を日本では『竜頭』（りゅうず）と言う。腕時計の竜頭はこれに由来するとされる。鐘繋がりで時計の装飾に蒲牢が施されていたのが、腕時計のゼンマイ巻きの装飾になり、簡素化されて龍の装飾は無くなったが言葉だけが残った、とされる。なお、日本の梵鐘は中国の様式を倣ったものが大半で、朝鮮鐘を倣ったものはごく例外的なものとされている。竜頭も蒲牢そのものである。
岐阜大学医学部附属病院
岐阜大学医学部附属病院（ぎふだいがくいがくぶふぞくびょういん）は、岐阜県岐阜市にある岐阜大学医学部の附属大学病院。県内では岐大、岐大病院と呼ばれている。
岐阜大学医学部附属病院 概要
特定機能病院の承認を受けるほか、臨床研修病院、高度救命救急センター、災害拠点病院（基幹災害医療センター）に指定されている。9階建ての建物であり、床面積は61,000m2。1階から3階が外来、中央診療部。4階から9階が病棟となっている。病床数は606床。
2024年6月時点、岐阜県選挙管理委員会より、不在者投票のできる施設の一つとして指定されている。
岐阜大学医学部附属病院 診療科
実際には、内科、外科は各臓器ごとの専門の診療科に細分される。紹介状のある外来患者は、直接専門診療科で処方されるが、紹介状のない外来患者は、総合診療部で受診し、専門診療科で処方される。
細分化した場合、総合診療部を合わせて診療科は28科になる。これに、中央診療施設の17部が加わる。
当院は地域周産期母子医療センターに指定されている。岐阜市内の周産期母子医療センターは当院と岐阜県総合医療センターである。産科での分娩件数は年間300件以下と少ないが、大学病院として様々な診療科と連携し、ハイリスク妊婦を受け入れている。特に産科と放射線科、高度救命救急センターと連携し、産後大量出血に対する放射線治療を行なっている。また、NICU、GCUをそれぞれ6床ずつ備えている。さらに、脳神経外科内に小児脳神経外科医が常勤で勤務しており、小児・新生児の脳神経外科治療が可能である。近年、小児外科が消化器外科内に再設置されたため新生児外科治療にも対応されている。当院に小児外科が設置される前までは県内での小児外科医が常勤でかつ治療ができる病院は岐阜県総合医療センター、長良医療センター、大垣市民病院(現在は非常勤務医師)に限られていた。
岐阜大学医学部附属病院 診療科
高度救命救急センターに指定されており、常勤医師数は20名以上で日本有数の規模である。また、岐阜県は南北に大きい関係上ドクターヘリを早期に導入し、飛騨地方等の岐阜医療圏から離れた医療圏で発生した重症患者の搬送に・治療に積極的に取り組んでいる。
岐阜大学医学部附属病院 交通アクセス
公共交通機関としては岐阜バスがある。「岐阜大学病院」バス停下車。
岐阜大学医学部附属病院 その他
かつて岐阜市司町に存在した時代、1988年（昭和63年）6月まで名鉄岐阜市内線には大学病院前駅が存在していた。
2008年（平成20年）には、映画『ジェネラル・ルージュの凱旋』の撮影が行われた（ヘリポート、一階ホール、中庭など）。
岐阜大学には、全国でも数少ない大学附属の動物病院である、岐阜大学応用生物科学部附属動物病院（通称：岐阜大学動物病院）がある。こちらは岐阜大学応用生物科学部獣医学課程に附属する動物病院である。
ホセ・マルティネス・サンチェス
ピッリことホセ・マルティネス・サンチェス（José Martínez Sánchez "Pirri"、1945年3月11日 - ）は、スペイン出身のサッカー選手。
ホセ・マルティネス・サンチェス 経歴
アフリカ大陸北部のスペインの飛地セウタで生まれる。地元クラブとグラナダを経て、1964年から1980年までレアル・マドリードに在籍した。レアル・マドリードでは、いわゆるイエイエ・マドリード（Yé-yé Madrid）の一員としてリーグ優勝10回、カップ優勝4回、そして1965-66シーズンのチャンピオンズカップで優勝した。1975年のコパ・デル・レイ決勝では、あごを骨折していたにも関わらず試合に出場した。また、アマンシオ・アマロが引退した1976年からはチームのキャプテンも務めた。
スペイン代表としては、1966年から1978年までプレイして41試合16得点を記録。ワールドカップ1966年大会と1978年大会に出場した。
守備的MFとしてキャリアをスタートさせたが、その後DFへとポジションを移した。攻撃的なポジションでプレーしたことはなかったが、キャリアを通して200を超える得点を挙げた。1980年にメキシコのプエブラに移籍して、1982年に引退した。
引退後は医師免許を取得して、レアル・マドリードの医療スタッフに加わった。
2023年7月17日にレアル・マドリードの名誉会長に任命された。
SPINモデルチェッカ
SPINモデルチェッカ（英: SPIN model checker）は、ソフトウェアのモデル検査のためのツールである。Gerard J. Holzmann らが開発し、15年以上に渡って改良を続けてきた。2001年にAssociation for Computing Machinery (ACM) のソフトウェアシステム賞を受賞している。1995年以来、ほぼ毎年モデル検査に興味のある SPIN ユーザーや研究者による SPIN ワークショップが開催されている。
SPINモデルチェッカ 概要
SPIN(Simple Promela INterpreter)は、オートマトンに基づく模型検査器(model checker)。検査対象のシステムは専用の言語Promela (Process Meta Language) で記述される。Promela は、非同期分散アルゴリズムを非決定的オートマトンとしてモデル化する。検証される属性は線形時相論理の論理式で表される。この論理式の否定形をBüchiオートマトンに変換して Promela のモデルと合成し、モデル検査アルゴリズムの一部とする。モデル検査の他に、SPIN はシミュレータとしても操作可能であり、システムのとりうる実行経路の1つを実行し、そのトレース結果をユーザーに示す。
多くのモデルチェッカとは異なり、SPIN はモデル検査そのものを実施するわけではなく、その問題に固有のモデルチェッカのC言語ソースを生成する。このような若干古い技法を使うことでメモリ使用量を削減し、性能を向上させると共に、モデルにユーザーが自由にCのコードを追加できるという利点がある。SPIN では性能向上やメモリ使用量削減のために以下のような様々なオプションを用意している。
GUI として XSpin，JSpin，iSpin が準備されている。
SPINモデルチェッカ Promela
その名前(Process Meta Language)が示すように、元来通信プロトコルの検証のために設計された言語である。検査対象であるシステムは非同期並行動作するプロセスの集まりとして記述される。C言語に似た文法を持ち、各プロセスの振る舞いを手続き的に記述する。プロセス間通信、非決定的な振る舞いを明示的に記述する文法要素を備えている。
コード内にアサーションをおくことができる。線形時相論理で記述される検証項目はモデル全体に関する性質を記述するのに対して、アサーションはそれが置かれた場所で満たすべき条件を記述する。
長谷部安春
長谷部 安春（はせべ やすはる、1932年（昭和7年）4月4日 - 2009年（平成21年）6月14日）は、日本の映画監督、演出家。東京府東京市出身。東京都立新宿高等学校、早稲田大学第一文学部仏文科卒業。次女は女優の長谷部香苗、長男は作家・脚本家のハセベバクシンオー。孫には俳優の三村和敬がいる。
長谷部安春 略歴
東京市牛込区赤城下町（現・新宿区）出身。早稲田大学卒業後、脚本家の松浦健郎に師事し、雑誌編集者を経て1958年（昭和33年）に日活入社。鈴木清順らの助監督を務めた後、1966年（昭和41年）『俺にさわると危ないぜ』で監督デビュー。代表作である『野良猫ロック』シリーズ、『流血の抗争』などのハードボイルド・アクション作品を多数手掛け、藤田敏八、澤田幸弘、小澤啓一らとともに「日活ニューアクション」路線を支えた。その後日活専属フリーを経てフリーとなる。日活がロマンポルノ転換した時点で専属契約を交わした面々のうち、長谷部は西村昭五郎らとともに最も多くの監督作品を経験していたグループに属するが、ただちに新路線のエースとなった西村とは異なり、かなり間隔をあけて数本のロマンポルノを撮るにとどまった。
長谷部安春 略歴
以降、現代劇・時代劇とジャンルを問わず活動するが、特に『暴行切り裂きジャック』『犯す!』といったロマンポルノ作品では、レイプ場面や恐怖場面に重厚なクラシック音楽を選曲したり、タイトル文字を切り刻んだりする凝った演出で個性を発揮。1970年代後半以降はテレビに軸足を移し、『特捜最前線』『大都会』『あぶない刑事』などの刑事アクションや2時間サスペンスを中心に手掛ける一方、『皮ジャン反抗族』『化石の荒野』など日活以外の劇場作品も散発的に発表。ビデオ映画では特に哀川翔の主演作を多数演出する他、晩年は『相棒』シリーズのローテーション監督を中心に活動した。
編集者時代は藤井鷹史（ふじい たかし）という筆名で執筆活動を行っており、日活入社後も脚本執筆時には主にこの筆名を使用していた。
2009年（平成21年）6月14日午後5時7分、肺炎のため川崎市宮前区の病院で死去した。77歳没。息子のハセベバクシンオーの小説が原作の映画『相棒シリーズ 鑑識・米沢守の事件簿』が遺作となった。
ウィリアム・ヘンリー
ウィリアム・ヘンリー (William Henry)
大六天 (飯能市)
大六天（だいろくてん）は、埼玉県飯能市飯能にある小祠。宗教法人ではない。西側に市指定文化財（史跡）「本郷大六天青石塔婆と樫樹」がある。
大六天 (飯能市) 由緒
創建年不明。第六天（大六天）は、神道では面足命・惶根命（オモダル・アヤカシコネ）、仏教では他化自在天（第六天魔王）と呼ばれている。この神を民間に広めるのに修験道が関与したこと、修験根拠地の笹井観音堂や越生山本坊に近いことから、鎌倉から室町時代に創建されたと推測される。江戸時代中期に広まった民間信仰であるとも言われる。周囲の地名は小字大六天となっており、当社が信仰されてきたことが推測される。社殿は昭和になってから建て替えられた。
当社には「向かい天狗の絵馬」があり、岩井宏實（民俗学者・帝塚山大学名誉教授）の著書に掲載されている。
大六天 (飯能市) 本郷大六天青石塔婆と樫樹
当社の裏にある大樹と板石塔婆は「本郷大六天青石塔婆と樫樹」として市指定文化財（史跡）に指定されている。1959年（昭和34年）12月1日指定。大樹は白樫（シラカシ）で、樹幹は落雷によるものと思われる大きな裂け目ができて空洞化している（ただし、現在も葉を茂らせており生存している）。この白樫の根元に2基の板石塔婆が食い込んでいる。磨滅しているため造立年は不明だが、碑や梵字の形式から鎌倉時代のものと推測される。
この板石塔婆は元久2年（1205年）に武州二俣川（現・神奈川県横浜市旭区二俣川）で敗れた畠山重忠の墓であるという伝説がある。伝承によると、重忠の遺骸を家臣が車で秩父に運んでいる途中、当時この付近にあった「飯能の車返しの坂」で動かなくなり、重忠の霊がそうさせていると察してこの地に葬ったと言われている。さらに、この光景を見た当地の人々は重忠が鎌倉にいた頃を懐かしんでここから振り返ったのだろうと思い巡らせ、この坂を「見返り坂」と名付けたという。
ただし、史実では重忠が二俣川で敗れた後、遺骸はそのまま同地に葬られたとされており、墓所についても重忠生誕の地である旧武蔵国男衾郡畠山郷（現・埼玉県深谷市畠山、「畠山重忠公史跡公園」内）に所在している。
埼玉県飯能市大字飯能320番1号（飯能市立飯能西中学校校庭南側、県道下名栗線北側）
メズルヴェドリル本
メズルヴェドリル本（Möðruvallabók、AM 132 fol、モズルヴォッルル写本、モズルヴァトラボーク）とは、14世紀半ばに書かれたアイスランド語の写本である。犢皮紙 (en:vellum) に刻まれている。アイスランドサガを以下の順に収めている。
これらのサガの多くは他の断片にも保全されているが、その完全な長さのものはメズルヴェドリル本にのみ残されているものもあり、メズルヴェドリル本は中世のアイスランドサガの中で最も広い範囲の物語を含んでいる単体の写本といわれている。
この写本の名前は、1628年にエイヤフィヨルズル近郊のモズルヴェトリル（アイスランド語: Möðruvellir）で発見されたことに由来する。1684年にはデンマークに運ばれ、アウルトニ・マグヌッソン写本コレクションの一部となった。1974年に他の写本と共に、デンマークからアイスランドに返還された。
アングラー (潜水艦)
アングラー (USS Angler, SS/SSK/AGSS/IXSS-240) は、アメリカ海軍の潜水艦。ガトー級潜水艦の1隻。艦名はアンコウ科の総称に因む。
アングラー (潜水艦) 艦歴
「アングラー」は1942年11月9日にコネチカット州グロトンのエレクトリック・ボート社で起工する。1943年7月4日に下院議員パトリック・H・ドゥウェリーの夫人によって進水し、10月1日にロバート・I・オルセン少佐（アナポリス1933年組）の指揮の下コネチカット州ニューロンドンで就役する。
整調訓練はニューロンドン、ロードアイランド州ニューポートの海域で行われ、30本のMk14型魚雷と6本のMk18型電池魚雷の発射テストのほか、機雷の敷設演習も行われた。フロリダ州キーウェストに向けて航海し、11月21日に到着後、1週間にわたって艦隊音響学校で訓練を受け27日に真珠湾へ向けて回航された。ココ・ソロ、バルボアを経て12月19日に真珠湾に到着後、24日まで最終訓練を行った。
アングラー (潜水艦) 艦歴
1944年1月10日、「アングラー」は最初の哨戒でマリアナ諸島に向かった。1月27日、北緯23度58分 東経145度50分﻿ / ﻿北緯23.967度 東経145.833度﻿ / 23.967; 145.833の地点でサンパンを発見し、砲撃で撃沈。15歳の少年を捕虜として収容し、少年の話から、このサンパンは室戸の漁船であり、13名が乗り組んでそのうちの1人が少年の父親であることが判明した。2日後の1月29日未明、北緯27度03分 東経142度27分﻿ / ﻿北緯27.050度 東経142.450度﻿ / 27.050; 142.450の地点で4隻の輸送船団を発見し、魚雷を3本発射して2本を大型タンカーに命中させて撃沈したと報じる。続く二度目の攻撃では魚雷を6本発射し、1本が中型輸送船に命中したように思えた。三度目の攻撃では魚雷を3本発射し、この攻撃では中型タンカーに2本が命中して撃沈したと判断された。「アングラー」はタンカー2隻を撃沈、輸送船1隻を撃破したと報告。実際には特設捕獲網艇「珠江丸」（三光汽船、890トン）を撃沈した。その後、静粛航行の妨げになる不具合が明らかになったので哨戒を打ち切った。2月4日、25日間の行動を終えてミッドウェー島に帰投し、修理を行った。
アングラー (潜水艦) 艦歴
2月15日、2回目の哨戒でミンダナオ海およびスールー海方面に向かった。フィリピンに近づきつつあった時、南西太平洋方面総司令官ダグラス・マッカーサー大将が「日本軍がパナイ島で民間人を虐殺していた」ことを知り、パナイ島から生き残った民間人を助ける作戦を検討した。その作戦に「アングラー」が起用されることとなった。「アングラー」はスリガオ海峡、ミンダナオ海と通過。3月19日未明、北緯08度13分 東経122度27分﻿ / ﻿北緯8.217度 東経122.450度﻿ / 8.217; 122.450の地点でレーダーにより目標を探知し、浮上攻撃で魚雷を4本発射したが命中しなかった。3月20日夕刻、パナイ島の会合点に接近して虐殺から逃れて生き残った老若男女58名を救助した。作戦自体は成功裏に終わったものの、その後が大変だった。難民を収容するのに、魚雷発射管室の一角を提供し、食事は乗組員向けのものを一部難民に回したため、乗組員の食事は1日2回と減った。フリーマントルに近づくにしたがって乗組員も難民も不快感が増し、オルセン艦長に至っては「真水タンクが汚染されたかも知れない」と信じ込む始末となった。4月1日にダーウィンに寄港。4月9日、53日間の行動を終えてフリーマントルに帰投。帰投後、真水タンクを綺麗にするよう整備員に要求した。
アングラー (潜水艦) 艦歴
5月3日、「アングラー」は3回目の哨戒でジャワ海に向かった。この方面では、当時この方面にいた空母サラトガ (USS Saratoga, CV-3) とイギリス空母イラストリアス (HMS Illustrious, R87) の搭載機がスラバヤを空襲する（トランサム作戦）予定だったので、攻撃を支援する8隻の潜水艦の1隻に「アングラー」も選ばれ、搭乗員救助と脱出艦船に対する攻撃を命じられていた。5月17日に行われたスラバヤ空襲の後、スンダ海峡とロンボク海峡が交差する海域で哨戒していた「アングラー」は、5月20日夕刻に北緯05度57分 東経105度12分﻿ / ﻿北緯5.950度 東経105.200度﻿ / 5.950; 105.200のスマトラ島スマンカ湾沖で、護衛艦を従えた特設運送船「大鳥丸」（大阪商船、2,105トン）を発見し、魚雷を4本発射。1本が命中して航行不能に陥らせ、これを見てさらに魚雷を3本発射し、これは命中しなかったものの、やがて「大鳥丸」は沈没していった。反撃も受けたが大したことはなかった。
アングラー (潜水艦) 艦歴
しかし、翌日になって大問題が発生した。吐き気をもよおす乗組員が続出し、その割合が全乗組員中4分の3に達したのである。「アングラー」はフリーマントルの司令部に緊急報告を行い、急遽帰投することとなった。その間にも乗組員の健康状態は悪くなる一方で改善する気配がなかった。オルセンは5月22日の艦長日誌に「乗組員は上級幹部も水兵も問わず、健康状態を維持しているのが難しい」、「食器洗浄や料理を作る際の特別な訓練を行う」と書き、翌日の日誌には「我々には、健康状態を維持できる強壮な男がいない」と記した。思わぬアクシデントに際悩まされている「アングラー」を助けるため、フラッシャー (USS Flasher, SS-249) とクレヴァル (USS Crevalle, SS-291)、水上機母艦チャイルズ (USS Childs, AVD-1) が派遣され、「クレヴァル」は医師を「アングラー」に派遣し、容態の芳しくない乗組員を収容した。5月29日、「アングラー」は27日間の行動を終えてフリーマントルに帰投。ただちに徹底的な調査が実施され、アクシデントの原因は四塩化炭素によるものと結論付けた。四塩化炭素の使用はこの頃には実質禁止されていたが、2回目の哨戒の際に不快の元凶として槍玉に挙げられた真水タンクの洗浄に、この四塩化炭素が使用されたのであった。そして、タンク内の四塩化炭素が十分に除去されないまま、3回目の哨戒に出てしまったものと判断された。また、6月9日付で艦長がフランクリン・G・ヘス少佐（アナポリス1935年組）に代わった。
アングラー (潜水艦) 艦歴
6月23日、「アングラー」は4回目の哨戒で南シナ海に向かった。翌6月24日、エクスマウス湾で給油を行うべく操縦していたところ、海図にない暗礁に接触したため、一度フリーマントルに引き返し、損傷した右舷側のスクリューを交換した上6月29日に再出撃した。哨戒海域では「フラッシャー」「クレヴァル」とともにウルフパックを構成し、南シナ海の中央あたりからルソン島西岸海域を所定の哨戒海域とした。7月25日午後、「アングラー」らのウルフパックは北上してきたヒ68船団を発見し、数日間執拗に攻め立てた。午後の攻撃では「クレヴァル」が2隻の陸軍輸送船、「安芸丸」（日本郵船、11,409トン）と「東山丸」（大阪商船、8,666トン）に対して魚雷を発射したが、両船とも回避した。ヒ68船団は全速力で北上を続けたが、翌7月26日3時14分頃、「フラッシャー」からの魚雷が「安芸丸」「東山丸」および2TMタンカー「大鳥山丸」（三井船舶、5,280トン）に命中して「大鳥山丸」は沈没、「安芸丸」および「東山丸」は航行不能の被害を受ける。「アングラー」の攻撃の番となり、20ミリ機銃に人員を配して浮上攻撃を敢行する。5時ごろ、北緯18度30分 東経117度57分﻿ / ﻿北緯18.500度 東経117.950度﻿ / 18.500; 117.950の地点で特設運送艦「聖川丸」（川崎汽船、6,862トン）に対して艦首発射管から魚雷を6本、艦尾発射管から魚雷を4本発射。魚雷は「聖川丸」の一番船倉に命中して船首部が浸水する。「聖川丸」は一時は最大速力が7ノットしか出なかったが、やがて11ノットまで回復して海防艦「平戸」の護衛により高雄に入港した。ウルフパック全体では、6隻36,000トンの損害を与えた。8月23日、「アングラー」は54日間の行動を終えてフリーマントルに帰投した。
アングラー (潜水艦) 艦歴
9月18日、「アングラー」は5回目の哨戒でブルーギル (USS Bluegill, SS-242) とともにパラワン水道、スールー海およびマニラ近海方面に向かった。10月14日朝、「アングラー」は北緯11度53分 東経121度39分﻿ / ﻿北緯11.883度 東経121.650度﻿ / 11.883; 121.650のタブラス海峡で2隻の護衛艦を配する3隻の輸送船を発見。魚雷を4本発射し、2本が7,500トン級輸送船に命中して撃沈できなかったと判断される。実際には輸送船「南嶺丸」（東亜海運、2,400トン）を撃沈した。10月16日には病院船を発見し、10月19日には「ブルーギル」から船団攻撃の報告を受ける。10月22日1時45分、アングラーの見張り員は男の叫び声を聞いた。声の主を見つける試みは成功しなかったが、夜明けとともに「最も気味悪いものの、辛うじて想像可能な光景の一つ」を見ることとなった。周囲の海面は、生死不明の日本軍兵士で埋め尽くされていた。「アングラー」はボートを出して夕方まで収容作業にあたり、生存していた兵士は26人に達した。「アングラー」ではこの26人の兵士を尋問し、誰が上級士官かを尋ねた。そして、階級の高い順に島津正義中尉、藤セイ軍曹、西川トヨナガ軍曹の3人が情報提供者としてアメリカ軍に協力する旨宣誓し、残りの兵士は80マイル離れたところで水と食料、海図を与えて解放した。10月23日19時15分、「アングラー」はパラワン島の北端沖でギターロ (USS Guitarro, SS-363) とともに日本艦隊の動静を監視していたところ、栗田健男中将率いる日本艦隊を探知。翌10月24日2時40分ごろまで追跡し、司令部に報告した。「アングラー」はこの時重要な輸送船団に接触しつつあったものの、より重要な栗田艦隊を追跡すべく、好餌を敢えて捨てて作戦に寄与することとなった。10月31日朝、北緯12度52分 東経120度35分﻿ / ﻿北緯12.867度 東経120.583度﻿ / 12.867; 120.583の地点で2隻の2,000トンないし2,500トン級輸送船を発見し、魚雷を4本発射したが命中しなかった。11月1日にはハードヘッド (USS Hardhead, SS-365) と会合し、少し前に同艦が救助した戦闘機パイロットのフレッド・E・バクティス中佐を引き取った。11月2日にはシブツ海峡を南下中にクジラと接触してスクリューを損傷した。11月9日、50日間の行動を終えてフリーマントル帰投した。
アングラー (潜水艦) 艦歴
12月4日、6回目の哨戒で南シナ海に向かった。その途中の12月15日未明、「損傷したバーゴール (USS Bergall, SS-320) の救援をせよ」との命令を受けた。「バーゴール」は12月13日にインドシナ半島サンジャック沖で、重巡洋艦「妙高」を浮上したまま雷撃し損傷を与えたものの、直後に「妙高」自身が主砲と高角砲で反撃し、そのうちの主砲弾が前部魚雷発射管室を左から右へ貫通し、不発弾だったものの船殻を破られたため潜航不能状態に陥っていたのである。命令を受けた「アングラー」はカリマタ海峡を通過し、昼前に南緯00度36分 東経107度23分﻿ / ﻿南緯0.600度 東経107.383度﻿ / -0.600; 107.383の地点で「バーゴール」と会合して、浮上状態のままオーストラリアまで護衛することにした。「バーゴール」の乗組員は「アングラー」に移されたが、艦長のジョン・M・ハイド（アナポリス1934年組）は責任者として他の主要幹部とともに艦に残った。「アングラー」には予め、「状況が困難な場合は『バーゴール』乗員を完全に移乗させた上で、自沈処分してもよろしい」という命令も与えられており、実際に処分のための魚雷もセットされていたが、奇跡的にそのような切羽詰った状況にならず。結局、日本がいまだ制海権を保持していた水域を無事通過し、12月20日にエクスマウス湾に到着し「バーゴール」と別れた。12月21日から哨戒を再開した後、1945年2月6日にサイパン島に寄港。2月15日、「アングラー」は72日間の行動を終えて真珠湾に帰投。2月24日に本土に帰還し、サンフランシスコのベスレヘム・スチールでオーバーホールの後、真珠湾に回航された。オーバーホールの間に、艦長がH・ビセル・ジュニア少佐（アナポリス卒業年次不明）に代わった。
アングラー (潜水艦) 艦歴
6月12日、7回目の哨戒でモレイ (USS Moray, SS-300)、シーポーチャー (USS Sea Poacher, SS-406) およびソーンバック (USS Thornback, SS-418) とともにウルフパックを構成し、日本近海に向かった。6月27日にサイパン島に寄港して補給の後、哨区に到着。この頃になると日本の艦船で動けるのは石炭焚きか小さな船しかおらず、目ぼしい大型船は数える程度の状態であった。動けた艦船も、機雷によりほとんど身動きが取れない状況であり、外海で船舶を見ることはまれであった。「アングラー」のこの哨戒での活動も、3度にわたる対地攻撃が主となった感があった。7月25日朝、北緯38度32分 東経141度37分﻿ / ﻿北緯38.533度 東経141.617度﻿ / 38.533; 141.617の地点で小型輸送船を発見し、魚雷を3本発射したが命中せず、これが唯一の艦船攻撃だった。7月26日、金華山灯台沖に出現し、およそ3キロ離れた海上から5インチ砲で攻撃。灯台の他密集した建物や放送塔を目標に25発発射したが、視界を遮られて与えた損害を確認することはできなかった。次いで7月31日夕刻、苫小牧沖に出現し、霧がかかっていたものの王子製紙苫小牧工場を攻撃。50発もの大量の弾丸を撃ち込み、うち少なくとも20発が事務所や調査室、火力発電所、製品倉庫などを破壊し、電線が損傷を受けたため工場の操業は停止してしまった。翌8月1日、「シー・ポーチャー」「ソーンバック」らとともに様似周辺の漁船や陸上の艇庫、建物などに対して5インチ砲弾23発、40ミリ機関砲弾320発、20ミリ機銃弾300発を撃ちこみ、この攻撃で鵜苫国民学校が被弾して桜田章賢校長が破壊された建物の下敷きになって殉職した。8月9日、「アングラー」は56日間の行動を終えてミッドウェー島に帰投した。
アングラー (潜水艦) 艦歴
「アングラー」はミッドウェー島で終戦を迎え、8月26日に真珠湾に向けて出発。9月14日にパナマ運河を経て9月20日にはニューオーリンズに寄港。1ヶ月滞在の後フロリダ州ジャクソンビルに向けて出発。11月2日に搭載魚雷を降ろして11月6日にニューロンドンに帰還した。その後不活性化工事のため、1946年2月にはポーツマス海軍造船所に回航され、工事完了後4月21日ニューロンドンに戻り、翌年2月12日退役した。
1951年4月2日、再就役してカリブ海での訓練に従事する。一連の任務を終えてニューロンドンに回航され、1952年10月に再び予備役に編入、オーバーホールのためグロトンのジェネラル・ダイナミクス（エレクトリック・ボートの後身）のヤードに入渠することとなり、1953年2月には対潜潜水艦（SSK-240）に分類された。
アングラー (潜水艦) 艦歴
1953年9月、オーバーホールが終えて大西洋艦隊で再就役。1953年11月から1954年3月にかけてはカリブ海や西インド諸島での訓練活動を中心に行動し、ニューロンドンへ戻ったあと、続く2年の間に東海岸や大西洋、西インド諸島方面での艦隊演習に参加する。1956年1月から4月までポーツマス海軍造船所でオーバーホールに入り、オーバーホール後は再び西インド諸島と東海岸で訓練のため行動した。10月からは練習航海で北ヨーロッパを訪問し、イギリスのいくつかの港に寄港して12月にニューロンドンに帰還した。
1957年も9月までの間は東海岸での訓練に従事し、9月27日にNATO演習に参加するためヨーロッパに向かう。演習に参加ののち、フランスのディエップとイギリスのポートランド島を訪問してニューロンドンに帰還した。11月にはバミューダ諸島近海で演習を行い、1957年の行動の締めくくりとした。
アングラー (潜水艦) 艦歴
1958年2月24日から3月28日までの間、西インド諸島とカリブ海で行われた「スプリングボード」演習に参加し、11月3日には再びオーバーホールのためポーツマス海軍造船所に戻り、オーバーホールは1959年3月に終わった。その前後、引き続いて東海岸やニューロンドンでの練習艦任務に就き、1960年には分類変更で潜水艦（SS-240）に戻った。
1962年10月24日、第6艦隊に配属され、地中海沿岸のスペイン、フランス、イタリア、ギリシャを訪問した。1963年2月6日にニューロンドンに帰還後はニューロンドンでの練習艦任務に戻り、この1963年の類別変更により実験潜水艦（AGSS-240）に分類される。その後はカリブ海、西インド諸島、東海岸においてアナポリスを初めとする各種学校の生徒や、予備役兵のための活動を続けた。
アングラー (潜水艦) 艦歴
1968年4月1日再び退役し、ペンシルベニア州フィラデルフィアで予備役訓練艦として使用された。1971年6月30日に非類別潜水艦（IXSS-240）に分類ののち12月15日除籍され、1974年2月1日ニューヨークのユニオン・ミネラル・アンド・アロイ社に売却された。同年3月4日、スクラップとして解体され30年に及ぶ艦歴を終えた。
「アングラー」は第二次世界大戦の戦功で6個の従軍星章を受章した。
牧健二
牧 健二（まき けんじ、1892年5月（戸籍上は11月14日） - 1989年7月24日）は、日本の法制史家。京都大学名誉教授。
牧健二 来歴・人物
京都府天田郡下川口村（現福知山市）出身。京都府立第三中学校・広島高等師範学校を経て、1918年7月に京都帝国大学文科大学史学科、また1921年に京都帝国大学法学部卒業。1923年に同大学法学部助教授となり、2年間訪欧し在外研究。帰国して後、1930年に教授となり、1933年の瀧川事件に際しては、大学当局の措置に対して辞表を撤回し残留。1935年「鎌倉時代ノ封建制度ノ研究、殊ニ封建的恩地私領ノ成立ニ就テ」により京都帝国大学法学博士。1941年からは法学部長を務め、1945年に退職する。1951年、京都学芸大学講師となり、1957年に教授、同年退職。1960年から1973年まで龍谷大学文学部・経済学部・法学部で教壇に立つ。1975年京都大学名誉教授の称号を授与される。
中田薫との間で、地頭論争を展開した。息子は法制史学者の牧英正。
牧健二 著書
『日本封建制度成立史』弘文堂、1935年。https://dl.ndl.go.jp/pid/1269360。 
『日本封建制度成立史』（第3版）弘文堂、1935年。https://dl.ndl.go.jp/pid/2993233。 
『日本封建制度成立史』（改訂版）清水弘文堂書房、1969年。https://dl.ndl.go.jp/pid/11932215/1/3。
『日本国体の理論』有斐閣、1940年。https://dl.ndl.go.jp/pid/1908582/1/4。 
『日本国体の理論 訂正版』有斐閣、1941年。https://dl.ndl.go.jp/pid/1039434/1/2。 
『日本国体の理論 増訂版』有斐閣、1943年。https://dl.ndl.go.jp/pid/1039433/1/2。 
『日本国体の理論 増訂版』有斐閣、1944年。https://dl.ndl.go.jp/pid/1913863。
ブートストラップ問題
ブートストラップ問題 (Bootstrap problem) は、コンパイラをコンパイル対象のプログラミング言語で作成した際に、そのコンパイラの最初のコンパイルをどうするかといった場合を典型的な例とする、いわゆる「鶏と卵」の形をしたセルフホスティング環境の問題を指す。これを解決するための方式をブートストラップ方式といい、この問題を何とかして最初の完備した環境を作ることをブートストラッピングという。
名前についてはブートストラップの記事を参照。
ブートストラップ問題 種類
言語 X のコンパイラを言語 X で書く場合、次のような対処法がある。
X のインタプリタが実装されている場合に、そのインタプリタ上で X のコンパイラを実行し、 X のコンパイラ自身をコンパイルする。UCSD PascalのP-Codeで書かれたトランクコンパイラの場合がこれに相当する。トランクコンパイラは、オブジェクトコード生成部がコメントとなっている場合があり、その場合にはコンパイル前にターゲットマシンに合わせたものに書き換える必要がある。
コンパイラをソースコード形式で配布する場合、同時に移植の容易なバイトコード版のコンパイラを提供し、コンパイラ自身のコンパイルができるようにする（一例）。
ブートストラップ問題 経緯
ブートストラップがおこなわれた最初の実装はNELIAC（ALGOLの一種）であった。商用の実装ではPL/Iの実装が最初である。
今日の言語処理系では、C言語のようなシステム記述に向いた基本的な言語処理系の実装などは、その言語自身で書かれることが多いため、全く手掛かりのない環境ではブートストラッピングが必要になることがある（大抵の環境では、バイナリディストリビューションやクロスコンパイルを利用して回避できるので、難しいプロセスは回避できる）。以下に幾つかの実装が行っているブートストラッピングの方法を示す。
また、パーサジェネレータなど、言語処理系の実装に際して、プログラムを生成するプログラムを使っている場合も、似たような再帰的依存関係の問題がある。
金槌坊
金槌坊（かなづちぼう）は、熊本県八代市の松井文庫が所蔵する江戸時代の妖怪絵巻『百鬼夜行絵巻』にある日本の妖怪。
金槌坊 概要
鳥のような顔の妖怪が、金槌を振り上げた姿で描かれているが、解説文が一切ないためどのような妖怪かは不明である。
国立歴史民俗博物館所蔵の『化物絵巻』や国際日本文化研究センター所蔵の『化物尽絵巻』にもまったく同様の姿に描かれた妖怪が見られる。こちらは大地打（だいちうち）という名称で描かれている。解説文が一切存在しないのも同様である。
デザイン上のモデルとなったのは、室町時代の『百鬼夜行絵巻』に描かれている槌を振り上げている姿の妖怪であると考えられている。この点は鳥山石燕の妖怪画集『百器徒然袋』に描かれている「槍毛長」にも類似している。
妖怪研究家・多田克己は、用心深い様子を「石橋を叩いて渡る」ということや、頭の上がらない様子を「金槌の川流れ」ということから、臆病なほどに用心に用心を重ねる様子、常に頭が上がらず人の下積みになっている様子を擬人化したもの、もしくは臆病者に取り憑いた用心棒のような存在ではないかとの解釈を示している。
金槌坊 槌を振り上げている妖怪
『百鬼夜行絵巻』に描かれている槌を振り上げている妖怪は、真珠庵に所蔵されている作品をはじめ、多くの同じ主題をあつかった絵巻物作品などにその例が見られる。江戸時代の禅宗の僧・白隠の描いた絵巻物『法具変妖図』にも槌を振り上げている妖怪は見られ、本項「金槌坊」の姿に似たくちばしの生えたような顔をして描かれている。いっぽう原拠は不明ながらも、その色彩や姿からウサギ（黒兎）あるいはアリ（黒蟻）の妖怪ではないかとも解説されており、昭和以後の美術書では解説文にそのような記述がなされている事もある。
妖怪評論家・荒俣宏の監修による妖怪フィギュア『陰陽妖怪絵巻』（2002年、造型企画制作・海洋堂、販売・角川書店）に附属されていたカード『陰陽妖怪絵札』ならびにその解説冊子では、この『百鬼夜行絵巻』に描かれている槌を振り上げている妖怪を大蟻の名前で紹介しており、蟻たちは土で蟻塚を作るため、かつては古墳を作るひとびとの信仰対象となっていたが、古墳の風習の衰退につれ信仰を忘れられたことを怨んで化け物になり、人間を槌で無差別に叩き殺し、殺した人間を同様の大蟻の妖怪に生まれ変わらせる妖怪となったと設定している。
岐阜総合庁舎
旧・岐阜総合庁舎（きゅう ぎふそうごうちょうしゃ）とは、岐阜県岐阜市にある元公共施設。正式名は、岐阜県岐阜総合庁舎であった。
岐阜県における岐阜地域（岐阜市、羽島市、各務原市、山県市、瑞穂市、本巣市、羽島郡岐南町、笠松町、本巣郡北方町）の現地機関、公共団体が入居していたが、耐震性の面から2013年3月31日で閉庁となった。
建物は1924年（大正13年）10月に完成した3代目岐阜県庁舎である。1966年（昭和41年）に県庁舎が移転するまで使用されていた。
岐阜総合庁舎 建物の概況
デザインはモダニズム的志向が見受けられる。立体美、重厚な表現に配慮されていると共に装飾などは最小限に抑えている。また、天窓にステンドグラスを採用し、槍ヶ岳、焼岳、穂高岳、乗鞍岳などの飛騨山脈（北アルプス）を図案化している。平面形は単純なE字形プランであるが、内外装の仕上は素晴らしいという。特に旧知事室、旧会議室等の暖炉や、食堂、手洗所等の大理石装飾は矢橋大理石商店からの寄贈品である。正面玄関などに使用されている大理石は金生山（大垣市）産の石で、古生代二枚貝のシカマイアの化石含み、学術的にも貴重である。
2009年12月11日、県は、老朽化、耐震補強に費用がかかるため、岐阜総合庁舎の解体の計画を発表。土地は岐阜市に売却し、建物のうち本館南側の玄関ホール周辺のみを耐震補強し保存し、庁舎内の機関・団体は他の施設へ移転となった。これにより岐阜振興局は廃止となり、2013年3月31日に閉庁となった。閉庁後、建築当時の状態が良く保存されている建物の南側部分は保存し、残りの部分は解体された。