[kisoron-ml] 超準解析シンポジウム 2012 AN1