2016年01月の記事 (12 件)

• ひとこと あけましておめでとうございます。 [cocolog:84274765] 2016年01月01日
• 雑記 前期の翌日(2015-10-01)から昨日(2015-12-31)まで 92 日間のアクセス解析・近況など [cocolog:84274746] 2016年01月01日 01:58:23 [アクセス・ブックマーク報告]
• ひとこと Isabelle上でのα同値に関する証明の再証明が完成したので、記事にして公開し… [cocolog:84331614] 2016年01月07日
• ソフトウェア Tips The Proofs about Alpha-equivalences in Isabelle [cocolog:84330372] 2016年01月07日 14:20:18 [JRF 作成ソフトウェア] [関数型言語・定理証明器]
• ブックマーク caeruiro 2016年01月07日 15:22:44 [コンピュータ定理証明]
• ブックマーク Isabelle/Isar（その１） - ATPとCASのこと（謄） 2016年01月07日 15:23:20 [コンピュータ定理証明]
• ブックマーク Isabelle 2016年01月07日 15:23:49 [コンピュータ定理証明]
• ブックマーク Isabelle 2016年01月07日 15:24:12 [コンピュータ定理証明]
• ひとこと ジャン・マルテーユ著『ガレー船徒刑囚の回想』を読んだ。壮絶。「生存者バイアス」と… [cocolog:84354160] 2016年01月10日
• ひとこと 近況。私としては大きく動き出している。これから先、更新が滞るかもしれない。作業所… [cocolog:84398342] 2016年01月16日
• ひとこと 金谷 治… [cocolog:84446917] 2016年01月23日
• ブックマーク 第３５６回：「知的財産推進計画２０１６」の策定に向けた意見募集（１月２９日〆切）への提出パブコメ: 無名の一知財政策ウォッチャーの独言 2016年01月23日 22:05:07 [知的財産] [記事とコメント関連薄]