たまには自分の研究に関係がある（かつ専門家以外にもわかる）話題ということで、プログラム等価性(program equivalence)に関して書いてみます。プログラム等価性というのは「二つ（ないし二つ以上）のプログラムが等価」という性質のことで（そのまんまやん…