西澤弘毅

鳥取環境大学 環境情報学部 情報システム学科 講師

鳥取環境大学大学院 環境情報学研究科 環境情報学専攻 情報システム領域 講師

• CV（英語）
• E-mail Address: koki AT kankyo-u DOT ac DOT jp
• 2008年度教育活動:
  • 講義：情報処理3・4、プログラミング2、計算論、情報システム特論B（1回）、プロジェクト研究2・4、特別研究2・3
  • 講演：岡山龍谷高校（進路ガイダンス）、青谷高校（プレゼンテーションについて）、鳥取敬愛高校（進路ガイダンス）
• 2009年度教育活動:
  • 講義：情報処理1〜4、情報数学A・2・3、プログラミング1〜4、データ構造とアルゴリズム、計算論、情報システム演習1・2、プロジェクト研究1〜3、特別研究1〜3、情報ネットワークシステムゼミナール3・4、情報ネットワークシステム Training 4
  • 講演：八頭高校（県立高校・大学教員交流事業）、鳥取環境大学公開講座
  • 顧問：卓球部、フライングディスク部
• 2010年度教育活動:
  • 講義：情報処理A・B、情報数学A・B・2、プログラミング1〜4、データ構造とアルゴリズム、計算論、情報システム演習1〜4、プロジェクト研究1〜4、特別研究1〜3、情報ネットワークシステムゼミナール1・2、情報ネットワークシステム Training 3
  • 講演：加悦谷高校、鳥取環境大学公開講座
  • 顧問：卓球部、フライングディスク部
• 学会活動:
  • 日本ソフトウェア科学会 会員
  • 国際数理科学協会 会員
  • 理論計算機科学と圏論ワークショップ (CSCAT 2008) 幹事
  • 代数, 論理, 幾何と情報科学研究集会 (ALGI 2009) 共同代表者
  • プログラミングおよびプログラミング言語ワークショップ (PPL 2010) 実行委員長
• Current topics:
  • Multirelations and Kleene algebras
  • Multi-valued Logic
  • Semantics of Logic, Programming Languages, and Reactive systems
  • Abstraction and Refinement
  • Algebraic structure, Lawvere theory, Sketch, Monad
  • Enriched category theory
  • Stone Duality
• Refereed Papers:
  • Hitoshi Furusawa and Koki Nishizawa. "Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings". 12th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 12), 2011. (accepted)
  • Koki Nishizawa, Norihiro Tsumagari and Hitoshi Furusawa. "The cube of Kleene algebras and the triangular prism of multirelations". Relations and Kleene Algebra in Computer Science, RelMiCS/AKA, 2009, Lecture Notes in Computer Science 5827, pages 276--290, 2009.
  • Koki Nishizawa. "Multi-valued modal fixed point logics for model checking", Proc. 39th International Symposium on Multiple-Valued Logics, IEEE CS Press, pages 109--113, 2009.
  • Koki Nishizawa and John Power. "Lawvere Theories Enriched over a General Base". Journal of Pure and Applied Algebra, Volume 213, Issue 3, March 2009, Pages 377-386.
  • Yoshiki Kinoshita and Koki Nishizawa. "An algebraic semantics of predicate abstraction for PML", Computer Software, Vol.26, No.2, pages 147--156, 2009.
  • Hitoshi Furusawa, Koki Nishizawa, Norihiro Tsumagari. "Multirelational Models of Lazy, Monodic Tree, and Probabilistic Kleene Algebras". Bulletin of Informatics and Cybernetics, vol.41, pp.11--24, 2009.
  • Hitoshi Furusawa, Norihiro Tsumagari and Koki Nishizawa. "A Non-Probabilistic Relational Model of Probabilistic Kleene Algebras". In R. Berghammer, B.Moller, and G.Struth, editors, Relations and Kleene Algebra in Computer Science, RelMiCS/AKA, 2008, Lecture Notes in Computer Science 4988, pages 110--122, 2008.
  • Dai Ikarashi, Yoshinori Tanabe, Koki Nishizawa and Masami Hagiya. "Modal μ-calculus on min-plus algebra N∞". In Proceedings of The 10th JSSST Workshop on Programming and Programming Languages (PPL 2008). pages 216--230, 2008.(Paper Encouraging Award)
  • Hiroshi Watanabe, Koki Nishizawa and Osamu Takaki. "A Coalgebraic Representation of Reduction by Cone of Influence". Electronic Notes in Theoretical Computer Science, Volume 164, Issue 1 , 20 October 2006, Pages 177-194, Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science (CMCS 2006).
  • Koki Nishizawa. "Algebraic Structures for Cocomplete Fibrations and Fibred CCCs". In Peter Mosses, John Power, and Monika Seisenberger, editors, Selected Papers from the First Conference on Algebra and Coalgebra in Computer Science Young Researchers Workshop (CALCO-jnr 2005). University of Wales Swansea Computer Science Report Series CSR 18-2005, pages 55--69, 2005.
• Not Refereed Papers (some papers are available from CVS/AIST):
  • 西澤弘毅, 田中勝. "日本海に面した海岸における海ごみの発生源に関する研究". 第32回全国都市清掃研究・事例発表会. 岡山, 日本, 1月, 2011. (日本語)
  • 永井孝幸, 豊田寿行, 名古屋孝幸, 西澤弘毅, 今井正和. "鳥取-熊本間での講義ビデオ遠隔自動収録の試みについて". 第３回教育学習支援情報システム研究会. 京都, 日本, 12月, 2010. (日本語)
  • 津曲紀宏, 西澤弘毅, 古澤仁. "二項多重関係の反射的推移的閉包", 日本ソフトウェア科学会25回大会予稿集. 東京, 日本, 9月, 2008. (日本語)
  • Norihiro Tsumagari, Koki Nishizawa and Hitoshi Furusawa. "Multirelational Model of Lazy Kleene Algebra". In R. Berghammer, B.Moller, and G.Struth, editors, Relations and Kleene Algebra in Computer Science, PhD Programme at RelMiCS10/AKA5, 2008-04, Institut fur Informatik, Universitat Augsburg, Germany, 2008.
  • 津曲紀宏, 西澤弘毅, 古澤仁. "二項多重関係の反射的推移的閉包について". 火の国情報シンポジウム. 長崎, 日本, 3月, 2008. (日本語)
  • Yoshiki Kinoshita and Koki Nishizawa. "An algebraic semantics of predicate abstraction for PML", In Proc. of 24th Conference of Japan Society for Software Science and Technology. Nara, Japan, September 2007.
  • 五十嵐大, 田辺良則, 西澤弘毅, 萩谷昌己. "min-plus 代数 N∞ 上の様相μ計算とその応用". 日本ソフトウェア科学会24回大会予稿集. 奈良, 日本, 9月, 2007. (日本語)
  • Koki Nishizawa. "Algebraic Structure for a Modal Fixed Point Logic and Abstract Interpretation". Programming Science Technical Report AIST-PS-2007-009, Research Center of Verification and Semantics (CVS), National Institute of Advanced Industrial Science and Technology (AIST), July 2007.
  • Koki Nishizawa, Yukiyoshi Kameyama and Yoshiki Kinoshita. "Simulations of Multi-Valued Models for Modal mu-Calculus". Programming Science Technical Report AIST-PS-2007-005, Research Center of Verification and Semantics (CVS), National Institute of Advanced Industrial Science and Technology (AIST), April 2007.
  • Yoshiki Kinoshita, Koki Nishizawa and Keishi Okamoto. "Formalising Coffman Conditions in First Order Modal mu Calculus (Extended Version)". Programming Science Technical Report AIST-PS-2006-010, Research Center of Verification and Semantics (CVS), National Institute of Advanced Industrial Science and Technology (AIST), October 2006.
  • Yukiyoshi Kameyama, Yoshiki Kinoshita and Koki Nishizawa. "Weighted Kripke Structures and Refinement of Models", In Proc. of 23th Conference of Japan Society for Software Science and Technology. Tokyo, Japan, September 2006. (Takahashi Encouraging Award)
  • Hiroshi Watanabe, Koki Nishizawa and Osamu Takaki. "A Coalgebraic Representation of Reduction by Cone of Influence". Programming Science Technical Report AIST-PS-2006-002, Research Center of Verification and Semantics (CVS), National Institute of Advanced Industrial Science and Technology (AIST), February 2006.
  • Koki Nishizawa. "Algebraic Structures for Cocomplete Fibrations and Fibred CCCs". Programming Science Technical Report AIST-PS-2005-016, Research Center of Verification and Semantics (CVS), National Institute of Advanced Industrial Science and Technology (AIST), September 2005.
  • Koki Nishizawa and Makoto Takeyama. "Algebraic Structure for a Fixed Point Logic and Abstract Interpretation". Programming Science Technical Report AIST-PS-2005-012, Research Center of Verification and Semantics (CVS), National Institute of Advanced Industrial Science and Technology (AIST), June 2005.
  • Koki Nishizawa and John Power. "Lawvere Theories Enriched over a General Base". Programming Science Technical Report AIST-PS-2005-005, Research Center of Verification and Semantics (CVS), National Institute of Advanced Industrial Science and Technology (AIST), February 2005.
  • 西澤弘毅. "抽象解釈にみられる圏論的構成について". 第一回システム検証の科学技術シンポジウム予稿集. 大阪, 日本, 2月, 2004. (日本語)
  • 木下佳樹, 西澤弘毅. "抽象解釈にみられる圏論的構成について". 日本ソフトウェア科学会20回大会予稿集. 愛知, 日本, 9月, 2003. (日本語)
  • 西澤弘毅, 萩谷昌己. "Linear Logical Framework の拡張による Local Model Checking の形式的検証". 日本ソフトウェア科学会19回大会予稿集. 東京, 日本, 9月, 2002. (日本語)
• Grants:
  • "モデル検査における抽象化の再利用". 科学研究費補助金（若手研究(B)）平成20年度採択案件, 課題番号 20700004, 日本学術振興会.
• Other Talks:
  • 西澤弘毅. "代数の表限定理から圏論的同値へ". 科学基礎論学会2010年度秋の研究例会. 東京, 日本, 11月, 2010. (日本語)
  • 西澤弘毅, 佐藤伸、荒田鉄二. "鳥取環境大学の『海ごみ』研究について". 平成22年度鳥取環境大学特別企画, 海岸漂着物処理推進法制定一周年記念シンポジウム. 鳥取, 日本, 7月, 2010. (日本語)
  • 西澤弘毅, 津曲紀宏, 古澤仁. "A new characterization of closed type of multirelation". 理論計算機科学と圏論ワークショップ(CSCAT 2009). 千葉, 日本, 3月, 2009. (日本語)
  • Koki Nishizawa, Norihiro Tsumagari, Hitoshi Furusawa. "The cube of Kleene algebra and the triangular prism of multirelations". Mathematics for Pressing Problems in Computer Science. Kyoto, Japan, June, 2008.
  • 西澤弘毅, 津曲紀宏, 古澤仁. "Kleene algebras for multirelations". 理論計算機科学と圏論ワークショップ(CSCAT 2008). 仙台, 日本, 3月, 2008. (日本語)
  • 西澤弘毅. "パスモデルの代数的性質について". 代数, 論理, 幾何と情報科学研究集会 (ALGI 2007). 鹿児島, 日本, 9月, 2007. (日本語)
  • 西澤弘毅, 亀山幸義, 木下佳樹. "Simulation Theorems in Multi-valued Modal mu-calculus". 理論計算機科学と圏論ワークショップ(CSCAT 2007). 京都, 日本, 3月, 2007. (日本語)
  • 西澤弘毅, 亀山幸義, 木下佳樹. "Simulation Theorems in Multi-valued Modal mu-calculus". 4th Workshop on Verification Technology (VERITE). 石川, 日本, 3月, 2007. (日本語)
  • 亀山幸義, 木下佳樹, 西澤弘毅. "Weighted Kripke Structures and Refinement of Models". 代数, 論理, 幾何と情報科学研究集会 (ALGI 2006). 奈良, 日本, 10月, 2006. (日本語)
  • Koki Nishizawa and Makoto Takeyama. "Algebraic Structure for a Modal Fixed Point Logic and Abstract Interpretation". 2nd Workshop on Verification Technology (VERITE). Osaka, Japan, May, 2006.
  • 西澤弘毅, 武山誠. "様相不動点論理と抽象解釈のための代数構造". 理論計算機科学と圏論ワークショップ(CSCAT 2006). 広島, 日本, 3月, 2006. (日本語)
  • 西澤弘毅, 武山誠. "様相不動点論理と抽象解釈のための代数構造". 代数, 論理, 幾何と情報科学研究集会 (ALGI 2005). 福岡, 日本, 10月, 2005. (日本語)
  • 西澤弘毅, 武山誠. "性質を保つ抽象化の代数的モデル". 理論計算機科学と圏論ワークショップ(CSCAT 2005). 筑波, 日本, 3月, 2005. (日本語)
  • 渡邊宏, 西澤弘毅, 高木理. "Coalgebra による Cone of Influence Reduction （の本質）の表現". 理論計算機科学と圏論ワークショップ(CSCAT 2004). 尼崎, 日本, 3月, 2004. (日本語)
  • 西澤弘毅. "抽象解釈にみられる圏論的構成について". 記号論理学と情報科学(SLACS 2003). 東京, 日本, 9月, 2003. (日本語)
  • 西澤弘毅. "多様な Context の形式化のための Logical Framework: 2-level Linear LF". 記号論理学と情報科学(SLACS 2002). 千葉, 日本, 9月, 2002. (日本語)
  • 西澤弘毅. "Tableau型演繹系の検証のための LLF と M2+ の拡張". 第４回プログラミングおよびプログラミング言語ワークショップ(PPL 2002). ショートプレゼンテーション. 別府, 日本, 3月, 2002. (日本語)
• Link:
  • 鳥取環境大学