(最終更新日:2024-07-17 17:47:06)
  ニシザワ コウキ   Nishizawa Koki
  西澤 弘毅
   所属   神奈川大学  情報学部 システム数理学科
    神奈川大学大学院  工学研究科 工学専攻(情報システム創成領域)
   職種   教授
■ 専門分野
計算機科学, 代数学 (キーワード:圏論、代数構造、論理学、システム検証) 
■ 学歴・学位
1. 2003/04~2006/03 東京大学大学院 情報理工学系研究科 コンピュータ科学専攻 博士課程修了 博士(情報理工学)
2. 2001/04~2003/03 東京大学大学院 情報理工学系研究科 コンピュータ科学専攻 修士課程修了 修士(情報理工学)
3. 1997/04~2001/03 東京大学 理学部 情報科学科 卒業 学士(理学)
■ 学位等
博士(情報理工学)
■ 著書・論文歴
1. 著書  Pythonで体験してわかるアルゴリズムとデータ構造   (共著) 2018/06
2. 論文  Stone dualities from opfibrations Journal of Logical and Algebraic Methods in Programming 127(100773),pp.1-19 (共著) 2022/06
3. 論文  Preorders, Partial Semigroups, and Quantales Lecture Notes in Computer Science 12062,pp.237-252 (共著) 2020/04
4. 論文  Stone Dualities from Opfibrations Lecture Notes in Computer Science 12062,pp.221-236 (共著) 2020/04
5. 論文  Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad Lecture Notes in Computer Science 11194,pp.97-112 (共著) 2018/11
全件表示(40件)
■ 職歴
1. 2019/10~2023/03 鶴見大学 文学部 非常勤講師
2. 2017/10~2017/10 東京大学 大学院数理科学研究科 非常勤講師
3. 2013/04~2013/08 鳥取環境大学 非常勤講師
4. 2012/04~2013/03 鳥取環境大学 経営学部 経営学科 専任講師
5. 2009/04~2013/03 鳥取環境大学大学院 環境情報学研究科(修士課程担当) 専任講師
全件表示(10件)
■ 教育上の能力
●教育方法の実践例
1. 2014/04/11~ グループ学習を取り入れたFYSの実践
2. 2014/04/09~ 予習レポートの実践
3. 2013/09/27~ dotCampus を活用した時間外演習の実践
4. 2013/09/27~ 毎週のレポート出題
5. 2013/04/08~ 卒業論文の一対一指導
●作成した教科書、教材
●実務の経験を有する者についての特記事項
●その他教育活動上特記すべき事項
全件表示(26件)
■ 所属学会
1. 2022/10~ 情報処理学会
2. 2016/04~ 日本数学会
3. 2009/03~ 国際数理科学協会
4. 2002/09~ 日本ソフトウェア科学会
■ 社会における活動
1. 2023/04~2024/03 情報処理学会第86回全国大会 現地実行委員会
2. 2015/03~2015/03 理論計算機科学と圏論ワークショップ (CSCAT 2015)
3. 2013/03~2013/03 理論計算機科学と圏論ワークショップ (CSCAT 2013)
4. 2010/03~2010/03 第12回プログラミングおよびプログラミング言語ワークショップ(PPL2010)
5. 2009/04~ 代数, 論理, 幾何と情報科学研究集会 (ALGI)
全件表示(6件)
■ 研究課題・受託研究・科研費
1. 2022/04~  関係的表現定理からストーン双対性への拡張 基盤研究(C)(一般) 
2. 2012/04~2016/03  ストーン型双対性の保存について 日本学術振興会科学研究費補助金 若手研究(B) 
3. 2008/04~2010/03  モデル検査における抽象化の再利用 日本学術振興会科学研究費補助金 若手研究(B) 
4. 2008/04~2010/03  多値モデル検査法を用いたモデリング・エラーの発見 日本学術振興会科学研究費補助金萌芽研究 
5. 2007/08~2008/03  順序付き線形型に基づく安全かつ高速な大規模データ処理の実現 平成19年度日本学術振興会科学研究費補助金特定領域研究 
全件表示(9件)
■ 委員会・協会等
1. 2023/04/01~2024/03/31 情報処理学会第86回全国大会 現地実行委員会 幹事
2. 2014/04/01~ 国際数理科学協会 代議員
■ メールアドレス
  kyoin_mail
■ 受賞学術賞
1. 2008/03 第10回プログラミング及びプログラミング言語ワークショップ
2. 2007/06 第23回日本ソフトウェア科学会 高橋奨励賞
■ 科研費研究者番号
60455433
■ 本学関連サイト
1. 「神大の先生」サイトページ Link