タイプ推論　その１

2021.02.05に更新