学部学科・大学院

  1. ホーム
  2. 学部学科・大学院
  3. 【教員紹介】総合経営学部 総合経営学科
  4. 小林 俊一

【教員紹介】総合経営学部 総合経営学科

小林 俊一(こばやし しゅんいち)

役職・職階 教授
所属 総合経営学部 総合経営学科
最終学歴 信州大学大学院工学系研究科博士後期課程
学位 博士/情報工学(信州大学、1999年9月)
専門分野 数理情報学/自然言語処理
所属学会 MIZAR学会/情報処理学会/電子情報通信学会
主要担当科目 プログラミング論、情報ネットワーク論、情報活用論
職歴 コンピュータメーカー/マルチメディアセンター
研究課題 命題論理・述語論理に関する研究/新しい世界共通言語の研究/コンピュータによる言語処理

研究業績/教育実績(主な著書・論文)

区分著書・論文名等発行所・掲載誌(書)・著書等刊行等年月
論文Propositional Calculus for Boolean Valued Functions (10)松本大学研究紀要第8号, 20102010年 1月
論文Propositional Calculus for Boolean Valued Functions (9)松本大学研究紀要第7号, 20091900年1月
論文On the Calculus of Binary Arithmetics, Part IIFormalized Mathematics, Vol.13, No.4, 20052005年 11月
論文Propositional Calculus for Boolean Valued Functions, Part VIIFormalized Mathematics, Vol.13, No.1, 20052004年 9月
論文On the Calculus of Binary ArithmeticsFormalized Mathematics, Vol.11, No.4, 20032003年 8月
論文Propositional Calculus for Boolean Valued Functions, Part VIIFormalized Mathematics, Vol.11, No.2, 20032003年 2月
論文Predicate Calculus for Boolean Valued Functions, Part XIIFormalized Mathematics, Vol.9, No.1, 20011900年1月
論文A Model of Predicate Calculus on PartitionsMechanized Mathematics and Its
Applications, Vol.1, No.1, 2000
2000年 6月

関連ニュース一覧表示

ページ先頭へ