2020-02-01から1ヶ月間の記事一覧

いろいろな意味論 #02 プログラムの意味を決めるものを考える

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

どちらの立場に立っても「応援するけど差し替える」一択だと思えた件

私の中のオタクとフェミニスト 信じたい物語に気をつけたいということ 補:頂いたコメントやその後の展開を受けて 参考文献 これ以上なにか言うべきか迷っていました。 しかし、個人的な目標として 「作品が社会に与える影響を研究したい」 と掲げている以上…