cocolog:84250611
2015年が終る。ほぼ本を読んでいるだけの一年だった。昨年からの「終った人生」を今も生きている。 (JRF 6248)
JRF 2015年12月29日 (火)
2015年12月
cocolog:84212598
近況。[cocolog:84149980] から状況は変わってない。Isabelle で過去にやった証明を再証明している。無意味なことだと思いつつ、続けているが、無意味という自覚が強いためかやる気が出ず、なかなか前に進まない。 (JRF 0226)
JRF 2015年12月24日 (木)
cocolog:84174394
エーリッヒ・フロム『自由からの逃走』を読んだ。精神科医が私との会話の中からふいにこの書名を出してくださったので、読んでみた。 (JRF 7078)
JRF 2015年12月19日 (土)
cocolog:84173330
Firefox 43 で、ついに、未署名のアドオン(XPI)のインストールがデフォルトでできなくなった。これで、JSActions と JS Actions Button が使えなくなる。 (JRF 4705)
JRF 2015年12月19日 (土)
cocolog:84149980
Isabelle で過去にやった証明を再度証明している。Isabelle の simplifier をうまく働かすことができなくて、辛い。また、最近、寝ているというか横になってる時間がちょっと言えないほど長くなっている。 (JRF 4863)
JRF 2015年12月16日 (水)
cocolog:84101572
アニメ『ウィザード・バリスターズ 弁魔士セシル』と『〈物語〉シリーズ セカンドシーズン』の録画を観た。 (JRF 9819)
JRF 2015年12月10日 (木)
cocolog:84060491
レヴィナス『タルムード四講話』と『タルムード新五講話』を読んだ。分類としては哲学書なのだろうが、宗教の具体的な話でわかりやすく楽しめた。私は、こういうのは気楽に読めるようだ。 (JRF 0187)
JRF 2015年12月 5日 (土)
