WEKO3
アイテム
{"_buckets": {"deposit": "580baa08-323a-428d-b203-162a3f4916b3"}, "_deposit": {"created_by": 13, "id": "9133", "owners": [13], "pid": {"revision_id": 0, "type": "depid", "value": "9133"}, "status": "published"}, "_oai": {"id": "oai:uec.repo.nii.ac.jp:00009133", "sets": ["198"]}, "author_link": ["24933"], "control_number": "9133", "item_10006_date_granted_11": {"attribute_name": "学位授与年月日", "attribute_value_mlt": [{"subitem_dategranted": "2019-03-25"}]}, "item_10006_degree_grantor_9": {"attribute_name": "学位授与機関", "attribute_value_mlt": [{"subitem_degreegrantor": [{"subitem_degreegrantor_name": "電気通信大学"}]}]}, "item_10006_degree_name_8": {"attribute_name": "学位名", "attribute_value_mlt": [{"subitem_degreename": "修士"}]}, "item_10006_description_10": {"attribute_name": "学位授与年度", "attribute_value_mlt": [{"subitem_description": "2018", "subitem_description_type": "Other"}]}, "item_10006_description_7": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "構造化されたデータに対する変換は, 関数プログラミングや文書処理において重要な役割を果しており, そのような変換のふるまいのよいクラスを明らかにするため, 様々な計算モデルが提案されている. そのひとつとして, Alur と D\u0027Antoni らによって提案された単一使用制約付き決定性ストリーム木変換器 (STTsur) がある. STTsur はネスト文字列上の変換を定義することができ, ネスト文字列はランク付き木や森といった階層構造を表現することができる. STTsur の単一使用制約は, STTsur が単項二階述語論理による木変換器 (MSOTT) と同等の表現力となるために付けられている制約である. この単一使用制約がないストリーム木変換器の表現力についてはこれまで議論されておらず, その等価性判定が決定可能か否かは未解決問題である. 本論文では STTsur の単一使用制約をなくし, 入力をランク付きの木を表現するネスト文字列, 出力を文字列に制限した決定性ストリーム変換器 (SRTST) を考える. また, SRTST とは別に木を入力とし文字列を出力する変換を扱う計算モデルとして正規先読み付き木から文字列への決定性下降型変換器 (yDTR) がある. yDTR は累積引数を伴わない構造的な再帰関数を扱うことができる. yDTR の等価性判定は決定可能であることが証明されている. 本論文では, SRTST から等価な yDTR , yDTR から等価な SRTST を構成する方法を示すことにより, SRTST と yDTR が同等の表現力を持つことを示す. この証明での SRTST から yDTR への変換は構成的であるため, yDTR の等価性判定を利用することにより, SRTST の等価性判定問題も決定可能となる.", "subitem_description_type": "Abstract"}]}, "item_10006_text_22": {"attribute_name": "専攻", "attribute_value_mlt": [{"subitem_text_value": "情報理工学研究科"}, {"subitem_text_value": "情報・ネットワーク工学専攻"}]}, "item_10006_version_type_18": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_ab4af688f83e57aa", "subitem_version_type": "AM"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "高橋, 祐多", "creatorNameLang": "ja"}, {"creatorName": "タカハシ, ユウタ", "creatorNameLang": "ja-Kana"}], "nameIdentifiers": [{"nameIdentifier": "24933", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2019-04-17"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "1731095.pdf", "filesize": [{"value": "896.0 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 896000.0, "url": {"label": "1731095.pdf", "url": "https://uec.repo.nii.ac.jp/record/9133/files/1731095.pdf"}, "version_id": "64218328-2a0b-4b2d-9f9b-99712d59aa4f"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "thesis", "resourceuri": "http://purl.org/coar/resource_type/c_46ec"}]}, "item_title": "ランク付き木から文字列への決定性ストリーム変換器の表現力", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "ランク付き木から文字列への決定性ストリーム変換器の表現力", "subitem_title_language": "ja"}]}, "item_type_id": "10006", "owner": "13", "path": ["198"], "permalink_uri": "https://uec.repo.nii.ac.jp/records/9133", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2019-04-17"}, "publish_date": "2019-04-17", "publish_status": "0", "recid": "9133", "relation": {}, "relation_version_is_last": true, "title": ["ランク付き木から文字列への決定性ストリーム変換器の表現力"], "weko_shared_id": -1}
ランク付き木から文字列への決定性ストリーム変換器の表現力
https://uec.repo.nii.ac.jp/records/9133
https://uec.repo.nii.ac.jp/records/9133931c58c6-b641-4625-97a8-752bfa5abf88
名前 / ファイル | ライセンス | アクション |
---|---|---|
1731095.pdf (896.0 kB)
|
|
Item type | 学位論文 / Thesis or Dissertation(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2019-04-17 | |||||
タイトル | ||||||
言語 | ja | |||||
タイトル | ランク付き木から文字列への決定性ストリーム変換器の表現力 | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_46ec | |||||
資源タイプ | thesis | |||||
著者 |
高橋, 祐多
× 高橋, 祐多 |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | 構造化されたデータに対する変換は, 関数プログラミングや文書処理において重要な役割を果しており, そのような変換のふるまいのよいクラスを明らかにするため, 様々な計算モデルが提案されている. そのひとつとして, Alur と D'Antoni らによって提案された単一使用制約付き決定性ストリーム木変換器 (STTsur) がある. STTsur はネスト文字列上の変換を定義することができ, ネスト文字列はランク付き木や森といった階層構造を表現することができる. STTsur の単一使用制約は, STTsur が単項二階述語論理による木変換器 (MSOTT) と同等の表現力となるために付けられている制約である. この単一使用制約がないストリーム木変換器の表現力についてはこれまで議論されておらず, その等価性判定が決定可能か否かは未解決問題である. 本論文では STTsur の単一使用制約をなくし, 入力をランク付きの木を表現するネスト文字列, 出力を文字列に制限した決定性ストリーム変換器 (SRTST) を考える. また, SRTST とは別に木を入力とし文字列を出力する変換を扱う計算モデルとして正規先読み付き木から文字列への決定性下降型変換器 (yDTR) がある. yDTR は累積引数を伴わない構造的な再帰関数を扱うことができる. yDTR の等価性判定は決定可能であることが証明されている. 本論文では, SRTST から等価な yDTR , yDTR から等価な SRTST を構成する方法を示すことにより, SRTST と yDTR が同等の表現力を持つことを示す. この証明での SRTST から yDTR への変換は構成的であるため, yDTR の等価性判定を利用することにより, SRTST の等価性判定問題も決定可能となる. | |||||
学位名 | ||||||
学位名 | 修士 | |||||
学位授与機関 | ||||||
学位授与機関名 | 電気通信大学 | |||||
学位授与年度 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 2018 | |||||
学位授与年月日 | ||||||
学位授与年月日 | 2019-03-25 | |||||
著者版フラグ | ||||||
出版タイプ | AM | |||||
出版タイプResource | http://purl.org/coar/version/c_ab4af688f83e57aa | |||||
専攻 | ||||||
情報理工学研究科 | ||||||
専攻 | ||||||
情報・ネットワーク工学専攻 |