研究者
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件):
所属学会 (2件):
前のページに戻る