話したいことはタイトルのとおりの小ネタなんですが、簡単に動機を説明しておきます。ゴグエン／バーストル〈Joseph Goguen and Rod Burstall〉のインスティチューション〈institution〉は、論理やプログラムの構文論と意味論〈モデル論〉の抽象的枠組みを提…