著者
森田 和宏 望月久稔 山川 善弘 青江 順一
出版者
一般社団法人情報処理学会
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.39, no.9, pp.2563-2571, 1998-09-15

自然言語辞書に構築される基本語彙は有限であるが,それら基本語の関係を定義することで,膨大な数の関係情報が作り出される.複合語,慣用表現,格関係などもこの関係情報の範疇に属し,これらを基本単語の共起情報と呼ぶ.共起情報を基本単語の並びとして格納すると,記憶効率が非常に悪くなるので,これら関係情報の効率的な記憶検索技法は重要な課題である.本論文では,基本単語からなる共起情報をトライ構造で効率的に記憶検索する手法を提案する.本手法では共起情報を構成する2つの基本単語を1つのトライに登録し,関係情報をトライの葉ノード間のリンク関数で定義する.共起情報の登録による記憶量の増加はこのリンク情報のみとなり,リンク情報もトライに格納する.本手法では,トライのアークを高速にたどる必要があるので,これをO(1)の計算量で実現するダブル配列法を適用する.この結果,共起情報の検索時間は,基本単語数や葉ノード間のリンク数に依存しない一定の計算量となった.約10万語の基本単語に対して,複合語,同音語判定の共起語,格構造辞書などの約100万の関係情報を構築した実験結果より,検索時間は1.2msと一定となること,また記憶量は従来法より1/3に圧縮できることが分かった.Collocational information is very useful for natural language processing systems and it includes compound words,cooccurrency words,verbs and the role of nouns in the case slot,and so on.Collocational information can be constructed by combining basic words infinitely,so it is important to propose a fast and compact structure representing them.This paper presents an efficient data structure by introducing a trie that can define the linkage among leaves.It enables us to decrease the amount of memory required for the same basic words.Theoretical observations show that the worst-case time complexity of retrieving collocational information is a constant,independent of the number of words and linkages.From the simulation results for collocational information,it is shown that the presented method is about 1/3 smaller than that of the competitive methods.
著者
木村 昌司 田口 友康
出版者
一般社団法人情報処理学会
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.38, no.11, pp.2209-2216, 1997-11-15

日本語の文章は仮名漢字混じり文であり,その印刷文書は仮名書体の違いによって視覚的印象が変わるといわれている.この研究では,6種類の仮名書体を選んで,その印象の変化が何と関係しているのかを分析した.始めに物理計測で縦横の幅と黒領域の面積比を計測した.次に心理実験で被験者にサンプルを提示し,その印象を40種類の形容詞を用いた選択記述法で解答させた.この両者から,全体として文字間が一定に見えるようにデザインされた時代の新しい書体が良い印象を与え,縦または横に長い,時代の古い書体が読みにくくかつ悪い印象を与えるという結果が得られた.Japanese texts are written in kanji(Chinese)and kana characters.It is said that the use of different typefaces of kana characters may result in different visual impressions in the printed texts.This paper studies the kana typefaces in Japanese typesetting in two aspects,that is,a physical measurement and a psychological experiment with the use of six typical kana typefaces.In the physical measurement,the vertical and horizontal widths as well as the density of black area were measured.In the psychological experiment,the impression of the typefaces were evaluated for texts of different styles by the method of selected description on forty adjectives.The result showed that the kana typefaces of modern time,designed in a square-like shape,gave a good impression,while those of ancient time,characterized by the shapes of unequal vertical vs.horizontal widths,gave a poor impression,as a whole.
著者
藤川 真樹
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.62, no.12, pp.1937-1947, 2021-12-15

釈迦は,3つの教理(十二縁起,四諦,八正道)を説いたとされる.本稿では,当該教理に対する著者の理解と仏教研究者とのディスカッションに基づき,(1) ソーシャルエンジニアの思惑どおりにモノを渡したり受け取ったりしがちな人の傾向性,(2) モノを授受するという判断に至るまでの心理的過程,(3) ソーシャルエンジニアリングに対抗するために人が日常的に実践すべき行動を考察する.この研究は,人工知能の父であるMarvin Minsky氏が残した興味深い言葉に著者が出会ったことがきっかけである.
著者
森勢将雅 村主 大輔 馬場 隆 片寄 晴弘
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.54, no.4, pp.1244-1253, 2013-04-15

電子的に合成される歌唱が音楽コンテンツ制作に用いられるようになって以来,パソコンを用いた音楽制作はこれまでにない盛り上がりを見せている.Vocaloidに代表的される歌唱合成ソフトウェアでは,煩雑なパラメータの調整(歌唱デザイン)が自然な歌声を生み出すために必要であり,クリエイタは,作業時間の多くを歌唱デザインに割いている.本研究では,歌唱デザインの1つの形として,歌唱素材に対して,特定の歌手の歌唱スタイルを転写する方法を取り扱う.本論文では,島唄風歌唱における歌唱技巧「グイン」を対象とし,入力された歌声を島唄風に変換する技術,および,歌唱デザインを支援するインタフェース「グインレゾネータ」を提案する.F値により性能を評価した結果,67.8%であることが示され,主観評価では知覚的にグインを転写できることが確認された.
著者
菅野 翔平 片寄 晴弘
出版者
情報処理学会
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.64, no.11, pp.1463-1473, 2023-11-15

近年,男性ボーカルのポップス楽曲が歌いにくいと指摘する声をよく耳にするようになった.主要因の1つとして単純なメロディ音高の上昇が考えられるが,これまでに精緻な調査は実施されていない.また,ミックスボイスと呼ばれる発声法が多用されるようになったとの指摘もあるが,こちらも精緻な調査に基づく主張ではない.この状況に際し,我々は50年規模の調査を実施することとした.発声法の分類については,メインボーカル(非コーラス),コーラスの分類,さらに,メインボーカルについてはチェスト,ファルセット,ミックスボイス,プルの4種類のタイプ分類を目指すが,大量データに対してのラベリングはきわめて煩雑な処理となる.そこで,深層学習による発声法の自動分類処理を実装したうえ,メロディの基本周波数推定をあわせて,過去52年間合計1,560曲に対して分析を実施した.この結果,約一音半分の平均ピッチの上昇と,地声から高音域に用いられる発声法へと徐々に変化している状況を確認した.また,メロディピッチの上昇とミックスボイス,プルによる歌唱の推移に強い正の相関を確認した.
著者
有山 大地 安藤 大地 串山 久美子
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.61, no.11, pp.1729-1740, 2020-11-15

エレキギターの音作りは一般的にアナログのアンプ,エフェクタなどを用いて行われ,その組合せは膨大な数にのぼり,演奏者やエンジニアが求めている音色を得るために大きな労力を必要とする.たとえば,憧れのギタリストの音色を再現したいという場合,まず同一の機材の入手,加えてステージセッティングの画像などからエフェクタのつまみの位置を推測する必要があり,手動での再現のプロセスは困難なものである.そこで音色再現の問題を解決するため,ユーザが所持している1つのソフトウェアエフェクタのみを用いて,ユーザが目標とする音になるべく近い音作りができることを目標として,エフェクタの複数のパラメータを機械学習により探索する手法の開発を行った.本研究は現在までにギターエフェクトの1つである「歪み系エフェクト」を中心に,開発したシステムによって再現された音色について調査・実験を行い,再現度の評価において一定の成果を得た.また,本研究で開発した手法がエレキギター音色の再現において有効であることを確認した.
著者
河合 直樹
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.41, no.3, pp.586-593, 2000-03-15

木目模様は最も代表的なテクスチャの1つであり,コンピュータグラフィクスによるソリッドテクスチャ生成技法も種々報告されている.従来の技法では木目の年輪模様の再現に注力されてきたが,年輪以外の微細組織の表現や繊維の流れに関する研究は少なく,得られる質感は十分ではなかった.本論文では樹木の内部構造に着目し,木理と呼ばれる樹木内部の繊維配向性をモデル化する.代表的な木理のパターンと一般的な木理の記述手法を示した後,レンダリング時に必要な局所的な座標変換に基づいたモデルを示す.次に微細組織の例として道管と呼ばれる鉛直な組織について,代表的なパターンのモデリング技法を示し,呈示した座標変換を作用させて表示することで,木理のモデルの妥当性を検証する.続いて微細組織の簡易的な表現として提案されている明度シフト法を,年輪構造と微細繊維組織を一元的に記述する手法として一般化し,木理による座標変換を作用させることにより,樹木構造の合理的な記述手法を提案する.最後に繊維の勾配に依存する鏡面反射モデルを導入し,木理の影響で材面に現れる光源と視点に依存する反射現象をシミュレーションする.これらの手法を導入することで,従来法よりもリアルな質感表現が可能になり,CG映像や産業デザインにおいて有用な品質高いソリッドテクスチャを生成することが可能な技法を示すことができた.
著者
山下 祐貴 森本 有紀 秋田 健太
出版者
情報処理学会
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.64, no.5, pp.1065-1073, 2023-05-15

本研究では,深層学習により入力テキストの内容に対応した色付きメッシュモデルを生成する手法を提案する.これまでに深層学習を用いて様々な表現形式の3次元モデルを生成する手法が広く提案されている.その中でも,入力した画像に対応する3次元モデルを生成する3次元再構成手法が多く提案されている.しかしこのような手法では,ユーザが作成したい形状や色などの3次元モデルを得るために,その特徴に対応する画像を用意する必要があり,手間がかかる.本研究では,テキストによる自由形式の説明文を入力とすることでそのような手間を軽減する.3次元モデルの大規模データセットを用いた定量的・定性的な評価を行い,提案手法がテキスト入力による柔軟な色付きメッシュモデルの生成において有効であることを示した.
著者
藤居 祐輔 安積 卓也 西尾 信彦 加藤 真平
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.55, no.2, pp.1048-1058, 2014-02-15

サイバーフィジカルシステム(CPS)が注目される中,その技術基盤として,GPUなどのデバイスが利用され始めている.GPUはデバイスドライバを経由して利用されているが,CPSのように短い周期で繰り返し多くの処理が行われると,ホストへの負担が増えるとともに,デバイス制御や処理の同期によってレイテンシが発生する.さらにGPU処理では,データをデバイスメモリへと転送する必要があり,上記問題を悪化させ,データ転送処理自体にも影響を与える.そのため我々は,GPU制御処理の一部をGPUマイクロコントローラ上で動作するファームウェアへオフロードし,GPU処理の効率化をめざす.本論文では,オフロード基盤としてコンパイラ,デバッグ支援ツールを含んだGPU制御ファームウェア開発環境と,既存のNVIDIA社製ファームウェアと同等の機能を持つファームウェアを開発する.次に,オフロード基盤を用いて,制御処理の一部であるDMA転送処理をファームウェアに追加実装することで,オフロードを実現しGPU処理を効率化する.我々は,実装したファームウェアと既存のファームウェアを比較し,性能低下がないことを示すことで,オフロード基盤の有効性を確認した.オフロードしたデータ転送処理では,既存のデータ転送処理と比べ,一部のデータサイズにおいて約1.5倍の転送速度を実現し,さらに既存データ転送処理へのオーバラップ転送を実現した.
著者
高 友康 筧 康明
出版者
情報処理学会
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.64, no.6, pp.1083-1094, 2023-06-15

オーディオゲームとは,視覚情報を用いずに音声のみでプレイするデジタルゲームジャンルである.オーディオゲームはこれまで視覚障がい者を中心に親しまれてきたが,視覚を前提とせず聴覚に集中してゲームをプレイするという体験は,より幅広い層から楽しめるコンテンツとして近年注目を集めている.すでに様々な種類のオーディオゲームが制作されているが,既存のオーディオゲームでは,音声のみでの空間的な情報提示が困難であるといった課題がある.それに対し今回筆者らは,プレイヤがより自由に空間的な移動・回転が可能なオーディオゲームの制作を試み,「大爆走!オーディオレーシング」と名づけるレーシング型オーディオゲームを提案する.これはゲーム内での音楽の連続的なパンニングをコース形状の手がかりとして用い,音の聞こえる方向へハンドルを操作することで走行が可能になるものである.また,ゲームとしてのエンタテインメント性を向上させるため,ボイス実況や,サウンド演出,適切な難易度での体験のための運転アシスト機能の設計を行った.本稿では,設計・実装の詳細と,オンライン展示および物理展示を通して得られた走行データから読み取れる考察,そして誘導方式について行ったユーザスタディについて述べる.
著者
矢野 翔平 伊藤 弘大 山下 真由 高嶋 和毅 伊藤 雄一
出版者
情報処理学会
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.64, no.5, pp.1002-1013, 2023-05-15

一般的な教育現場では,教師が生徒の理解状況を把握するために,テストを実施したり,机間巡視をして問題解答の様子を観察したりする.しかし,教師の能力や状況によっては正しく理解状況を把握できていない場合がある.近年では,情報技術を用いた学習支援システムが発達し,学習時の情報を取得することが容易になった.一方,情報教材が普及してきたとはいえ,現在最も普及している学習方法はペンを用いてノートに筆記するものである.また,紙を使用して学習する方が,電子デバイスを使用して学習するよりも優れているという結果が報告されている.そこで本研究では,筆記行動から理解状況を推定する手法を検討する.筆記量や筆記速度は,理解状況と相関があるといわれており,学習者の理解状況が筆記行動に表れていると考えられる.理解状況の評価には,解答した問題の正誤判定と学習者の解答に対する自信度を組み合わせて評価する統合評価法を用いる.また,筆記行動取得の手段として,学習者のペンを握る力(ペン把持力)を用いる.60名の実験データより,理解状況は,特に解答時間やペン把持力の平均変化量に表れていることが確認された.また,ペン把持力には自信度の影響が強く表れていることが分かった.理解状況の推定精度を評価したところ,圧力センサ付きペンから得られる情報と解答用紙から得られる情報(解答情報)を組み合わせることで72.1%の推定精度が得られた.
著者
披田野 清良 大木 哲史 高橋 健太
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.54, no.11, pp.2383-2391, 2013-11-15

ここ10年あまりにわたり,生体情報を秘匿して認証を行うテンプレート保護型生体認証が注目されている.しかしながら,それらの安全性に関する議論では,生体情報間の相関性により,当該情報量が減少し,保護テンプレートが漏洩した際に,生体情報の推定が容易となる可能性については必ずしも十分に言及されていない.そこで,本論文では,テンプレート保護型生体認証の一方式であるFuzzy Commitment Scheme(FCS)を用いたバイオメトリック暗号に着目し,生体情報間の相関性を考慮して保護テンプレートの安全性を評価する.FCSでは,ユーザが提示する生体情報から生成されたビット列と誤り訂正符号の符号語との排他的論理和を計算してコミットメントを作成し,これを保護テンプレートとすることにより安全性を確保している.本論文では,まず,ビット間に相関性の残る可能性が高い指紋情報に着目し,筆者らが提案する2次のRenyiエントロピーを用いた生体情報の情報量評価手法に基づき,実際に指紋ビット列のビット間には何らかの相関性があることを明らかにする.次いで,生体ビット列のビット間の相関性を利用したなりすましに関する新たな脅威としてDecodable Biometric Dictionary Attack(DBDA)を提案し,DBDAに対する安全性を理論的に考察するとともに,シミュレーション結果を交えて定量的に評価する.
著者
油田 健太郎 山場 久昭 片山 徹郎 朴 美娘 岡崎 直宣
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.56, no.12, pp.2395-2405, 2015-12-15

現在,P2Pファイル共有ネットワークが世界中で利用されている.しかし,その多くはファイルの流通制御を持たないため,著作権侵害ファイルの流通やコンピュータウイルスによる個人情報の流出などが社会問題となっている.その解決策としてインデックスポイゾニングと呼ばれるファイル流通制御方式が研究されている.しかし,P2Pファイル共有ネットワークへインデックスポイゾニングを適用する際に,トラフィックの増大やインデックスの汚染などの問題が発生することが確認されている.そこで本論文では,ファイルの流通制御を低下させることなく,それらの問題を解決する手法として,P2Pファイル共有でのクラスタリングに着目して,重点的なポイゾニング機能を提案することで従来手法を改善し,その一部をWinnyネットワーク向けに実装することで,提案手法の有効性を評価する.
著者
土居 誉生 隅田 英一郎
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.47, no.6, pp.1742-1752, 2006-06-15

コーパスベース翻訳は高い翻訳品質を実現しうる有望な技術である.しかし,入力文と関連のない語が訳文に湧き出すなど,特徴的な翻訳誤りも観察される.本稿では,この湧き出し誤りへの対処として,後編集により自動修正するアプローチを提案する.提案手法は,単語翻訳モデルを利用して誤り語候補を検出し,修正処理を起動する.誤り語候補は,対訳コーパスから得られた用例を利用した制約の検証を経て,訳文から削除される.日英および中英翻訳を対象とした複数のシステムを使った実験で,誤り語自動削除による翻訳精度向上効果が確認された.
著者
Xuping Huang Shunsuke Mochizuki Akira Fujita Katsunari Yoshioka
出版者
情報処理学会
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.64, no.3, 2023-03-15

In recent years, malware-infected devices, such as Mirai, have been used to conduct impactful attacks like massive DDoS attacks. Internet Service Providers (ISPs) respond by sending security notifications to infected users, instructing them to remove the malware; however, there are no approaches to quantify or simulate the performance and effectiveness of the notification activities. In this paper, we propose a model of security notification by ISPs. In the proposed model, we simulate the security notification with composite parameters, indicating the nature of malware attacks such as persistence of malware, user response ratio, and notification efforts by ISPs, and then discuss their effectiveness. Moreover, we conduct a simulation based on the actual attack.------------------------------This is a preprint of an article intended for publication Journal ofInformation Processing(JIP). This preprint should not be cited. Thisarticle should be cited as: Journal of Information Processing Vol.31(2023) (online)DOI http://dx.doi.org/10.2197/ipsjjip.31.165------------------------------
著者
大野 直紀 土屋 駿貴 中村 聡史 山本 岳洋
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.59, no.3, pp.929-940, 2018-03-15

音楽動画の印象に基づく検索や推薦,音楽動画の類似判定のためには,音楽動画の印象推定に関する技術が必須となる.しかし,音楽に対する印象評価や映像に対する印象評価に関する研究は多数なされている一方で,音楽と映像が組み合わされた音楽動画に対する印象評価の研究は十分になされていない.我々は,音楽と映像の印象がどのように音楽動画の印象に影響するのかを調べるため,「音楽のみ」「映像のみ」「音楽動画」の3つの関係性に着目し,これらに対する8印象軸の印象評価データセットを構築した.また,それらを分析することで,音楽と映像の印象評価の組合せによる音楽動画の印象推定の可能性について検討を行った.またデータセット内の音楽動画の音楽と映像を任意に合成した音楽動画を生成し,印象評価を行ってもらうことで,音楽印象と映像印象の組合せが音楽動画の印象とどのように関係しているのかの分析を行った.その結果,音楽と映像の印象を組み合わせることによる印象推定の可能性があること,また各印象によって印象の組合せ方が異なることを明らかにした.
著者
満 都拉 藤井 敦 石川 徹也
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.47, no.8, pp.2733-2745, 2006-08-15

モンゴル語には,モンゴル文字を用いて表記する伝統的モンゴル語とキリル文字を用いて表記する現代モンゴル語の2 種類がある.伝統的モンゴル語は主に中国の内モンゴル自治区で使われており,現代モンゴル語は主にモンゴル国で使われている.両方のモンゴル語を読み書きができる人は少ないため,内モンゴル自治区とモンゴル国で情報の交換が困難である.しかし,2 つのモンゴル語は音声言語としてはほとんど同じであり,発音に基づいて文字単位の対応を付けることができる.そこで,本論文は伝統的モンゴル語と現代モンゴル語を双方向的に翻字する手法を提案する.具体的には,一方のモンゴル語で書かれたテキストを文字単位で他方のモンゴル語に変換する.また,正字法を適用し,文字単位では形式化が困難な表記上の違いに対処する.新聞記事を用いた評価実験の結果,現代モンゴル語から伝統的モンゴル語への翻字精度は80.6%,伝統的モンゴル語から現代モンゴル語への翻字精度は85.5%であった.また,本手法による自動翻字の結果に誤りが含まれてもテキストの内容理解には支障がなかった.
著者
山本 雄平 田中 成典 姜 文渊 中村 健二 田中 ちひろ 清尾 直輝
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.59, no.5, pp.1334-1350, 2018-05-15

我が国では,2020年の東京オリンピックに向けて,スポーツに関わる政策が積極的に推し進められている.その施策の1つである「スポーツ × ICT」では,スポーツ分野における計測機器の開発やデータ計測と可視化手法の高度化,そして新サービスの提案など,最新ICTの効果的な利活用が進められている.しかし,スポーツ分野にICTを適用する試みは始まったばかりの黎明期であり,教育現場や地域クラブの指導者のみならず,高度な専門知識を保有したスタッフにおいても,自在に操ることは難しい.そこで,本研究では,「スポーツ × ICT」に関わる既存研究を調査し,現状把握と効果的な活用方法を模索するとともに,アメリカンフットボールのプレーデータの可視化システムを開発する.そして,選手にセンシング機器を適用し,統計的手法と組み合わせてプレー分析を行い,カレッジフットボールの監督・コーチなどの指導者に新たな気づきを提供できるかの観点に基づき,実用の可能性を検証する.
著者
岩本 宗大 大西 鮎美 寺田 努 塚本 昌彦
出版者
情報処理学会
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.63, no.10, pp.1574-1582, 2022-10-15

フィールドホッケーは,スティックと硬球を使って行う世界的に人気のあるスポーツである.フィールドホッケーの動作の中で,チームメイトへのパスとして最も基本的で一般的に使われる動作のうちの1つにプッシュという動作がある.プッシュ動作中,スティックにボールが接触してからリリースされるまでスティックがボールと接触している距離が長いと強くて速いプッシュを打てる.しかし,初心者が自分でスティックの接触点を知覚することは難しい.本研究では,プッシュの技術向上のためにスティックにボールが接触する位置の移動経路をリアルタイムに聴覚フィードバックするシステムを提案する.提案システムは,圧力センサの接触位置に応じてピッチの異なるフィードバック音を圧電スピーカによりリアルタイムで発生させる.2カ月間行った評価実験の結果,スティック上のボールの移動経路の平均距離は,聴覚フィードバックを行ったほうが,行わなかった場合よりも有意に長くなった.これにより,提案システムによる聴覚フィードバックの有効性を確認した.
著者
山本 篤 山口 和紀
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.44, no.7, pp.1756-1765, 2003-07-15

正規表現は,パターンマッチングを行うためのツールとして広く利用されている.しかし,さまざまな応用で拡張されてきたのにともない,次のような問題が出てきている.1)標準的に使われている正則集合による意味づけでは,後方参照がうまく定義できていない,2)オートマトンを用いたパターンマッチングの実装において,状態数やバックトラックの回数が爆発することがある,3)正規表現の積や差を直接的に利用できない.本研究では,このような問題を解決するために,正規表現関数と呼ぶ関数を導入する.正規表現関数は,記号列集合を入出力とする関数であり,マッチする記号列を消費して出力するものである.たとえば,正規表現 a* が a の繰返しにマッチすることは,その正規表現関数が,a*({ab aa b}) = {ab b aa a ε} という入出力関係を持つことで表される.これを拡張し,変数を扱えるようにすることで,後方参照も含めた正規表現を定義することができる.また,正規表現関数を用いたパターンマッチングの実装が可能であり,後方参照のない場合には計算量の爆発を避けることができ,比較実験でも優位なケースを確認した.さらに,正規表現の積と差を導入し,これらが正規表現関数によって簡単に実装できることを示す.最後に,正規表現の積や差を用いる応用例としてHTMLなどへのパターンマッチングをあげる.