(: Min≦ (All (a) (-> a (-> a Boolean) a))) のaはNumberかそのサブタイプです、っていう書き方はないのかな ってところは何か名案が見つかることを期待して放置 **の素因数分解版 (define (** x y) (let ((lenx (len x))) (let loop ((k : Natural 1) (n :…