たぶん恐らく、『意味論』というのはプログラムを
圏論の言葉で解釈しようとする考え方なのでしょう
将来、圏論を超えた枠組みが必要になる可能性もあり