>>352
> 数学的機能法的な考え方や、〜
が「仕様とテストコードを近づけるという点で」どう役立つのかの方が
俺には分からん

もし数学的機能法が数学的帰納法のことなら
内包的な発想そのものだと思うのだが