主観的時間の導入と双曲線型割引関数の公理化ー公理的測定論の立場からー