GitHub_4CT_Ruby
今日も angles_sub3() を書いた。
今日は angles_sub3() を書いた。
今日も angles_sub2() を書いた。
今日は angles_sub2() を書いた。
今日も Anglesクラス を書いた。
今日も Anglesクラス を書いた。
今日も Anglesクラス を書いた。
今日は Anglesクラス を書いた。
四色定理の証明を Ruby に移植している。 discharge と reduce という二つのプログラムがあって、今は reduce(可約性) をおこなっている。 今日は strip_sub3() を書いた。
今日は in_interval() を書いた。
今回は RBS を更新した。 Ruby の型チェックは、RBS を書いて、steep check という流れだ。
四色定理の証明を Ruby に移植している。 discharge と reduce という二つのプログラムがあって、今は reduce(可約性) をおこなっている。 今日は strip_sub2() を書いた。