« 2015年11月22日 - 2015年11月28日 | トップページ | 2015年12月6日 - 2015年12月12日 »

2015年11月29日 - 2015年12月5日

cocolog:84060491

レヴィナス『タルムード四講話』と『タルムード新五講話』を読んだ。分類としては哲学書なのだろうが、宗教の具体的な話でわかりやすく楽しめた。私は、こういうのは気楽に読めるようだ。 (JRF 0187)

JRF 2015年12月 5日 (土)

» 続きを読む

cocolog:84021412

T. Nipkow & L. C. Paulson & M. Wenzel 『Isabelle/HOL』を読んだ。2002年に出た本で、前回 [cocolog:83987064] で読んだ Isabelle2015 の tutorial.pdf の古いバージョンにあたる。 (JRF 0733)

JRF 2015年11月30日 (月)

» 続きを読む

«前のひとこと

« 2015年11月22日 - 2015年11月28日 | トップページ | 2015年12月6日 - 2015年12月12日 »

このころのニュース