今日はソフトウェア基礎論のテストでした。色々なアルゴリズムの追跡や
部分正当性の証明といった内容です（簡単に言えば、効率よく計算できる
プログラムを作るための勉強科目ですね）。

帰りに最寄りのスーパーで日用品の買い物をしてきました。
偶然にもレジでの支払金額はジャスト1000円。


レシートをプリンタ複合機で取り込んでみました（＾＾；
1000円を狙ったわけではなかったので、ちょっとビックリです。
おまけに、購入した商品の金額の一桁目が全て８円というのも綺麗ですね。

予報によると、今夜から雪が降るらしいです。階段の足場が狭いので
明日は階段凍結防止対策に追われそうです。