等価変換システム ETI (Equivalent Transformation rule Interpreter)ETI (Equivalent Transformation rule Interpreter) とは、等価変換プログラミングという新しいソフトウェア開発方法を実現する言語処理システムです。BASIC、C、Prologなどのように汎用的なプログラミングが可能がですが、理論的基礎に「等価変換に基づく問題解決」を採用している点が、他の言語と大きく異なります。 等価変換とは？ 等価変換とは何でしょうか。等価変換とは、ある表現が表す意味を保存したまま表現だけを変更する変換のことを言います。記号を使って書くと「解くべき問題の条件や質問を記述した表現をP、Pが表す意味をM(P)、PをP'に書き換える変換をrとするときM(P)=M(P')ならばrは等価変換である」ということになります。等価変換を知らない人が一番イメージしやすいPの具体例は連立方程式だとおもいます。このときM(P)は連立方程式の答
