査読有り 2011年9月 Introducing the Kosen System ISATE リチャード グランバイン 記述言語 英語 掲載種別 研究論文(国際会議プロシーディングス) エクスポート BibTeX RIS