プログラマーのための圏論を読んでいて、(プログラム) 意味論なる概念が出てきた。 代表的なものとして、次の3つがあるらしい。 表示的意味論 操作的意味論 公理的意味論 これらの雰囲気を知りたくて調べて...