No Such Blog or Diary

«Prev || 1 | 2 | 3 |...| 696 | 697 | 698 |...| 1212 | 1213 | 1214 || Next»

せっかくの晴れだけど

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

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

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

羽田のサクララウンジ

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

閑話休題.

喉がヤバくなってきた.

ハンズへ行く

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

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

乱択アルゴリズムの証明?

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

Let'snote のヒンジ部がイカれる

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

補間

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

閑話休題.

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

«Prev || 1 | 2 | 3 |...| 696 | 697 | 698 |...| 1212 | 1213 | 1214 || Next»
Search
Feeds

Page Top