単語帖_ユニフィケーション文法，ISIS，SOR，OLTP