« 2015年12月6日 - 2015年12月12日 | トップページ | 2015年12月20日 - 2015年12月26日 »

2015年12月13日 - 2015年12月19日

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

» 続きを読む

«前のひとこと

« 2015年12月6日 - 2015年12月12日 | トップページ | 2015年12月20日 - 2015年12月26日 »

このころのニュース