TDD研修

TDDをした。testを書き、型を定義し、CopilotとClippyにいい感じにしてもらう。

型で大体なんとかなるので、もうコレはType Driven Developmentなんじゃないだろうか。