markun.cs.shinshu-u.ac.jp

Proof Checkerを用いた、コンピュータプログラムの数学的証明の解説。

URLs from markun.cs.shinshu-u.ac.jp:

URL: http://markun.cs.shinshu-u.ac.jp/japan/shodou/index-e.html URL: http://markun.cs.shinshu-u.ac.jp/hobby/okonomi/index-e.html URL: http://markun.cs.shinshu-u.ac.jp/japan/moti/index-e.html URL: http://markun.cs.shinshu-u.ac.jp/learn/iproof URL: http://markun.cs.shinshu-u.ac.jp/nagano-info/index-e.shtml URL: http://markun.cs.shinshu-u.ac.jp/nagano-info/yu/index-e.html URL: http://markun.cs.shinshu-u.ac.jp URL: http://markun.cs.shinshu-u.ac.jp/learn/cg/index.html URL: http://markun.cs.shinshu-u.ac.jp/learn/cg/cg3/index4.html

© searchids.com