2020-02-26から1日間の記事一覧

Reasoned Schemer (106) logo 続き5

reasonedschemer

(base-three-or-moreo n b q r)はbが３以上のときのn = b^q + rの関係この（今まで出てきた関係の中では）巨大な関係がしかもcondeで分かれてないってすごいな全部同時に成り立つってことだもんな