四色定理の証明を Haskell にも移植している。 discharge と reduce という二つのプログラムがあって、今は reduce(可約性) をおこなっている。 今日は strip() を書いた。下位層はスタブだ。
アフィってみた。
Quote saved.
Login to quote this blog
Failed to save quote. Please try again later.
You cannot quote because this article is private.