プログラム意味論 « 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 圏論的なプログラムの研究は日本では少ないですが、ヨーロッパではかなり進んでいます。特に量子コンピ

[niam]

勘違いが激しい。米国大学院の授業が集中的で一気に力が付くのは確か。しかし、１）学部の理学・工学の違いなど、博士まで進めば完全に吸収される　２）海外でも計算機科学分野で博士号を複数持つ人は見たことない

[todesking]

うわっ

[morutan]

『圏論的なプログラムの研究は日本では少ないですが、ヨーロッパではかなり進んでいます。特に量子コンピュータでのプログラミングについて、意味論的な研究が行われて』　記号と再帰も論理学言及ないみたいだったな