let式の導出に対応