1994年 On the Automath (1) Bulletin of Kagoshima Junshin Junior College 巻 号 24 開始ページ 119 終了ページ エクスポート BibTeX RIS