合同理論の基礎と模算の応用