_ [diary] 情報の力

これからの時代、メディアリテラシーというのはますます重要になるなぁ、と思う今日この頃。巧妙なものはなかなか見抜けませんが、明らかに都合のいい一部分しか報道していないと分かるものもあるわけで。

_ [diary] 計画性

あぁ……。10分もあれば大丈夫、は全然大丈夫じゃありませんでした……。しくり。っていうか、公募を受け付けるサーバなら、もう少し負荷に耐えられるようにしておいてください〜（＞＜）＞某協会

_ と思ったら、どうやら本当に障害だったらしい……。11日付でお知らせが出ていました。これは救済措置を期待していいのかしら。

_ [comp:mc] 今日の混乱

研究絡みはできるだけ大学のページに書くようにしているんですが、今日の大混乱。from はぎゃ先生の遙か昔っぽいレジュメ

● ラベル付き一般化B"uchiオートマトン
   LGBA(labeled generalized B"uchi automaton)
    <Ａ,Ｄ,Ｌ>
      Ａ ＝ <Q,I,→,Ｆ>
      Ｌ: Q → Ｐ(Ｄ)
    ξ ＝ x0 x1 x2 ... : 受理
      σ ＝ q0 q1 q2 : 受理実行
      xi ∈ Ｌ(qi)

_ 遷移を表す２項関係として→を定義しているのにＬの定義で→を使っているので大混乱。一般的な演算子に対して安易にオーバーライドしてはいけません、ということで（＾＾；

ところで、Ｐ（Ｄ）って前後に定義がないんですが、型を考えるとＤのべき集合のことでせうか？べき集合って２＾Ｄと書いてみたり、他にもいろんな記法があったような……。Ｐだってここら辺の分野では predicate の意味で使われたりするので混乱の元です。本当に何がなにやら。