数えるとはどういうことか ― 加法原理・乗法原理・全射の数え上げ