研究者情報 - 西澤　弘毅

（最終更新日：2022-12-09 16:58:36）

  ニシザワ　コウキ   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 （共著） 2022/06
3.	論文	Preorders, Partial Semigroups, and Quantales （共著） 2020/04
4.	論文	Stone Dualities from Opfibrations （共著） 2020/04
5.	論文	Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad （共著） 2018/11
6.	論文	Multirelational representation theorems for complete idempotent left semirings （共著） 2015/05
7.	論文	A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories （共著） 2014/04
8.	論文	Implementation of high-definition lecture recording system for daily use （共著） 2013
9.	論文	Relational Representation Theorem for Powerset Quantales （共著） 2012/09
10.	論文	Ideal Completion of Join Semilattics over T-Algebra （共著） 2012/03
11.	論文	Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings （共著） 2011/05
12.	論文	Modal μ-calculus on min-plus algebra N∞ （共著） 2010/08
13.	論文	Multi-valued modal fixed point logics for model checking （単著） 2010/08
14.	論文	The cube of Kleene algebras and the triangular prism of multirelations （共著） 2009/11
15.	論文	Multirelational Models of Lazy, Monodic Tree, and Probabilistic Kleene Algebras （共著） 2009/09
16.	論文	An algebraic semantics of predicate abstraction for PML （共著） 2009/05
17.	論文	Lawvere Theories Enriched over a General Base （共著） 2009/03
18.	論文	A Non-Probabilistic Relational Model of Probabilistic KA （共著） 2008/04
19.	論文	Multirelational Model of Lazy Kleene Algebra （共著） 2008/04
20.	論文	Simulations of Multi-Valued Models for Modal mu-Calculus （共著） 2007/04
21.	論文	A Coalgebraic Representation of Reduction by Cone of Influence （共著） 2006/10
22.	論文	Formalising Coffman Conditions in First Order Modal mu Calculus (Extended Version) （共著） 2006/10
23.	論文	A Coalgebraic Representation of Reduction by Cone of Influence （共著） 2006/02
24.	論文	Algebraic Structures for Cocomplete Fibrations and Fibred CCCs （単著） 2005/12
25.	論文	Algebraic Structures for Cocomplete Fibrations and Fibred CCCs （単著） 2005/09
26.	論文	Algebraic Structure for a Fixed Point Logic and Abstract Interpretation （共著） 2005/06
27.	論文	Lawvere Theories Enriched over a General Base （共著） 2005/02
28.	その他	Generated Waste and Recovery & Disposal of Solid Waste on the Sea of Japan Coast - Tracing Drifting Paths of Tsunami Debris （共著） 2013/02
29.	その他	発信機の追跡による津波ごみの経路推定（共著） 2012/01
30.	その他	講義ビデオの活用に向けた講義音声の発話特徴分析（共著） 2011/05
31.	その他	日本海に面した海岸における海ごみの発生源に関する研究（共著） 2011/01
32.	その他	鳥取-熊本間での講義ビデオ遠隔自動収録の試みについて（共著） 2010/12
33.	その他	二項多重関係の反射的推移的閉包（共著） 2008/09
34.	その他	二項多重関係の反射的推移的閉包について（共著） 2008/03
35.	その他	An algebraic semantics of predicate abstraction for PML （共著） 2007/09
36.	その他	min-plus 代数 N∞ 上の様相μ計算とその応用（共著） 2007/09
37.	その他	Weighted Kripke Structures and Refinement of Models （共著） 2006/09
38.	その他	抽象解釈にみられる圏論的構成について（単著） 2004/02
39.	その他	抽象解釈にみられる圏論的構成について（共著） 2003/09
40.	その他	Linear Logical Framework の拡張による Local Model Checking の形式的検証（共著） 2002/09
5件表示
全件表示(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	鳥取環境大学大学院　環境情報学研究科（修士課程担当）専任講師
6.	2008/10～2013/03	鳥取環境大学環境情報学部情報システム学科専任講師
7.	2007/08～2008/09	東北大学大学院情報科学研究科助教
8.	2007/04～2007/07	京都大学　高等教育研究開発推進機構非常勤講師
9.	2006/04～2007/07	（独）産業技術総合研究所特別研究員
10.	2003/04～2006/03	（独）産業技術総合研究所テクニカルスタッフ
5件表示
全件表示(10件)

■ 教育上の能力

●教育方法の実践例
1.	2014/04/11～	グループ学習を取り入れたFYSの実践
2.	2014/04/09～	予習レポートの実践
3.	2013/09/27～	dotCampus を活用した時間外演習の実践
4.	2013/09/27～	毎週のレポート出題
5.	2013/04/08～	卒業論文の一対一指導
●作成した教科書、教材
1.	2014/10/01～	「工学特別演習Ⅱ」の教材作成
2.	2013/10/01～	「アルゴリズムとデータ構造」の教材作成
3.	2012/04/01～2014/09/30	「経営統計入門」資料ウェブページ作成（鳥取環境大学）
4.	2011/04/01～2013/03/31	「情報数学Ｄ」資料ウェブページ作成（鳥取環境大学）
5.	2011/04/01～2013/03/31	「オブジェクト指向設計」資料ウェブページ作成（鳥取環境大学）
6.	2010/04/01～2013/03/31	「情報数学Ｂ」資料ウェブページ作成（鳥取環境大学）
7.	2009/04/01～2013/03/31	「情報処理1～4」「情報処理A・B」「情報リテラシⅠ・Ⅱ」テキスト作成（鳥取環境大学）
8.	2009/04/01～2012/03/31	「情報数学Ａ」資料ウェブページ作成（鳥取環境大学）
9.	2009/04/01～2013/03/31	「データ構造とアルゴリズム」資料ウェブページ作成（鳥取環境大学）
10.	2009/04/01～2011/03/31	「計算論」資料ウェブページ作成（鳥取環境大学）
11.	2009/04/01～2013/03/31	「プログラミング１～４」資料ウェブページ作成（鳥取環境大学）
●実務の経験を有する者についての特記事項
1.	2011/04/01～2013/03/31	鳥取県高校生科学セミナー情報分野　講師（9回実施）（鳥取環境大学）
2.	2010/04/01～2011/03/31	加悦谷高校出前講義　講師（1回実施）（鳥取環境大学）
3.	2009/04/01～2010/03/31	八頭高校　県立高校・大学教員交流事業　講師（1回実施）（鳥取環境大学）
4.	2009/04/01～2011/03/31	公開講座　講師（4回実施）（鳥取環境大学）
5.	2008/10/01～2009/03/31	岡山龍谷高校進路ガイダンス　講師（1回実施）（鳥取環境大学）
6.	2008/10/01～2009/03/31	青谷高校出前講義　講師（1回実施）（鳥取環境大学）
7.	2008/10/01～2009/03/31	鳥取敬愛高校進路ガイダンス　講師（1回実施）（鳥取環境大学）
●その他教育活動上特記すべき事項
1.	2014/04/01～2015/03/31	工学部情報システム創成学科教育委員
2.	2011/04/01～2013/03/31	人間形成教育センター運営委員会　委員（鳥取環境大学）
3.	2009/04/01～2012/03/31	教務専門委員会　委員（鳥取環境大学）
5件表示
全件表示(26件)

■ 所属学会

1.	2022/10～	情報処理学会
2.	2016/04～	日本数学会
3.	2009/03～	国際数理科学協会
4.	2002/09～	日本ソフトウェア科学会

■ 社会における活動

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.	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年度日本学術振興会科学研究費補助金特定領域研究
6.		代数系の圏論的分析
7.		情報システムの形式的検証
8.	2012/04～2014/03	東日本大震災による漂流ごみの移動経路把握による二次災害防止に関する研究その他の補助金・助成金
9.	2009/04～2012/03	日本海に面した海岸における海ごみの発生抑制と回収処理の促進に関する研究その他の補助金・助成金
5件表示
全件表示(9件)

■ 委員会・協会等

2014/04/01～

国際数理科学協会代議員

■ メールアドレス

■ 受賞学術賞

1.	2008/03	第10回プログラミング及びプログラミング言語ワークショップ
2.	2007/06	第23回日本ソフトウェア科学会　高橋奨励賞

■ 科研費研究者番号

60455433

■ 本学関連サイト

1.	「神大の先生」サイトページ