No Such Blog or Diary

Googleカレンダー上で開始時間をずらして予定を入れておいたのだけど，時刻を明記してなかったので，先週あたりに「なんでズレてんだこれ？　直しとこ」とかやってしまった気がする．あほだ……

閑話休題．

火災の警報をひと通り文言言い終わるまで流してから「訓練です」とかいうオチを付けるのはやめて欲しい．そして終わったなら終わったと宣言しろ．「鎮火連絡」で「火はほぼ消えました」ってのもどうなんだろう……

80切手ではダメではないか……　面倒くさい．

風が強すぎるので家で寝る．風邪ひきそうな感じだし．

鉢巻山の彼岸花はそろそろかな？　来週末は行ってられないのでちょっとタイミングが無い気配．

シチューが美味い．そしてシチューのルゥが溜まっていく……　買い置きしておいたのを忘れて買い置きしようとするからだけど．

なんかクーポンもらったのでせっかくだから消費．電源取れるだけでも有難い．だがしかし，ジュースが微妙に薄いのは気のせいだったのか？

閑話休題．

喉がヤバくなってきた．

卓上旋盤の実物を眺めに行ってきたのだけど，微妙なサイズで微妙なお値段．うーん……　

サカイマシンツールの ML-360 展示してるところ無いかな．

乱択アルゴリズムの証明とか Coq でできるのかなとか思って検索かけたら，Alea: a library for reasoning on randomized algorithms in Coq とかいうまさにそれってのが出てきた．面白そうなのでそのうち調べよう．