機械のように今を輝き、少女のようにここを定義せよ

プログラムの自由度は何に由来するのか プログラムにおける慣習の機能を探る まとめ 参考文献 このシリーズの目的は、以下です。 同じ「意味論」という名が付きながらも、 文章とプログラムの意味論の間に 大きな違いがある。 その間を埋めるいいやり方がないか、 これを考えたいという動機です。 そこで前回は、文章とプ…