本田 裕『学位論文 博士（工学） 深層学習を用いた一階述語論理による推論に関する研究』2024/3/17 6:24:00 https://koara.lib.keio.ac.jp/xoonips/modules/xoonips/download.php/KO50002002-20215703-0003.pdf?file_id=163237