タイプ推論　その２

2021.02.05に更新