@techreport{oai:ipsj.ixsq.nii.ac.jp:00210292, author = {酒井, 笑理 and 鈴木, 祐介 and 内田, 智之 and 宮原, 哲浩 and Emiri, Sakai and Yusuke, Suzuki and Tomoyuki, Uchida and Tetsuhiro, Miyahara}, issue = {11}, month = {Mar}, note = {順序木とは順序付けられた子を持つ根付き木である.項木パターンとは,順序木に構造的変数を導入した順序木パターンであり,変数には任意の順序木を代入できる.1 変数項木パターンとは,パターン中の全ての変数に同一の順序木を代入しなくてはならない制限を持つ項木パターンである.本研究では,1 変数項木パターンと順序木に対するマッチング問題を解く多項式時間マッチングアルゴリズムの改良を行う.また,提案したマッチングアルゴリズムの実装を行い,その実験結果を報告する., Ordered trees are rooted trees with ordered children. Term tree patterns are rooted ordered trees having internal structured variables. A variable can be replaced with any rooted ordered tree. A one-variable term tree pattern is a term tree pattern with a restriction that all variables in the term tree pattern must be replaced with the same ordered tree. In this paper, we proposed an improved matching algorithm for one-variable term tree patterns and reported experimental results.}, title = {1変数項木パターンに対するマッチングアルゴリズムの改良}, year = {2021} }