TDD ✕ Property-based Testing (SwiftCheck) で数学パズルを検証してみる - QiitaTl;Dr TDD、Example-based Testing、Property-based Testing を組み合わせると良い感じ（かも？） きっかけ こんなTweetがタイムラインに流れていました。 数学の先生方との飲み会の席で、次のような算数マジックを見せてもらった。 6つの数字を書く。 となりあう数字を足した値の1桁目を1段下に書く。 これを繰り返して最後に出てくる数字を、6つの数字を書き終えた瞬間に言い当てるというもの。 いま自分でも納得できたので娘にもやってみせよう pic.twitter.com/ANhVNT21cs — 三谷 純 Jun MITANI (@jmitani) 2017年7月27日 なるほどこれは面白い、と。 引用ツイートで解説がされていますが、以下のような法則があるようです。 （解説） 6つの数字をabcdefで表す。 bとeが「偶数と奇数」の組み合わせなら
