プログラム意味論 « Cruel to be kind |さて、今回は理系から見た最先端(とは言えないかも知れないが)のプログラム意味論を紹介します。 今までのプログラム意味論は、取りあえず「プログラム 意味論」あたりでgoogle先生に問い合わせて下さい。 有名なのは などいくつかあります。 (プログラム言語作った事あるよという人には常識でしょうが。) 日本でプログラムの意味論をされている方は少ないのですが、中でも京大の長谷川真人教授は圏論的手法によりプログラム意味論について研究されています。 HP – http://www.kurims.kyoto-u.ac.jp/~hassei/index-j.html ref – http://www.kurims.kyoto-u.ac.jp/~hassei/papers/msj2010sept.pdf 圏論的なプログラムの研究は日本では少ないですが、ヨーロッパではかなり進んでいます。特に量子コンピ
