2007年 Alternating CFG の拡張について 京都大学数理解析研究所講究録 守屋悦朗, F.Otto, H.Messerschmit 巻 1554, pp.9-15 号 記述言語 日本語 掲載種別 エクスポート BibTeX RIS