WEKO3
アイテム
{"_buckets": {"deposit": "1f5afc60-b8bf-4f63-aa90-e37a99ca0f90"}, "_deposit": {"id": "6976", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "6976"}, "status": "published"}, "_oai": {"id": "oai:teapot.lib.ocha.ac.jp:00006976", "sets": ["254"]}, "item_8_biblio_info_8": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2007-09-01", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "22", "bibliographicPageStart": "22", "bibliographic_titles": [{"bibliographic_title": "2007 社会とのパートナーシップ 研究紹介集"}]}]}, "item_8_description_17": {"attribute_name": "フォーマット", "attribute_value_mlt": [{"subitem_description": "application/pdf", "subitem_description_type": "Other"}]}, "item_8_description_46": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"subitem_description": "その他", "subitem_description_type": "Other"}]}, "item_8_publisher_36": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "国立大学法人お茶の水女子大学"}]}, "item_8_rights_14": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "国立大学法人お茶の水女子大学"}]}, "item_8_select_19": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "author"}]}, "item_8_subject_20": {"attribute_name": "日本十進分類法", "attribute_value_mlt": [{"subitem_subject": "540", "subitem_subject_scheme": "NDC"}]}, "item_8_subject_24": {"attribute_name": "NIIサブジェクト", "attribute_value_mlt": [{"subitem_subject": "情報学", "subitem_subject_scheme": "Other"}]}, "item_8_text_18": {"attribute_name": "形態", "attribute_value_mlt": [{"subitem_text_value": "93105 bytes"}]}, "item_8_text_47": {"attribute_name": "資源タイプ・ローカル", "attribute_value_mlt": [{"subitem_text_value": "その他"}]}, "item_8_text_48": {"attribute_name": "資源タイプ・NII", "attribute_value_mlt": [{"subitem_text_value": "Others"}]}, "item_8_text_50": {"attribute_name": "資源タイプ・ローカル表示コード", "attribute_value_mlt": [{"subitem_text_value": "99"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "淺井, 健一"}], "nameIdentifiers": [{"nameIdentifier": "64903", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "ASAI, Kenichi", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "64904", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-04-19"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "ipseeds-2007-22-2.pdf", "filesize": [{"value": "93.1 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 93100.0, "url": {"label": "ipseeds-2007-22-2.pdf", "url": "https://teapot.lib.ocha.ac.jp/record/6976/files/ipseeds-2007-22-2.pdf"}, "version_id": "4fbaa499-e504-48bc-863a-4bd1e0b38c85"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "関数型言語", "subitem_subject_scheme": "Other"}, {"subitem_subject": "型システム", "subitem_subject_scheme": "Other"}, {"subitem_subject": "プログラム理論", "subitem_subject_scheme": "Other"}, {"subitem_subject": "部分継続", "subitem_subject_scheme": "Other"}, {"subitem_subject": "信頼性", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "other", "resourceuri": "http://purl.org/coar/resource_type/c_1843"}]}, "item_title": "関数型言語による高信頼性プログラミング", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "関数型言語による高信頼性プログラミング"}]}, "item_type_id": "8", "owner": "1", "path": ["254"], "permalink_uri": "http://hdl.handle.net/10083/1421", "pubdate": {"attribute_name": "公開日", "attribute_value": "2008-01-25"}, "publish_date": "2008-01-25", "publish_status": "0", "recid": "6976", "relation": {}, "relation_version_is_last": true, "title": ["関数型言語による高信頼性プログラミング"], "weko_shared_id": null}
関数型言語による高信頼性プログラミング
http://hdl.handle.net/10083/1421
http://hdl.handle.net/10083/14214647c78f-0d5f-406f-ba2a-6b0753473e08
名前 / ファイル | ライセンス | アクション |
---|---|---|
ipseeds-2007-22-2.pdf (93.1 kB)
|
|
Item type | その他 / Others(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2008-01-25 | |||||
タイトル | ||||||
タイトル | 関数型言語による高信頼性プログラミング | |||||
言語 | ||||||
言語 | jpn | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 関数型言語 | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 型システム | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | プログラム理論 | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 部分継続 | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 信頼性 | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_1843 | |||||
タイプ | other | |||||
著者 |
淺井, 健一
× 淺井, 健一× ASAI, Kenichi |
|||||
書誌情報 |
2007 社会とのパートナーシップ 研究紹介集 p. 22-22, 発行日 2007-09-01 |
|||||
権利 | ||||||
権利情報 | 国立大学法人お茶の水女子大学 | |||||
フォーマット | ||||||
内容記述タイプ | Other | |||||
内容記述 | application/pdf | |||||
形態 | ||||||
93105 bytes | ||||||
著者版フラグ | ||||||
値 | author | |||||
日本十進分類法 | ||||||
主題Scheme | NDC | |||||
主題 | 540 | |||||
NIIサブジェクト | ||||||
主題Scheme | Other | |||||
主題 | 情報学 | |||||
出版者 | ||||||
出版者 | 国立大学法人お茶の水女子大学 | |||||
資源タイプ | ||||||
内容記述タイプ | Other | |||||
内容記述 | その他 | |||||
資源タイプ・ローカル | ||||||
その他 | ||||||
資源タイプ・NII | ||||||
Others | ||||||
資源タイプ・ローカル表示コード | ||||||
99 |