2016年5月8日 符号付き自然演繹を用いた否定概念の証明論的分析 応用哲学会第8回年次大会・WS『証明論的意味論意味論の最前線』 ダウンロード 回数 : 333 五十嵐涼介 記述言語 日本語 会議種別 口頭発表(一般)