ORelやV-ORelには、当面少なくとも1つは実務的な応用がある。Catyのモジュールやクラス（OOPのクラスとは若干違う）のあいだには、リスコフ置換可能性からリスコフ順序と呼ぶべき順序が入る。そのもとになるのは、コマンド＝射のプロファイルあいだのリスコ…

http://d.hatena.ne.jp/m-hiyama/20111212/1323649258 で書いたORelだが、あれは有望な気がする。面白い気がする。きっと役立つに違いない。順序集合が V=真偽値 と置いたV豊饒圏なので、Vを別な順序集合（例えばダイヤモンド4値とか）に変えると別な構造が…