2016年01月 ひとこと (5 件)

• あけましておめでとうございます。 [cocolog:84274765] 2016年01月01日
• Isabelle上でのα同値に関する証明の再証明が完成したので、記事にして公開し… [cocolog:84331614] 2016年01月07日
• ジャン・マルテーユ著『ガレー船徒刑囚の回想』を読んだ。壮絶。「生存者バイアス」と… [cocolog:84354160] 2016年01月10日
• 近況。私としては大きく動き出している。これから先、更新が滞るかもしれない。作業所… [cocolog:84398342] 2016年01月16日
• 金谷 治… [cocolog:84446917] 2016年01月23日