GitHub_4CT_Haskell
今日も stripSub2() を書いた。
今日も stripSub2() を書いた。
今日は stripSub2() を書いた。 github.com
今日は stripSub1() を書いた。
四色定理の証明を Haskell にも移植している。 discharge と reduce という二つのプログラムがあって、今は reduce(可約性) をおこなっている。 今日は strip() を書いた。下位層はスタブだ。
今日も stripSub2() を書いた。
今日も stripSub2() を書いた。
今日は stripSub2() を書いた。 github.com
今日は stripSub1() を書いた。
四色定理の証明を Haskell にも移植している。 discharge と reduce という二つのプログラムがあって、今は reduce(可約性) をおこなっている。 今日は strip() を書いた。下位層はスタブだ。