WEKO3
アイテム
{"_buckets": {"deposit": "a6e52798-ec77-412a-84ac-06ceef15feed"}, "_deposit": {"created_by": 3, "id": "121", "owners": [3], "pid": {"revision_id": 0, "type": "depid", "value": "121"}, "status": "published"}, "_oai": {"id": "oai:metro-cit.repo.nii.ac.jp:00000121", "sets": ["19"]}, "author_link": ["657", "474"], "item_1_biblio_info_14": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2011-03", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "98", "bibliographicPageStart": "88", "bibliographicVolumeNumber": "5", "bibliographic_titles": [{"bibliographic_title": "東京都立産業技術高等専門学校研究紀要"}, {"bibliographic_title": "Research reports of Tokyo Metropolitan College of Industrial Technology", "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": "ja"}, {"creatorName": "ナカニシ, ヤスオ", "creatorNameLang": "ja-Kana"}, {"creatorName": "nakanishi, Yasuo", "creatorNameLang": "en"}], "familyNames": [{"familyName": "中西", "familyNameLang": "ja"}, {"familyName": "ナカニシ", "familyNameLang": "ja-Kana"}, {"familyName": "nakanishi", "familyNameLang": "en"}], "givenNames": [{"givenName": "泰雄", "givenNameLang": "ja"}, {"givenName": "ヤスオ", "givenNameLang": "ja-Kana"}, {"givenName": "Yasuo", "givenNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "657", "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": "ja"}, {"creatorName": "ナカニシ, ユウジ", "creatorNameLang": "ja-Kana"}, {"creatorName": "Nakanishi, Yuji", "creatorNameLang": "en"}], "familyNames": [{"familyName": "中西", "familyNameLang": "ja"}, {"familyName": "ナカニシ", "familyNameLang": "ja-Kana"}, {"familyName": "Nakanishi", "familyNameLang": "en"}], "givenNames": [{"givenName": "佑二", "givenNameLang": "ja"}, {"givenName": "ユウジ", "givenNameLang": "ja-Kana"}, {"givenName": "Yuji", "givenNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "474", "nameIdentifierScheme": "WEKO"}]}]}, "item_1_description_1": {"attribute_name": "ページ属性", "attribute_value_mlt": [{"subitem_description": "P(論文)", "subitem_description_type": "Other"}]}, "item_1_description_12": {"attribute_name": "抄録(英)", "attribute_value_mlt": [{"subitem_description": "Reducio ad absurdum (RAA) is a typical method of proving in mathematics. In aproof by RAA, however, once we put false assumptions, it is hard to distiguish true propositionsfrom other propositions in the following part of the proof. On the other hand, all intermediatepropositions in a direct proof are true and mathematically understandable. Therefore, fromeducational point of view, it is very fruitful to write proofs without RAA. By rewriting theproof by RAA into a direct one, moreover, we sometimes get more general theorem than theoriginal one. In this paper, we introduce a logical system (WNK) which is free from RAA.The proof diagrams of WNK allow plural conclusions as well as plural assumptions, whichmakes the proof diagrams simple. Moreover, we show that proofs of WNK can be plannedefficiently by using `sequents\u0027 like in Gentzen\u0027s LK.", "subitem_description_type": "Other"}]}, "item_1_source_id_13": {"attribute_name": "雑誌書誌ID", "attribute_value_mlt": [{"subitem_source_identifier": "AA12210629", "subitem_source_identifier_type": "NCID"}]}, "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": "2011-03-01"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "KJ00008922019.pdf", "filesize": [{"value": "86.5 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_11", "mimetype": "application/pdf", "size": 86500.0, "url": {"label": "KJ00008922019", "url": "https://metro-cit.repo.nii.ac.jp/record/121/files/KJ00008922019.pdf"}, "version_id": "72205fb8-14c6-4af2-a443-dcb65ecdbb0e"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "Proof", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Sequent", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "NK", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}]}, "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": "On Planning of Efficient Proofs without Reductio ad Absurdum by means of Sequents", "subitem_title_language": "en"}]}, "item_type_id": "1", "owner": "3", "path": ["19"], "permalink_uri": "https://metro-cit.repo.nii.ac.jp/records/121", "pubdate": {"attribute_name": "公開日", "attribute_value": "2011-03-01"}, "publish_date": "2011-03-01", "publish_status": "0", "recid": "121", "relation": {}, "relation_version_is_last": true, "title": ["背理法を用いない効率的な証明のシーケントによる計画法"], "weko_shared_id": 3}
背理法を用いない効率的な証明のシーケントによる計画法
https://metro-cit.repo.nii.ac.jp/records/121
https://metro-cit.repo.nii.ac.jp/records/121a861d79f-4474-4173-adac-d471a8426316
名前 / ファイル | ライセンス | アクション |
---|---|---|
KJ00008922019 (86.5 kB)
|
Item type | 紀要論文(ELS) / Departmental Bulletin Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2011-03-01 | |||||
タイトル | ||||||
タイトル | 背理法を用いない効率的な証明のシーケントによる計画法 | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | On Planning of Efficient Proofs without Reductio ad Absurdum by means of Sequents | |||||
言語 | ||||||
言語 | jpn | |||||
キーワード | ||||||
言語 | en | |||||
主題Scheme | Other | |||||
主題 | Proof | |||||
キーワード | ||||||
言語 | en | |||||
主題Scheme | Other | |||||
主題 | Sequent | |||||
キーワード | ||||||
言語 | en | |||||
主題Scheme | Other | |||||
主題 | NK | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | departmental bulletin paper | |||||
ページ属性 | ||||||
内容記述タイプ | Other | |||||
内容記述 | P(論文) | |||||
著者名(日) |
中西, 泰雄
× 中西, 泰雄 |
|||||
著者所属(日) | ||||||
東京都立産業技術高等専門学校 ものづくり工学科 | ||||||
抄録(英) | ||||||
内容記述タイプ | Other | |||||
内容記述 | Reducio ad absurdum (RAA) is a typical method of proving in mathematics. In aproof by RAA, however, once we put false assumptions, it is hard to distiguish true propositionsfrom other propositions in the following part of the proof. On the other hand, all intermediatepropositions in a direct proof are true and mathematically understandable. Therefore, fromeducational point of view, it is very fruitful to write proofs without RAA. By rewriting theproof by RAA into a direct one, moreover, we sometimes get more general theorem than theoriginal one. In this paper, we introduce a logical system (WNK) which is free from RAA.The proof diagrams of WNK allow plural conclusions as well as plural assumptions, whichmakes the proof diagrams simple. Moreover, we show that proofs of WNK can be plannedefficiently by using `sequents' like in Gentzen's LK. | |||||
雑誌書誌ID | ||||||
収録物識別子タイプ | NCID | |||||
収録物識別子 | AA12210629 | |||||
書誌情報 |
東京都立産業技術高等専門学校研究紀要 en : Research reports of Tokyo Metropolitan College of Industrial Technology 巻 5, p. 88-98, 発行日 2011-03 |