No Such Blog or Diary

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

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

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

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

閑話休題．

喉がヤバくなってきた．

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

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

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

いつからおかしくなってたのか，ヒンジ部のパーツが微妙に歪んでディスプレイの開閉がスムーズでなくなってた．約10年位 let'snote を使い続けているけれど物理的な故障は初めて．どこで痛めたのやら……

今ひとつ logic における interpolation のイメージが良くわからん．恒真な implication を順序だと思って並べだ時の間を探すってことで良いのだろうか．最初の人がこれを interpolation と読んだ意図はなんだらう？

閑話休題．

何かおかしいので寝よう．