"中村 知己,鹿島 亮","項内に束縛関係を持つ一階述語論理の構成","RIMS 共同研究","京都大学数理解析研究所 講究録",,"Vol. 2083",,,2018,Aug.