ミステリと分析哲学の様相論理をつきあわせる