WEKO3
アイテム
{"_buckets": {"deposit": "c7441ff6-b478-40db-b535-93f9cc4c5484"}, "_deposit": {"created_by": 8, "id": "20", "owners": [8], "pid": {"revision_id": 0, "type": "depid", "value": "20"}, "status": "published"}, "_oai": {"id": "oai:ryotokuji-u.repo.nii.ac.jp:00000020", "sets": ["7"]}, "author_link": ["6"], "control_number": "20", "item_10002_alternative_title_1": {"attribute_name": "その他(別言語等)のタイトル", "attribute_value_mlt": [{"subitem_alternative_title": "古典論理の決定時間(改訂版)", "subitem_alternative_title_language": "ja"}]}, "item_10002_biblio_info_7": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2007", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "1", "bibliographicPageEnd": "85", "bibliographicPageStart": "77", "bibliographic_titles": [{"bibliographic_title": "了德寺大学研究紀要"}, {"bibliographic_title": "The Bulletin of Ryotokuji University", "bibliographic_titleLang": "en"}]}]}, "item_10002_description_5": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "論理学におけるsequentとはある法則に従って並べられた文字列の事である.ここで許される文字は自由変数(a_0,a_1,a_2,……),束縛変数(x_0,x_1,x_2,……),関数記号(f_0,f_1,f_2,……)述語記号(P_0,P_1,P_2,……),論理記号(¬,∧,∨,→,∀,∃,〓)補助記号(カッコとコンマ)だけである.termとformulaは以下のように帰納的に定義される:1.自由変数はtermである.2.fが関数記号で,t_1,……,t_nがtermのとき,f(t_1,……,t_n)はtermである.3.Pが述語記号で,t_1,……,t_nがtermのとき,P(t_1,……,t_n)はformulaである.4.A,Bがformulaのとき,¬A,A∧B,A∨B,A→Bはformulaである.5.A(a)が自由変数aを含むformulaで,xがA(a)の中にない束縛変数のとき,∀xA(x),∃xA(x)はformulaである.6.1〜5以外の方法ではtermやformulaは得られない.sequentは「formulaの有限列〓formulaの有限列」という形の有限列の事である.sequentの証明と言うのは公理から出発して推論規則のみを用いて導き出す事である.(古典論理の公理と推論規則は本文を参照されたい.)Turing machineとはセルによって区切られた左右に無限に長いテープと読み取りヘッドと有限制御部からなる機械で,以下の条件を満たす理論上のデジタルコンピュータのことである.テープ上の各セルには1つのセルに1文字だけ書かれている.(空白文字も特殊文字の1つとみなす.)読み取りヘッドは各時点で1つのセルだけを見ている.各時点で,読み取りヘッドはセルから読み取った文字とその時点における有限制御部の内部状態との組み合わせによってその文字を書き換え,右隣または左隣のセルに移動し,内部状態を変化させ,次の時点へと移る.Turing machineに文字列を入力してから出力が得られるまでの時間は一般に入力が大きくなるほど時間を消費するので,その時間を入力文字列の長さnの関数で表す.もちろん,Turing machineの性能によって消費時間は異なる.例えば昔のコンピュータは遅いが最近のコンピュータは速い.しかし,この時間の違いは高々定数倍である.従って,定数倍の違いは無視する.すなわち性能による差は無視して,もっと本質的な処理時間について考える.また,nが比較的小さい場合は定数で押さえられるから小さいnは無視して,十分大きいnについて考える.例えば,処理時間が多項式a_0n^i+a_1n^\u003ci-1\u003e+……+a_\u003ci-1\u003en+a_iの場合十分大きいnに対してはこの式は(a_0+1)n^iで押さえられ,a_0+1は定数だからこれをn^iと同一視する.古典論理において与えられたsequentが証明可能か否かの判定は時間をいとわなければ可能である事はよく知られている.しかしながら,sequentの証明可能性の判定に要する時間はどのくらい必要かということはあまり研究されていないようである.そこで,その判定時間を調べる事は興味深い事と思われる.本論分では2^\u003cnlogn\u003eステップで(命題論理の場合は2^nステップで)これが可能である事を示した.(古典論理というのは古典述語論理の事であり,特に∀と∃を用いない論理を古典命題論理という.)", "subitem_description_language": "ja", "subitem_description_type": "Abstract"}]}, "item_10002_identifier_registration": {"attribute_name": "ID登録", "attribute_value_mlt": [{"subitem_identifier_reg_text": "10.18933/00000012", "subitem_identifier_reg_type": "JaLC"}]}, "item_10002_publisher_8": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "了德寺大学"}]}, "item_10002_relation_12": {"attribute_name": "論文ID(NAID)", "attribute_value_mlt": [{"subitem_relation_type": "isIdenticalTo", "subitem_relation_type_id": {"subitem_relation_type_id_text": "110006426557", "subitem_relation_type_select": "NAID"}}]}, "item_10002_source_id_11": {"attribute_name": "書誌レコードID", "attribute_value_mlt": [{"subitem_source_identifier": "AA12217741", "subitem_source_identifier_type": "NCID"}]}, "item_10002_source_id_9": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "1881-9796", "subitem_source_identifier_type": "PISSN"}]}, "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": "和手, 正道", "creatorNameLang": "ja"}, {"creatorName": "ワテ, マサミチ", "creatorNameLang": "ja-Kana"}, {"creatorName": "Wate, Masamichi", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "6", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-04-13"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "2007_01_8.pdf", "filesize": [{"value": "1.3 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_11", "mimetype": "application/pdf", "size": 1300000.0, "url": {"label": "Modified Decision Time of Classical Logic", "url": "https://ryotokuji-u.repo.nii.ac.jp/record/20/files/2007_01_8.pdf"}, "version_id": "3aa6acb8-6d7b-45d1-8a20-189f16155347"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "Classical Logic", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Gentzen Style", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Turing Machine", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Decision Time", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Classical Logic", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Gentzen Style", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Turing Machine", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Decision Time", "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": "Modified Decision Time of Classical Logic", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Modified Decision Time of Classical Logic", "subitem_title_language": "en"}, {"subitem_title": "古典論理の決定時間(改訂版)", "subitem_title_language": "ja"}]}, "item_type_id": "10002", "owner": "8", "path": ["7"], "permalink_uri": "https://doi.org/10.18933/00000012", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2016-04-13"}, "publish_date": "2016-04-13", "publish_status": "0", "recid": "20", "relation": {}, "relation_version_is_last": true, "title": ["Modified Decision Time of Classical Logic"], "weko_shared_id": -1}
古典論理の決定時間(改訂版)
https://doi.org/10.18933/00000012
https://doi.org/10.18933/00000012726b8787-e234-402c-973f-654ee33a6e9a
名前 / ファイル | ライセンス | アクション |
---|---|---|
Modified Decision Time of Classical Logic (1.3 MB)
|
Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2016-04-13 | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | Modified Decision Time of Classical Logic | |||||
タイトル | ||||||
言語 | ja | |||||
タイトル | 古典論理の決定時間(改訂版) | |||||
言語 | ||||||
言語 | eng | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Classical Logic | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Gentzen Style | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Turing Machine | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Decision Time | |||||
キーワード | ||||||
言語 | en | |||||
主題Scheme | Other | |||||
主題 | Classical Logic | |||||
キーワード | ||||||
言語 | en | |||||
主題Scheme | Other | |||||
主題 | Gentzen Style | |||||
キーワード | ||||||
言語 | en | |||||
主題Scheme | Other | |||||
主題 | Turing Machine | |||||
キーワード | ||||||
言語 | en | |||||
主題Scheme | Other | |||||
主題 | Decision Time | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | departmental bulletin paper | |||||
ID登録 | ||||||
ID登録 | 10.18933/00000012 | |||||
ID登録タイプ | JaLC | |||||
その他(別言語等)のタイトル | ||||||
その他のタイトル | 古典論理の決定時間(改訂版) | |||||
言語 | ja | |||||
著者 |
和手, 正道
× 和手, 正道 |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | 論理学におけるsequentとはある法則に従って並べられた文字列の事である.ここで許される文字は自由変数(a_0,a_1,a_2,……),束縛変数(x_0,x_1,x_2,……),関数記号(f_0,f_1,f_2,……)述語記号(P_0,P_1,P_2,……),論理記号(¬,∧,∨,→,∀,∃,〓)補助記号(カッコとコンマ)だけである.termとformulaは以下のように帰納的に定義される:1.自由変数はtermである.2.fが関数記号で,t_1,……,t_nがtermのとき,f(t_1,……,t_n)はtermである.3.Pが述語記号で,t_1,……,t_nがtermのとき,P(t_1,……,t_n)はformulaである.4.A,Bがformulaのとき,¬A,A∧B,A∨B,A→Bはformulaである.5.A(a)が自由変数aを含むformulaで,xがA(a)の中にない束縛変数のとき,∀xA(x),∃xA(x)はformulaである.6.1〜5以外の方法ではtermやformulaは得られない.sequentは「formulaの有限列〓formulaの有限列」という形の有限列の事である.sequentの証明と言うのは公理から出発して推論規則のみを用いて導き出す事である.(古典論理の公理と推論規則は本文を参照されたい.)Turing machineとはセルによって区切られた左右に無限に長いテープと読み取りヘッドと有限制御部からなる機械で,以下の条件を満たす理論上のデジタルコンピュータのことである.テープ上の各セルには1つのセルに1文字だけ書かれている.(空白文字も特殊文字の1つとみなす.)読み取りヘッドは各時点で1つのセルだけを見ている.各時点で,読み取りヘッドはセルから読み取った文字とその時点における有限制御部の内部状態との組み合わせによってその文字を書き換え,右隣または左隣のセルに移動し,内部状態を変化させ,次の時点へと移る.Turing machineに文字列を入力してから出力が得られるまでの時間は一般に入力が大きくなるほど時間を消費するので,その時間を入力文字列の長さnの関数で表す.もちろん,Turing machineの性能によって消費時間は異なる.例えば昔のコンピュータは遅いが最近のコンピュータは速い.しかし,この時間の違いは高々定数倍である.従って,定数倍の違いは無視する.すなわち性能による差は無視して,もっと本質的な処理時間について考える.また,nが比較的小さい場合は定数で押さえられるから小さいnは無視して,十分大きいnについて考える.例えば,処理時間が多項式a_0n^i+a_1n^<i-1>+……+a_<i-1>n+a_iの場合十分大きいnに対してはこの式は(a_0+1)n^iで押さえられ,a_0+1は定数だからこれをn^iと同一視する.古典論理において与えられたsequentが証明可能か否かの判定は時間をいとわなければ可能である事はよく知られている.しかしながら,sequentの証明可能性の判定に要する時間はどのくらい必要かということはあまり研究されていないようである.そこで,その判定時間を調べる事は興味深い事と思われる.本論分では2^<nlogn>ステップで(命題論理の場合は2^nステップで)これが可能である事を示した.(古典論理というのは古典述語論理の事であり,特に∀と∃を用いない論理を古典命題論理という.) | |||||
言語 | ja | |||||
書誌情報 |
了德寺大学研究紀要 en : The Bulletin of Ryotokuji University 号 1, p. 77-85, 発行日 2007 |
|||||
出版者 | ||||||
出版者 | 了德寺大学 | |||||
ISSN | ||||||
収録物識別子タイプ | PISSN | |||||
収録物識別子 | 1881-9796 | |||||
書誌レコードID | ||||||
収録物識別子タイプ | NCID | |||||
収録物識別子 | AA12217741 | |||||
論文ID(NAID) | ||||||
関連タイプ | isIdenticalTo | |||||
識別子タイプ | NAID | |||||
関連識別子 | 110006426557 | |||||
著者版フラグ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 |