2014年3月15日 結合則を持たない部分構造論理に対する Gentzen 流の形式化 II 日本数学会2014年度年会 数学基礎論および歴史分科会 関 隆宏 記述言語 日本語 会議種別 口頭発表(一般) 主催者 日本数学会 開催地 学習院大学