射にもとづく類似性理論 (特集「命題論理の充足可能性問題SATと応用技術」および一般)