仮言命法的多型のムラゴンブログ