ログイン
言語:

WEKO3

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

Field does not validate



インデックスリンク

インデックスツリー

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

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_buckets": {"deposit": "a0d4f00a-5058-4826-bbd4-b76b14262ee2"}, "_deposit": {"id": "7211", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "7211"}, "status": "published"}, "_oai": {"id": "oai:teapot.lib.ocha.ac.jp:00007211", "sets": ["256"]}, "item_8_biblio_info_8": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2009-09", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "18", "bibliographicPageStart": "18", "bibliographic_titles": [{"bibliographic_title": "2009-2010 研究紹介集"}]}]}, "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": "370", "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": "91463 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_8_text_79": {"attribute_name": "所属", "attribute_value_mlt": [{"subitem_text_value": "国立大学法人お茶の水女子大学"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "淺井, 健一"}], "nameIdentifiers": [{"nameIdentifier": "65394", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "ASAI, Kenichi", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "65395", "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-2009-2010-18-1.pdf", "filesize": [{"value": "91.5 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 91500.0, "url": {"label": "ipseeds-2009-2010-18-1.pdf", "url": "https://teapot.lib.ocha.ac.jp/record/7211/files/ipseeds-2009-2010-18-1.pdf"}, "version_id": "30e500d4-ac75-4754-8f29-86412f4134e5"}]}, "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": ["256"], "permalink_uri": "http://hdl.handle.net/10083/49472", "pubdate": {"attribute_name": "公開日", "attribute_value": "2010-10-12"}, "publish_date": "2010-10-12", "publish_status": "0", "recid": "7211", "relation": {}, "relation_version_is_last": true, "title": ["関数型言語による高信頼性プログラミング"], "weko_shared_id": null}
  1. その他のコレクション
  2. 社会とのパートナーシップ 研究紹介集
  3. 社会とのパートナーシップ 研究紹介集2009-2010

関数型言語による高信頼性プログラミング

http://hdl.handle.net/10083/49472
http://hdl.handle.net/10083/49472
eaaebdc3-fc2e-4fad-96e7-096e7aa22f14
名前 / ファイル ライセンス アクション
ipseeds-2009-2010-18-1.pdf ipseeds-2009-2010-18-1.pdf (91.5 kB)
Item type その他 / Others(1)
公開日 2010-10-12
タイトル
タイトル 関数型言語による高信頼性プログラミング
言語
言語 jpn
キーワード
主題Scheme Other
主題 関数型言語
キーワード
主題Scheme Other
主題 型システム
キーワード
主題Scheme Other
主題 プログラム理論
キーワード
主題Scheme Other
主題 部分継続
キーワード
主題Scheme Other
主題 信頼性
資源タイプ
資源 http://purl.org/coar/resource_type/c_1843
タイプ other
著者 淺井, 健一

× 淺井, 健一

WEKO 65394

淺井, 健一

Search repository
ASAI, Kenichi

× ASAI, Kenichi

WEKO 65395

en ASAI, Kenichi

Search repository
書誌情報 2009-2010 研究紹介集

p. 18-18, 発行日 2009-09
権利
権利情報 国立大学法人お茶の水女子大学
フォーマット
内容記述タイプ Other
内容記述 application/pdf
形態
91463 bytes
著者版フラグ
値 author
日本十進分類法
主題Scheme NDC
主題 370
NIIサブジェクト
主題Scheme Other
主題 教育・教育学
出版者
出版者 国立大学法人お茶の水女子大学
資源タイプ
内容記述タイプ Other
内容記述 その他
資源タイプ・ローカル
その他
資源タイプ・NII
Others
資源タイプ・ローカル表示コード
99
所属
国立大学法人お茶の水女子大学
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 23:05:28.336757
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