今日は、｢高階手続きによる抽象｣を体感するために、問題1-30〜31に取り組みました。問題1-31は、分母と分子それぞれの規則性を捉えつつ、それをカウンタごとに割ってやる手続きをどうやって書くかに手間取ってしまいましたが、何とか円周率に近そうな値を出…