{"@context":{"@vocab":"https://cir.nii.ac.jp/schema/1.0/","rdfs":"http://www.w3.org/2000/01/rdf-schema#","dc":"http://purl.org/dc/elements/1.1/","dcterms":"http://purl.org/dc/terms/","foaf":"http://xmlns.com/foaf/0.1/","prism":"http://prismstandard.org/namespaces/basic/2.0/","cinii":"http://ci.nii.ac.jp/ns/1.0/","datacite":"https://schema.datacite.org/meta/kernel-4/","ndl":"http://ndl.go.jp/dcndl/terms/","jpcoar":"https://github.com/JPCOAR/schema/blob/master/2.0/"},"@id":"https://cir.nii.ac.jp/crid/1050855522073672576.json","@type":"Article","productIdentifier":[{"identifier":{"@type":"URI","@value":"https://ipsj.ixsq.nii.ac.jp/records/91521"}},{"identifier":{"@type":"NAID","@value":"170000076397"}}],"resourceType":"会議発表資料(conference paper)","dc:title":[{"@value":"正規表現における非包含オペレータの提案"},{"@language":"en","@value":"Absent Operator for Regular Expression"}],"dc:language":"ja","description":[{"type":"Other","notation":[{"@value":"正規表現の拡張として非包含オペレータを提案する。正規表現は昨今スクリプト言語等で活用されているが、もともと形式言語理論により定義されたものである。形式言語理論においては、正規言語における補集合の閉方性が証明されており、ある正規表現から導出できない文字列すべてだけを導出できる正規表現が存在することが知られている。補集合はC言語のコメントやCR LF終端の行などを表現するのに役に立つが、現実にそのような正規表現を構成するのは繁雑であり難しい。そこで正規表現エンジンで補集合オペレータを直接サポートすることが考えられるが、これはPerl, Ruby等の既存の正規豹変エンジンで採用されているバックトラッキングを用いるアルゴリズムでは効率よく実装できない。また、既存の正規表現の拡張には最短一致の繰り返し、バックトラックの抑制、否定先読みなど容易な記述を可能とするものもあるが、それらは理論による適切な意味付けができない。そこで本論文では、既存のバックトラック型の正規表現エンジン上で容易に効率よく実装でき、かつ、形式言語理論による適切な意味付けが可能は非包含オペレータを提案する。"}]},{"type":"Other","notation":[{"@value":"This paper proposes a new operator, absent operator, for regular expressions. Recently, regular\nexpressions are widely used with scripting languages. There are several usages which is too difficult to write down in a regular expression: a comment in C language, CR LF terminated lines, etc. They are possible to represented by a regular expression because the formal language theory proves complement of a regular language is also regular. The absent operator eases them. The operator is easy to implement on a backtracking regular expression engine and it has proper semantics on the theory unlike lazy match, atomic grouping, negative lookahead."}]}],"creator":[{"@id":"https://cir.nii.ac.jp/crid/1070855522073672576","@type":"Researcher","personIdentifier":[{"@type":"NRID","@value":"9000287176071"}],"foaf:name":[{"@value":"田中, 哲"}]},{"@id":"https://cir.nii.ac.jp/crid/1070020840122310016","@type":"Researcher","foaf:name":[{"@language":"en","@value":"Akira, Tanaka"}]}],"publication":{"prism:publicationName":[{"@value":"第49回プログラミング･シンポジウム予稿集"}],"dc:publisher":[{"@value":"情報処理学会"}],"prism:publicationDate":"2008-01-08","prism:volume":"2008","prism:startingPage":"55","prism:endingPage":"64"},"url":[{"@id":"https://ipsj.ixsq.nii.ac.jp/records/91521"},{"@id":"http://id.nii.ac.jp/1001/00091504/"}],"dataSourceIdentifier":[{"@type":"IRDB","@value":"oai:irdb.nii.ac.jp:02902:0003175281"},{"@type":"CIA","@value":"170000076397"}]}