2013年11月24日 推論のパラドクスと証明論的意味論 日本科学哲学会第46回大会WS「証明論的意味論の最前線」 ダウンロード 発表資料回数 : 112 大西琢朗 記述言語 日本語 会議種別 シンポジウム・ワークショップ パネル(公募)