cocolog:84021412

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

JRF 2015年11月30日 (月) Tweet

» 続きを読む

cocolog:83987064

定理証明システム Isabelle/HOL の Tutorial、Isabelle2015/doc/tutorial.pdf を読んだ。いつもの読書と違って英語。 (JRF 1656)

JRF 2015年11月26日 (木) Tweet

» 続きを読む

cocolog:83987061

定理証明システム Isabelle (現バージョンは Isabelle2015)をインストールして、その勉強をしている。 (JRF 3697)

JRF 2015年11月26日 (木) Tweet

» 続きを読む

cocolog:83935116

小林勝人 訳注『列子』を読んだ。漢文。書き下し文と訳を読んでいった。校・注はとても詳しいが、他書と違い、まとめて後ろにあるため飛ばし読んだ程度。解説は下巻のカントとの関連は意味を掴めなかった。 (JRF 4431)

JRF 2015年11月20日 (金) Tweet

» 続きを読む

cocolog:83891626

岩波文庫『文語訳 新約聖書 (詩篇付)』を読んだ。意外にサクサク読み進めることができた。文語表現のカッコ良さに惹かれたのだが、読んだ結果、それはあまり印象に残らなかった。 (JRF 6856)

JRF 2015年11月15日 (日) Tweet

» 続きを読む

cocolog:83826716

平凡社『中国の故事と名言 500選』を読んだ。印象に残らず、右から入って左から出ていく感じ。詩文が遺ってる人は官吏か、仕官を志した人で、ふがいない私のような無職の者が文を書いても意味はないのだろうな…と情けなく思った。 (JRF 7961)

JRF 2015年11月 7日 (土) Tweet

» 続きを読む

cocolog:83784785

小説を一本書き上げた。私自身は長編小説にするつもりで書いたんだけど、原稿用紙換算で 110枚、ギリギリ中編小説という長さしかない。 (JRF 5043)

JRF 2015年11月 2日 (月) Tweet

» 続きを読む