hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
TLA+ 言語
ほとんどの仕様では、活性の表明は必要ない。安全性特性だけでモデル検査とシステム実装の両方に対して事足りる。
TLA+はZFに基づいているため、変数の操作にはセット操作が含まれる。言語には、集合元、和集合、共通部分集合、差集合、べき集合、および部分集合演算子が含まれる。 ∨ 、 ∧ 、 ¬ 、 ⇒ 、 ↔ 、 ≡などの一階述語論理演算子、および全称記号および存在記号∀と∃も含まれている。ヒルベルトのεは、任意の集合要素を一意に選択するCHOOSE演算子として提供される。実数、整数、自然数の算術演算子は、標準モジュールから利用可能である。
時相論理演算子はTLA+に組み込まれている。時間式では を"Pが常に真である"を意味し、 を "Pが最終的に真となる"を意味するという使い方をする。演算子は結合されは"Pが無限に頻繁に真である"を意味する、またはは、"最終的にPは常に真になる"という意味となる。他の時相演算子には、弱い公平性と強い公平性が含まれる。弱い公平を表すWFe（A）は、アクションAが連続して（つまり絶え間なく）有効になっている場合、それが最終的に実施される事を意味する。強い公平を表すSFe(A)アクションAは、（中断の有無にかかわらず、繰り返し）継続的に有効になっている場合は、それが最終的に実施される事を意味する。
TLA+ 言語
ツールからのサポートはないが時相論的な存在記号と全称記号はTLA+に含まれている。
ユーザー定義の演算子はマクロに似ている。演算子は、ドメインが集合である必要がないという点において関数とは異なる。たとえば、集合のメンバーシップ演算子は、そのドメインとして集合の圏を持つが、これはZFCでは有効な集合ではない（その存在はラッセルのパラドックスにつながるため）。再帰的で匿名のユーザー定義演算子がTLA+2に追加された。
TLA+の基本的なデータ構造とは集合である。集合は、明示的に列挙されるか、演算子を使用するか、 {x \in S : p} （pはxの条件）または{e : x \in S} （eはxの関数）を使用して他の集合から構築される。一意の空集合は{}として表される。
TLA+ 言語
TLA+の関数は、ドメイン内の各要素集合に値を割り当てる。 [S -> T]は、定義域集合Sの各xについて、Tにf [x]を持つすべての関数の集合である。例えばTLA+関数Double[x \in Nat] == x*2 とは集合 [Nat -> Nat]の一要素であるため、 Double \in [Nat -> Nat]はTLA+の真のステートメントである。関数は、一部の式e [x \in S |-> e]を使用するか、既存の関数を変更することによっても定義される[f EXCEPT ![v 1 ] = v 2 ] 。
レコードはTLA+の関数の一種である。レコード[name |-> "John", age |-> 35]は、フィールドnameとageを持つレコードであり、 r.nameやr.ageでアクセスされ、レコードの集合[name : String, age : Nat]に所属する。
タプルはTLA+に含まれている。 <<e 1 ,e 2 ,e 3 >>は明示的に定義されるか、標準のシーケンスモジュールの演算子で構成される。タプルの集合は、デカルト積によって定義される。たとえば、自然数のすべてのペアの集合は、 Nat \X Natとして定義される。
TLA+ 標準モジュール
TLA+には、一般的な演算子を含む一連の標準モジュールがある。それらは構文アナライザーで配布される。 TLCモデルチェッカーは、パフォーマンスを向上させるためにJava実装を使用する。
標準モジュールはEXTENDSまたはINSTANCEステートメントでインポートされる。
TLA+ ツール
統合開発環境はEclipseの上に実装されている。これには、エラーとシンタックスハイライトを備えたエディターに加えて、他のいくつかのTLA+ツールへのGUIフロントエンドが含まれる。
IDEはTLAツールボックスで配布される。
TLCモデルチェッカーは、不変性プロパティをチェックするためのTLA+コードの有限状態モデルを構築する。 TLCは、仕様を満たす初期状態のセットを生成し、定義されたすべての状態遷移に対して幅優先探索を実行する。すべての状態遷移がすでに検出された状態につながると、実行は停止する。 TLCがシステム不変条件に違反する状態を検出すると、TLCは停止し、問題のある状態への状態トレースパスを提供する。 TLCは、組み合わせ爆発を防ぐためにモデルの対称性を宣言する方法を提供する。また並列計算状態探索ステップを並列化し、分散モードで実行して、ワークロードを多数のコンピューターに分散させる事もできる。
TLA+ ツール
徹底的な幅優先探索の代わりに、TLCは深さ優先探索を使用するか、ランダムな動作を生成できる。 TLCはTLA+のサブセットで動作する。モデルは有限で列挙可能でなければならず、一部の時相演算子はサポートされていない。分散モードでは、TLCは活性特性をチェックすることも、ランダムまたは深さ優先の動作をチェックすることもできない。 TLCは、コマンドラインツールとして、またはTLAツールボックスにバンドルされて利用できる。
TLA+ ツール
TLA+プルーフシステム（TLAPS）は、TLA+で記述されたプルーフを機械的にチェックする。これは、Microsoft Research - INRIA Joint Centerで開発され、並行アルゴリズムと分散アルゴリズムの正確性を証明する。証明言語は、特定の定理証明者から独立するように設計されており、証明は宣言型で記述され、複数の個別の義務として変換されバックエンドの証明者に送信される。主なバックエンドの証明者はIsabelleとZenonであり、 SMTソルバーCVC3 、 Yices 、およびZ3定理証明者にフォールバックする。 TLAPSプルーフは階層構造になっているため、リファクタリングが容易になり、非線形開発が可能となる。前のすべてのステップが検証される前に、後のステップで作業を開始でき、難しいステップはより小さなサブステップに分解される。モデルチェッカーは検証が開始される前に小さなエラーをすばやく見つけるため、TLAPSはTLCとうまく連携する。同様にしてTLAPSは、有限モデル検査の機能を超えるシステムプロパティを証明できる。
TLAPSは現在、実数による推論も、ほとんどの時間演算子もサポートしない。 IsabelleとZenonは通常、算術証明の義務を証明できないため、SMTソルバーを使用する必要がある。  TLAPSは、ビザンチンPaxos 、Memoirセキュリティアーキテクチャ、およびPastry分散ハッシュテーブルのコンポーネントの正当性を証明するために使用されている。
これは他のTLA+ツールとは別に配布され、BSDライセンスの下で配布されるフリーソフトウェアである。  TLA+2は、プルーフコンストラクトの言語サポートを大幅に拡張した。
TLA+ 業界での使用
Microsoftでは、TLA+で仕様を作成する過程で、 Xbox 360メモリモジュールに重大なバグを発見した。  TLA+は、ビザンチンPaxosおよびPastry分散ハッシュテーブルのコンポーネントの正式な証明を作成するために使用された。
アマゾンウェブサービスは2011年からTLA+を使用している。TLA+モデル検査によってDynamoDB 、 S3 、 EBS、および内部分散ロックマネージャーでバグを発見。一部のバグには、35ステップの状態トレースが必要であった。モデル検査は、積極的な最適化を検証するためにも使用された。さらに、TLA+仕様は、文書化および設計支援としての価値があることを確認した。
MicrosoftのAzureは、TLA+を使用して5つの異なる一貫性モデルをもち世界規模に分散したデータベースであるCosmos DBを設計した。
イ・ジョンハ
イ・ジョンハ（朝: 이정하、1998年2月23日 - ）は、韓国の俳優。ナムアクターズ所属。
イ・ジョンハ 来歴
子供の頃からダンスと歌が好きで、中学生の頃、JYPエンターテインメントにスカウトされ、練習生をしていたが周りとの実力の差を感じて退社した。その後、俳優が多く所属する芸能事務所のナムアクターズに入る。練習生の機会から逃げた後悔とアイドルになりたいという想い、そして事務所の勧めもあって、2017年にKBS2で放送されたサバイバルオーディション番組「The Unit～アイドル再起プロジェクト」に挑戦した。最終順位は19位とデビューすることはできなかった。
俳優デビュー作は、2017年に配信されたウェブドラマ「심쿵주의（→シムクン（胸キュン）注意）」である。2018年には「やめろと言われると余計にやりたくなる19」でマ・テヒ役を、2019年には「여행담（→旅行談）」や「フレッシュマン：アウトサイダーのインサイダー挑戦記」と数多くのウェブドラマに出演した。
イ・ジョンハ 来歴
2019年、地上波ドラマに初出演した。MBC「新米史官ク・ヘリョン」で末っ子史官のキム・チグク役を演じ、2020年にはJTBC「それでも僕らは走り続ける」でイム・シワン演じるキ・ソンギョムの後輩キム・ウシク役を、2021年にはJTBC「わかっていても」でハン・ソヒ演じるユ・ナビの後輩キム・ウナン役を演じた。
2021年、制作費500億ウォン規模の大作ドラマ「ムービング」の主人公にキャスティングされ、劇中の潜在的能力者であるキム・ボンソク役を演じた。
イ・ジョンハ 出演
・It's Okay  (2023年)
・Victory  (2024年)
徐湛之
徐 湛之（じょ たんし、義熙6年（410年）- 元嘉30年2月21日（453年3月16日））は、南朝宋の文官。字は孝源、小字は仙童。父は徐逵之で、母は武帝劉裕の長女の会稽公主劉興弟。宋の司徒を務めた徐羨之の兄の徐欽之の孫にあたる。
徐湛之 生涯
父の徐逵之は義熙11年（415年）に東晋の旧皇族であり北魏に亡命した司馬休之の討伐軍を率いるも敗死し、徐湛之は幼くして父を失った。そのため祖父にあたる劉裕から目を掛けられ、劉裕の五男の江夏王劉義恭らと共に常に劉裕の側に滞在し、永初3年（422年）には枝江県侯に封じられている。徐湛之は元嘉6年（429年）に太子洗馬に任じられたのを皮切りに、南彭城郡太守・沛郡太守・侍中・奮威将軍・驃騎将軍などの要職を歴任した。
徐湛之は当時権勢を振るっていた劉裕の四男の劉義康や、建国の功臣である劉湛（宗室の劉氏との血縁関係は記録されていない）らと親交を持った。しかし、後に劉湛が文帝の命により捕らえられて処刑されると、深く関わりのあった徐湛之も文帝の粛清の対象となった。徐湛之が文帝の姉でもある母の劉興弟に助命の申し出を嘆願すると、劉興弟は武帝がまだ一兵卒として貧窮の生活を送っていた時期に着用していた衣服の切れ端を文帝の目の前で叩きつけ、「これは我々の母上が、父上に対して手ずからお編みになったものです。我が一族は代々貧しくとも謙虚な暮らしを送ってきたのに、富貴になった途端に自分の家族までも手に掛けようというのですか！」と叫んだ。これを聞いた文帝は、徐湛之を放免せざるを得なかった。
徐湛之 生涯
元嘉22年（445年）、劉義康の取り巻きである孔熙先・范曄らが文帝を廃して劉義康を擁立すべく動いた際、母の劉興弟の喪に服している最中だった徐湛之は、この計画を伝えられると当初は賛同したが、後にこの計画を朝廷に密告した。しかしその内容が不明確であり、徐湛之自身も一度は関与していた事が発覚したため、有罪とされ官位を剥奪された。しかし母の喪が明けると再び官職を回復させ、また広陵城内に多くの施設を建設し文化人を招いて娯楽に耽った。
元嘉27年（450年）、文帝が北魏の討伐の開始を計画すると徐湛之はこれに賛同し、これによりこの北伐に反対した将軍の沈慶之を説き伏せるよう命じられた。しかしこの北伐は大失敗に終わり、逆に南朝宋の都の建康の目前にまで進軍を許す大失態となった。
元嘉30年（453年）2月、文帝が皇太子の劉劭を廃する意向を固めると、これを知った劉劭が弟の劉濬と共に事変を起こした。その夜、文帝と共に談義を行っていた徐湛之は、侵入してきた武装した劉劭の兵達によって文帝共々暗殺された。享年44歳の事であった。その後、劉劭を討伐したその弟の劉駿（孝武帝）が皇帝に即位すると、徐湛之は名誉を回復され忠烈公と諡された。
Stories (Ms.OOJAのアルバム)
『Stories』（ストーリーズ）は、Ms.OOJAのEP。2018年10月24日、Universal Sigmaから発売された。
Stories (Ms.OOJAのアルバム) 概要
「Stories」はMs.OOJAと5人の女性著名人との対談を元に、それぞれの物語が描かれた5曲が収録されたコラボレーションEP。
M.OOJAが同じ時代を生き抜く5名の女性著名人とメッセージを紡ぎ、歌詞を共作した5曲が収録された。5人それぞれとの対談の内容は特設サイトに書き起こされ、Youtubeに動画がアップされた。
貫地谷しほりとMs.OOJAとの出会いは共通の知人を介した約1年前の食事会がきっかけで、プライベートでも仲良くなり、今回のコラボレーションに至った。共作詞した「星をこえて」はミュージックビデオが制作され、貫地谷しほりも出演した
真矢みきとMs.OOJAとの出会いは真矢みきが宝塚歌劇団として出演したテレビ番組「水曜歌謡祭」であったが、個人的に親しくなるきっかけとなったのは遊助のライブで偶然隣り合わせたことだった。
Stories (Ms.OOJAのアルバム) 概要
浅尾美和とMs.OOJAとの出会いは同じ三重県出身のバドミントン選手小椋久美子を介してであった。
近藤くみことMs.OOJAは同じ三重県四日市市出身、中学校は別々だったが同学年でソフトテニス部であったため、ソフトテニスの大会で何度も顔を合わせた旧知の仲だった。上京後再会してからの縁が今回の共作に至った。
井上麻矢とMs.OOJAとの出会いは、井上麻矢の著書「夜中の電話――父・井上ひさし 最後の言葉」をMs.OOJAが読んだことがきっかけだった。
「星をこえて」は中部電力「全力の電力。」CMソングに使用された。
アルバムジャケットは女性アートディレクターの川岸涼子が担当した。
財務省総括審議官
財務省大臣官房総括審議官（ざいむしょうだいじんかんぼうそうかつしんぎかん、英: Deputy Vice-Minister for Policy Planning and Coordination）は、財務省の官職のひとつである。財務省大臣官房に置かれた局長級の職である。
財務省総括審議官 沿革
1983年6月10日に大臣官房を担当する審議官を昇格させたものとされており、当時の組織令では「命を受けて、大蔵省の所管行政に属する特に重要な事項についての調査、企画、立案及び総合調整に関する事務を総括整理する。」とされている。つまり「総括整理」の部分が普通の大臣官房を担当する審議官と異なる点とされた。2001年1月6日の中央省庁再編により、財務省とともに総務省も発足。総務省に次官級の総務審議官が置かれたため、各省の総務審議官は「総括審議官」へと改称した。
財務省総括審議官 所掌
総括審議官（総務審議官）の役割は省によって異なるが、財務省（大蔵省）の場合は公定歩合の上げ下げについて日銀との間で調整するものとされている。公定歩合は通常日銀の専管事項であり、財務省（大蔵省）は関与できないこととなっている。しかし、財務省（大蔵省）の財政政策は日銀の金融政策と密接な関係を持っているため、情報交換の必要があるとされている。総括審議官（総務審議官）の下には総合政策課（旧：調査企画課）が置かれている。
大蔵省組織令（1983年6月10日）
財務省組織令（2020年3月31日）
田母沢御用邸付属邸
田母沢御用邸付属邸（たもさわごようていふぞくてい）は、かつて栃木県日光市にあった御用邸の付属邸である。建物は解体され、現在は宿泊施設が建つ。
田母沢御用邸付属邸 概要
田母沢御用邸から田母沢川を挟んだ一角に1916年（大正5年）に新築された大正天皇第四皇子澄宮の御殿である。ほかの親王や内親王も使えるように御用邸付属邸としても使用された。皇室独特の雁行造りで、桂離宮にも似ていた。
戦後は国民宿舎としての使用を目的とし栃木県に借用され、主に修学旅行生の宿泊に用いられていた。1948年（昭和23年）6月、後述の日光国立公園観光会社に引き継がれる。1954年（昭和29年）4月、御用邸本邸が「日光田母沢本館」と称されたので「田母沢別館」に改称
付属邸時代の建物は老朽化により1978年（昭和53年）に取り壊され、翌1979年（昭和54年）に鉄筋コンクリート3階建てが新築された。その後は田母沢会館（1987年に日光田母沢ホテルと改称）として使用されていたが、2006年（平成18年）に閉業し、2008年（平成20年）に建物は取り壊された。
田母沢御用邸付属邸 日光国立公園観光株式会社
県策会社として、資本金1,000万円のうち栃木県が40%出資し、皇室財産から物納されて国有財産となった日光の3御用邸（田母沢御用邸、田母沢御用邸付属邸、日光御用邸）を栃木県を通して借受、旅館・ホテルを運営する会社として1948年（昭和23年）6月に設立された。1948年に栃木県観光協会から御用邸本邸を田母沢本館、付属邸を田母沢別館として宿泊業の運営を引き継いだほか、山内の個人所有の別荘（現・明治の館）を借り受け外国人専用宿泊施設として営業開始、1949年には千手が浜と光徳の野営場および湯元のスキーロッヂの営業開始、1950年（昭和25年）には日光駐車場（現・日光市営西参道駐車場）を県から借受し営業、1955年（昭和30年）に御用邸本邸の一角に動植物や昆虫の標本などを展示していた日光国立公園博物館の経営受託。1963年（昭和38年）に東武鉄道傘下となった。御用邸本邸は、1996年に国に返還した。
田母沢御用邸付属邸 現在
東武鉄道が土地を所有し、ヒューリックとカトープレジャーグループにより高級旅館「ふふ日光」として2020年10月2日開業した。
クロアチアの国立公園
クロアチアの国立公園（クロアチアのこくりつこうえん、クロアチア語：Nacionalni parkovi Hrvatske）では、クロアチアの国立公園に関して記述する。
クロアチアの国立公園 概要
クロアチアには444の保護地域があり、国の9％を占めている。その中には、クロアチアの8つの国立公園、2つの厳正保護地域、11の自然公園が含まれる。クロアチアで最も有名な保護地域であり、最も古い国立公園は、ユネスコの世界遺産にも登録されているプリトヴィツェ湖群国立公園である。ヴェレビト山脈自然公園は、ユネスコの「人間と生物圏計画」の一部である。厳正保護地域、国立公園、自然公園は中央政府によって管理および保護されており、その他の保護地域は郡によって管理されています。2005年には、EU加盟の準備とナチュラ・ネットワーク（Natura 2000）への参加の最初のステップとして、国立環境ネットワークが設立された。
国内のすべての国立公園の総面積は、994平方キロメートルに達し、そのうち235平方キロメートルは海面である。
各国立公園は自然保護・空間開発機構により監督され、維持されている。各州の自然保護研究所は、一元化された監視と専門知識を提供する。
クロアチアの国立公園 一覧
以下に、クロアチアの国立公園を、その名称またはその元になった関連日本語記事があるものを中心に、あいうえお順に列挙する。
メチルピリジニウム
メチルピリジニウム(Methylpyridinium)は、ピリジンをN-メチル化した第四級アンモニウムカチオンである。コーヒー製品に含まれる。焙煎前のコーヒー豆では見られないが、焙煎により、前駆体のトリゴネリンから生成する。特に大腸癌に対する抗発癌物質の性質を持つ可能性があり、研究が行われている。
メチルピリジニウム イオン液体
N-メチルピリジニウムの塩化物は、溶融状態中でのイオン液体として振る舞う。塩化亜鉛の様々な混合物での性質は、150-200℃の範囲で、多くの研究者により調べられている, , , 。
名和美代児
名和 美代児（なわ みよじ、1937年9月2日 - ）は、日本の漫談家。東京演芸協会の相談役も務める。
名和美代児 略歴
東京都江東区出身。ラジオ東京のしろうと寄席で落語を演じ、連続20週合格。素人名人位を獲得。1962年声帯模写で、プロに転向。浅草松竹演芸場で初舞台を踏む。司会者としても活躍しており、水前寺清子、三橋美智也、村田英雄、大月みやこ、二葉百合子の専属司会者で東奔西走。
パーラー吉松
パーラー吉松（パーラーよしまつ、1955年3月18日 - ）は、東京演芸協会所属の漫談家。本名は、吉松秀一。主に、プロレスの実況中継、大相撲の力士の形態模写、世界の民族舞踊をレパートリーとしている。
パーラー吉松 略歴
福岡県北九州市出身。専修大学経営学部経営学科卒業。1977年大学卒業後は、福岡県警に就職するも、自分の夢実現のため、退職。1978年上京し浅草松竹演芸場にて司会者として修業。1982年模写漫談としてスタート。1983年歌手大川栄策の専属司会となる。1984年ハワイNBCホールに出演。1989年東京演芸協会所属となる。
田原しげる
田原 しげる（たばら しげる、1944年3月1日 - ）は、声帯模写を得意とする芸人。東京都出身。
田原しげる 人物
1964年浅草松竹演芸場にてデビュー。元東京演芸協会理事。主なレパートリーとして美川憲一、森進一、奥村チヨがある。また、競馬の実況中継もレパートリーとしており、ハイセイコーから現在のレースまで面白おかしく実況する。2004年には、東京演芸協会の伏見知か志、名和美代児、原一平、ぶるうたすの5人で、ものまねキングスを結成。
ルイ＝フィリップ・クレパン
ルイ＝フィリップ・クレパン（Louis-Philippe Crépin、1772年 - 1851年11月26日）は、フランスの画家である。1830年にテオドール・ギュダンとともに最初のフランス海軍公式画家（Peintre officiel de la Marine）となった。
ルイ＝フィリップ・クレパン 略歴
パリで生まれた、4年間、水兵として操舵手(Helmsman)や艢楼手(gabier)を経験した後、画家を目指し、クロード・ジョセフ・ヴェルネに海洋画、ユベール・ロベールに風景画を学んだ。1796年にパリの展覧会にブレスト港の艦隊を描いた作品を出展した。
フランス復古王政の海事・植民地大臣になったローラン・グーヴィオン＝サン＝シールから1817年に、政府の海洋画家として働くことを依頼され、その職についたが、フランスの海軍提督の公式画家にアンブロワーズ・ルイ・ガルヌレが任命され、クレパンの得ていた地位は権威のないものになっていた。
58歳になった1830年に、新たに設けられたフランス海軍公式画家(Peintre officiel de la Marine)にテオドール・ギュダンと選ばれることができた。その年、若いウジェーヌ・イザベイ(1803-1883)とレオン・モレル＝ファティオ(Léon Morel-Fatio:1810-1871)とともにアルジェリア侵略を行ったフランス軍の活動を描きために、アルジェリアに派遣された。1836年まで海洋画家として活動した。
ルイ＝フィリップ・クレパン 略歴
代表作には1798年のフランス軍艦 ラ・バヨネーズ(La Bayonnaise)とイギリス軍艦アンバスケイド(HMS Ambuscade)の戦いを描いた作品で、1801年のパリのサロンに出展され、1834年までサン・クルー城に飾られた後、最終的に国立海軍博物館 (Musée national de la Marine) に収蔵されている。
結城林蔵
結城 林蔵（ゆうき りんぞう、1866年－1945年）は、明治・大正・昭和期にかけての日本の写真技術家（製版術・写真工芸）。
結城林蔵 出生と青年期
『幕末明治の写真師 総覧』によれば、新潟県六日町（現在の南魚沼市）の出身である。昭和9年版（1934年）の『日本人事名鑑』記載の「結城林蔵」の項によれば、慶応2年2月（西暦1866年3月下旬または4月上旬）新潟県の久保田勘治の二男として出生し、明治19年（1886年）同県農業学校を卒業。結城義節の養子となり養父義節の二女とめと結婚して（養子・結婚の時期は不明）結城家の家督を明治28年（1895年）に相続している。
結城の卒業した新潟県農業学校がいかなるものかは不明。因みに、旧制新潟県立農林学校は1903年の創立とされていて該当しない。ところが、『幕末明治の写真師 総覧』によれば、1984年（明治17年）18歳の頃に、長岡町（現在の長岡市）に移転してきた県営農業試験所兼農業教育機関である「新潟勧農場」に入学、卒業後の1888年（明治21年）に参謀本部陸地測量部に入り、そこで写真および製版技術を習得したとある。また、同『総覧』によれば、新潟勧農場とは、後の新潟県農学校（農業学校ではない）であり、現在の新潟県農業総合研究所であると紹介している。
結城林蔵 経歴
1900年、当時蔵前にあった東京高等工業学校（現東京科学大学理工学系）で写真技術を講じ、東京高等工業学校助教授の身分で1902年11月29日より1905年3月25日まで、文部省留学生としてドイツおよびオーストリアで写真技術を学ぶ。
帰国後、東京高等工業学校教授を経て、1914年、上野の東京美術学校（現東京藝術大学）に写真製版科が新設されたのに伴い、同校教授同科科長に就任する。エッチングなどの指導を行った。同年、東京写真研究会審査員となる。
1923年、小西写真専門学校（現東京工芸大学）設立に当たって初代校長に就任する。
やかまし村はいつもにぎやか
『やかまし村はいつもにぎやか』（やかましむらはいつもにぎやか、原題: Bara roligt i Bullerbyn）は、1952年に出版されたアストリッド・リンドグレーンによる児童書である。『やかまし村』シリーズの3作目。
訃報 1979年
訃報 1979年（ふほう 1979ねん）は、1979年（昭和54年）中に物故した人物をまとめたものである。詳細は月別訃報記事を参照のこと。
訃報 1979年1月
訃報 1979年1月（ふほう 1979ねん1がつ）では、1979年（昭和54年）1月中に物故した、又は物故が報じられた人物についてまとめる。
訃報 1979年3月
訃報 1979年3月（ふほう 1979ねん3がつ）では、1979年（昭和54年）3月中に物故した、又は物故が報じられた人物についてまとめる。
訃報 1979年4月
訃報 1979年4月（ふほう 1979ねん4がつ）では、1979年（昭和54年）4月中に物故した、又は物故が報じられた人物についてまとめる。
訃報 1979年2月
訃報 1979年2月（ふほう 1979ねん2がつ）では、1979年（昭和54年）2月中に物故した、又は物故が報じられた人物についてまとめる。
訃報 1979年5月
訃報 1979年5月（ふほう 1979ねん5がつ）では、1979年（昭和54年）5月中に物故した、又は物故が報じられた人物についてまとめる。
訃報 1979年6月
訃報 1979年6月（ふほう 1979ねん6がつ）では、1979年（昭和54年）6月中に物故した、又は物故が報じられた人物についてまとめる。
八戸市立白銀小学校
八戸市立白銀小学校（はちのへしりつ しろがねしょうがっこう）は、青森県八戸市大字白銀町にある公立小学校。
訃報 1979年7月
訃報 1979年7月（ふほう 1979ねん7がつ）では、1979年（昭和54年）7月中に物故した、又は物故が報じられた人物についてまとめる。
訃報 1979年8月
訃報 1979年8月（ふほう 1979ねん8がつ）では、1979年（昭和54年）8月中に物故した、又は物故が報じられた人物についてまとめる。
訃報 1979年9月
訃報 1979年9月（ふほう 1979ねん9がつ）では、1979年（昭和54年）9月中に物故した、又は物故が報じられた人物についてまとめる。
訃報 1979年10月
訃報 1979年10月（ふほう 1979ねん10がつ）では、1979年（昭和54年）10月中に物故した、又は物故が報じられた人物についてまとめる。
X-57 (航空機)
NASA X-57 マクスウェル（英語: NASA X-57 Maxwell）は、アメリカ航空宇宙局（NASA）によって開発されている実験用航空機であり、燃料効率、排気ガスおよび航空機の騒音公害を削減する技術を実証することを目的としている。
X-57 (航空機) 開発
この実験では、イタリア製のツインエンジンのテクナムP2006T（従来の4人乗り軽飛行機）の翼を、それぞれが電動プロペラを備えた分散型電気推進（DEP）翼に交換する。テスト飛行は当初、2017年に開始する予定であった。
最初のテストフェーズでは、18エンジンのトラックに取り付けられた翼を使用する。第2段階では、地上および飛行試験の経験のために、標準のP2006Tにクルーズプロペラとモーターを取り付ける。フェーズ3では、高揚力DEP翼が使用され、高速巡航効率の向上が実証される。最先端のナセルが取り付けられるが、高揚力プロペラ、モーター、コントローラーは取り付けられない。フェーズ4では、DEPモーターと折りたたみ式プロペラを追加して揚力増強を実証する。
最先端の非同期プロペラテクノロジー「Leading Edge Asynchronous Propeller Technology （ LEAPTech ）」プロジェクトは、各航空機の翼の端に沿って配置された個々の小さなプロペラを駆動する多くの小さな電気モーターを含む実験的な電気航空機技術を開発するNASAプロジェクト。性能を最適化するために、各モーターは異なる速度で独立して動作し、化石燃料への依存を減らし、航空機の性能と乗り心地を改善し、航空機の騒音を低減する。
X-57 (航空機) 開発
2014年に、LEAPTechプロジェクト開始された。NASAラングレー研究センターとNASAアームストロング飛行研究センターの研究者が、2つのカリフォルニア企業、カリフォルニア州ピズモビーチの経験的システム航空宇宙「Empirical Systems Aerospace（ESAero）」とカリフォルニア州サンタクルスのジョビー・アビエーション「Joby Aviation」と提携した。ESAeroはシステム統合と計装を担当する元請業者であり、Jobyは電気モーター、プロペラ、および炭素繊維翼セクションの設計と製造を担当している。
2015年、NASAの研究者は31 ft (9.4 m)スパン、炭素複合翼セクションをリン酸鉄リチウム電池を動力源とする18個の電気モーターで地上試験を行った。
カリフォルニアのセントラルコーストにあるオセアノカウンティ空港で、1月に時速40マイルまでの予備テストが行われた。2015年後半に、特別に改造されたトラックに搭載され、エドワーズ空軍基地の乾燥した湖底を時速70マイルでテストした。
X-57 (航空機) 開発
この実験は、NASAの革新的な航空の概念プログラムの下で提案されたX-57MaxwellXプレーンデモンストレーターに先行する。テクナムP2006Tの翼とエンジンを、改良版のLEAPTechの翼とモーターに交換した後、操縦されたXプレーンは、数年以内に飛行する予定である。既存の機体を使用することで、エンジニアはXプレーンのパフォーマンスを元のP2006Tと簡単に比較することができる。
X-57プロジェクトは、2016年6月16日にNASA長官であるチャールズ・ボールデンによって米国航空宇宙学会（AIAA）の航空2016年博覧会での基調講演で公開された。飛行機はスコットランドの物理学者ジェームズ・クラーク・マクスウェルにちなんで名付けられた。
NASAの10年以上ぶりのXプレーンは、NASAのNew Aviation Horizons initiativeの一部であり、最大5機の大型航空機も生産する。X-57は、カリフォルニア州アームストロング飛行研究センターでの4年間の開発期間にわたってSCEPTORプロジェクトによって建造され、最初の飛行は2017年に最初に計画されていた。
X-57 (航空機) 開発
Xperimentalによって構築された、クルーズに最適化された翼面荷重テストは、2019年9月までに、設計荷重制限の±120％まで完了し、操縦翼面の自由な動きとフラッター予測のための振動テストを検証した。モーターの接地が実行された後、ESAeroは10月の第1週に、元のピストンエンジンに代わる電気モーターを備えたMod IIXプレーンをカリフォルニアのNASAアームストロングフライトリサーチセンターに納入する予定であったESAeroは2019年10月2日に配信した。当時、システムの地上試験は2019年末までに開始され、飛行試験は2020年の第3四半期に開始される予定であった。
2021年2月までに、NASAは、カリフォルニア州エドワーズのアームストロング飛行研究センターで、タクシーテストと初飛行に向けてMod2高電圧機能地上テストを開始する予定。
X-57 (航空機) 設計
テクナムP2006Tから改造されたX-57は、翼の前縁に取り付けられたプロペラを駆動する14個の電気モーターを備えた電気航空機である 。14個の電気モーターはすべて離着陸時に使用され、巡航時には外側の2個のみが使用される。追加のモーターによって作られた翼上の追加の気流は、より大きな揚力を生成し、より狭い翼を可能にする。この航空機は2人乗り。航続距離は100 mi (160 km)および最大飛行時間は約1時間。175マイル毎時 (282 km/h)で軽飛行機を飛行するのに必要なエネルギーを5分の1に削減する考えでピストンエンジンからバッテリー電気への切り替えにより、3分の1の削減が実現する可能性がある。
分散推進は、飛行機のエンジンの数を増やし、サイズを小さくする。電気モーターは、同等の出力のジェットエンジンよりも大幅に小型で軽量である。これにより、それらを異なるより有利な場所に配置することができる。この場合、エンジンは翼の下に吊るすのではなく、翼の上に取り付けて翼に沿って分散させる必要がある。
開発費が高額なゲーム一覧
この記事は開発費が高額なゲーム一覧である。
訃報 1979年11月
訃報 1979年11月（ふほう 1979ねん11がつ）では、1979年（昭和54年）11月中に物故した、又は物故が報じられた人物についてまとめる。
訃報 1979年12月
訃報 1979年12月（ふほう 1979ねん12がつ）では、1979年（昭和54年）12月中に物故した、又は物故が報じられた人物についてまとめる。
二ノ宮秀明
二ノ宮 秀明（にのみや ひであき、1951年2月13日 - ）は、日本の実業家。三菱ロジスネクスト取締役会長や、日本産業車両協会会長などを歴任した。
二ノ宮秀明 人物・経歴
東京都八王子市出身。東京都立立川高等学校を経て、1974年一橋大学社会学部卒業、三菱重工業入社。2002年三菱重工業汎用機・特車事業本部経営管理総括部長。2003年三菱重工業汎用機・特車事業本部副事業部長。2003年三菱キャタピラーフォークリフトアメリカ社代表取締役社長。2007年三菱重工業執行役員。
2009年ニチユ顧問。同年ニチユ専務取締役。2010年ニチユ管理本部担当管理本部長。2011年ニチユ代表取締役社長。2013年ニチユ三菱フォークリフト代表取締役社長。2015年ニチユ三菱フォークリフト代表取締役社長CEO。
2016年には産業革新機構からユニキャリアホールディングスを買収して寡占化が進むフォークリフト業界で世界3位のグループとして営業強化を進め、2017年にはユニキャリア代表取締役社長CEO、三菱ロジスネクスト取締役会長を兼務。2019年日本産業車両協会会長。2020年三菱ロジスネクストシニアアドバイザー。京都工業会常務理事、京都商工会議所議員なども務めた。
イタリアの人口統計
イタリアの人口は2021年の時点で59,169,131人であった。これは世界25位にあたり、欧州連合ではドイツ、フランスに次ぐ3位である。
イタリアの合計特殊出生率は世界的にみても低位である。1977年以降は人口置換水準から大きく下がっており、1995年には史上最低の1.19を記録した。21世紀以降、移民の流入の影響などもあり回復傾向に向かったものの、2020年の数値は1.24であり依然として非常に低い。平均寿命の長さも相まってイタリアの高齢化率は23.5%に達し、日本に次いで世界2位の高さである。1993年以降は死亡数が出生数を上回る人口の自然減が続いている。
外国人人口は2019年時点で5,225,503人で、総人口の8.5%を占める。このうち83％が経済的に発展した北部に住んでいる。
イタリアの人口統計 主要な都市
最大の都市は首都ローマである。州別で最も人口が多いのはロンバルディア州であり、経済の中心地ミラノを州都とする。都市人口比率は70%であり、先進国の中では比較的低い割合である。
ゲルトルート・フォン・ホーエンベルク
ゲルトルート・フォン・ホーエンベルク（Gertrud von Hohenberg, 1225年ごろ - 1281年2月16日）は、ローマ王ルドルフ1世の妃。アンナ・フォン・ハプスブルクともいわれる。
ゲルトルート・フォン・ホーエンベルク 生涯
ゲルトルートはホーエンベルク伯ブルクハルト5世とその妃メヒティルト・フォン・チュービンゲン（チュービンゲン宮中伯ルドルフ2世の娘）との間の長女である。シュヴァーベンのホーエンベルク伯家はツォレルン家から早くに分かれた家であった。
1253年ごろ、ゲルトルートはアルザスでルドルフ・フォン・ハプスブルクと結婚し、それから20年の間、ゲルトルートはシュタイン城伯妃であった。1273年10月1日、フランクフルト・アム・マインにおいて選帝侯は全員一致でルドルフをローマ王に選出した。アーヘンにおける戴冠式の後、ゲルトルートはアンナと名乗った。
1281年、ゲルトルートは死去した。ゲルトルートはバーゼル大聖堂を自らの埋葬地として指定していた。コルマールの年代記作者は、ゲルトルートの埋葬の準備と遺体保存の状況について次のように記述している。「内臓が遺体から取り除かれ、腹腔には砂と灰が詰められた。その後遺体はオイルクロスで覆われ、絹の服を着せられた。ヴェールを被せられた頭は金の鎖で飾られた。そして王妃はブナ材で作られた棺に入れられ、腕は胸の上で組まれた。王は棺が鉄製の帯で閉じられる前に最後に王妃と面会した。」葬列は1281年3月20日にバーゼルに到着した。「3人の司教が儀式を執り行った。棺が縦に安置され、蓋は開かれて参列者は再び王妃を見ることができた。」
ゲルトルート・フォン・ホーエンベルク 墓所
ゲルトルートと末子カールの棺はバーゼル大聖堂の聖歌隊席の通路に安置されている。1356年の地震の後、ゲルトルートとカールの墓は聖歌隊席の左側に改葬された。その改葬の後、1510年に最初にバーゼルの司祭らにより墓が開けられた。王冠、指輪とネックレスは取り除かれた。その後1770年に再び墓が開かれ、ゲルトルートと息子カールおよびハルトマンの骨はザンクト・ブラジエン修道院に移された。現在ゲルトルートらはケルンテンのラヴァントタールにあるザンクト・パウル修道院に埋葬されているが、慰霊碑がバーゼルに残されている。
ゲルトルート・フォン・ホーエンベルク 子女
ルドルフ1世とのあいだに、以下の子女を含む6人の息子と8人の娘をもうけた。
鄭益昕
鄭 益昕（テイ エキキン、ラテン翻記・Zheng Yixin、1995年5月6日 - ）は、中華人民共和国の女子バレーボール選手である。中華人民共和国代表。
鄭益昕 来歴
福建省漳州市出身。2013年にアンダーカテゴリーの代表としてU-20世界選手権に出場し、金メダルを獲得した。2015年にシニア代表に初選出されると同年のワールドグランプリに出場した。アジアカップ（2016年、2018年）、2017年グラチャン、2019年ワールドカップで金メダルを獲得した。2019年モントルーバレーマスターズでは代表チームの主将を務めた。
鍋島信太郎
鍋島信太郎（なべしま のぶたろう、1892年3月28日 - 1973年8月22日）は、日本の数学者・数学教育学者。
鍋島信太郎 人物・来歴
和歌山県橋本市出身。和歌山県師範学校予備科卒、東京高等師範学校卒、東京高等師範学校教授、1949年東京教育大学教授。1956年定年退官、日本数学教育学会名誉会員。
爆骨少女ギリギリぷりん
『爆骨少女ギリギリぷりん』（ばっこつしょうじょギリギリぷりん）は、柴山薫による日本の漫画作品。『月刊少年ジャンプ』（集英社）にて1996年3月号から『月刊少年ジャンプ極上』2000年春号まで連載された（一部は『月刊少年ジャンプオリジナル』に掲載）。コミックスはジャンプ・コミックスから、全7巻。
各話の話数は「〇th.HOLD」と表されている。
爆骨少女ギリギリぷりん あらすじ
プロレスラーに憧れる白鳥萌留は、メディア業界に多数の卒業生を輩出しているスター養成高校「マルチメディア学園」のプロレス養成コースに志願した。しかしその可愛い容姿から芸能コースに入学させられる事になる。そこでは現校長の下で教師たちによるセクハラが横行していた。萌留はプロレス衣装に着替え、「ホワイティスワン」を名乗って教師に関節技（サブミッション）をかけて成敗するが、その様子を見たクラスメイトの真田武太に「ギリギリぷりん」と名付けられた事で、ギリギリぷりんとして学園に名前が通ってしまう。教師がセクハラするたびに鳥の羽と共に登場して教師を成敗するギリギリぷりんに、現校長は次々に刺客を投入していく。
爆骨少女ギリギリぷりん 登場人物
白鳥 萌留（しらとり もえる）
プロレスラーに憧れる少女。「マルチメディア学園」のプロレス養成コースに志願したが、優れた容姿から校長によって芸能コースに編入させられる。容姿端麗でスタイル抜群、胸も大きい。身長163cm、スリーサイズはB83・W57・H86、体重46kg、血液型はB型。非常に身体能力が高く、プロレスラー以上の強さで、大男には力負けする事が多いが、怒りが極限に達して強烈な力を発揮する事もある。スポーツ筋肉の世界的権威に「芸術的」な筋肉であると評されている。
教師によるセクハラがあると、正体がばれないようにカツラなどを着用して、複数の白い鳥の羽が舞うのと同時に「純白のサブミッションエンジェル ホワイティスワン」と名乗って参上し、関節技をかけるなどして倒していく。しかしその際はたいてい服が破かれるなど、いやらしい姿にさせられてしまう。関節技をかける際に豊満な胸に相手の腕を押し付けたりするため、技をかけた相手が喜んでしまいがち。また、その様子から「ギリギリぷりん」と名付けられてしまう。
武太の事がだんだん気になる様になり、徐々に距離が近づいていく。
爆骨少女ギリギリぷりん 登場人物
真田 武太（さなだ むた）
萌留のクラスメイトの少年。プロレスコースにいたが、下心から芸能コースに編入した。萌留に惚れ、距離を徐々に近づけていく。プロレスコースにいてタイトル保持者でもあったため相応の格闘の実力があり、時にギリギリぷりんと共に敵を倒す。萌留が技をかけた痴漢が「ギリギリ」「ぷりん」と話したのを聞いたことや、萌留が教師に技をかけている様子を見た生徒が「ギリギリいってる」「おっぱいのぷりんとしたところは気持ちよさそー」と言っているのを聞いた事で、ホワイティスワンに「ギリギリぷりん」と名付け、以後その名前が学園に定着してしまう。
姫川 愛子（ひめかわ あこ）
萌留と同じ芸能コースに所属し、アイドルを志望している。メガネを着用し、内気で、バストはAカップ。萌留と相部屋で、寝ぼけた萌留にプロレス技をかけられてしまうこともある。
上水流 千穂（かみずる ちほ）
萌留と同じ芸能コースに転入してきた少女。グラビアモデルもしている美人。ショートカットで身体能力が高く、活動的で、軽々しく男性とキスするなどかなり開放的な面もある。
爆骨少女ギリギリぷりん 登場人物
校長
マルチメディア学園の校長。下心が強く、学園を私物化してセクハラを主導しているため、教頭に学園の行く末を心配されている。常に何かの被り物を被っているため素顔が分からない。セクハラに尽力しつつ、セクハラを邪魔するギリギリぷりんの排除にも努めているが、ことごとく失敗している。あくまでもスケベなだけで根は悪人では無く、生徒や学園が危機に陥った際はギリギリぷりんと何度か共闘するエピソードもある。離婚歴あり。
バディ・内諏（バディ・ないす）
武術が達者な日系アメリカ人。27歳。スタイル抜群の美人で、萌留を超える巨乳の持ち主。
音楽の教師として着任し、校長の策でギリギリぷりんと戦う事になるが、ギリギリぷりんの味方となる。水泳が得意。
景浦 美輝（かげうら みき）
プロレスコースの少女。以前は太っていたが、人間離れした特訓を続けて体重を絞り、男子と練習するほどに実力をつけた。学園が芸能コースに注力しプロレスコースを見放しつつあったところ、その原因はギリギリぷりんにあると考えてギリギリぷりんを敵視する。
爆骨少女ギリギリぷりん 書誌情報
柴山薫『爆骨少女ギリギリぷりん』集英社〈ジャンプ・コミックス〉、全7巻
1996年8月2日発売、ISBN 4-08-872111-X
1996年12月2日発売、ISBN 4-08-872112-8
1997年4月4日発売、ISBN 4-08-872113-6
1997年8月4日発売、ISBN 4-08-872114-4
1998年2月4日発売、ISBN 4-08-872523-9
1999年2月4日発売、ISBN 4-08-872677-4
2000年7月4日発売、ISBN 4-08-872891-2
イザベル・ド・ブルゴーニュ
イザベル・ド・ブルゴーニュ（フランス語：Isabelle de Bourgogne, 1270年 - 1323年8月）、イザベラ・フォン・ブルグント（ドイツ語：Isabella von Burgund）またはエリーザベト（ドイツ語：Elisabeth）は、ローマ王ルドルフ1世の2番目の妃。
イザベル・ド・ブルゴーニュ 生涯
イザベルはブルゴーニュ公ユーグ4世とその2番目の妃ベアトリス（ナバラ王テオバルド1世の娘）との間の次女である。
イザベルは1272年にフランドル伯ロベール3世の息子シャルル（1266年 - 1277年）と婚約した。しかし、1277年にシャルルは死去した。
1284年2月6日、イザベルはローマ王ルドルフ1世の2度目の妃となった。イザベルは14歳であったのに対し、ルドルフは65歳であった。2人の間に子供は生まれず、1291年7月15日にルドルフは死去した。ルドルフの死後、オーストリア公領はルドルフ1世と最初の妃ゲルトルートとの間の息子アルブレヒト1世とルドルフ2世が継承した。
イザベルは夫の死後ブルゴーニュに戻り、1294年11月20日にヴュー・シャトー領主の地位を与えられた。
1306年、イザベルはノフル領主ピエール9世・ド・シャンブリー（1319年頃没）と再婚した。ピエール9世との間にヌフル領主ジャンヌをもうけた。
バッドガイズ
『バッドガイズ』（原題: The Bad Guys）は、アーロン・ブレイビーの同名の児童文学シリーズを原作とした、2022年の3Dコンピュータアニメーション・クライム・コメディ映画。第50回アニー賞でキャラクターデザイン賞(長編アニメ部門)を受賞。
ミスター・ウルフが率いる悪名高き怪盗集団バッドガイズが、逮捕後、模範的な市民として更生を試みるふりをするが、ミスター・ウルフが新たな悪党の計画によって純粋に道を変えようとしていることに気づくというストーリー。
製作は2018年に開始された。キャラクターとテーマは、『オーシャンズ』シリーズ、『ルパン三世』『パルプ・フィクション』『BEASTARS』などのさまざまなクライム映画やアニメシリーズからインスピレーションを得ており、アニメーションスタイルは、ソニー・ピクチャーズ アニメーションの『スパイダーマン:スパイダーバース』からインスピレーションを得ている。DWA・グレンデールで製作が開始され、いくつかの追加の製作費用は、ジェリーフィッシュ・ピクチャーズから借りられ、声の収録は新型コロナウイルス感染症の世界的流行のためにリモートで行われた。
バッドガイズ
2022年3月16日から数カ国で公開され、アメリカでは4月22日に2DとRealD 3Dのフォーマットで公開された。アニメーション、脚本、ユーモア、声優など、批評家からは概ね好評を博した。全世界で2億5千万ドルの興行収入を記録し、2022年のアニメ映画で5番目に高い興行収入を記録した。
バッドガイズ あらすじ
カリフォルニア州、ロサンゼルスのとある街で、ミスター・ウルフが率いる悪名高き怪盗集団バッドガイズは、銀行強盗を成功させるといつものように警察を煽りながら逃走していた。
バッドガイズ あらすじ
アジトに帰ると金庫破りの達人であるウルフの親友スネークの誕生日を、近接戦を得意とするピラニア、天才ハッカーの紅一点タランチュラ、変装の達人シャークと祝うが、スネークは乗り気ではなかった。一同が今回の強盗に関するニュースを見ると、街の知事である狐のダイアン・フォクシントンは彼らのやり方を時代遅れと挑発した。スネーク、シャーク、タランチュラ、ピラニアが憤慨するなか、ウルフは美術館で開催されるパーティーに乗り込み、名だたる怪盗が盗めなかったお宝である黄金のイルカを盗む計画を立て、それを実行する。それぞれが着実に役割をこなしていく中、ウルフは自分の出番が来るまで来客達から金品をひったくっていたが、一人の老婦人のハンドバッグからお金を取ろうと手を伸ばした矢先に、老婦人は階段から落ちそうになってしまう。しかし、偶然ウルフがバックの持ち手を掴んだことで大事にならずに済むが、老婦人から褒められた嬉しさのあまり尻尾を振ってしまう。ピラニアの助けもあり、黄金のイルカが展示されている部屋の入り口の警官を無力化することができたウルフとスネークは警備システムをタランチュラにハッキングしてもらい、無事盗み出すことに成功し、会場から出ようとするも、街の為に貢献したとして金のイルカを授与されるはずだったマーマレード教授が、ざわめく観客達に善についての話を始め、その話を聞いたウルフが再度尻尾を振ってしまい、変装がバレて警察に捕まってしまう。しかし、護送車に乗せられる寸前にウルフはマーマレード教授にバットガイズをグッドガイズにする実験を提案。スネーク達は困惑するも、ウルフは良い奴になれば誰も自分たちが悪事をやっても疑わないと説明し、一同は納得した。減刑を条件に実験を開始するも、この実験の裏で世界を脅かす巨悪の陰謀が動いているのだった。
バッドガイズ 製作
2017年7月22日、オーストラリアの『ザ・デイリー・テレグラフ』は、アーロン・ブラビーの児童文学シリーズ『バッドガイズ』の長編映画化に複数のスタジオが興味を示していると報じた。2018年3月、ドリームワークス・アニメーションは、本シリーズを原作とする映画の製作を発表し、イータン・コーエンが脚本を担当することになった。翌年10月には、本作が長編作品デビューとなるピエール・ペリフィルが監督を務め、コーエンとヒラリー・ウィンストンが共同で脚本を担当することが報じられた。本作は、「『シュレック』がおとぎ話に、『カンフー・パンダ』がカンフーにしたのと同じように、クライムというジャンルにひねりを加えている」と評された。新型コロナウイルス感染症の世界的流行の際には、スタッフは遠隔で作業を行った。2021年7月28日、キャストが発表された。ウィンストンは、『アイス・エイジ3/ティラノのおとしもの』の脚本を担当したヨニ・ブレナーとの共同脚本にのみクレジットされており、製作総指揮はコーエン、ブラベイ、ファンデーション・メディアのパトリック・ヒューズが担当した。
バッドガイズ 製作
本作のデザインのインスピレーションは、ソニー・ピクチャーズ アニメーションの『スパイダーマン:スパイダーバース』から得たもので、ドリームワークスは他の作品よりもイラストや様式化されたものを売り込む機会を得た。キャラクターデザインは、エルジェ、鳥山明、アルベール・ユデルゾ、アンドレ・フランカン、メビウスなどからインスピレーションを受け、リュック・ベッソン監督の『フィフス・エレメント』、ガイ・リッチー監督の『シャーロック・ホームズ』、マイケル・マン監督の『ヒート』、スティーヴン・ソダーバーグ監督の『オーシャンズ11』、クエンティン・タランティーノ監督の『レザボア・ドッグス』『パルプ・フィクション』のスタイルとミックスされたものだった。『BEASTARS』『名探偵ホームズ』『ルパン三世』などのアニメや漫画、フランス・ベルギーのアニメ映画『アーネストとセレスティーヌ』から着想を得ており、キャラクターへのアプローチに影響を与えたためである。
バッドガイズ 製作
本作のアニメーションはDWAグレンデールが担当し、ドリームワークスと『ボス・ベイビー ファミリー・ミッション』『ヒックとドラゴン 受け継ぐ者たち』『スピリット 未知への冒険』で仕事をしたジェリーフィッシュ・ピクチャーズが、プレモやムーンレイといった独自のソフトウェアと、2D効果やキャラクターリグの周りのラインをアニメーターに動かせるようにするためのドゥードゥルという新ツールでアセット製作サービスを追加で担当した。タランティーノ監督の『パルプ・フィクション』の同様のオープニングシーンにインスパイアされた本作のオープニングダイナーのシーンは、2分25秒と7フレームに及ぶドリームワークス・アニメーション史上最長のワンショットとなった。
バッドガイズ 製作
2021年6月22日、本作のスコアを作曲するために、これまで『スパイダーマン:スパイダーバース』を作曲していたダニエル・ペンバートンと契約した。ペンバートンとゲイリー・ゴーが書いた曲「グッド・トゥナイト」が作られ、3月18日にバック・ロット・ミュージックからリリースされた。アンソニー・ラモスがウィル・ウェルズと一緒に追加の歌詞を担当した。3月31日に発売されたアルバムには、「グッド・トゥナイト」の他に、エル・キングの「フィーリン・オールライト」のカバーと、ザ・ヘヴィーの「ブラン・ニュー・デイ」の2曲が新曲として収録されている。監督のピエール・ペリフェール、プロデューサーのデイモン・ロス、作曲家のダニエル・ペンバートンが「ブラン・ニュー・デイ」のバックヴォーカルを録音した。4月22日の映画公開に続き、「グッド・トゥナイト」の新しいリミックスが公開された。
さらに、「キャント・ストップ・ウォント・ストップ」の「ストップ・ドロップ・ロール」、ザ・ブラック・キーズの「ハウリン・フォー・ユー」、ジュリー・ロンドンの「フライ・ミー・トゥー・ザ・ムーン」、ケミカル・ブラザーズの「ゴー」は映画で使用されるがサウンドトラックアルバムには収録されない。さらに、ビリー・アイリッシュの「bad guy」は予告編にしか使用されない。
下記の表において、特記されているものを除き、すべてダニエル・ペンバートンが作曲している。
バッドガイズ 封切り
2019年10月7日、『スプーキー・ジャック』の公開日を引き継ぎ、2021年9月17日に劇場公開されることが報じられた。2020年12月、新型コロナウイルス感染症の世界的流行により「今後数週間のうちに」新たな日程を確保することが確認されたものの、『ボス・ベイビー ファミリー・ミッション』が本来の枠に入り、本作は延期となった。2021年3月、公開日は2022年4月15日に予定されていた。同年10月、再び1週間延期され、4月22日となった。2022年4月12日にエース・ホテル・ロサンゼルスでレッドカーペット上映会が行われ、ビーツも出席した。2022年3月1日、ロシアのウクライナ侵攻を受け、ユニバーサルはロシアでの公開を取りやめた。