インテグラル : 分かった積もり

「大語海」という 300 ページ超の古い本を見つけた。パラパラめくってみると辞書らしい。辞書なのに大誤解て。中をよく読むと、

悪戦句読　字がきたなくて読むのに苦労すること。
四分音符　四分間音を出す記号。
目玉商品　コンタクトレンズ。

あゝ、狙い通りでした。

隠蔽

とあるプロセスが読み書きしているはずの一時ファイルがディスク上に見当たらなかったので何かと思ったら、open 直後に unlink されていた。開いているファイルを unlink するとリンクカウントが減って外からは見えなくなるが、実際の削除は遅延されるらしい。よく出来てるけど少しこわいような。

ちと違う

当初ふわふわだったクッションがつぶれてきた。ふわふわに戻ることを期待して洗濯機に放り込んだら、もはもはになった。

意外と単純

scp って単に ssh した先で scp を起動して、標準入出力でやり取りするだけだったのか。てっきり ftp みたく色々やっているのかと。

$ perl -e 'print "\0\0"' | scp -f hello.txt | cat
C0644 14 hello.txt
Hello, world!

大量寿司

AG(食べ放題 → AX 食べ過ぎ) が偽に。

しばらく Coq をいじっていたせいで ¬¬P を機械的に P とするのに少し違和感を覚えるようになったが、(P→Q)→(¬P∨Q) は全然ウェルカム。まったく自分のセンスなんぞそんなもんである。

良い天気

大学の池のまわりがちょっとしたハイキングコースになっていることを、4 年目にして初めて知った。

今日は暖かくて、歩くにはとても良い気候。

某赤いレトルト再び

勢い余ってうどんに掛けてみた。意外といける。