本を47.0キロ捨てた。そして前回何キロ捨てたかチェックしたら前回もちょうど47.0キロだったようだ。本を捨てる活動の成果の可視化と定量化合計で94.0キロか。100キロ超えたいな。定量化するとこうしてきりのいい数字を超えたいというモチベーションがわくの…

ラボの昼休みに光成さん、中谷さんとご飯を食べながら話した内容を一応ざっくりとまとめておく。 発端はたしか最近Haskellを勉強の光成さんが、Haskellのかっこいいsieveは実はとても遅い(俺は Haskell の sieve についてとんでもない思い違いをしていたよう…