(最終更新日:2016-10-31 17:22:51)
  ニシザワ コウキ   Nishizawa Koki
  西澤 弘毅
   所属   神奈川大学  工学部 情報システム創成学科
   職種   准教授
■ 著書・論文歴
1. 論文  Multirelational representation theorems for complete idempotent left semirings (共著) 2015/05
2. 論文  A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories (共著) 2014/04
3. 論文  Implementation of high-definition lecture recording system for daily use (共著) 2013
4. 論文  Relational Representation Theorem for Powerset Quantales (共著) 2012/09
5. 論文  Ideal Completion of Join Semilattics over T-Algebra (共著) 2012/03
全件表示(35件)
■ 職歴
1. 2013/04~2013/08 鳥取環境大学 兼任(非常勤)講師
2. 2012/04~2013/03 鳥取環境大学 経営学部 経営学科 専任講師
3. 2009/04~2013/03 鳥取環境大学大学院 環境情報学研究科(修士課程担当) 専任講師
4. 2008/10~2013/03 鳥取環境大学環境情報学部情報システム学科 専任講師
5. 2007/08~2008/09 東北大学大学院 情報科学研究科 助教
全件表示(8件)
■ 教育上の能力
●教育方法の実践例
1. 2014/04/11~ グループ学習を取り入れたFYSの実践
2. 2014/04/09~ 予習レポートの実践
3. 2013/09/27~ dotCampus を活用した時間外演習の実践
4. 2013/09/27~ 毎週のレポート出題
5. 2013/04/08~ 卒業論文の一対一指導
●作成した教科書、教材
●実務の経験を有する者についての特記事項
●その他教育活動上特記すべき事項
全件表示(26件)
■ 所属学会
1. 2016/04~ 日本数学会
2. 2009/03~ 国際数理科学協会
3. 2002/09~ 日本ソフトウェア科学会
■ 資格・免許
1. 2014/08/08 普通運転免許
■ 社会における活動
1. 2015/03~2015/03 理論計算機科学と圏論ワークショップ (CSCAT 2015)
2. 2013/03~2013/03 理論計算機科学と圏論ワークショップ (CSCAT 2013)
3. 2010/03~2010/03 第12回プログラミングおよびプログラミング言語ワークショップ(PPL2010)
4. 2009/04~ 代数, 論理, 幾何と情報科学研究集会 (ALGI)
5. 2008/03~2008/03 理論計算機科学と圏論ワークショップ (CSCAT 2008)
■ 研究課題・受託研究・科研費
1. 2012/04~2016/03  ストーン型双対性の保存について 日本学術振興会科学研究費補助金 若手研究(B) 
2. 2012/04~2014/03  東日本大震災による漂流ごみの移動経路把握による二次災害防止に関する研究 その他の補助金・助成金 
3. 2009/04~2012/03  日本海に面した海岸における海ごみの発生抑制と回収処理の促進に関する研究 その他の補助金・助成金 
4. 2008/04~2010/03  モデル検査における抽象化の再利用 日本学術振興会科学研究費補助金 若手研究(B) 
5. 2008/04~2010/03  多値モデル検査法を用いたモデリング・エラーの発見 日本学術振興会科学研究費補助金萌芽研究 
全件表示(6件)
■ 委員会・協会等
1. 2014/04/01~ 国際数理科学協会 代議員
■ メールアドレス
  kyoin_mail
■ 受賞学術賞
1. 2008/03 第10回プログラミング及びプログラミング言語ワークショップ
2. 2007/06 第23回日本ソフトウェア科学会 高橋奨励賞
■ 現在の専門分野
計算機科学, 代数学 (キーワード:論理学、情報科学、システム検証、代数構造)