« 2015年12月 | トップページ | 2016年2月 »

2016年1月

cocolog:84446917

金谷 治 訳注『韓非子』を読んだ。酷薄だが「論理的」と評されるが、私は韓非子の議論も一面的な観方に過ぎないと思う。老子の議論を踏まえているのは読んでみてはじめて知って意外に思った。 (JRF 8336)

JRF 2016年1月23日 (土)

» 続きを読む

cocolog:84398342

近況。私としては大きく動き出している。これから先、更新が滞るかもしれない。作業所に通いながら、週一の介護の初任者研修を受けようとしている。 (JRF 6308)

JRF 2016年1月16日 (土)

» 続きを読む

cocolog:84354160

ジャン・マルテーユ著『ガレー船徒刑囚の回想』を読んだ。壮絶。「生存者バイアス」という言葉が頭に浮かぶ。こういう人生を生きねばならない人が今もいるのかもしれないと思うと身の毛もよだつ。 (JRF 0080)

JRF 2016年1月10日 (日)

» 続きを読む

cocolog:84331614

Isabelle上でのα同値に関する証明の再証明が完成したので、記事にして公開しておいた。渾身の力作なので、私が死んでも残って欲しい。だから、使わなくても、わけがわかんなくても、この「ひとこと」を見たなら、アーカイブをダウンロードして、パソコン内に保存しておいてくれるとうれしい。 (JRF 5881)

JRF 2016年1月 7日 (木)

» 続きを読む

cocolog:84274765

あけましておめでとうございます。 (JRF 7547)

JRF 2016年1月 1日 (金)

» 続きを読む

«前のひとこと

« 2015年12月 | トップページ | 2016年2月 »

このころのニュース