子供の塾の説明会に行ってみたんですがすごいですねレベル高すぎといっても内容がすごく難しいとかじゃなくて方針っていうか考え方というかとにかくそこまで子供に考えさせるのか、っていうところに驚きました これはついていければすごいことになるなとしか…

では本体に戻って書き換え 型の部分を再掲 (struct None ()) (struct (a) Some ([v : a])) (define-type (Opt a) (U None (Some a))) (define-type Factor (Pairof Natural Natural)) (define-type Factorization (Listof Factor)) Factorizationは(Listof F…

どうも型周りのカンがつかめなくていろいろ試行錯誤してたら収拾がつかなくなってきたんですがいったんこのへんで書いておきます 型の定義はこうなってます FactorはPairofではなくてstructで表現することに これは単にせっかくそういうのがあるんだからこう…