数理論理の２科目が終わった。院生の研究テーマにされることもあるというMizarについて、いくつかアナウンスがあったのでちょっと見てみたり。 http://markun.cs.shinshu-u.ac.jp/kiso/projects/proofchecker/mizar/index-j.html 数学の証明を記述し計算機に…

昼間からあちこち手続きに回る。区役所で健康保険がかわる関係の届け。ついでに年金手帳の記載など確認に窓口へ寄った。手帳自体は電算化が進んでおり記入が無くても大丈夫ですとのこと。すんばらしー。んでもって、ウッカリ納付忘れの１月分は時効で納めら…

InfoMarker http://www.infomaker.jp/index.htm ソフトもサイトもよくできてるけど、qaページにある国内でRSSを配信しているサイトの情報も嬉しい。iBookから試せないのでメモ。 ツールバー／デスクバーへD＆Dできなそうなのが残念。