コバヤシ シュンイチ   Shun-ichi.KOBAYASHI (Professor Ph.D.)
小林 俊一

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

研究者情報へ戻る