1992年 Knowledge-Based Spelling Correction in Unix Command Names Journal of Information Processing 巻 15 号 3 開始ページ 394 終了ページ 399 エクスポート BibTeX RIS