聞き専なので

（証明論的意味論の分野での依存型意味論が、形式意味論の分野でのモンタギュー文法の立ち位置に似てる、と📝）（聞き専なのでただの聞き取り）