めがまり良く出来てるなぁ。咲夜・うどんげ・チルノ・霊夢をこの順で倒した。キャラ二人分のライフゲージがあるせいか、ボス戦はそこまで辛くない。いっても、元のロックマン2をもう覚えてないんだけどね。技は、咲夜とチルノの技は魔理沙に、うどんげと霊夢の技はアリスに持たせた。いえば、ロックマンのボスといえば弱点があるのがお約束のはずだけど、まだ弱点には出会ってない気がする。余代数と余帰納法2006-06-24で「coalgebra等の簡単な解説は近いうちに書こうと思います」と書いたが、このままだといつになっても書けそうにないので、とりあえず書き始めてみる。余代数は代数の双対......といっても何が何だかわかんないと思うので、まずは代数を考える。代数は集合と演算と演算の満たす規則から構成される。e」を満たすとき、群と呼ばれる。a」を満たすとき、上半束と呼ばれる。これらを見ると、代数では演算はすべて値域がその集合になっていることがわかる(「演算に関して閉じている」という言い方をしたりする)。圏論では関数の向きを逆向きにすることで双対を考えるので、値域ではなく定義域がその集合になっているような演算を集合に加えることが考えられる。以下の二つの演算を加えた余代数と考えることが出来る。以下の二つの演算を加えた余代数と考えることが出来る。実際には初期状態も必要なので、この余代数自体ではなく、この余代数の要素をオートマトンと呼ぶべきかも。いう演算を加えればよい。(2)後で使いたいので、もうちょっと単純なオートマトンも考えておく。数字(自然数)を表示するディスプレイとボタン一つだけからなり、ボタンを押すと表示されている数字が切り替わるような、そんな機械があったとする。すると、この機械は状態の集合Sに以下の二つの演算を加えた余代数としてモデル化できる。余代数の例を幾つか紹介したところで話を代数に戻す。唐突だが、自然数全体の集合は、集合Nに以下の二つの演算を加えた代数と考えることが出来る。有限回の適用で一意に表記できる」という良い性質を持っている。成り立ったりしない)」ことと「(0とsで表記できない)余計な要素を含んでいない」ことを意味している。この性質があると嬉しいのは、再帰によって関数を定義することが出来、また(構造)帰納法による証明が出来る点。以下のような等式を満たす関数は唯一つするので、これによって関数hを定義することが出来る。algebra)と呼ぶ。帰納法についても書く)始代数の特徴とはある種の等式の集まりによって関数を定義することが出来、これはつまり「同じ種類の任意の代数への準同型が一意に存在する」ということだった。coalgebra)「同じ種類の任意の代数への準同型が一意に存在する」の双対を考えると、「同じ種類の任意の余代数からの準同型が一意に存在する」になる。なんで、そんなものを考えるか。いう数列が出来るが、以下の二つの点から扱いにくい。同じ数列を生成することがあるかもしれない。この機械を観察することでわかるのは結果の数列だけなので、観察から区別できないような状態が存在することがある。状態空間が冗長かも知れない。全ての数列が生成出来るとは限らない。状態が足らないかも知れない。19:30)今頃この辺りを勉強してるので出来たら続きとか読みたいです。<br>特に余代数の方。(はてな版)日記は現代の病です。読み過ぎ書き過ぎはあなたの健康を害する恐れがあります。2.2.10-p489。