こんにちは、やきつか(@sy_t_)です。 最近はとても暑いですね。僕は研究室の冷房強くしすぎてよくお腹を壊してるんですけど。 目次 目次 はじめに 自然数ってなんぞや (ペアノの公理) Haskellで自然数を実装する 自然数に二項演算を用意する 自然数が正しく…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。