置き換え理論
substitutional theory
https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/173204/1/ronso_38_097.pdf
https://sites.google.com/site/sendailogichomepage/files/ref/ref_07