招待有り 2017年12月16日 Rosser 証明可能性述語と超準的な証明 超準解析と数学基礎論のシンポジウム NSA 2017 倉橋 太志 記述言語 日本語 会議種別 口頭発表(招待・特別) 開催地 早稲田大学 リンク情報 URLhttp://www.jaist.ac.jp/~y-keita/2017NSA/index.html