型レベルの単位チェック (基本編) - CADDi Tech Blog