WEKO3
アイテム
{"_buckets": {"deposit": "f23668ba-a3e7-4681-84f0-60b32cf9e571"}, "_deposit": {"created_by": 188, "id": "28249", "owners": [188], "pid": {"revision_id": 0, "type": "depid", "value": "28249"}, "status": "published"}, "_oai": {"id": "oai:tsukuba.repo.nii.ac.jp:00028249", "sets": []}, "author_link": ["419"], "item_10_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2012", "bibliographicIssueDateType": "Issued"}}]}, "item_10_description_5": {"attribute_name": "内容記述", "attribute_value_mlt": [{"subitem_description": "科学研究費助成事業(科学研究費補助金)研究成果報告書:基盤研究(B)2008-2011\n課題番号:20300001", "subitem_description_language": "ja", "subitem_description_type": "Other"}]}, "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"}, {"creatorName": "イダ, テツオ", "creatorNameLang": "ja-Kana"}, {"creatorName": "IDA, TETSUO", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "419", "nameIdentifierScheme": "WEKO"}, {"nameIdentifier": "70100047", "nameIdentifierScheme": "e-Rad", "nameIdentifierURI": "https://nrid.nii.ac.jp/ja/nrid/1000070100047"}, {"nameIdentifier": "0000000956", "nameIdentifierScheme": "筑波大学研究者総覧", "nameIdentifierURI": "http://trios.tsukuba.ac.jp/researcher/0000000956"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2013-12-25"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "20300001seika.pdf", "filesize": [{"value": "328.5 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 328500.0, "url": {"objectType": "abstract", "url": "https://tsukuba.repo.nii.ac.jp/record/28249/files/20300001seika.pdf"}, "version_id": "d65af27c-78bb-4568-8563-5296ef4af662"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "research report", "resourceuri": "http://purl.org/coar/resource_type/c_18ws"}]}, "item_title": "記号計算の理論を駆使したウェブソフトウェアのモデル化と検証", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "記号計算の理論を駆使したウェブソフトウェアのモデル化と検証", "subitem_title_language": "ja"}, {"subitem_title": "Modeling and verification of web software based on theories of symbolic computation", "subitem_title_language": "en"}]}, "item_type_id": "10", "owner": "188", "path": ["1925"], "permalink_uri": "http://hdl.handle.net/2241/118383", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2013-02-25"}, "publish_date": "2013-02-25", "publish_status": "0", "recid": "28249", "relation": {}, "relation_version_is_last": true, "title": ["記号計算の理論を駆使したウェブソフトウェアのモデル化と検証"], "weko_shared_id": -1}
記号計算の理論を駆使したウェブソフトウェアのモデル化と検証
http://hdl.handle.net/2241/118383
http://hdl.handle.net/2241/1183830a7a0b56-c0b9-4b4e-a96f-830eaa875e36
名前 / ファイル | ライセンス | アクション |
---|---|---|
20300001seika.pdf (328.5 kB)
|
|
Item type | Research Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2013-02-25 | |||||
タイトル | ||||||
言語 | ja | |||||
タイトル | 記号計算の理論を駆使したウェブソフトウェアのモデル化と検証 | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | Modeling and verification of web software based on theories of symbolic computation | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_18ws | |||||
タイプ | research report | |||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
著者 |
井田, 哲雄
× 井田, 哲雄 |
|||||
内容記述 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 科学研究費助成事業(科学研究費補助金)研究成果報告書:基盤研究(B)2008-2011 課題番号:20300001 |
|||||
言語 | ja | |||||
書誌情報 |
発行日 2012 |