2014年12月13日 A separation property and its application for binding problems 岡山解析・確率論セミ ナー 西森 康人 記述言語 日本語 会議種別 口頭発表(一般)