Windows標準添付（？）のLucida Consoleは固定ピッチの英文フォントとしてはけっこう好きなのだけど，数字の '1' とアルファベット小文字の 'l' が判別不可能なのが欠点だ．

今はまだ理解できないことについても，時間の余裕ができたとき，なんとなくそっち系の気分になったときや，気合を入れて体系的に学ぶ必要に迫られたときのために，メモを残しておく心がけは大事だと思う． そういう意味では「世界に」公開された日記を使うの…