正規表現、オートマトン、BNFによる表現 構文図とモダンなフロー図 再帰下降パージング ビットストリーム（バイトに限らない）による通信 バイト（あるいはワード）単位のビットによる画像表現 メタ情報、ヘッダ、コンテンツ（ペイロード） マルチプレックス…

http://d.hatena.ne.jp/m-hiyama-memo/searchdiary?word=%bc%ab%ce%a7%b7%f7 http://d.hatena.ne.jp/m-hiyama-memo/searchdiary?word=%bc%ab%ce%a9%b7%f7 google: site:d.hatena.ne.jp/m-hiyama-memo (自立圏|自律圏)

バートレット（Bruce Bartlett）の左右公平構造（even-handed structure）は面白いなー。バートレットは、Fのもろ手双対（ambidual）の集合AmbiDual(F)の上にフリップ写像Ψを定義して、ΨがΨ2 = Idであることを仮定している。もろ手双対を出さなくても、次の…

僕好みのネタを見つけた。「キチガイ」が差別用語にされているようだからクレイジーを使うが、超キチガイ計算のほうが“いい語感”だけどな。[追記] http://ck.mailmag.livedoor.com/ck/20090009bec47c0c080b4d015c/ [/追記]Cが、直和または直和に似たモノイド…

「ベックの法則と複合モナド」の補足をもう少し。絵図で見ると、ベックの法則は、ワイヤー（ストリング）のクロスする場所を乗法や単位をすり抜けさせる絵になっている。つまり、ジャンクションと回路素子に関する「すり抜け」の法則。ワイヤーのクロスがベ…

ウィラートンやバートレットは若者だろう。で、彼らが使う言葉はやっぱり世代的な影響があるように思う。 ウィラートンは三角恒等式を snake relation, snake condition と言う。 バートレットも snake-style とか使っていた。 ペースティング図ではなくてgl…

本編の「ベックの法則と複合モナド」の絵を使って、複合モナドの結合律と単位律を絵算でやるのはいい練習問題。絵暗算でやろうとしたが無理だった。この計算は、どんなモノイド圏でも通用する。通常あまり意識されないのは、ベックの法則がブレイディングか…