Title: Fukakujitsu na jōkyō ni okeru ishi kettei no riron to ōyō