{"_buckets": {"deposit": "24e1d434-d29d-4973-8fb4-f7f720c782a7"}, "_deposit": {"created_by": 3, "id": "129", "owners": [3], "pid": {"revision_id": 0, "type": "depid", "value": "129"}, "status": "published"}, "_oai": {"id": "oai:tenshi.repo.nii.ac.jp:00000129", "sets": []}, "author_link": ["265"], "item_1_biblio_info_14": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2008", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "16", "bibliographicPageStart": "13", "bibliographicVolumeNumber": "8", "bibliographic_titles": [{"bibliographic_title": "天使大学紀要"}, {"bibliographic_title": "Bulletin of Tenshi College", "bibliographic_titleLang": "en"}]}]}, "item_1_creator_6": {"attribute_name": "著者名(日)", "attribute_type": "creator", "attribute_value_mlt": [{"creatorAffiliations": [{"affiliationNameIdentifiers": [{"affiliationNameIdentifier": "", "affiliationNameIdentifierScheme": "ISNI", "affiliationNameIdentifierURI": "http://www.isni.org/isni/"}], "affiliationNames": [{"affiliationName": "", "affiliationNameLang": "ja"}]}], "creatorNames": [{"creatorName": "カワグチ, ユウイチ", "creatorNameLang": ""}, {"creatorName": "KAWAGUCHI, Yuuichi", "creatorNameLang": "en"}, {"creatorName": "川口, 雄一", "creatorNameLang": "ja"}, {"creatorName": "カワグチ, ユウイチ", "creatorNameLang": "ja-Kana"}], "familyNames": [{"familyName": "カワグチ", "familyNameLang": ""}, {"familyName": "KAWAGUCHI", "familyNameLang": "en"}, {"familyName": "川口", "familyNameLang": "ja"}, {"familyName": "カワグチ", "familyNameLang": "ja-Kana"}], "givenNames": [{"givenName": "ユウイチ", "givenNameLang": ""}, {"givenName": "Yuuichi", "givenNameLang": "en"}, {"givenName": "雄一", "givenNameLang": "ja"}, {"givenName": "ユウイチ", "givenNameLang": "ja-Kana"}], "nameIdentifiers": [{"nameIdentifier": "265", "nameIdentifierScheme": "WEKO"}]}]}, "item_1_creator_7": {"attribute_name": "著者名よみ", "attribute_type": "creator", "attribute_value_mlt": [{"creatorAffiliations": [{"affiliationNameIdentifiers": [{"affiliationNameIdentifier": "", "affiliationNameIdentifierScheme": "ISNI", "affiliationNameIdentifierURI": "http://www.isni.org/isni/"}], "affiliationNames": [{"affiliationName": "", "affiliationNameLang": "ja"}]}], "creatorNames": [{"creatorName": "カワグチ, ユウイチ", "creatorNameLang": ""}, {"creatorName": "KAWAGUCHI, Yuuichi", "creatorNameLang": "en"}, {"creatorName": "川口, 雄一", "creatorNameLang": "ja"}, {"creatorName": "カワグチ, ユウイチ", "creatorNameLang": "ja-Kana"}], "familyNames": [{"familyName": "カワグチ", "familyNameLang": ""}, {"familyName": "KAWAGUCHI", "familyNameLang": "en"}, {"familyName": "川口", "familyNameLang": "ja"}, {"familyName": "カワグチ", "familyNameLang": "ja-Kana"}], "givenNames": [{"givenName": "ユウイチ", "givenNameLang": ""}, {"givenName": "Yuuichi", "givenNameLang": "en"}, {"givenName": "雄一", "givenNameLang": "ja"}, {"givenName": "ユウイチ", "givenNameLang": "ja-Kana"}], "nameIdentifiers": [{"nameIdentifier": "265", "nameIdentifierScheme": "WEKO"}]}]}, "item_1_creator_8": {"attribute_name": "著者名(英)", "attribute_type": "creator", "attribute_value_mlt": [{"creatorAffiliations": [{"affiliationNameIdentifiers": [{"affiliationNameIdentifier": "", "affiliationNameIdentifierScheme": "ISNI", "affiliationNameIdentifierURI": "http://www.isni.org/isni/"}], "affiliationNames": [{"affiliationName": "", "affiliationNameLang": "ja"}]}], "creatorNames": [{"creatorName": "カワグチ, ユウイチ", "creatorNameLang": ""}, {"creatorName": "KAWAGUCHI, Yuuichi", "creatorNameLang": "en"}, {"creatorName": "川口, 雄一", "creatorNameLang": "ja"}, {"creatorName": "カワグチ, ユウイチ", "creatorNameLang": "ja-Kana"}], "familyNames": [{"familyName": "カワグチ", "familyNameLang": ""}, {"familyName": "KAWAGUCHI", "familyNameLang": "en"}, {"familyName": "川口", "familyNameLang": "ja"}, {"familyName": "カワグチ", "familyNameLang": "ja-Kana"}], "givenNames": [{"givenName": "ユウイチ", "givenNameLang": ""}, {"givenName": "Yuuichi", "givenNameLang": "en"}, {"givenName": "雄一", "givenNameLang": "ja"}, {"givenName": "ユウイチ", "givenNameLang": "ja-Kana"}], "nameIdentifiers": [{"nameIdentifier": "265", "nameIdentifierScheme": "WEKO"}]}]}, "item_1_description_1": {"attribute_name": "ページ属性", "attribute_value_mlt": [{"subitem_description": "P(論文)", "subitem_description_type": "Other"}]}, "item_1_description_11": {"attribute_name": "抄録(日)", "attribute_value_mlt": [{"subitem_description": "「レゾリューション」(導出)とは論理式に対する計算方法である。本稿では、論理式を行列により表現する。基本行列変形によりレゾリューションを進める。この表現と計算の方法によるレゾリューションの複雑さ(計算量)は有限である。計算の効率を改善することはこれからの課題である。", "subitem_description_type": "Other"}]}, "item_1_description_12": {"attribute_name": "抄録(英)", "attribute_value_mlt": [{"subitem_description": "\u0027Resolution\u0027 is an algorithm for logical formulae. In this paper, logical formulae are denoted by matrices. Resolution steps are processed by elementary transformations of matrices. By this representation, the complexity of resolution is estimated to be finite. Improvement of the algorithm is a subject of future work.", "subitem_description_type": "Other"}]}, "item_1_source_id_13": {"attribute_name": "雑誌書誌ID", "attribute_value_mlt": [{"subitem_source_identifier": "AA11568183", "subitem_source_identifier_type": "NCID"}]}, "item_1_text_10": {"attribute_name": "著者所属(英)", "attribute_value_mlt": [{"subitem_text_language": "en", "subitem_text_value": "Liberal Arts and Sciences, School of Nursing and Nutrition, Tenshi College"}]}, "item_1_text_16": {"attribute_name": "レポート・演題番号", "attribute_value_mlt": [{"subitem_text_value": "2"}]}, "item_1_text_2": {"attribute_name": "記事種別(日)", "attribute_value_mlt": [{"subitem_text_value": "論文"}]}, "item_1_text_3": {"attribute_name": "記事種別(英)", "attribute_value_mlt": [{"subitem_text_language": "en", "subitem_text_value": "Article"}]}, "item_1_text_9": {"attribute_name": "著者所属(日)", "attribute_value_mlt": [{"subitem_text_value": "天使大学"}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2008-01-01"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "KJ00005072051.pdf", "filesize": [{"value": "255.2 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 255200.0, "url": {"url": "https://tenshi.repo.nii.ac.jp/record/129/files/KJ00005072051.pdf"}, "version_id": "f00035a9-1c63-4c69-b81f-799bd2a9f39b"}]}, "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": "resolution", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "propositional logic", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "matrix representation", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "departmental bulletin paper", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "命題論理における導出のための行列表現", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "命題論理における導出のための行列表現"}, {"subitem_title": "A Matrix Representation for Resolution in Propositional Logic", "subitem_title_language": "en"}]}, "item_type_id": "1", "owner": "3", "path": ["19"], "permalink_uri": "https://tenshi.repo.nii.ac.jp/records/129", "pubdate": {"attribute_name": "公開日", "attribute_value": "2008-01-01"}, "publish_date": "2008-01-01", "publish_status": "0", "recid": "129", "relation": {}, "relation_version_is_last": true, "title": ["命題論理における導出のための行列表現"], "weko_shared_id": 3}