ライプニッツ、ロビンソンとか、