研究者情報 | 神奈川大学

キノシタ　ヨシキ Kinoshita Yoshiki 木下　佳樹所属神奈川大学情報学部計算機科学科神奈川大学大学院理学研究科理学専攻（情報科学領域）職種教授
言語種別	日本語
発行・発表の年月	1998/04
形態種別	学術雑誌
査読	査読あり
標題	クヌース・ベンディクスの代わりに米田ーモノイドの場合
執筆形態	単著
掲載誌名	『コンピュータソフトウェア』（岩波書店）
巻・号・頁	16(2),72-75頁
概要	単（monoid）の等式理論において，項を与えられるとその項の標準形を返す正規化函数があり，それを求めるためにKnuthとBendixによる完備化の手法が有効なことは古くからよく知られているが，BeylinとDybjerは書換系の完備化の考えを用いずに，項を一旦，項への作用に写し，それを再び項に戻すという操作によって正規化算法を与えた．この定義は一見場当たり的なものに見えるが，実は双圏に関する米固埋込からほぼ自動的に抽出できることを示す．