数理論理学_合理的エージェントへの応用に向けて(本)