著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) "岩見, 宗弘",組合せ子$O$の非基礎ループ性 (証明論と論理・計算の構造),数理解析研究所講究録,1880-2818,京都大学数理解析研究所,2009-04,1635,,16-22,https://cir.nii.ac.jp/crid/1050001335715175424,