技術と魚

雑感と備忘録

2018-08-06から1日間の記事一覧

構造的帰納法を分かりやすく説明してみたかった

背景 DIGGLE社のdevチーム勉強会でTaPLを読み始めました。 まずは3章から読み始めることにしたものの、「構造的帰納法」にふれる。→なんですか、それ? 構造的帰納法について説明を口頭でしようと試みたけど、案外説明が難しいんですね。。 そこで、できる…