はじめに　ライスの定理とは，簡単に言ってしまうと「プログラムに関する述語の決定不能性をまとめて示す定理」 のことである．　Haskellなどでプログラムを書いていて，関数に対する同値性などを定義…