« 2015年12月27日 - 2016年1月2日 | トップページ | 2016年1月10日 - 2016年1月16日 »

2016年1月3日 - 2016年1月9日

cocolog:84331614

Isabelle上でのα同値に関する証明の再証明が完成したので、記事にして公開しておいた。渾身の力作なので、私が死んでも残って欲しい。だから、使わなくても、わけがわかんなくても、この「ひとこと」を見たなら、アーカイブをダウンロードして、パソコン内に保存しておいてくれるとうれしい。 (JRF 5881)

JRF 2016年1月 7日 (木)

» 続きを読む

«前のひとこと

« 2015年12月27日 - 2016年1月2日 | トップページ | 2016年1月10日 - 2016年1月16日 »

このころのニュース