コバヤシ シュンイチ
Shun-ichi.KOBAYASHI (Professor Ph.D.)
小林 俊一
- 所属 松本大学 総合経営学部 総合経営学科
- 職種 教授
| 言語種別 | 英語 |
| 発行・発表の年月 | 2006/02 |
| 形態種別 | 研究論文 |
| 査読 | 査読あり |
| 標題 | On the Calculus of Binary Arithmetics. Part II |
| 執筆形態 | 単著 |
| 掲載誌名 | Formalized Mathematics |
| 巻・号・頁 | Vol.13(No.4),pp.537-540 |
| 概要 | 二値演算について成り立つ様々な定理について、厳格な定義と証明を行った。論文29の続きである。Mizar学会が配布している数学証明検証システムを利用して、定理を厳格な形で証明した点に独創性がある。すなわち、二値演算に関する定理を数学記述言語で記述し、コンピュータを使って定理の正しさを厳格にチェックしている。 |