Fの法則

アーマン／チャップマン／ウウスタル〈Danel Ahman, James Chapman, Tarmo Uustalu〉による有向コンテナは、圏と同値な構造です。コンテナをベースにした定義であることから幾つかのメリットがあります。有向コンテナの“ある種の双対”をとった余有向コンテナも同じく圏と同値になります。余有向コンテナを少し拡張した複余有向コンテナは、オペラッド〈複圏〉と同値な構造となります。複余有向コンテナとしてオペラッドを定義しておくと、モノイド多項式モナド（「複グラフが定義するモノイド多項式関手」の最後で触れています）を定義する際などにメリットがあるでしょう。$`\newcomman…

「オペラッド〈operad〉」という言葉は非常によく使われるのですが、僕は「オペラッド」の同義語として「複圏〈multicategory〉」を好んで使っていました。その理由は、「圏〈category〉 → 複圏〈multicategory〉 → 多圏〈polycategory〉」というきれいな拡張の系列があるからです。しかし最近は、圏に似てるけど圏ではないものは何でもオペラッドでいいかな、と思うようになりました。つまり、「オペラッド＝圏もどき」です。この用法だと、オペラッドの意味はあやふやで曖昧なものになります。が、むしろ定義を曖昧にしたいときに「オペラッド」を使う、という方針です。僕だけでな…

※2023/10/25 加筆･修正 ストリートファイターにおいて歴代キャラクターの一人であるガイル。 ｢待ちガイル｣と形容されるように、『待ちキャラ』と呼ばれるキャラクターで、相手の行動を待ち、相手の行動を迎撃するスタイルを主とする。 相手の行動を待つことがコンセプトのキャラであるため、対ガイルにおいてガイルの戦法が噛み合ってしまうと自身の行動を否定され続けることになる。 対ガイル戦で不快感や苦手意識を持つプレイヤーも多いのは今に始まったことではない。 ｢待ちが強い｣のは間違っていないのだが、より正確に言えば｢攻めるためのパーツを用意されていない｣キャラクターでもある。 実際の対戦の評価とは裏…

今回はイナズマンF 第22話「邪魔者は殺(け)せ ガイゼルの至上命令」(脚本：塚田正煕、監督：山田稔、擬斗：高橋一俊 (C) 東映、東映エージェンシー)を紹介しましょう。先に書いてしまいますが白鳥ジュン(牧れい)の物語といっても過言ではございません。白鳥ジュンの本音がどうなのかが見どころです。以前も書きましたが、二見書房が出した『仮面ライダー大研究』のP210で たとえば『イナズマンF』の法則(ゲスト女優はメロ芝居担当で、最後は必ず殺されて、例のBGMが流れて…)を適用するなら、 と赤星政尚さんが暴走気味に書いているのを体現した話です。終盤のイメージが強く残ってしまったのでしょう、私の兄貴や姐…

大変長くなり20000字を超えた。どっかで話を分ければよかったかも。 何の話を書いたかもう覚えていない。基本システムについて考えてるのと、後半はリュウを触ったりしている。