某講義のレポートで出た問題で、 が原始帰納的関数であることを示せって問題が出て、 と定義したものはいいものの、この関数は本当に題意を満たすのかどうか証明し難い。原始帰納的関数であることは簡単に示せるのだが。さてはて。どうしたもんだろ。 追記：…

template.cssを改良しました。hatenaモジュールのtemplate="list"に対応して、ul.hatena_antennaとか作ってます。

あ、suspiria壊れた。電源ボタン押しても反応が無い。

今分かったのだが、ケンの神龍拳って足払いからキャンセルぽく出せるんだね。10回に1回しか成功しないや。