ていうか、段ボール箱で変数説明して型システムがなんであるかの説明もするのも問い詰め方式だね＞＜；