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 と読んだ意図はなんだらう？

閑話休題．

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

台湾ラーメンが辛かった……　味がわからなくなる辛さの閾値が低めなのでスープまで飲み干すとか無理というか苦行でしかない．

閑話休題．

鉄骨に磁気が残るのか．どの程度の強度なんだろう？