はじめに ライスの定理とは，簡単に言ってしまうと「プログラムに関する述語の決定不能性をまとめて示す定理」 のことである． Haskellなどでプログラムを書いていて，関数に対する同値性などを定義したくなったことはないだろうか？しかし，各種言語において関数の同値性はデフ...