0933考える名無しさん垢版 | 大砲2018/08/05(日) 12:54:39.880 たぶん恐らく、『意味論』というのはプログラムを 圏論の言葉で解釈しようとする考え方なのでしょう 将来、圏論を超えた枠組みが必要になる可能性もあり