{"created":"2023-05-15T11:44:17.122545+00:00","id":2540,"links":{},"metadata":{"_buckets":{"deposit":"26946ec8-5b05-45e7-a4f5-0da8877853ff"},"_deposit":{"created_by":10,"id":"2540","owners":[10],"pid":{"revision_id":0,"type":"depid","value":"2540"},"status":"published"},"_oai":{"id":"oai:nuis.repo.nii.ac.jp:00002540","sets":["8:63:73"]},"author_link":["2956","2909"],"item_10002_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2006-06-22","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"120","bibliographicPageStart":"103","bibliographicVolumeNumber":"9","bibliographic_titles":[{"bibliographic_title":"新潟国際情報大学情報文化学部紀要"}]}]},"item_10002_description_5":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"This paper deals with a term reduction representation of the calculus of indication proposed by G. Spencer-Brown's Laws of Form, which has a formalism of great simplicity for the act of distinguishing and its basic laws. I will give an equational theory based on the term reduction of indication in order to make an interpretation of this calculus more explicit way.","subitem_description_type":"Abstract"}]},"item_10002_heading_23":{"attribute_name":"見出し","attribute_value_mlt":[{"subitem_heading_banner_headline":"【情報システム編】","subitem_heading_language":"ja"}]},"item_10002_publisher_8":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"新潟国際情報大学情報文化学部"}]},"item_10002_source_id_11":{"attribute_name":"書誌レコードID（NCID）","attribute_value_mlt":[{"subitem_source_identifier":"AA11231962","subitem_source_identifier_type":"NCID"}]},"item_10002_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1343-490X","subitem_source_identifier_type":"ISSN"}]},"item_10002_version_type_20":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Ishii, Tadao"},{"creatorName":"イシイ, タダオ","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{"nameIdentifier":"2909","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Ishii, Tadao","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"2956","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-07-06"}],"displaytype":"detail","filename":"9_ishii.pdf","filesize":[{"value":"589.0 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"9_ishii.pdf","url":"https://nuis.repo.nii.ac.jp/record/2540/files/9_ishii.pdf"},"version_id":"cba52fc5-3433-4ac2-b7cd-2fb90351e19a"}]},"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":"A formal theory of the calculus of indication","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"A formal theory of the calculus of indication"},{"subitem_title":"A formal theory of the calculus of indication","subitem_title_language":"en"}]},"item_type_id":"10002","owner":"10","path":["73"],"pubdate":{"attribute_name":"公開日","attribute_value":"2010-12-15"},"publish_date":"2010-12-15","publish_status":"0","recid":"2540","relation_version_is_last":true,"title":["A formal theory of the calculus of indication"],"weko_creator_id":"10","weko_shared_id":-1},"updated":"2023-05-15T12:17:46.196499+00:00"}