1,189 followers
RT @esumii: プログラミング言語理論はマジで「電子計算機のプログラミング言語」に限らない「計算の記述」の理論なので「式の意味」とか大体議論済(定期陽マ
RT @esumii: プログラミング言語理論はマジで「電子計算機のプログラミング言語」に限らない「計算の記述」の理論なので「式の意味」とか大体議論済(定期陽マ
RT @esumii: プログラミング言語理論はマジで「電子計算機のプログラミング言語」に限らない「計算の記述」の理論なので「式の意味」とか大体議論済(定期陽マ
RT @esumii: プログラミングでも(命令型でも)意味表示の参照透過性(代入可能性)は重要なのでよろしくお願いします!https://t.co/9gRykQjJGM
プログラミング言語理論はマジで「電子計算機のプログラミング言語」に限らない「計算の記述」の理論なので「式の意味」とか大体議論済(定期陽マ