WEKO3
アイテム
<論文>直観主義論理と情報検索
https://kindai.repo.nii.ac.jp/records/10739
https://kindai.repo.nii.ac.jp/records/10739975dca0d-82a1-436c-b046-e2ec8492f7d3
| Item type | ☆紀要論文 / Departmental Bulletin Paper(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2011-03-08 | |||||||||
| タイトル | ||||||||||
| タイトル | <論文>直観主義論理と情報検索 | |||||||||
| その他（別言語等）のタイトル | ||||||||||
| その他のタイトル | <Articles>Intuitionistic Logic and Information Retrieval | |||||||||
| 著者 |
鈴木, 志元
× 鈴木, 志元
|
|||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||
| 資源タイプ | departmental bulletin paper | |||||||||
| アクセス権 | ||||||||||
| アクセス権 | metadata only access | |||||||||
| アクセス権URI | http://purl.org/coar/access_right/c_14cb | |||||||||
| 著者(英) | ||||||||||
| 言語 | en | |||||||||
| 値 | Suzuki, Yukimoto | |||||||||
| 著者 所属 | ||||||||||
| 値 | 近畿大学短期大学部; 講師 | |||||||||
| 出版者 名前 | ||||||||||
| 出版者 | 近畿大学短期大学部 | |||||||||
| 書誌情報 |
近畿大学短大論集 en : The Bulletin of The Junior College of Kinki University 巻 26, 号 1, p. 37-63, 発行日 1993-12-01 |
|||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | ISSN | |||||||||
| 収録物識別子 | 03867048 | |||||||||
| 目次 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | 目次：I.はじめに, II.情報検索の理論, 1.情報検索システム, 2.モデル論的情報検索理論, 3.ブール的情報検索, III.論理と代数, IV.直観主義論理, 1.直観主義論理の概略, 2.直観主義論理の代数的定式化, V.直観主義論理に基づく情報検索システム, 1.不完全情報における情報検索の例, 2.ディスクリプター代数, VI.おわりに, 注・引用文献 | |||||||||
