hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
マイケル・ミルケン 「強欲は善」
ボウスキーは巨額の資金を動かすウォール街の富豪として著名なセレブであり、かつてバークレー校の卒業式の講演で「強欲はよいことだ。強欲は健全である。強欲になるのは、よい気分だ」とスピーチして話題になった人物であった。鞘取り（アービトラージ）とはM&Aに関連した株価変動で利益をあげる取引で、ボウスキーは時には発表の数日前に大量のポジションを取る絶好すぎる取引タイミングから、以前からインサイダー情報で取引しているという噂があった。SECもかねてから監視対象にしていたが、証拠をつかむことはできなかった。ところがデニス・レビンはじめ共犯者たちが司法取引で当局に証拠を提供したことから、ついに検挙に至ったものであった。
捜査はボウスキーにインサイダー情報を渡していた者は誰かという点に移った。司法取引に応じたボウスキーの証言と押収した資料から、M&Aの司令塔であるドレクセルの中枢から情報が出ていたことは、明らかであった。
マイケル・ミルケン ジャンク債帝国の崩壊、「帝王」に有罪判決
ボウスキーの逮捕から2週間以内に、ドレクセルとミルケンがSECの捜査対象となっていることが確認された。応じてドレクセル側も弁護士団を雇いいれ、SECに抗戦する体制を整える。この頃になると報道合戦により、表に出ることを避けてきたミルケンも、マスコミに追われる有名人になってしまった。
ドレクセル側の守りは固く、捜査は意外に難航し、SECはその後一年以上も、ミルケンを起訴できなかった。だが当局はドレクセルの幹部、ミルケンの側近を一人ずつ検挙してゆき、司法取引によって彼らに自供させ、捜査網を狭めてゆく。
1989年には、ミルケンの起訴は不可避の情勢になってきた。同年3月、司法当局はドレクセルに最後通牒となる、有罪の承認、罰金6億5千万ドル、ミルケン兄弟の解雇、2年間のジャンク債取り扱い業務停止という司法取引を提案した。拒否すれば同社に対するRICO法違反による告発が行われ、会社の存続は不可能になる。ドレクセルの取締役会は協議のすえに司法取引に応じることを決め、ミルケンに解雇を通告し、会社の生き残りを目指すことを決めた。しかし同社の経営はすべてミルケン一人に依存していたため、彼の抜けた穴を埋めることは、不可能であった。巨額の罰金と顧客離れも重なり、1990年2月13日、ドレクセル・バーナムは破産を申請し倒産した。
マイケル・ミルケン ジャンク債帝国の崩壊、「帝王」に有罪判決
1990年4月24日、ミルケンは連邦裁判所に出廷する。ここでミルケンは、規制逃れのための他人名義の株式取得幇助、所得を隠匿した納税義務違反、特定の顧客にインサイダー情報を流した市場操作、虚偽の届出の幇助、これらについてボウスキーと共謀した罪など、6件の主要な罪について有罪を認める。11月、連邦裁判所は禁固10年、罰金6億ドル、および証券業務の永久禁止の判決を下し、91年3月3日、ミルケンはサンフランシスコ郊外の連邦刑務所に収監された。ただし、刑期は司法取引で2年に短縮された。
マイケル・ミルケン その後
ミルケンは1993年に出所したが、前立腺癌の診断を受けた。彼は前立腺癌研究のための財団を設立し、2010年までに同財団は、前立腺癌研究の最大の研究資金出資者となった。その後、病状は治療により寛解したという。また治療の過程でベジタリアンになり、野菜料理の本を出版している。
現在のミルケンは医療研究への慈善・寄付活動のほか、1991年に設立したシンクタンクの「ミルケン研究所」の運営に携わっている。同研究所は、人的資本、金融構造とイノベーション、地域経済、医療経済に関する研究を行い、年次会議、さまざまな金融フォーラムなど、一連のイベントを主催している。2007年時点のミルケンの資産は21億ドルとされ、フォーブスの億万長者ランキングで458位であった。また2024年時点では、フォーブスの資産評価額は、70億ドルであった。
ミルケンと支持者は、複数の政権に対し、大統領恩赦を獲得しようと活動していることが報じられた。2020年2月18日、ドナルド・トランプ大統領はミルケンに恩赦を与えると発表した。
マリ共和国の地方行政区画
マリ共和国の地方行政区画（マリきょうわこくのちほうぎょうせいくかく）は、2023年2月22日以降19の州（Region）と1つの特別区に分けられる。さらに各州は156の圏（Cercle）に分けられ、間に466の郡（arrondissement）が、その下に最小単位である819のコミューン（Commune）がある。
マリ共和国の地方行政区画 地方自治の歴史
フランス領スーダンは全土を圏に分けられた。圏はフランス本土の管轄下にあり、植民地行政官は圏に対するあらゆる権限が与えられた。行政官は圏を定期的に「巡察」することで植民地全体を支配した。一方で各地に存在した伝統的な「国家」はカントンに再編され、伝統的指導者がカントンの長に任命された。カントンは地方行政の基盤となり、植民地支配を補助した。
1911年1月1日、植民地総督令によりコミューンの設置が計画された。1919年1月1日よりバマコとカイが、1920年1月1日よりモプティ・コミューンが発足した。コミューンの市長は総督が任命していた。1953年にセグー、1954年にシカソ・コミューンが創設された。
1955年11月18日、法律N°55-1489によってアフリカ植民地に完全に自立したコミューン（plein exercice）の創設が認められた。同法に基づき、1956年にバマコ、カイ、セグー、モプティが完全なコミューンに改編された。1958年、準コミューン（moyen exercice）としてキタ、カティ、クリコロ、クーティアラ、サン、トンブクトゥ、ガオが創設された。完全なコミューンは市議会が市長を選出し、法人格と財政自主権を持っていたが、準コミューンは植民地政府が市長を任命した。
マリ共和国の地方行政区画 地方自治の歴史
フランス共同体内に成立したスーダン共和国は、1960年6月7日に新たな地方行政法（N°60-5/AL-RS）を採択した。同法では行政区画を州-圏-郡-コミューン-村とし、部族地域にはフラクスィオンを設置することが規定された。また同日に採択された別の法律では、州を民事的人格と財政的自治を与えられた公的機関と定義した。
スーダン共和国はセネガルと共にマリ連邦として1960年6月20日にフランスから独立したが、連邦はセネガルの脱退によって2か月で瓦解し、同年9月22日にスーダン共和国はマリ共和国に改称した。連邦消滅時、スーダン共和国には6州、6圏、13コミューン（2種類に分けられる）があった。
独立後、モディボ・ケイタ政権は平等主義に基づく地方政治の刷新に取り組んだ。1966年3月2日、N°66-9/AN-RMによって2種類のコミューンは統合され単一のコミューンとなった。州は経済地域に改編され政府の任命した特別委員会が統治した。カントンは郡に置き換えられ、圏の数は6から41まで増加した。1968年11月19日の政権崩壊時点でマリ共和国には6経済地域、41圏、269郡、13コミューンが存在した。
マリ共和国の地方行政区画 地方自治の歴史
1968年11月19日、軍事クーデターで政権を奪取したムーサ・トラオレ率いる国民解放軍事委員会は、当初ケイタ政権の行政区画を保持した。1977年7月12日、新たな領土および行政改革法（N°77 44/CMLN）が採択され、経済地域は地方自治体の州に戻された。国土北部を占めていたガオ州からトンブクトゥ州が分立し、バマコ州は特別な地位にあるバマコ特別区とクリコロ州に再編された。また郡はコミューンに昇格する権利を得たが、1991年まで昇格した郡はなかった。
1982年、N°82-49/AN-RMによってN°77 44/CMLNは改正され、州、圏、郡に評議会が設置された。 評議会議員の任期は3年で、評議会の決定によって最長1年間延長することができた。また、同年に14番目のコミューンとしてブグニが創設された。
1991年、ガオ州からキダル州が分立した。民政移行期にバナンバ、ディオイラ、バンディアガラ、ニオロ・デュ・サヘル、ジェンネがコミューンとなり、数は19になった。
1992年6月8日にアルファ・ウマル・コナレが大統領に就任した時には8州、46圏、286郡、19コミューンがあった。コナレ大統領は地方分権を促進し、1996年には国土全域にコミューンが設置された。これによりコミューンは701まで大きく増加し、直ぐに2コミューンが新たに創設されたことで703コミューンとなった。また圏が3つ追加され、数は49圏となった。
次いで大統領となったアマドゥ・トゥマニ・トゥーレは地方行政の限界を感じ、2011年末に州および圏の増設を発表した（後述）。
マリ共和国の地方行政区画 現在の行政区画
州（Région）は第一級行政区画で、19つに区分される。州は州議会によって管理され、州議会議員はコミューン議員から選出される。
2011年12月7日、アマドゥ・トゥマニ・トゥーレ政権は閣僚理事会で既存の8州を5年間で段階的に分割し、最終的に19州とする方針を決定した。最初に選ばれたのはタウデニ州とメナカ州で、12月14日に国民議会で2州を創設する法案が採択された。2012年3月2日に採択された地方行政区画法（N°2012-017）によると、以下の19州とバマコに区分される予定であった。
しかし2012年1月に新州創設の対象地域となっていた北部地方で紛争が勃発し、トゥーレ大統領も3月のクーデターで失脚した。情勢の悪化と政局の混乱によってタウデニ州とメナカ州の創設は停滞し、2016年1月19日になってようやく州知事が任命され、10州となった。ただしタウデニ州の州都タウデニは反政府勢力が実効支配していたため、州知事・暫定州評議会はバマコで執務を行っていた。
マリ共和国の地方行政区画 現在の行政区画
未設置の9州についても国民議会で議論が行われ、2018年にネット上へ流出した文章では9州にグルマ州を加えた10州が挙がっていた。2020年の軍事クーデター後、軍事政権は20州のうち13州の州知事に軍人を任命したと報じられた。12月2付けで州知事に任命されたのはバマコを含めた17名で、シカソ州、セグー州、タウデニ州、グルマ州は掲載されていない。ニオロ州、キタ州、ディオイラ州、ナラ州、ブグニ州、クーティアラ州、サン州、ドゥエンツァ州、バンディアガラ州については圏や郡の創設する法案が存在せず、これらが無い状態であった（タウデニ州、メナカ州についてはN°2012-018で規定済み）。
なおSNS上では2020年11月末頃より「20州とバマコ特別区が存在する」という「新しい行政協定」が流布されているが、領土管理省は同行政協定は2008年の草案であり同省は何も発表していないと主張している。また「新しい行政協定」に「第20州」として掲載されているグルマ州は実際には存在せず、2023年3月時点でグルマ＝ラロー圏の住民が独自の州創設を要望している状態である。
2023年2月22日、新たな地方行政法が採択され、19州とバマコで構成されることが規定された。州は2012年の法案を踏襲しており、圏・郡が設置されていなかった9州にも新たに行政区画が設定された。
マリ共和国の地方行政区画 現在の行政区画
首都バマコは特別区として州と同等の扱いを受ける。2023年3月13日に公布された「バマコ特別区の地位に関する法案（N°2023-005）」によると、バマコ特別区は7つの行政区（Arrondissement）から成る。バマコ特別区には圏と郡は設置されていない。2023年までは7つのコミューンで構成されていたが、N°2023-005によってコミューンは廃され、単一の自治体へ移行した。
圏（cercle）は第二級行政区画で、幾つかのコミューンが集まって構成し、法人格が付与され独立した財政を有する自治体である。マリ共和国には圏が156存在している。圏議会議員はコミューン議員から選出され5年間の任期となっている。
圏には以下に示す業務を所掌している。
圏議会は、圏に関する全ての事項について意見を発することができ、国または州の開発プロジェクトの実現のために協議をしなければならない。
2023年に創設された圏の中には、住民が遊牧民であるため定住人口が極端に少ない「幽霊圏」の存在が指摘されている。
郡（地区とも、arrondissement）とは、圏とコミューンの間にあるが、圏やコミューンと異なり行政権および行政当局を持たない。これは、単に土地の境界として存在し、管理業務を円滑にするため区分されたものである。一部にはコミューンと郡が一致するところもある。
マリ共和国の地方行政区画 現在の行政区画
コミューン（Commune）は第三級行政区画で、国内に819のコミューンが存在している。これについて、都市となっている19の一級コミューンと684の新コミューン（18の都市的コミューンと666の農村コミューン）がある。
最初のコミューンは、フランス領スーダンにやってきたフランス人入植者によって確立される（1918年にバマコを皮切りに1955年にはガオでコミューンが成立している）。1992年、バナンバ、ニオノ、ディレ、ディオイラおよびバンディアガラでコミューンが成立する。
1996年11月4日のコミューン確立法に基づき、旧市街地区を含まない範囲を対象に新しい都市および農村コミューンとして再編成される。
コミューンは直接普通選挙によって選出されたコミューン議会によって運営される。コミューンの首長と議員は被選挙権を持つ地元民から選出され、コミューン事務局を形成する。コミューンの専門分野には児童教育、識字、一次健康管理や出産、地元の重要インフラストラクチャーの管理および環境を含んでいる。
フラクスィオン（Fraction）とは、主に村落に属する住居の断片を構成している。これは、遊牧生活と住居の不安定な形態のため見られるものであり、フラクスィオンはマリ北部で非常に多い。この地帯では、遊牧民達は村落または水源のそばに即座に設置して家族を代表する。他の地方においてフラクスィオンは生産活動のための自家設備（農業や畜産）が実際の姿である。このため、更に南の地方では、フラクスィオンは主に1970年から1973年と1985年に発生した旱魃の結果、北部地方から流入してきたフラニ族の居住者たちの間で作られている。
フラクスィオンはコミューンに含まれており遊牧民の人口を再編成する。
ムラマサ (ビデオ)
『MURAMASA ムラマサ』は、竹内力主演のオリジナルビデオのシリーズ。全12弾まで作られた。
ムラマサ (ビデオ) あらすじ
徳川幕府に迫害された者たちの怨念が宿った「妖刀ムラマサ」が過去の封印を破られ現代に蘇った。妖刀を再び封印すべく一人の剣士が立ち向かう。
ムラマサ (ビデオ) 登場人物
柳生 剣吾（やぎゅう けんご）
封印師
ムラマサ蜻蛉切り（とんぼきり）を所有している。
柳生十兵衛の流れを組む表柳生の末裔。悪しき本性に目覚めたムラマサを封印する役目を持った者。鼻の上に刀傷のような古傷がある。蜻蛉切りの使い手。常に冷静沈着だが、情に厚く非道を尽くす者は決して許さない。
普段は骨董屋「雨来屋」の店主
柳生十兵衛（やぎゅう じゅうべい）
柳生 宗厳（やぎゅう そうげん）
封印師
ムラマサ木霊（こだま）を所有している。
柳生 剣吾の父
霧生（きりゅう）
検備師
ムラマサ傀儡（くぐつ）を所有している。
楓牙 忠之（ふうが ただゆき）
検備師
童子切安綱（どうじきりやすつな)を所有している。※ムラマサではない
柳生 剣聖（やぎゅう けんせい）
検備師
ムラマサ孔雀（くじゃく）を所有している。
魁斗（かいと）
検備師
ムラマサ宝珠棍（ほうじゅこん）を所有している。
陣（じん）
検備師
幼い頃から静雷と行動と共にし、陰ながら警護をしている。
ムラマサ (ビデオ) 登場人物
真田 伸行（さなだ のぶゆき）
守護師
妹、幸子が守護継承者に納得せず、
親族を殺害し、ムラマサ陰縫いを奪い逃走
真田 幸子の兄
真田 幸子（さなだ ゆきこ）
守護継承者
ムラマサ陰縫い（かげぬい）を所有している。
島津 恍鬼（しまづ こうき）
守護継承者
ムラマサ陽炎（かげろう）を所有している。
風見 瞬（かざみ しゅん）
守護継承者
ムラマサ言霊（ことだま）を所有している。
鬼堂 恭介（きどう きょうすけ）
守護継承者
ムラマサ御雷（みかづち）を所有している。
神崎 楓（かんざき かえで）
守護継承者
ムラマサ土蜘蛛（つちぐも）を所有している。
道戒（どうかい）
守護継承者
里見 拓人（さとみ たくと）
守護継承者
ムラマサ鴉（からす）を所有している。
静雷（じんれい）
亜流の封印師
ムラマサ牙狼鬼（がろうき）を所有している。
嶽堂（がくどう）
葉月（はづき）
竜臥（りゅうが）
ムラマサ (ビデオ) ムラマサ一覧
ムラマサは、全部で49振り存在するといわれる剣。かつて徳川に仇なす剣として、徳川に迫害された者たちがこぞって所持したと言われている妖刀である。
ムラマサ蜻蛉切り（とんぼきり）
かつて本多忠勝が所持したとされる槍。四神獣の剣の一振り〈朱雀の剣〉。
普段は長煙管の形をしており、印と真言によって、鎧通し（短刀）、手槍へと形を変える。
火の力を宿しており、気を込めることにより太刀打の部分にあしらわれた蜻蛉を炎の鳥と化し飛ばすことができる。代々柳生の家系の封印師に受け継がれてきた。ムラマサとしての特性は「心を鎮める」。劇中では、相手から力を吸い取るような描写がある。陰縫いを刃に纏い、十文字槍の形に変化させることができる。
柳生家が守護するムラマサ
蜻蛉切り　鎧通し
相手の鎧を刺し通す為に作製された。短刀の一種
童子切り（どうじきり）
蜻蛉切り 一本槍
柄の部分に蜻蛉があしらわれている所からその名の由来
全長 : 六尺六寸
重さ : 四斤十一両
刃長 : 一尺一寸七分
元幅 : 一寸
蜻蛉切り 十字槍
蜻蛉切りと陰縫いが合わさった形
全長 : 七尺一寸
重さ : 四斤十三両
刃長 : 一尺五寸三分
元幅 : 一寸
ムラマサ陰縫い（かげぬい）
大小一位で護身刀の姿をしている。
攻撃する際には2本を使った接近戦、または2本を結合しブーメランの様に使用する。
ムラマサ (ビデオ) ムラマサ一覧
強力な閃光を放ち、敵の陰を暴くこともできる。後に蜻蛉切りの強化に使われる。
真田家が守護するムラマサ
(大) 全長 : 八寸九分
重さ : 一斤五両
刃長 : 四尺五分
元幅 : 一寸三分六厘
元重 : 一分七厘
刃重 : 三厘
(小) 全長 : 七寸四分
重さ    : 十一両八匁
刃長    : 三寸
元幅    : 一寸
元重ね  : 一分
刃重ね  : 三厘
ムラマサ陽炎（かげろう）
刀（又は太刀）の姿をしている。刀身に炎を纏うような描写がある。
守護者の姿を隠す能力、対する相手に幻覚を見せる能力。
守護者を模写した「陽炎人(かげろうびと)」で幻人を作り出す能力がある。
島津家が守護するムラマサ
全長   : 三尺四寸三分
重さ   : 二斤
刃長   : 二尺三寸三分
反り   : 六分七厘
元幅   : 一寸
元重ね : 二分三厘
刃重ね : 七厘
ムラマサ空蝉（うつせみ）
主無きムラマサ。元々は刀であったが、戦時中に拳銃（南部十四年式銃）に打ち直された。江戸時代（三代将軍家光の時代）には継承者もいた。ムラマサの中でも特に邪悪な存在である。
名の由来は蝉の抜け殻、実体が無い所からきている。
全長   : 230 mm
重さ   : 720 g
銃身長 : 120 mm
全高   : 150 mm
厚さ   : 27.5 mm
口径   : 8 mm
ムラマサ (ビデオ) ムラマサ一覧
装弾数 : 8 + 1 発
ムラマサ木霊（こだま）
蜻蛉切りと同じく、悪意無きムラマサ。普段は錫杖の姿をしており、結印し真言を唱えると、柄の双方に刃の着いた双身刀の状態になる。その名のごとく、相手の能力と同じ能力を発揮し、劇中では陽炎の力を写し取り、陽炎人と同様の「木霊人(こだまびと)」を作り出した。
全長   : 六尺五寸
重さ   : 四斤二両九匁
刃長   : 二尺三寸
元幅   : 六分三厘一寸
元重ね : 一分七厘
刃重ね : 七厘
ムラマサ言霊（ことだま）
四神獣の剣の1振り「青龍の剣」で、風の力を宿している。大きな戦輪のような形をしている。
攻撃力はあまり高くないが、使用者の言葉を具現化して発動することができる。また、離れた相手や、言葉が話せない者と会話をすることができる。ただし、力を使うと使用者の生命力を奪ってしまう。
名の由来は、言葉の霊威の事。
風見家が守護するムラマサ
直径    : 一尺一寸八分
重さ(一輪):一匁八両
刃長    : 二寸七分
元重ね  : 一分
刃重ね  : 六厘
ムラマサ童子切安綱（どうじきりやすつな）
名の由来は酒天童子を斬ったとされる古太刀。
楓牙家が所有するムラマサ
全長   : 三尺六寸
重さ   : 二斤十三両
刃長   : 二尺六寸七分
反り   : 九分
元幅   : 一寸
元重ね : 二分三厘
刃重ね : 七厘
ムラマサ (ビデオ) ムラマサ一覧
ムラマサ土蜘蛛（つちぐも）
四神獣の剣の1振り「玄武の剣」。ハサミの形をしているが2本の短刀として、両手に持って使用する。地の力を宿しており、地面に突き立て地割れを起こしたり、巨大なクモを出現させて敵を攻撃することもできる。
片刃ずつ神崎家と柳生家が封印していた。
名の由来は妖怪土蜘蛛からきている。
神崎家が守護するムラマサ。
全長   : 一尺一分
重さ(一対): 二斤
刃長   : 四寸五分
風蜘蛛（かぜぐも）
言霊と土蜘蛛が合体した剣。
烈火弾（れっかだま）
火薬弾。裏柳生カエデの土蜘蛛に飾られていた玉。岩を吹き飛ばすほどの威力
ムラマサ御雷（みかづち）
羅刹の刃の部分から作られている、刀の姿をしているムラマサ。その名の通り雷の力を持っている。当初は「白虎の剣」そのものであると思われていた。
雷を刀身の部分に蓄え放電する力がある。
名の由来は雷神の化身武甕槌神（たけみかづちのかみ）からきている。
鬼堂家が守護するムラマサ
全長   : 三尺五寸四分
重さ   : 一斤十二両
刃長   : 二尺三寸七分
反り   : 一分九厘
元幅   : 一寸
元重ね : 二分三厘
刃重ね : 七厘
ムラマサ傀儡（くぐつ）
印によって人の心を操ったり、死者を木偶人形として蘇らせることができる短刀。
その名から人を操ることが出来る。
使用者の思うままに操れる。
ムラマサ (ビデオ) ムラマサ一覧
名の由来は「かいらい」とも読むところからきている。
全長   : 一尺七寸
重さ   : 一斤八両
刃長   : 九寸五分
反り   : 三分三厘
元幅   : 九分三厘
元重ね : 一分七厘
刃重ね : 三厘
沓薙の剣（くつなぎのけん)
またの名を草薙剣（くさなぎのつるぎ）。傀儡と合体した剣。
ムラマサ鴉（からす）
金剛杵（こんごうしょ）の形をしている。
真言を唱える事で刀の様の変わる。
闇を司る鴉の力を持ち、昼を一瞬にして夜に変えることが出来る。
名の由来は八咫烏からきている。
里見家が守護するムラマサ
全長   : 三尺一寸三分
重さ   : 一斤十一両
刃長   : 二尺三寸
元幅   : 一分一分七厘
元重ね : 七分
刃重ね : 一分
ムラマサ宝珠棍（ほうじゅこん）
羅刹の柄の部分から作られたムラマサ。
短い状態から伸びて六尺棍の変形する。
名の由来は仏位の宝珠からきている。
(大)全長   : 六尺
重さ   : 二斤一両四匁
(小)全長   : 一尺
重さ   : 五両二匁
ムラマサ牙狼鬼（がろうき）
狼の牙をあしらった刃を持つムラマサ。
ムラマサの力を発散し結界を張ることが出来る。
名の由来は形状からきている。
村上家が守護するムラマサ
直径   : 八寸三分
重さ   : 二斤三両
刃長   : 七寸三分
元重ね : 一分四厘
刃重ね : 八厘
ムラマサ (ビデオ) ムラマサ一覧
ムラマサ孔雀（くじゃく）
通常はブーメランのような姿をしている。持ち主の意志に応じて姿を変え。劇中では弓、2振りの短刀に変化した。
大きな羽の様な刀身が特徴で相手の持つ能力を分散する力がある。未だに秘めた力があるらしい。
名の由来は密教に密接な関わりのある孔雀明王からきている。
全長   : 二尺三寸三分
重さ   : 三斤二両五匁
刃長   : 九尺三分
元重ね : 七厘
刃重ね : 三厘
ムラマサ羅刹（らせつ）
四神獣の剣の1振り「白虎の剣」。水の力を宿した薙刀。ある理由により2振りに分けられている。
ムラマサ黄龍（こうりゅう）
最強とされるムラマサ。当初は封印されており、四神獣の剣が全てそろうことにより封印を解くことができる。
ムラマサさざ波（さざなみ）
降魔の一振り。
ムラマサ武蔵拵え（むさしごしらえ）
降魔の一振り。宮本武蔵が所持していた刀。
ムラマサ葉隠れ（はがくれ）
ムラマサ鬼切丸（おにきりまる）
歴史上では、酒呑童子を倒した四天王の一人である渡辺綱が持っていた刀としてその名が伝えられている。
ムラマサ八頭の大蛇（やずのおろち）
ムラマサ伽夢威（かむい）
ムラマサ沓黄泉（くつよみ）
黄龍に対抗しうる力を持つとされるムラマサ。魂を浄化する能力を持ち、生者を傷つけることはできない。月黄泉と星黄泉を揃えると誕生するとされる。
ムラマサ月黄泉（つきよみ）
土岐の里で代々継承されてきたムラマサ。柄頭の部分が月の形をしている。
ムラマサ星黄泉（ほしよみ）
両側に月の形の刃の付いたムラマサ。
ムラマサ蜈蚣（むかで）
ムラマサ (ビデオ) 用語
封印師（ふういんし）
柳生一族、妖気に目覚めしムラマサを封じる一族
かつては将軍家の剣術師範を勤めていた大名家
時の幕府が妖気に目覚めた刀ムラマサを鎮めるため、彼らは封印師なる役人を創った。
彼らが使う力
封印術は一子相伝の技、継承者はただ一人。
検備師（けんびし）
封印師の一族
封印師を継承できなかった者たち
封印師を補佐し、守護師の動きを見張る為
日本各地に散っている
ムラマサが悪用される場合、即座に封印師に報告する。
守護師（しゅごし）
その家に代々伝わるムラマサを守り、子孫へ受け継いでいく一族
守護師とは一族の人間
自分の守護するムラマサの妖気を操る事が出来る。
守護継承者（しゅごけいしょうしゃ）
守護継承者とは継承される者
継承者は一人
ムラマサ (ビデオ) パチンコ台
2010年6月、本シリーズをモチーフにしたパチンコ機「CR竹内力のムラマサ」がニューギンより発売された。
Kay
Kay（カイ、ケイ） は名称の一つ。
下記のものを称すこともある。
レヒニッツ写本
レヒニッツ写本（レヒニッツしゃほん）は、未知の文字と書記体系で書かれた一連の文章。ハンガリーで発見されたことから正式名称は原義で「レヒニッツ市の写本」を意味するロホンツィ＝コーデクス（ハンガリー語: Rohonci-kódex ）という。他にもハンガリー語の古い綴りを用いて Rohonczi Codex と表記されることもあり、こちらの綴りの方がインターネット上では優勢であるが、この綴りは20世紀初頭に改変された現行のハンガリー語正書法では使われていない。
また、英語読みで「ローホンク写本」とも表記できるが、日本語ではまだ定訳がない。したがって、この項目では写本が発見された当時のハンガリー（ハプスブルク帝国）西部の都市ロホンツ（Rohonc）を現在の市名であるレヒニッツ（Rechnitz）と読むことにする。
レヒニッツ写本 沿革
少なくとも判明している限りでは、レヒニッツ写本の最初の所有者は、19世紀ハンガリーの貴族バッチャーニ・グスターフ伯爵である。バッチャーニ伯爵はこの写本を、他に伯爵が所有していた全ての蔵書とともにハンガリー科学アカデミーに寄贈した。この写本は、伯爵の蔵書が1838年まで置かれていたかつてのハンガリー西部（現在のオーストリア・オーバーヴァルト郡）に位置する都市、レヒニッツ市にちなみ、レヒニッツ写本と呼ばれるようになった。
ただし、この写本の正確な起源は不明である。判明している最も古い記録は、バッチャーニ伯爵家による1743年の蔵書目録にあるとされる。この目録の登記によると、「ハンガリー語の祈祷文・12折り判本1巻」とある。この判の大きさや想定されるページ数に鑑みると、写本の特徴と一致する。しかし、目録内にはこの一節しかなく、あくまで推量の範囲を出ない。
レヒニッツ写本 沿革
写本は1840年頃、まずハンガリー人学者のトルディ・フェレンツによって研究され、その後フンファルヴィ・パール（Hunfalvy Pál）に引き継がれたが、何も判明しなかった。オーストリア人で古文学の専門家・マール博士によっても調査されたが、徒労に終わった。チェコのプラハで共に大学教授をしていたヨセフ・イレチェク（Josef Jireček）とコンスタンティン・ヨセフ・イレチェク（Konstantin Jireček）の父子は、1884年から1885年にかけて写本の32ページ分（写本自体は全体で448ページある）を調査したが、何の成果もあげられなかった。写本は1885年、インスブルック大学の教授であるドイツ人研究者、ベルンハルト・ユルク（Bernhard Jülg）のもとにも送られたが、やはり暗号を解くことはできなかった。次にハンガリーの高名な画家、ムンカーチ・ミハーイ（Munkácsy Mihály）が写本をパリに持って行き、1890年から1892年にかけて調査に取り組んだが、やはり何も判明しなかった。
レヒニッツ写本 沿革
ハンガリー人学者の多くは、この写本をトランシルヴァニア系ハンガリー人の古物商であるリテラーティ・ネメシュ・シャームエル（Literáti Nemes Sámuel）による悪ふざけの産物（捏造）とみなしている。ネメシュはハンガリー国立図書館の共同創設者の1人でもあるが、同時に歴史的な贋作（がんさく）作家としても悪名高い。当時高名だった一部の学者ですらネメシュに騙されたという。ネメシュ贋作説の起源は1866年、ハンガリー人歴史家のサボー・カーロイ（Szabó Károly）による主張にまで遡る。サボーの後にも、1878年のフェイェールパタキ・ラースロー（Fejérpataky László）、1899年のトート・ベーラ（Tóth Béla）、1930年のピンテール・イェネー（Pintér Jenő）、1973年のチャポディ・チャバ（Csapodi Csaba）と、複数の研究家が恐らく贋作だろうとしている。
レヒニッツ写本 写本の保管場所
現在、写本はハンガリー科学アカデミーによって保管されている。写本を調査する際には特別な許可が必要となるが、マイクロフィルムによる写本のコピーが利用可能である。
レヒニッツ写本 特徴
レヒニッツ写本は、448枚の用紙（縦12センチ・横10センチ）で構成されており、それぞれのページには記号が9から14列ほど書かれている。この記号が何らかの文字なのか、それとも文字としての機能はないのかは判明していない。この記号列以外にも、宗教的あるいは世俗的もしくは軍事関係と見られる光景が描かれた87点の挿絵が含まれている。また、これらの挿絵には粗雑ながら十字架や三日月または卍などが至るところに描き込まれており、どうやらキリスト教徒やムスリム及び（仏教といったアジア系の）異教徒らが共存する場所が描かれているらしい。
写本の中で使われている記号の種類は、既知のどんなアルファベットの総数より約10倍以上は多い。しかし、一部の記号はめったに用いられていないことから、写本中の記号はアルファベットではないにしろ、日本語の仮名のような音節文字の一群（en:syllabary）か、もしくは漢字のようなものであろうとされている。また、文章が右揃えであることから、これらの記号列は右から左へと書かれたと考えられている。
写本に使われている用紙を調査した結果、これは1430年ごろに作られたヴェネツィア紙であることが分かっている。ただし、写本の内容自体はより古い書物から書き写されたものかもしれず、またヴェネツィア紙自体も製造されてからずっと後に使用されたものである可能性も否定できない。
レヒニッツ写本 言語と文字
写本に書かれている言語は不明である。候補として挙げられたものとしては、ハンガリー語やダキア語、初期ルーマニア語かクマン語があり、中にはブラフミー文字で書かれたヒンディー語であるという説まである。ただし、何の言語であるかといった証拠は全く見つかっていない。
この写本が間違いなくハンガリー語で書かれていると主張する人々は、写本中に書かれた記号が古代ハンガリー文字であるとみなし、ハンガリー版のルーン文字であるロヴァーシュ文字との類似性を見つけようとしている。その他の主張によると、ルーマニア・ドブロジャ地方にあるスキタイの修行洞に似たような文字が彫られているという。また、ギリシャ語で書かれたヴェスプレームヴェルジ女子修道院の設立勅許状との類似性を見出そうとする人々もいた。さらには、上記にもある通り、ブラフミー文字との関連性を主張する声もある。
レヒニッツ写本 言語と文字
写本中に書かれた記号の一覧を作成する試みは1889年、まずネーメティ・カールマーン（Némethi Kálmán）によってなされた。また、1970年にジュルク・オットー（Gyürk Ottó）が記号に関する最初の組織的研究を行った。ジュルクは記号列の反復を研究し、文章がどちらの方向から書かれているかを探ろうとした。その結果ジュルクは、記号列が「右から左かつ上から下へ」と書かれており、ページもまた「右から左」に向かって進んでいると主張している。また同時に写本のページ番号を識別した。晩年のジュルクによると、膨大な統計情報に基づく未発表の推論がまだ数多くあるのだという。
ロチュマーンディ・ミクローシュ（Locsmándi Miklós）は1990年代中盤、コンピュータを用いて記号列の解析を行った。ロチュマーンディはジュルクによる研究結果を確証し、他にも幾つかの発見をした。ロチュマーンディによると、アルファベットの「i」のように見える記号（右図参照）は、文章同士を区切る役割をしているという。また「i」は11を意味する記号か、あるいは数値の桁区切りにも使われている可能性があるという。ロチュマーンディは記号に付けられた発音区別符号のようなもの（主にドット符号）の研究も行ったが、規則性は見られなかった。そして写本の記号列内にハンガリー語の特徴である格語尾の形跡が見つけられなかったため、写本中に書かれている言語がハンガリー語である可能性はないだろうと結論付けた。
結果としてロチュマーンディは、2004年から2005年にかけての研究において「写本が捏造ではない」との確証を得るには至らなかった。ただし、記号列の規則性を鑑みて、「写本は全くデタラメな文章である」という説については否定した。
レヒニッツ写本 解読法
ハンガリー人のニーリ・アッティラ（Nyíri Attila）は、写本を2ページだけ研究した後、解読法を見出した。まず彼は写本を逆さまにひっくり返し、記号によく似た文字（アルファベット）を拾い出した。この際、同じ記号なのにもかかわらず異なる文字として音訳されていたり、異なる記号なのに同じ文字として音訳されることもあった。また記号をアルファベットに変換した後、意味のある単語とするために文字を並べ替えることもあった。このニーリによる一連の作業が仮に意味のあるものだとするならば、この記号列は宗教に関する文章、特に礼拝に関するものといえる。ニーリによる解読結果が掲載された書籍によると、写本の文章は次のように始まっている。
Eljött az Istened. Száll az Úr. Ó. Vannak a szent angyalok. Azok. Ó
汝の神は来たり。主は舞い上がる。おぉ、聖なる天使がおられる。天使らよ。おぉ。
レヒニッツ写本 解読法
ルーマニア人の言語学者ヴィオリカ・エナキュク（Viorica Enăchiuc）も写本の解読を試みた。エナキュクの解読によると、レヒニッツ写本はヴラフ人によるクマン人やペチェネグ人に対する戦いの記録であるという。このゆえに、写本に使われている言語は俗ラテン語や初期ルーマニア語の一種であるはずなのだが、結果としてルーマニア語には似ていなかった。エナキュク版解読文における序章の一節は以下のようになる。
Solrgco zicjra naprzi olto co sesvil cas
おぉ、燃える太陽よ、何が時を紡いだのかを記させ給え。
その他の解読法としては、インド人マヘーシュ・クマール・シン（Mahesh Kumar Singh）によるものが挙げられる。シンによると、レヒニッツ写本は、ある地方特有の綴りで記されたブラフミー文字で「左から右かつ上から下へ」と書かれているという。シンは、写本の最初から24ページ目までを音訳し、ヒンディー語の文章を取り出した上でハンガリー語に翻訳し直した。シンの解読文は、未知の聖書外典における冒頭部分といったような文章である。具体的には、まず瞑想的な雰囲気の序章から始まり、次にイエスが子どもだった頃の話へと続いていく。シンによる解読結果はハンガリー人の起源についての研究雑誌 Turán に掲載された。
ユーロウイングス
ユーロウイングス (Eurowings) はデュッセルドルフに本拠を置くドイツの航空会社。ルフトハンザグループの格安航空会社事業を担う。
ユーロウイングス 概要
1993年にニュルンベルク航空とRFGの2社の合併により創立した。
2001年にルフトハンザが株式の24.9%を取得、さらに2004年には49%に増加した。2005年には追加で1.0001%を割り当てられ経営権をルフトハンザが獲得した。そして2011年、ルフトハンザが全株式を取得し、ルフトハンザの完全子会社となった。
2015年10月には、親会社のルフトハンザによるグループ再編の一環としてLCCをユーロウイングスに一本化することを発表、ジャーマンウイングスをユーロウィングスに統合する方針を発表し、ルフトハンザグループのLCC部門を一手に担う事になった。
2015年から長距離路線の運航を開始したものの、長時間の遅延が多発し、利用客からは批判が噴出した。この対策としてルフトハンザはエア・ベルリンから路線網、人員、航空機リースの一部を引き継ぎ、その後ユーロウイングスの運営の一部とすることを検討していることが公表された。
ユーロウイングス 概要
2018年には長距離路線の拠点、および運航中の全長距離路線便をケルン・ボン空港からデュッセルドルフ空港に移管。2019年3月にはフランクフルト空港とミュンヘン空港からの長距離路線を導入すると発表したものの 、3か月後の6月には全ての長距離路線便を廃止、短距離路線便に力を入れることが発表された。廃止となった長距離便はルフトハンザやオーストリア航空など、他のグループ会社によって運航される。
2020年4月、COVID-19のパンデミックを受け、ユーロウイングスの大幅人員削減を発表。これにより、ユーロウィングスのブランドで運航していたジャーマンウイングスは完全に運航を終了した。
2021年初めには長距離便の運航を目的とした新会社であるユーロウイングス・ディスカバーを設立することを発表した。
高祖保
高祖 保（こうそ たもつ、1910年〈明治43年〉5月4日 - 1945年〈昭和20年〉1月8日）は、日本の詩人。
高祖保 略歴
1910年（明治43年）5月4日、岡山県邑久郡牛窓町（現：瀬戸内市）の素封家に生まれる。
1919年（大正8年）、前年の父の死去を機に分家し、母の実家がある滋賀県犬上郡彦根町（現：彦根市）の外馬場に移り住む。
彦根尋常高等小学校（現：彦根市立城東小学校）を卒業。
1928年（昭和3年）、滋賀県立彦根中学校（現：滋賀県立彦根東高等学校）を卒業。
1930年（昭和5年）12月、金沢の第九連隊第一中隊に、幹部候補生として入隊。
1932年（昭和7年）、母と別居し、國學院大学附属高等師範部に入学。
1933年（昭和8年）、第一詩集『希臘十字』を発表。
1936年（昭和11年）、國學院大学附属高等師範部を卒業し、叔父の経営する貿易商社に入社。
1937年（昭和12年）、結婚。叔父の死去にともない宮部姓を継ぎ、社長に就任。
高祖保 略歴
1941年（昭和16年）、第二詩集『禽のゐる五分間写生』を発表。
1942年（昭和17年）、第三詩集『雪』を発表。この翌年、同詩集は文藝汎論詩集賞を受賞。
1944年（昭和19年）、第四詩集『夜のひきあけ』を発表。陸軍少尉として応召され、南方戦線に送られる。第五詩集として準備していた『独楽』は未刊に終わった。
1945年（昭和20年）1月8日、ビルマ（現：ミャンマー）にて戦病死。享年34。墓所は多磨霊園。
1947年（昭和22年）、保の詩友、遺族らの手により『高祖保詩集』が刊行される。堀口大學は同書巻頭の悼詩において、その玲瓏な詩風を詩集『雪』にちなみ「『雪』の詩人」と評した。
モナド (プログラミング)
関数型プログラミングにおいて、モナドはプログラムを構造化するための汎用的な抽象概念である。対応したプログラム言語では、ボイラープレート的なコードでもモナドを使って除去することが可能となる。これはモナドが、特定の形をした計算を表すデータ型と、それに関する生成と合成の2つの手続きを提供することによって実現されている。生成は任意の基本型の値をモナドに包んでモナド値を生成する手続きであり、合成はモナド値を返す関数(モナド関数)たちを合成する手続きである。
広い範囲の問題をモナドを使うことで単純化できる。例えば、Maybeモナドを使えば未定義値への対処が簡単になり、Listモナドを使えばリストに入った値を柔軟に扱うことができる。複雑に組み合わさった関数は、モナドを使えば、補助データの管理や制御構造や副作用を除去した簡単なパイプライン構造に置き換えることができる。
モナド (プログラミング)
モナドの概念や用語は圏論から来ている。圏論においては、モナドは追加の構造を持つ関手として定義されている。1980年代の後半に研究され始め、1990年代前半には、一見無関係な計算機科学上の問題がモナドによって統一的で関数的にモデル化できることが分かってきた。圏論はモナドの満たすべき形式的な条件を与え、これはモナド則と呼ばれている。モナド則はモナド的なコードの形式的検証にも使用可能である。
ある種の計算では、その計算の意味をモナドで明確に表現できることを利用して、プログラム言語の便利機能の実装にモナドを使うことができる。Haskellのように、標準ライブラリですでに汎用のモナド構造といくつかのインスタンスを定義している言語もある。
モナド (プログラミング) 歴史
プログラミングにおけるモナドの概念は1980年代のプログラム言語Opal (プログラミング言語)に見られるが、このときは「コマンド」と呼ばれ形式化はされなかった。
1991年にEugenio Moggiはプログラムの構造化でモナドを初めて汎用的に使用した。この成果を元に、Philip WadlerやSimon Peyton Jonesといったプログラム言語の研究者(二人ともHaskellの言語仕様に取り組んでいた)により実装が行われた。初期のバージョンのHaskellは問題の多い「遅延リスト」を用いた入出力を使っていたが、Haskell 1.3からは遅延評価により柔軟に合成可能なモナドによる入出力が導入された。
入出力に加えて、プログラム言語研究者とHaskellのライブラリ設計者は構文解析器やインタープリタにモナドを適用することに成功した。Haskellのdo記法に現れる性質から、モナドの概念はapplicative functorとarrowへと一般化された。
長い間、Haskellとその派生だけがプログラミングにおけるモナドの主な利用者であった。最近では、F#がコンピュテーション式または「ワークフロー」と呼ばれる機能を導入した。これは、命令型プログラムしか経験のないプログラマにもなじみやすい構文を使ったモナド的構成を提供しようという試みである。
モナド (プログラミング) 動機付けと例
プログラム言語Haskellはモナドを多用する関数型の言語であり、簡単にモナドの合成ができるような構文糖衣を持っている。特に指定がない限り、この記事のコード例はHaskellで書かれている。
モナドの紹介として一般的なふたつの例 Maybe モナドと I/O モナドを取り上げる。もちろん、モナドはHaskellに限られたものではないので、JavaScriptでの Writer モナドの例もその次に扱う。
オプション型 Maybe a を考えよう。これは型 a の値をひとつ持つか、全く持たないかのふたつの状態を表現する型である。これらを区別するために、二種類の代数的データ型構成子を持つ。Just tはひとつの値tを保持し、Nothingは値を何も保持しない。
この型を使って検査例外の簡単なものを作ってみたいとする。計算の途中で失敗した場合は、残りの計算は飛ばして結果Nothingを返し、すべての計算が成功した場合は何か値xを保持したJust xを返すことにする。
モナド (プログラミング) 動機付けと例
以下の例では、addはMaybe Int型のふたつの引数を受け取って、同じ型の結果を返す。mxとmyがともにJustである場合は、これらの値の和をJustに入れて返したい。もし、mxとmyのどちらかがNoneだった場合は、Nothingを返したい。こういった振る舞いをする関数を単純に実装しようとしたら、「if Nothing then Nothing else Just xのxに何かする」の形の場合わけを複数ネストすることになり、すぐやっかいなものになる。
これを楽にするための、各計算を繋げる演算子を定義することができる。二項演算子 bind (>>=) は失敗する可能性のある計算の結果を、もうひとつの失敗する可能性のある計算へ連鎖する。最初の引数が Nothing だった場合は、二番目の引数(関数引数)は無視されて、単に計算全体が失敗する。もし、最初の引数が Just x だった場合は、この値 x は二番目の関数引数に渡されて、この関数の結果として新しい Maybe の値が返される。これは Just な値か失敗かのどちらかになる。
計算の状態に影響を与えずに値を投入する構築子は、Just がすでにそうなっている。
これらを使うことで、上の例は次のように書ける。
さらにdo記法という構文糖衣を使うことで、次のように書くことができる。
モナド (プログラミング) 動機付けと例
この種の操作は頻出なので、Haskellの標準関数(liftM2)が用意されている。これはふたつのモナド的な値(ここでは、ふたつのMaybe)と、その中身(ふたつの数値)を組み合わせる関数(加算)を受け取る関数であり、上の例は次のように書ける。
(上記のdo記法を使ってliftM2の定義を書いてみよう)
Haskellのような純粋関数型言語では関数が外部から観測可能な作用をもつことは、関数の意味から外れることになるため許されない。しかし、関数が直接副作用を起こすのではなく、求める副作用を記述する値を構築して返し、呼び出した側が適当な時に実行することは可能である。Haskellの記法では、型 IO a の値がこのようなアクションを表現していて、実行されたときには、型 a の何らかの値を生成する。
IO型の値は「現在の世界の状態を引数に取り、関数の返り値として変化した状態を持つ新しい世界を返す」という意味でアクションとみなすことができる。例えば、関数 doesFileExist と removeFile は次の型を持つ関数である。
モナド (プログラミング) 動機付けと例
removeFile は関数としては、FilePath を引数にとり、ある IOアクションを返す。このアクションが実行されると世界を、この場合はファイルシステムを FilePath という名前のファイルの存在しないものに変更する。この場合は、IO の持っている値は () 型の値なので、なにも結果は生成されず、呼び出し側はこれを気にする必要はない。一方で、doesFileExist の場合は、関数の返す IOアクションはブール型の値、True または Falseを包んでいて、概念的には、アクションが実行されたときのファイルシステムに FilePath という名前のファイルが存在したかどうかを呼び出し側が知っているという世界の状態を表現している。アクションからアクションへと世界の状態を渡して管理するこの方法により、決まった順序で状態を変化させていくアクションの列を定めることが可能となる。この過程は時相論理において宣言的な命題のみで時間の経過を表現する手法と似ている。以下の例ではプログラム内のアクションを連鎖する方法の詳細を再び Haskell を使って明らかにする。
モナド (プログラミング) 動機付けと例
基本的な種類の入出力操作、標準出力に文字列を書く、標準入力から文字列を読む、ファイルの読み書き、ネットワーク越しのデータ送信等をすべて記述できるようにしたい。さらに、これらのプリミティブを組み合わせて大きなプログラムを作れる必要もある。例えば次のように書けることが望ましい。
この直観的な記法はどのように形式化できるだろうか？このためには各入出力アクションに対して、いくつかの基本的な操作を実行できる必要がある。
ふたつの入出力アクションをひとつにできなければならない。Haskellでは、中置演算子 >> を用いて、putStrLn "abc" >> putStrLn "def" と書き、コンソールに二行の文字列を表示するひとつのアクションである。演算子 >> の型は IO a → IO b → IO b であり、ふたつの入出力アクションを引数に取り、順番に実行するひとつのアクションにまとめて返す。
モナド (プログラミング) 動機付けと例
さらに、最初のアクションの結果に基づいて次に実行するアクションを決める必要がある場合がある。Haskellでは、演算子 >>= (bindと読む)を使い、型は IO a → (a → IO b) → IO b である。左側のオペランドは型 a の値を返す入出力アクションであり、右側のオペランドは左側のアクションの生成した値に応じて次に実行する入出力アクションを選択する関数である。結果は、最初のアクションを実行しその値を関数に渡した評価結果をアクションとして実行し、最後にこのアクションの結果を返す合成されたひとつのアクションとなる。
Haskellのこの演算子を使った例は getLine >>= putStrLn であり、これは標準入力から一行文字列を読み込み、それをそのまま標準出力に書き出す。最初の演算子 >> は単にこの演算子の特別な場合である。最初のアクションの結果は無視され、二番目のアクションは常に同じである。
これらの3つの演算子をプリミティブな入出力操作として「いかなるプログラムでも」書けるかというのは、データ変換(ラムダ式使う)やif式やループを含めたとしても自明であるとは言いがたい。上の例は長い式を使って次のように書ける。
bind 演算子の持つパイプライン構造により、getLine と putStrLn の命令はそれぞれ一度だけ、書いた順序で評価され、入力ストリームから文字列を取り出して、出力ストリームに出力する副作用は関数型パイプラインの中でも正しく実行される。これは言語が関数をアウト・オブ・オーダー実行や遅延評価する場合でも成立する。
明らかに入出力の定義とMaybeの定義は共通の構造を持っているが、異なっている部分も多い。上述した構造や他のよくある似たような多くの構造の抽象化である。モナドの一般化された概念は、計算の一部が副作用を発生させるにもかかわらず、純粋関数的な計算として実行したくなるようなあらゆる状況を包含している。
モナド (プログラミング) 形式的定義
モナドは、元となる型システムが与えられたとき、その内部に対応する型システム(モナド的型システムと呼ぶ)を埋め込む構成である(つまり、各モナド的型は元のシステムの型でもある)。このモナド的型システムは元の型システムの重要な点は全て保存するが、モナドに固有の特徴を追加する。
モナドは複数の方法で定義できる。そのうちの1つは「モナドとは、ある法則（モナド則）を満たす三つ組みである」 で表される定義である。すなわち圏論のクライスリ圏におけるクライスリトリプルである。
三つ組は以下の要素からなる。
型構築子Mは、ある型 x から派生した型を得る方法を定める。得られる型はしばしば M x で表記される。
unit関数（ return とも）は型 x の引数を型 M x の返り値にうつす関数である。すなわちunit 関数は型 x の値をモナド型 M x の値へうつす多相な関数である。引数値変換の有無は定義されない（一般には値を変換せずに保持する（例:入力 1 =>出力 Maybe(1)）。
bind関数（ >>= とも）は「モナド的値」と「値をモナド的値へうつす関数」を引数にとり、第1引数のモナド的値を第2引数関数の値域へうつす。
モナド (プログラミング) 形式的定義
三つ組 {M, unit（return）, bind（>>=）} をモナドと成す規則をモナド則という。以下がモナド則である。
公理を do 記法で表現することもできる。
また、モナド合成演算子
を使うと
Haskellではモナドを return と bind 関数を用いて定義するが、return にふたつの演算子 join と fmap を加えることでも定義可能である。この定式化は圏論における元のモナドの定義により近くなる。fmap 演算子は型 (t→u) → M t→M u を持ち、ふたつの型間の関数を受け取って、モナドの中の値に「同じこと」をする関数を返す。join 演算子は型 M (M t)→M t を持ち、二層になったモナド的な情報を平らにしてひとつにする。
ふたつの定式化は以下の関係を持つ。
ここで、m は M t、n は M (M r)、f は t → u、g は t → M v の型を持つ。t、r、u、v は元の型である。
モナドでなくても、型と関数からなる圏では fmap 関数は任意の函手に対して定義できる。函手は次の法則を満たす。
モナド (プログラミング) 形式的定義
同じ圏で、return は基点付き函手を特徴付ける。これは値を函手の中に「持ち上げる」ことによる。満たすべき法則は次の通りである。
さらに、join によってモナドが特徴付けられる。
加法的モナドは、モノイド則を満たす二項演算子 mplusとその単位元としてモナド的な値 mzero を備えたモナドである。演算子 mplus の型は M t → M t → M t であり(ここで、M はモナドの構築子であり t は元の型である)、結合律と左右からの単位元律を満たす。
このことから、加法的モナドはモノイドでもある。>>=に対しては、mzeroはヌル要素として振舞う。ゼロを掛けるとゼロになるように、mzero と関数を bind すると結果はゼロとなる。
同様に、モナド的な値 m とつねにゼロを返す関数を bind すると、結果はゼロである。
直観的には、モナド的値としてのゼロはモナドに関連した構造だけを持ち元の型の値を持たない。Maybe モナドでは、「Nothing」がゼロである。リストモナドでは、空リストがゼロである。
モナド (プログラミング) 構文糖衣: do記法
bind 演算子 >>= を直接使ってプログラムを書くのがよい場合もあるが、典型的にはdo記法 (OCamlでは perform記法、F#ではコンピュテーション式)を使用し、命令型言語のような見た目にできる。コンパイラはdo記法の式を >>= を使ったものに変換する。例えば
を変換した結果は以下となる。
リストモナドの実装を見てみよう。リストにマップを行い結合を行う(平らにする)この関数は concatMap とも呼ばれる。
よって、以下のような変形が行われて、それぞれの式はすべて等価である。
リスト[1..2]は使われないことに注意しよう。左矢印をつけないことで、連鎖した関数は引数を無視するように変換されて、値ではなくモナド的な構造だけが問題になることを示すことができる。例えば、状態モナドで値を生成せずに状態だけを変化させるようなときに使われる。do記法は >>= の単なる構文糖衣であるので、どんなモナドに対しても使うことができる。
Maybeモナドの値を安全に割り算する以下の定義も等価である。
同様にF#ではコンピュテーション式を使うことができる。
このmaybeブロックは構文糖衣であり、以下の式に変換される。