研究者
J-GLOBAL ID：200901037294136770   更新日: 2002年08月22日

小林 俊一

コバヤシ シュンイチ | Kobayashi Shunichi
所属機関・部署：
松本大学 総合経営学部 総合経営学科

松本大学 総合経営学部 総合経営学科 について


職名： 専任講師
研究分野 (1件)： 情報学基礎論
研究キーワード (1件)： 情報数理
競争的資金等の研究課題 (1件)：
  • 数学証明検証システムを用いた述語論理に関する研究
MISC (12件)：
  • A Model of Predicate Calculus on Partitions. Mechanized Mathematics and Its Applications. 2000. Vol.1, No.1, pp.21-29
  • Propositional Calculus for Boolean Valued Funct-ions, V. Formalized Mathematics. 1999. Vol.8, No.1, pp.161-162
  • Propositional Calculus for Boolean Valued Funct-ions, IV. Formalized Mathematics. 1999. Vol.8, No.1, pp.149-150
  • Propositional Calculus for Boolean Valued Funct-ions, III. Formalized Mathematics. 1999. Vol.8, No.1, pp.147-148
  • Propositional Calculus for Boolean Valued Funct-ions, II. Formalized Mathematics. 1999. Vol.8, No.1, pp.115-117
もっと見る
学歴 (2件)：
  • - 1999 信州大学 工学系研究科 システム開発工学
  • - 1987 信州大学 工学部 精密工学科
学位 (1件)：
  • 博士(工学) (信州大学)
所属学会 (3件)：
電子情報通信学会 ,  情報処理学会 ,  Mizar学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM