« 2015年11月 | トップページ | 2016年1月 »

2015年12月

cocolog:84250611

2015年が終る。ほぼ本を読んでいるだけの一年だった。昨年からの「終った人生」を今も生きている。 (JRF 6248)

JRF 2015年12月29日 (火)

» 続きを読む

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日 (土)

» 続きを読む

«前のひとこと

« 2015年11月 | トップページ | 2016年1月 »

このころのニュース