« 2015年11月15日 - 2015年11月21日 | トップページ | 2015年11月29日 - 2015年12月5日 »

2015年11月22日 - 2015年11月28日

cocolog:83987064

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

JRF 2015年11月26日 (木)

» 続きを読む

cocolog:83987061

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

JRF 2015年11月26日 (木)

» 続きを読む

«前のひとこと

« 2015年11月15日 - 2015年11月21日 | トップページ | 2015年11月29日 - 2015年12月5日 »

このころのニュース