晩御飯食べた後にさくっと作ってみた（参考：WebMatrix で数式を表現する（１） - だるろぐ）。自然演繹のブログの続きを書こうと思ったのだけど、プレビューできないと数式が書けない人なので……。でも、これ、ネットワークがつながっていないとだめなのはと…

久しぶりの大雪。コンビニまで買い物に行くとき、思わず走ってしまった。下手にそろそろと歩くより、どしんどしんと走る方が、あんがいコケずに済むような気がする。大雪といえば今でも思い出すのが、まだ小学生のころ、大阪から伊賀に引っ越した次の年の大…