2021-02-05 GitHub_4CT_Ruby 21/02/05の変更1 strip_sub2() GitHub_4CT_Ruby 四色定理の証明を Ruby に移植している。 discharge と reduce という二つのプログラムがあって、今は reduce(可約性) をおこなっている。 今日は strip_sub2() を書いた。