WEKO3
アイテム
{"_buckets": {"deposit": "75c227e5-2a3d-49b5-a048-f266f56acca9"}, "_deposit": {"created_by": 188, "id": "117", "owners": [188], "pid": {"revision_id": 0, "type": "depid", "value": "117"}, "status": "draft"}, "_oai": {"id": "oai:tsukuba.repo.nii.ac.jp:00000117", "sets": []}, "author_link": ["419"], "control_number": "117", "item_10_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2000", "bibliographicIssueDateType": "Issued"}}]}, "item_10_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "関数論理型プログラミングは関数型と論理型プログラミングの長所を兼ね備えたプログラミングとして注目され,近年基礎研究の大幅な進展がみられた.基礎研究の進展に伴い,新たな興味ある研究課題が見いだされるとともに,本格的なプログラミングシステムの構築の取り組みが必要になっていた.特に重要な研究課題として挙げられるのは,制約解消系との結合,ネットワークで結合された計算機群によって作られる計算空間でのプログラミング形態への適用,既存プログラムとの結合,である.本研究の目的は,これらの研究課題に総合的に取り組み,分散制約解消系と関数論理型プログラム処理系とを新たな視点から融合し,本格的なシステムを構築する事である.", "subitem_description_language": "ja", "subitem_description_type": "Abstract"}]}, "item_10_description_5": {"attribute_name": "内容記述", "attribute_value_mlt": [{"subitem_description": "科学研究費補助金(基盤研究(B)(2))研究成果報告書 平成10-11年度\n課題番号: 10480053", "subitem_description_language": "ja", "subitem_description_type": "Other"}]}, "item_access_right": {"attribute_name": "アクセス権", "attribute_value_mlt": [{"subitem_access_right": "metadata only access", "subitem_access_right_uri": "http://purl.org/coar/access_right/c_14cb"}]}, "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_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"}]}, "item_type_id": "10", "owner": "188", "path": ["2660"], "permalink_uri": "http://hdl.handle.net/2241/455", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2007-03-01"}, "publish_date": "2007-03-01", "publish_status": "0", "recid": "117", "relation": {}, "relation_version_is_last": true, "title": ["分散制約解消系を融合する関数論理型プログラミング"], "weko_shared_id": -1}
分散制約解消系を融合する関数論理型プログラミング
http://hdl.handle.net/2241/455
http://hdl.handle.net/2241/455dad75678-a6d3-466e-be58-8acfd05f2de2
Item type | Research Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2007-03-01 | |||||
タイトル | ||||||
言語 | ja | |||||
タイトル | 分散制約解消系を融合する関数論理型プログラミング | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_18ws | |||||
タイプ | research report | |||||
アクセス権 | ||||||
アクセス権 | metadata only access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_14cb | |||||
著者 |
井田, 哲雄
× 井田, 哲雄 |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | 関数論理型プログラミングは関数型と論理型プログラミングの長所を兼ね備えたプログラミングとして注目され,近年基礎研究の大幅な進展がみられた.基礎研究の進展に伴い,新たな興味ある研究課題が見いだされるとともに,本格的なプログラミングシステムの構築の取り組みが必要になっていた.特に重要な研究課題として挙げられるのは,制約解消系との結合,ネットワークで結合された計算機群によって作られる計算空間でのプログラミング形態への適用,既存プログラムとの結合,である.本研究の目的は,これらの研究課題に総合的に取り組み,分散制約解消系と関数論理型プログラム処理系とを新たな視点から融合し,本格的なシステムを構築する事である. | |||||
言語 | ja | |||||
内容記述 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 科学研究費補助金(基盤研究(B)(2))研究成果報告書 平成10-11年度 課題番号: 10480053 |
|||||
言語 | ja | |||||
書誌情報 |
発行日 2000 |