- 著者
-
守岡 知彦
- 雑誌
- 情報処理学会論文誌 (ISSN:18827764)
- 巻号頁・発行日
- vol.59, no.2, pp.332-340, 2018-02-15
項書き換え系を用いた漢字の包摂規準の形式化手法を提案する.漢字の包摂規準は本質的に木構造のパターンに対する書き換えとして記述されているため,項書き換え系における書き換え規則として表現することは容易である.また,完備化アルゴリズムを用いることで計算機にとってより扱いやすい形に変換することができる.しかしながら,包摂除外をはじめとする包摂規準の例外や定義の不完全さ,符号化された漢字レパートリの不斉一さといった問題を扱うためには文字単位の包摂関係と包摂規準に基づく部品間の包摂関係の双方でダブルチェック可能な手法が望ましい.そこで,完備な包摂記述という概念をあわせて提案する.