コバヤシ シュンイチ
Shun-ichi.KOBAYASHI (Professor Ph.D.)
小林 俊一
- 所属 松本大学 総合経営学部 総合経営学科
- 職種 教授
| 言語種別 | 日本語 |
| 発行・発表の年月 | 2000/06 |
| 形態種別 | 研究論文 |
| 査読 | 査読あり |
| 標題 | A Model of Predicate Calculus on Partitions |
| 執筆形態 | 単著 |
| 掲載誌名 | Mechanized Mathematics and Its Applications |
| 巻・号・頁 | Vol.1(No.1),21-29頁 |
| 概要 | 従来の述語論理の新しい数学的モデルを提案した。今回提案するモデルが、どのような数学的な意味を持っているのかを、述語論理の具体例を図式化することによって説明した。具体的には、「二値関数と集合の分割に関する述語論理」について、従来の考え方と今回提案するモデルとの比較を示した。すなわち、二値関数と集合の分割に関する述語論理の考え方を、具体例を示して説明した。 |