圏論とオブジェクト指向：資料編 - 檜山正幸のキマイラ飼育記 (はてなBlog)

圏論とオブジェクト指向で： 以下は、説明は全部省略して、単に僕が見ている“景色”を述べるだけです、あしからず。 と書いたのですが、参考になりそうなURLだけ記しておきます。 インスティチューションの中心人物はGoguen（http://www.cs.ucsd.edu/users/goguen/）です。彼のインスティチューション・ページ（http://www.cs.ucsd.edu/~goguen/projs/inst.html）をハブに使えます。 抽象モデル論という発想はバーワイズ（Barwise）が先のようですが、文（sentence、命題、制約）の集合を天下りに“単なる集合SenΣ”にしてしまったところが、Goguen/Burstallの割り切り。バーワイズもGoguenも、分野横断的に精力的な活動をしていて、現代のプチ“ダ・ビンチ”という感じですね。 Maude（http://mau

[propella]

アランさんお勧め