{"created":"2021-03-01T06:20:29.945892+00:00","id":13469,"links":{},"metadata":{"_buckets":{"deposit":"3f4cec25-09a9-4638-aadb-3c72a771aa45"},"_deposit":{"id":"13469","owners":[],"pid":{"revision_id":0,"type":"depid","value":"13469"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:00013469","sets":["320:321:322"]},"author_link":["42293","42294","42295","42296","42297","42298"],"item_10_alternative_title_19":{"attribute_name":"その他のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"Visual Support Methods for Analysis, Verification, and Transformation of Term Rewriting Systems.","subitem_alternative_title_language":"en"}]},"item_10_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1996-01-16","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"1","bibliographicPageEnd":"36","bibliographicPageStart":"23","bibliographicVolumeNumber":"13","bibliographic_titles":[{"bibliographic_title":"コンピュータソフトウェア","bibliographic_titleLang":"ja"}]}]},"item_10_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"項書換え系は単純で形式的操作の容易な計算モデルである.本論文では項書換え系の解析・検証・変換などの項書換え系の操作を直観的に支援するための手法として,項書換え系の項,計算,操作,情報の視覚化を提案する.項の視覚化は項の構造の直観的理解を支援するため,部分木の省略や正規形の抽象化を含み,色や形で関数記号に関する種々の情報をわかりやすくした木表現で項を表す.計算の視覚化は計算の動的な振舞いを理解するために,項の視覚化に基づいて項書換え系の計算過程を表す.操作の視覚化は視覚化された項や計算の操作を視覚的に直接実現し,情報の視覚化は計算から得られる様々な数値情報をグラフなどを用いて視覚的情報にする.我々はこれらの視覚化をグラフィカルユーザインタフェースを持つ視覚的項書換え支援環境TERSEとして実現している.この TERSE上でハノイの塔の例題を用いて視覚的支援の実際を示し,我々の提案する視覚的手法が項の構造の理解・解析や変換着目点の検出に対する支援手法として有効であることを確かめた.","subitem_description_language":"ja","subitem_description_type":"Abstract"}]},"item_10_identifier_60":{"attribute_name":"URI","attribute_value_mlt":[{"subitem_identifier_type":"URI","subitem_identifier_uri":"http://ci.nii.ac.jp/naid/110003743902"},{"subitem_identifier_type":"HDL","subitem_identifier_uri":"http://hdl.handle.net/2237/15368"}]},"item_10_publisher_32":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"日本ソフトウェア科学会","subitem_publisher_language":"ja"}]},"item_10_relation_43":{"attribute_name":"関連情報","attribute_value_mlt":[{"subitem_relation_type":"isVersionOf","subitem_relation_type_id":{"subitem_relation_type_id_text":"http://ci.nii.ac.jp/naid/110003743902","subitem_relation_type_select":"URI"}}]},"item_10_rights_12":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"ここに掲載した著作物の利用に関する注意 本著作物の著作権は日本ソフトウェア科学会に帰属します．本著作物は著作権者である日本ソフトウェア科学会の許可のもとに掲載するものです．ご利用に当たっては「著作権法」に従うことをお願いいたします． Notice for the use of this material: The copyright of this material is retained by the Japan Society for Software Science and Technology (JSSST). This material is published on this web site with the agreement of the JSSST. Please be complied with Copyright Law of Japan if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof.","subitem_rights_language":"ja"},{"subitem_rights":"本文データは学協会の許諾に基づきCiNiiから複製したものである","subitem_rights_language":"ja"}]},"item_10_select_15":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_select_item":"publisher"}]},"item_10_source_id_7":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0289-6540","subitem_source_identifier_type":"PISSN"}]},"item_1615787544753":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"open access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_abf2"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"河口, 信夫","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"42293","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"坂部, 俊樹","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"42294","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"稲垣, 康善","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"42295","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"KAWAGUCHI, Nobuo","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"42296","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"SAKABE, Toshiki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"42297","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"INAGAKI, Yasuyoshi","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"42298","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-20"}],"displaytype":"detail","filename":"110003743902.pdf","filesize":[{"value":"1.2 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"110003743902.pdf","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/13469/files/110003743902.pdf"},"version_id":"7f53c1f8-2b03-4fd2-a09b-2d92606d7096"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"項書換え系の解析・検証・変換のための視覚的支援手法","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"項書換え系の解析・検証・変換のための視覚的支援手法","subitem_title_language":"ja"}]},"item_type_id":"10","owner":"1","path":["322"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2011-08-25"},"publish_date":"2011-08-25","publish_status":"0","recid":"13469","relation_version_is_last":true,"title":["項書換え系の解析・検証・変換のための視覚的支援手法"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-16T04:00:29.810727+00:00"}