研究者情報 - 西澤　弘毅

（最終更新日：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
6.	論文	Multirelational representation theorems for complete idempotent left semirings Journal of Logical and Algebraic Methods in Programming 84(3),pp.426-439 （共著） 2015/05
7.	論文	A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories Lecture Notes in Computer Science 8428,pp.261-276 （共著） 2014/04
8.	論文	Implementation of high-definition lecture recording system for daily use EDUCON 2013 pp.520-525 （共著） 2013
9.	論文	Relational Representation Theorem for Powerset Quantales Lecture Notes in Computer Science 7560,pp.207-218 （共著） 2012/09
10.	論文	Ideal Completion of Join Semilattics over T-Algebra Bulletin of Tottori University of Environmental Studies vol. 9 and 10,pp.91-103 （共著） 2012/03
11.	論文	Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings Relational and Algebraic Methods in Computer Science, LNCS 6663, Springer pp.148-163 （共著） 2011/05
12.	論文	Modal μ-calculus on min-plus algebra N∞ Computer Software 27(3),pp.99-113 （共著） 2010/08
13.	論文	Multi-valued modal fixed point logics for model checking IEICE Transactions on Information and Systems, Vol.E93-D, No,8 pp.2036-2039 （単著） 2010/08
14.	論文	The cube of Kleene algebras and the triangular prism of multirelations Relations and Kleene Algebra in Computer Science, LNCS 5827, Springer pp.276-290 （共著） 2009/11
15.	論文	Multirelational Models of Lazy, Monodic Tree, and Probabilistic Kleene Algebras Bulletin of Informatics and Cybernetics, Kyushu University 41,pp.11-24 （共著） 2009/09
16.	論文	An algebraic semantics of predicate abstraction for PML Computer Software 26(2),pp.147-156 （共著） 2009/05
17.	論文	Lawvere Theories Enriched over a General Base Journal of Pure and Applied Algebra, Volume213, Issue3, Elsevier pp.377-386 （共著） 2009/03
18.	論文	A Non-Probabilistic Relational Model of Probabilistic KA Relations and Kleene Algebra in Computer Science, LNCS 4998, Springer pp.110-122 （共著） 2008/04
19.	論文	Multirelational Model of Lazy Kleene Algebra Technical Report, Institut fur Informatik, Universitat Augsburg pp.73-77 （共著） 2008/04
20.	論文	Simulations of Multi-Valued Models for Modal mu-Calculus Programming Science Technical Report, Research Center for Verification and Semantics, AIST AIST-PS-2007-005,pp.1-20 （共著） 2007/04
21.	論文	A Coalgebraic Representation of Reduction by Cone of Influence Electronic Notes in Theoretical Comouter Science, Volume 164, Issue 1, Elsevier pp.177-194 （共著） 2006/10
22.	論文	Formalising Coffman Conditions in First Order Modal mu Calculus (Extended Version) Programming Science Technical Report, Research Center for Verification and Semantics, AIST AIST-PS-2006-010,,pp.1-26 （共著） 2006/10
23.	論文	A Coalgebraic Representation of Reduction by Cone of Influence Programming Science Technical Report, Research Center for Verification and Semantics, AIST AIST-PS-2006-002,pp.1-21 （共著） 2006/02
24.	論文	Algebraic Structures for Cocomplete Fibrations and Fibred CCCs University of Wales Swansea Report Series, Computer Science, University of Wales Swansea CSR18-2005,pp.55-69 （単著） 2005/12
25.	論文	Algebraic Structures for Cocomplete Fibrations and Fibred CCCs Programming Science Technical Report, Research Center for Verification and Semantics, AIST AIST-PS-2005-016,pp.1-18 （単著） 2005/09
26.	論文	Algebraic Structure for a Fixed Point Logic and Abstract Interpretation Programming Science Technical Report, Research Center for Verification and Semantics, AIST AIST-PS-2005-12,pp.1-27 （共著） 2005/06
27.	論文	Lawvere Theories Enriched over a General Base Programming Science Technical Report, Research Center for Verification and Semantics, AIST AIST-PS-2005-005,pp.1-21 （共著） 2005/02
28.	その他	Generated Waste and Recovery & Disposal of Solid Waste on the Sea of Japan Coast - Tracing Drifting Paths of Tsunami Debris 12th Expert Meeting on Solid Waste Management in Asia and Pacific Islands(SWAPI) （共著） 2013/02
29.	その他	発信機の追跡による津波ごみの経路推定第33回全国都市清掃研究・事例発表会　講演論文集、全国都市清掃会議. 93-95頁（共著） 2012/01
30.	その他	講義ビデオの活用に向けた講義音声の発話特徴分析研究報告教育学習支援情報システム（CLE）, 情報処理学会 (2011-CLE-4 巻 4 号),1-8頁（共著） 2011/05
31.	その他	日本海に面した海岸における海ごみの発生源に関する研究第32回全国都市清掃研究・事例発表会講演論文集, 全国都市清掃会議 92-94頁（共著） 2011/01
32.	その他	鳥取-熊本間での講義ビデオ遠隔自動収録の試みについて研究報告教育学習支援情報システム（CLE）, 情報処理学会. (2010-CLE-3 巻 1 号),1-8頁（共著） 2010/12
33.	その他	二項多重関係の反射的推移的閉包日本ソフトウェア科学会25回大会予稿集（CD-ROM）（共著） 2008/09
34.	その他	二項多重関係の反射的推移的閉包について情報処理学会火の国情報シンポジウム（CD-ROM）（共著） 2008/03
35.	その他	An algebraic semantics of predicate abstraction for PML 日本ソフトウェア科学会24回大会予稿集（CD-ROM）（共著） 2007/09
36.	その他	min-plus 代数 N∞ 上の様相μ計算とその応用日本ソフトウェア科学会24回大会予稿集（CD-ROM）（共著） 2007/09
37.	その他	Weighted Kripke Structures and Refinement of Models 日本ソフトウェア科学会23回大会予稿集（CD-ROM）（共著） 2006/09
38.	その他	抽象解釈にみられる圏論的構成について第一回システム検証の科学技術シンポジウム予稿集, 産業技術総合研究所システム検証研究ラボ 47-56頁（単著） 2004/02
39.	その他	抽象解釈にみられる圏論的構成について日本ソフトウェア科学会20回大会予稿集（CD-ROM）（共著） 2003/09
40.	その他	Linear Logical Framework の拡張による Local Model Checking の形式的検証日本ソフトウェア科学会19回大会予稿集（CD-ROM）（共著） 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.	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.	2008/03～2008/03	理論計算機科学と圏論ワークショップ (CSCAT 2008)
5件表示
全件表示(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年度日本学術振興会科学研究費補助金特定領域研究
6.		代数系の圏論的分析
7.		情報システムの形式的検証
8.	2012/04～2014/03	東日本大震災による漂流ごみの移動経路把握による二次災害防止に関する研究その他の補助金・助成金
9.	2009/04～2012/03	日本海に面した海岸における海ごみの発生抑制と回収処理の促進に関する研究その他の補助金・助成金
5件表示
全件表示(9件)

■ 委員会・協会等

1.	2023/04/01～2024/03/31	情報処理学会第86回全国大会現地実行委員会幹事
2.	2014/04/01～	国際数理科学協会代議員

■ メールアドレス

■ 受賞学術賞

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

■ 科研費研究者番号

60455433

■ 本学関連サイト

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