generated at
構成的型理論
http://cc.nuis.ac.jp/library/files/kiyou/vol13/13_ishii.pdf
構成的プログラミングと関係ある？
https://kyoto-logic.hatenablog.com/entry/2022/03/26/000000
講義