2018-04-21から1日間の記事一覧
「(reverse (reverse x))がどんなリストについてもxになるか」…(略)…読者への宿題にしておきます。 付録Cやってるあいだに証明も忘れかけてる気がするのでちょうどいいおさらい 最初は、これを証明すればいいかな、と思ったんですけどね
「(reverse (reverse x))がどんなリストについてもxになるか」…(略)…読者への宿題にしておきます。 付録Cやってるあいだに証明も忘れかけてる気がするのでちょうどいいおさらい 最初は、これを証明すればいいかな、と思ったんですけどね