2015-11-28から1日間の記事一覧

クワス算

http://mochisava.blogspot.jp/2013/09/blog-post.html 哲学者クリプキの提示した、定義を確定出来ないkとに対する例で使われたもの。