日々の流転

λ. 『真夜中の水戸黄門』, しりあがり寿

しりあがり寿は天才だよ。間違いないね。

λ. 『セマンティック・ウェブのためのRDF/OWL入門』, 神崎 正英

入門書として、とてもよく書けていると思う。

個人的にはこの本で新しく知ったことはあまりないけれど、自分の知識を確認できて良かったかな。

• サポートページ

λ. 卒業式「君が代」で５２人を戒告・減給処分　都教委

個人的には卒業式での国歌斉唱は当然と思うし、教師としての当然の職務を遂行しないのだから処分も当然と思う。が、それにしても、こういった処分者を出さなくてはいけないのはなんとも嫌な気分だ。 本来法律で強制なんかせずとも、国歌斉唱くらいは自然と実施出来るべきだと思うし、それが一番良いんだけどなぁ……

λ. Algebraically compact functors - Michael Barr

メモ。

Theorem 1.6 の証明、αが limit ordinal のときの h^α_α: A_α→B_α の構成が分からない。

1→T0 が重要だという点で Final Coalgebras are Ideal Completions of Initial Algebras と少し共通していると思った。