{"created":"2023-05-15T14:21:31.202599+00:00","id":3200,"links":{},"metadata":{"_buckets":{"deposit":"6e917f5a-4d67-48fd-abaf-e512a171eaf1"},"_deposit":{"created_by":3,"id":"3200","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"3200"},"status":"published"},"_oai":{"id":"oai:bunkyo.repo.nii.ac.jp:00003200","sets":["1:26:204"]},"author_link":["380"],"item_5_alternative_title_1":{"attribute_name":"タイトル カナ","attribute_value_mlt":[{"subitem_alternative_title":"チョウジュンテキ シュホウ ニ ヨル イソウ クウカン ノ セイシツ"}]},"item_5_biblio_info_13":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1998-01-01","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"21","bibliographicPageStart":"15","bibliographicVolumeNumber":"20","bibliographic_titles":[{"bibliographic_title":"情報研究"},{"bibliographic_title":"Information and Communication Studies","bibliographic_titleLang":"en"}]}]},"item_5_description_12":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"　Nonstandard analysis is introduced by Robinson that apply model theory to it. But nonstandard analysis that use General nonstandard model approach a little domain. So it use enlargement or saturated model. Let *U be k+-enlargement or k+-saturated model and *M be set of unary formula, cardinal not greater than k . If *M is finitely satisfiable then *M is satisfiable. So it exist element that is satisfiable all formula in *M. Specially, saturation model is composed extentensin from external map to internal map.\n　The main purpose is to give an nonstandard definition of a topology and to show the theory of topological space. It is defined the monad and standard part of a point in U. And it prove that existense of infinitesimal set and several theory of about open or close set. It give that the shadow of a subset of the standard topological space is closed.\n\\n　1960年ごろ、A.ロビンソンは、モデル理論の考えを使うことによってライプニッツ流の無限小解析をそのままの形で合理化することができるのではないか、という着想を得た。これが超準解析のはじまりである。その後、超準解析は急速に発展し、数学の各分野できわめて魅力的な手段となった。\n　特にことわらない限り、Lは形式言語、UはそのL系で、その宇宙UとLの定項との間には双射が存在するとする。Lの文でUで真なるものの全体をXとし、Xの任意の文φがL系*Uで真であるとき*UをXのモデルという。以後X以外のもののモデルは考えないので、単にモデルという。Uはモデルである。\n　以後区別のため*UでLの論理式を解釈することを*解釈、真であることを*真とする。","subitem_description_type":"Abstract"}]},"item_5_publisher_16":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"文教大学"}]},"item_5_source_id_19":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"03893367","subitem_source_identifier_type":"ISSN"}]},"item_5_text_39":{"attribute_name":"本文言語","attribute_value_mlt":[{"subitem_text_value":"日本語"}]},"item_5_text_42":{"attribute_name":"ID","attribute_value_mlt":[{"subitem_text_value":"BKSJ200003"}]},"item_5_text_7":{"attribute_name":"Author","attribute_value_mlt":[{"subitem_text_value":"Sakuma, Takuya"}]},"item_5_text_8":{"attribute_name":"所属機関","attribute_value_mlt":[{"subitem_text_value":"文教大学情報学部"}]},"item_5_version_type_35":{"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":[{"creatorAffiliations":[{"affiliationNameIdentifiers":[{"affiliationNameIdentifier":"","affiliationNameIdentifierScheme":"ISNI","affiliationNameIdentifierURI":"http://www.isni.org/isni/"}],"affiliationNames":[{"affiliationName":"文教大学","affiliationNameLang":"ja"},{"affiliationName":"Bunkyo University","affiliationNameLang":"en"}]}],"creatorNames":[{"creatorName":"佐久間, 拓也","creatorNameLang":"ja"},{"creatorName":"サクマ, タクヤ","creatorNameLang":"ja-Kana"},{"creatorName":"Sakuma, Takuya","creatorNameLang":"en"}],"familyNames":[{"familyName":"佐久間","familyNameLang":"ja"},{"familyName":"サクマ","familyNameLang":"ja-Kana"},{"familyName":"Sakuma","familyNameLang":"en"}],"givenNames":[{"givenName":"拓也","givenNameLang":"ja"},{"givenName":"タクヤ","givenNameLang":"ja-Kana"},{"givenName":"Takuya","givenNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"380","nameIdentifierScheme":"WEKO"},{"nameIdentifier":"10255060","nameIdentifierScheme":"NRID"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-03-24"}],"displaytype":"detail","filename":"BKSJ200003.pdf","filesize":[{"value":"374.5 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"BKSJ200003.pdf","url":"https://bunkyo.repo.nii.ac.jp/record/3200/files/BKSJ200003.pdf"},"version_id":"a4f9cc4b-0fb7-4147-8ee9-136ee7357172"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"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":"The Nonstandard Theory of Topological Space","subitem_title_language":"en"}]},"item_type_id":"5","owner":"3","path":["204"],"pubdate":{"attribute_name":"公開日","attribute_value":"2011-02-22"},"publish_date":"2011-02-22","publish_status":"0","recid":"3200","relation_version_is_last":true,"title":["超準的手法による位相空間の性質"],"weko_creator_id":"3","weko_shared_id":-1},"updated":"2024-08-08T01:10:23.889620+00:00"}