Tl;Dr TDD、Example-based Testing、Property-based Testing を組み合わせると良い感じ（かも？） きっかけ こんなTweetがタイムラインに流れていました。 数学の先生方との飲み会の席で、次のような算数マジックを見せても...