0314 朝起きて普通に仕事を始めるのは久々だった。昨日も金曜日も出かけていたから。だからって特段何か感慨があるでもない。 なんだか寝不足だった。あとちょっとしたトラブルで夕方から夜にかけてバタバタしていた。こういう誤りを許容できない場面で不具合を起こさないようにするには、やはり形式手法とかそういうのを使うのがよいのだろうか。なんとはなしに「形式手法」で検索したら、「流行らない」がサジェストされてきたのでフームと思った。 眠い。寝ます。