型チェッカーの実装

2024.03.03に更新