前回の記事「用語・用法図から知識グラフへ」で、言いたいことはまとめたつもりになったのですが、しばらくすると言い残しに気付いたので続きを書きます。主な話題は、知識グラフに対して、集合論・圏論・依存型理論を用いた形式意味論を構成する話です。完…