私は権威主義者には徹頭徹尾なれそうもない。しかし、権威を持つに至ったのにはそれなりの理由があり、そこを尊敬することは忘れてはならない*1。 *1:同様のことが注に書いてあることを発見

ネットの中の「最下層」でない人は「便所の落書き」扱いされるというのがよっぽど嫌なのだろう。その「ストレス」で「短絡」的に「ロジックよりも個人的な恨みを優先」して「「ぶちまけ言葉」を書きなぐって」いる。トラウマにでもなっているのか。それとも…

武蔵は随分強くなった。とはいえ、セフォー戦は、攻撃を全部ブロックされていたし(これは逆も似たようなものだが)、セフォーの方が優勢に見えたが。攻勢の方にポイントがつくK-1式判定はやめたのだろうか*1。決勝のドローも。最近素人の試合ばかりでプロレス…

朝青龍の本名「ドルゴルスレン・ダグワドルジ」のうち、「ドルゴルスレン」が父親の名前、「ダグワドルジ」が本人の名前。 qualified nameという感じ。再帰的に先祖まで辿ってみたい。被るときはさらに「祖父名・父名・本人名」となるシステムだったらいいの…

GADTを使ったAVLにFiniteMap-likeなインターフェイスをかぶせてベンチマークしてみた。かなり遅い。insとdelを対称っぽくするためにbalanceでコンストラクタのつけ外しが増えているので、多分酒井さんのもののよりも遅いでしょう。AVL.tgz(修正)*1 *1:Mainta…