No Such Blog or Diary

dpkg でパッケージインストールしようとしたらパッケージ展開時に「○○の作成に失敗しました: デバイスに空き領域がありません」と叫ばれる．df で見てもまだ空きが 3GB もあるのに．

んで，何が原因で空き容量がないと言われているのか暫く分からなかったのだけど，最終的に df -i で見てみたら i-node がほぼ使い尽くされていたというオチだった．そりゃなかなか気づかん．

ファイルが作れなかった時のエラーメッセージがもう少し親切だとありがたい．

発表終わり．明日からは盆休み．

RICARD を何で割るべきか．

とりあえず，午後の紅茶ミルクティー，コーヒー，CCレモン，烏龍茶，久保田，コーラ，カルピスウォーター，柑橘類系のチューハイ，他は忘れた，を複数人（複数国籍）で試してみた．結果，午後の紅茶ミルクティーがベストであることが判明．ついで柑橘類系は無難にOK．カルピスウォーターも最後のほうで意外と良いことが判明．

そして「RICARD + コーヒー」は満場一致でずば抜けてすごいという結論．

閑話休題．

ストレートで飲むと甘さが残って良い感じ．

集合時刻前までの雨がひどかった．あと1時間開始が遅ければ幸せだったかもしれない．

そして The Hardest Context-free Language の話が面白かった．「俺の考えた最強の文脈自由言語」．

閑話休題．

前身から数えると連続13回目の参加か．

覚書：キャステロのブラックのチーズが美味しかった．牛乳90%＋羊乳10%のブルーチーズ．デンマーク産．若干クリーミーな感じで．塩分控えめ？

飛行機での移動でなくて助かった．飛行機だと飛ばないし時間ずらせないし（やすいチケットだと）．

とりあえず台風の縦断経路より東に出たのでこれで明日からの合宿には参加可能だろう．

定例ゼミの開始時刻にいつもの部屋で待機していたら人が来ない．今日は午後からとかいうオチだそうで．

ここらへんはちゃんとアナウンスしてほしいなぁ……