ログイン
言語:

WEKO3

  • トップ
  • コミュニティ
  • ランキング
AND
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

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

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_buckets": {"deposit": "42bbe2f1-a7a2-4fe6-bfa7-faa080ddfda2"}, "_deposit": {"id": "13488", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "13488"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00013488"}, "item_10_alternative_title_19": {"attribute_name": "\u305d\u306e\u4ed6\u306e\u8a00\u8a9e\u306e\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_alternative_title": "Automating Commutative Law Based Transformation of TRS"}]}, "item_10_biblio_info_6": {"attribute_name": "\u66f8\u8a8c\u60c5\u5831", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "1994-03-07", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "272", "bibliographicPageStart": "271", "bibliographicVolumeNumber": "4", "bibliographic_titles": [{"bibliographic_title": "\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u7b2c48\u56de\u5168\u56fd\u5927\u4f1a\u8b1b\u6f14\u8ad6\u6587\u96c6"}]}]}, "item_10_identifier_60": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/15387"}]}, "item_10_publisher_32": {"attribute_name": "\u51fa\u7248\u8005", "attribute_value_mlt": [{"subitem_publisher": "\u4e00\u822c\u793e\u56e3\u6cd5\u4eba\u60c5\u5831\u51e6\u7406\u5b66\u4f1a"}]}, "item_10_rights_12": {"attribute_name": "\u6a29\u5229", "attribute_value_mlt": [{"subitem_rights": "\u3053\u3053\u306b\u63b2\u8f09\u3057\u305f\u8457\u4f5c\u7269\u306e\u5229\u7528\u306b\u95a2\u3059\u308b\u6ce8\u610f \u672c\u8457\u4f5c\u7269\u306e\u8457\u4f5c\u6a29\u306f\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u306b\u5e30\u5c5e\u3057\u307e\u3059\u3002\u672c\u8457\u4f5c\u7269\u306f\u8457\u4f5c\u6a29\u8005\u3067\u3042\u308b\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u306e\u8a31\u53ef\u306e\u3082\u3068\u306b\u63b2\u8f09\u3059\u308b\u3082\u306e\u3067\u3059\u3002\u3054\u5229\u7528\u306b\u5f53\u305f\u3063\u3066\u306f\u300c\u8457\u4f5c\u6a29\u6cd5\u300d\u306a\u3089\u3073\u306b\u300c\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u502b\u7406\u7db1\u9818\u300d\u306b\u5f93\u3046\u3053\u3068\u3092\u304a\u9858\u3044\u3044\u305f\u3057\u307e\u3059\u3002 Notice for the use of this material The copyright of this material is retained by the Information Processing Society of Japan (IPSJ). This material is published on this web site with the agreement of the author (s) and the IPSJ. Please be complied with Copyright Law of Japan and the Code of Ethics of the IPSJ if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof. All Rights Reserved, Copyright (C) Information Processing Society of Japan. Comments are welcome. Mail to address , please."}]}, "item_10_select_15": {"attribute_name": "\u8457\u8005\u7248\u30d5\u30e9\u30b0", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_creator": {"attribute_name": "\u8457\u8005", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "\u6cb3\u53e3, \u4fe1\u592b"}], "nameIdentifiers": [{"nameIdentifier": "42380", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u5742\u90e8, \u4fca\u6a39"}], "nameIdentifiers": [{"nameIdentifier": "42381", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u7a32\u57a3, \u5eb7\u5584"}], "nameIdentifiers": [{"nameIdentifier": "42382", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "KAWAGUCHI, Nobuo"}], "nameIdentifiers": [{"nameIdentifier": "42383", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SAKABE, Toshiki"}], "nameIdentifiers": [{"nameIdentifier": "42384", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "INAGAKI, Yasuyoshi"}], "nameIdentifiers": [{"nameIdentifier": "42385", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "\u30d5\u30a1\u30a4\u30eb\u60c5\u5831", "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": "48_national_convention_IPSJ_4_271.pdf", "filesize": [{"value": "119.8 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 119800.0, "url": {"label": "48_national_convention_IPSJ_4_271.pdf", "url": "https://nagoya.repo.nii.ac.jp/record/13488/files/48_national_convention_IPSJ_4_271.pdf"}, "version_id": "8a0dd56e-22ad-4346-9b7c-4610366eb91d"}]}, "item_language": {"attribute_name": "\u8a00\u8a9e", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "\u8cc7\u6e90\u30bf\u30a4\u30d7", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "\u53ef\u63db\u5247\u306b\u57fa\u3065\u304f\u8ca2\u66f8\u63db\u3048\u7cfb\u306e\u81ea\u52d5\u5909\u63db\u30b7\u30b9\u30c6\u30e0\u3068\u305d\u306e\u8a55\u4fa1", "item_titles": {"attribute_name": "\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_title": "\u53ef\u63db\u5247\u306b\u57fa\u3065\u304f\u8ca2\u66f8\u63db\u3048\u7cfb\u306e\u81ea\u52d5\u5909\u63db\u30b7\u30b9\u30c6\u30e0\u3068\u305d\u306e\u8a55\u4fa1"}]}, "item_type_id": "10", "owner": "1", "path": ["320/502/670"], "permalink_uri": "http://hdl.handle.net/2237/15387", "pubdate": {"attribute_name": "\u516c\u958b\u65e5", "attribute_value": "2011-08-29"}, "publish_date": "2011-08-29", "publish_status": "0", "recid": "13488", "relation": {}, "relation_version_is_last": true, "title": ["\u53ef\u63db\u5247\u306b\u57fa\u3065\u304f\u8ca2\u66f8\u63db\u3048\u7cfb\u306e\u81ea\u52d5\u5909\u63db\u30b7\u30b9\u30c6\u30e0\u3068\u305d\u306e\u8a55\u4fa1"], "weko_shared_id": null}
  1. B200 工学部/工学研究科
  2. B200e 会議資料
  3. 国内会議

可換則に基づく貢書換え系の自動変換システムとその評価

http://hdl.handle.net/2237/15387
19bd1d13-ebbe-45f4-b504-c38270db1b76
名前 / ファイル ライセンス アクション
48_national_convention_IPSJ_4_271.pdf 48_national_convention_IPSJ_4_271.pdf (119.8 kB)
Item type 学術雑誌論文 / Journal Article(1)
公開日 2011-08-29
タイトル
タイトル 可換則に基づく貢書換え系の自動変換システムとその評価
その他のタイトル
その他のタイトル Automating Commutative Law Based Transformation of TRS
著者 河口, 信夫

× 河口, 信夫

WEKO 42380

河口, 信夫

Search repository
坂部, 俊樹

× 坂部, 俊樹

WEKO 42381

坂部, 俊樹

Search repository
稲垣, 康善

× 稲垣, 康善

WEKO 42382

稲垣, 康善

Search repository
KAWAGUCHI, Nobuo

× KAWAGUCHI, Nobuo

WEKO 42383

KAWAGUCHI, Nobuo

Search repository
SAKABE, Toshiki

× SAKABE, Toshiki

WEKO 42384

SAKABE, Toshiki

Search repository
INAGAKI, Yasuyoshi

× INAGAKI, Yasuyoshi

WEKO 42385

INAGAKI, Yasuyoshi

Search repository
権利
権利情報 ここに掲載した著作物の利用に関する注意 本著作物の著作権は情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。 Notice for the use of this material The copyright of this material is retained by the Information Processing Society of Japan (IPSJ). This material is published on this web site with the agreement of the author (s) and the IPSJ. Please be complied with Copyright Law of Japan and the Code of Ethics of the IPSJ if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof. All Rights Reserved, Copyright (C) Information Processing Society of Japan. Comments are welcome. Mail to address , please.
出版者
出版者 一般社団法人情報処理学会
言語
言語 jpn
資源タイプ
資源タイプresource http://purl.org/coar/resource_type/c_6501
タイプ journal article
書誌情報 情報処理学会第48回全国大会講演論文集

巻 4, p. 271-272, 発行日 1994-03-07
著者版フラグ
値 publisher
URI
識別子 http://hdl.handle.net/2237/15387
識別子タイプ HDL
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 18:26:55.791731
Show All versions

Share

Mendeley CiteULike Twitter Facebook Print Addthis

Cite as

Export

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

Confirm


Powered by CERN Data Centre & Invenio


Powered by CERN Data Centre & Invenio