2015年11月 ひとこと (7 件)

• 小説を一本書き上げた。私自身は長編小説にするつもりで書いたんだけど、原稿用紙換算… [cocolog:83784785] 2015年11月02日
• 平凡社『中国の故事と名言… [cocolog:83826716] 2015年11月07日
• 岩波文庫『文語訳 新約聖書… [cocolog:83891626] 2015年11月15日
• 小林勝人… [cocolog:83935116] 2015年11月20日
• 定理証明システム Isabelle (現バージョンは… [cocolog:83987061] 2015年11月26日
• 定理証明システム Isabelle/HOL の… [cocolog:83987064] 2015年11月26日
• T. Nipkow & L. C. Paulson & M. Wenzel… [cocolog:84021412] 2015年11月30日