研究者
J-GLOBAL ID:200901090908925847   更新日: 2022年09月10日

鈴木 康人

スズキ ヤスヒト | Suzuki Yasuhito
所属機関・部署:
職名: 教授
その他の所属(所属・部署名・職名) (1件):
研究分野 (5件): ソフトウェア ,  科学教育 ,  応用数学、統計数学 ,  数学基礎 ,  情報学基礎論
研究キーワード (5件): モデル検査 ,  非古典論理 ,  定理自動証明 ,  Non-classical logic ,  Automated Theorem Proving
競争的資金等の研究課題 (5件):
  • 2016 - モデル検査法を基にしたソフトウェアの品質向上
  • 推移的クリプキ意味論上の非古典論理に関する研究
  • 実時間論理と多様相論理
  • Study of non-classical logics on transitive frames
  • Study on a construction of agent network systems by theorem provers
論文 (1件):
  • 鈴木康人. 実施場所に依存しないプログラミング演習システム構築と教育実践の報告. 第8回実践的IT教育シンポジウム(rePiT2022)論文集. 2022. 76-83
MISC (18件):
  • 鈴木 康人. 有限次元線形部分空聞をモデルとする命題論理体系. 沼津工業高等専門学校研究報告. 2013. 47. 433-438
  • 鈴木 康人. 高専における情報処理教育の現状と今後の課題. 電子情報通信学会 信学技報. 2012. 110. 405. 57-61
  • 鈴木 康人, 長岡 健一, 大西 淳, 原 元司, 岡田 正, 牛丸 真司, 長谷 賢治, 小幡 常啓. D-15-12 標準カリキュラムJ07と学習指導要領からみた高専の情報処理教育(D-15.教育工学,一般セッション). 電子情報通信学会総合大会講演論文集. 2011. 2011. 1. 144
  • 長岡 健一, 鈴木 康人, 大西 淳, 原 元司, 岡田 正, 牛丸 真司, 長谷 賢治, 小幡 常啓. D-15-11 高専における情報処理教育カリキュラムデータベースの構築と運用(D-15.教育工学,一般セッション). 電子情報通信学会総合大会講演論文集. 2011. 2011. 1. 143
  • 長岡 健一, 鈴木 康人, 大西 淳. 高専における情報処理教育カリキュラムデータベース-The database system of information processing education programs in the colleges of technology in Japan-教育工学. 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報. 2011. 110. 405. 51-55
もっと見る
学歴 (4件):
  • - 1999 北陸先端科学技術大学院大学 情報科学研究科 情報処理学
  • - 1999 北陸先端科学技術大学院大学
  • - 1993 弘前大学 理学部 情報科学
  • - 1993 弘前大学
学位 (1件):
  • 博士(情報科学)
経歴 (7件):
  • 2022/04 - 現在 沼津工業高等専門学校 制御情報工学科 教授
  • 2016/04 - 現在 沼津工業高等専門学校 総合情報センター 副センター長
  • 2009/04 - 2022/03 沼津工業高等専門学校 制御情報工学科 准教授
  • 2015/04 - 2016/03 富士通株式会社 沼津工場総務課 研修
  • 2012/04 - 2015/03 沼津工業高等専門学校 総合情報センター 副センター長
全件表示
所属学会 (2件):
情報処理学会 ,  日本ソフトウェア科学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る