2015-11-04 11/04 (0:45) 今日は労働日。 (当たり前) (昨日休みだったからこたえる) (働きたくない) ツイッター界では、ふぁぼの星がいいねのハートになったのが大事件だった。 このまま定着するのかどうか。 まあ、ぼくは使い方を変えない予定だけど。 E の母が来てくれたおかげで今日もだいぶ余裕があった。 その時間で、SICP の翻訳の件について追加の文を書いてみている。 まあ、どうなるかわからないけど。 そういえば、訳し漏れが一か所あったから追加しておこう。