カード化は関数化