ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_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": ["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", "download_preview_message": "", "file_order": 0, "filename": "110003743902.pdf", "filesize": [{"value": "1.2 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 1200000.0, "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"], "permalink_uri": "http://hdl.handle.net/2237/15368", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2011-08-25"}, "publish_date": "2011-08-25", "publish_status": "0", "recid": "13469", "relation": {}, "relation_version_is_last": true, "title": ["項書換え系の解析・検証・変換のための視覚的支援手法"], "weko_shared_id": -1}
  1. B200 工学部/工学研究科
  2. B200a 雑誌掲載論文
  3. 学術雑誌

項書換え系の解析・検証・変換のための視覚的支援手法

http://hdl.handle.net/2237/15368
http://hdl.handle.net/2237/15368
7b1aea32-1803-4f5a-b64c-58d38cc2f816
名前 / ファイル ライセンス アクション
110003743902.pdf 110003743902.pdf (1.2 MB)
Item type 学術雑誌論文 / Journal Article(1)
公開日 2011-08-25
タイトル
タイトル 項書換え系の解析・検証・変換のための視覚的支援手法
言語 ja
その他のタイトル
その他のタイトル Visual Support Methods for Analysis, Verification, and Transformation of Term Rewriting Systems.
言語 en
著者 河口, 信夫

× 河口, 信夫

WEKO 42293

ja 河口, 信夫

Search repository
坂部, 俊樹

× 坂部, 俊樹

WEKO 42294

ja 坂部, 俊樹

Search repository
稲垣, 康善

× 稲垣, 康善

WEKO 42295

ja 稲垣, 康善

Search repository
KAWAGUCHI, Nobuo

× KAWAGUCHI, Nobuo

WEKO 42296

en KAWAGUCHI, Nobuo

Search repository
SAKABE, Toshiki

× SAKABE, Toshiki

WEKO 42297

en SAKABE, Toshiki

Search repository
INAGAKI, Yasuyoshi

× INAGAKI, Yasuyoshi

WEKO 42298

en INAGAKI, Yasuyoshi

Search repository
アクセス権
アクセス権 open access
アクセス権URI http://purl.org/coar/access_right/c_abf2
権利
言語 ja
権利情報 ここに掲載した著作物の利用に関する注意 本著作物の著作権は日本ソフトウェア科学会に帰属します.本著作物は著作権者である日本ソフトウェア科学会の許可のもとに掲載するものです.ご利用に当たっては「著作権法」に従うことをお願いいたします. 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.
権利
言語 ja
権利情報 本文データは学協会の許諾に基づきCiNiiから複製したものである
抄録
内容記述 項書換え系は単純で形式的操作の容易な計算モデルである.本論文では項書換え系の解析・検証・変換などの項書換え系の操作を直観的に支援するための手法として,項書換え系の項,計算,操作,情報の視覚化を提案する.項の視覚化は項の構造の直観的理解を支援するため,部分木の省略や正規形の抽象化を含み,色や形で関数記号に関する種々の情報をわかりやすくした木表現で項を表す.計算の視覚化は計算の動的な振舞いを理解するために,項の視覚化に基づいて項書換え系の計算過程を表す.操作の視覚化は視覚化された項や計算の操作を視覚的に直接実現し,情報の視覚化は計算から得られる様々な数値情報をグラフなどを用いて視覚的情報にする.我々はこれらの視覚化をグラフィカルユーザインタフェースを持つ視覚的項書換え支援環境TERSEとして実現している.この TERSE上でハノイの塔の例題を用いて視覚的支援の実際を示し,我々の提案する視覚的手法が項の構造の理解・解析や変換着目点の検出に対する支援手法として有効であることを確かめた.
言語 ja
内容記述タイプ Abstract
出版者
言語 ja
出版者 日本ソフトウェア科学会
言語
言語 jpn
資源タイプ
資源タイプresource http://purl.org/coar/resource_type/c_6501
タイプ journal article
出版タイプ
出版タイプ VoR
出版タイプResource http://purl.org/coar/version/c_970fb48d4fbd8a85
関連情報
関連タイプ isVersionOf
識別子タイプ URI
関連識別子 http://ci.nii.ac.jp/naid/110003743902
ISSN
収録物識別子タイプ PISSN
収録物識別子 0289-6540
書誌情報 ja : コンピュータソフトウェア

巻 13, 号 1, p. 23-36, 発行日 1996-01-16
著者版フラグ
値 publisher
URI
識別子 http://ci.nii.ac.jp/naid/110003743902
識別子タイプ URI
URI
識別子 http://hdl.handle.net/2237/15368
識別子タイプ HDL
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 18:27:25.706790
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3