Nishizawa Koki 西澤弘毅

… Alternative Names

西澤弘毅ニシザワコウキ

NISHIZAWA Koki 西澤弘毅

西澤弘樹ニシザワコウキ

Less

Researcher Number	60455433
Other IDs
Affiliation (Current)	2025: 神奈川大学, 情報学部, 教授
Affiliation (based on the past Project Information) *help	2023: 神奈川大学, 情報学部, 教授 2022: 神奈川大学, 工学部, 准教授 2017: 神奈川大学, 工学部, 准教授 2013 – 2015: 神奈川大学, 工学部, 准教授 2012: 鳥取環境大学, 経営学部, 講師 2008 – 2009: Tottori University of Environmental Studies, 環境情報学部, 講師 2007: 東北大学, 大学院・情報科学研究科, 助教
Review Section/Research Field	Principal Investigator Fundamental theory of informatics / Basic Section 60010:Theory of informatics-related Except Principal Investigator Foundations of mathematics/Applied mathematics / Software / Science and Engineering
Keywords	Principal Investigator 表現定理 / 多値論理 / 位相空間 / 代数系 / クオンテール / べき集合 / ストーン双対性 / 二項関係 / 代数 / 多重関係 … More / ストーン型双対性 / 情報科学 / 抽象化 / モデル検査 / システム検証 / 情報基礎 … More Except Principal Investigator システム検証 / クリーニ代数 / 情報基礎 / 代数 / 圏論 / 関係理論 / 意味論 / 確率的システム / 延焼 / 抽象化 / 安全性検証 / 状態遷移系 / モデル化 / 多値モデル検査 / XML文書型 / バッファリング / 木構造処理 / 順序付き線形型 / ストリーム処理 / 順序付非線形型 / 順序付線形型 / プログラム変換 / XML Less

関係的表現定理からストーン双対性への拡張Principal Investigator
- Principal Investigator
  
  西澤弘毅
- Project Period (FY)
  2022 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Kanagawa University
Analysis of probabilistic systems by relational and algebraic methods
- Principal Investigator
  
  TSUMAGARI Norihiro
- Project Period (FY)
  2016 – 2017
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Sojo University
On preservation of Stone-type dualitiesPrincipal Investigator
- Principal Investigator
  
  NISHIZAWA Koki
- Project Period (FY)
  2012 – 2015
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Kanagawa University
  Tottori University of Environmental Studies
多値モデル検査法を用いたモデリング・エラーの発見
- Principal Investigator
  
  亀山幸義
- Project Period (FY)
  2008 – 2009
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Software
- Research Institution
  University of Tsukuba
Reuse of Abstraction in Model CheckingPrincipal Investigator
- Principal Investigator
  
  NISHIZAWA Koki
- Project Period (FY)
  2008 – 2009
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Tottori University of Environmental Studies
順序付き線形型に基づく安全かつ高速な大規模データ処理の実現
- Principal Investigator
  
  小林直樹
- Project Period (FY)
  2007 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Tohoku University

All 2024 2023 2016 2015 2014 2013 2012 2009 2008 Other

All Journal Article Presentation

[Journal Article] Multirelational representation theorems for complete idempotent left semirings2015
- Author(s)
  Hitoshi Furusawa and Koki Nishizawa
- Journal Title
  
  Journal of Logical and Algebraic Methods in Programming
  
  Volume: 84 Issue: 3 Pages: 426-439
- DOI
  10.1016/j.jlamp.2014.08.008
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24700017, KAKENHI-PROJECT-25330016
[Journal Article] A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories2014
- Author(s)
  Koki Nishizawa and Hitoshi Furusawa
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 8428 Pages: 261-276
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24700017
[Journal Article] Relational Representation Theorem for Powerset Quantales, In Wolfram Kahl and Timothy G. Griffin eds., Relational and Algebraic Methods in Computer Science2012
- Author(s)
  Nishizawa, Koki and Furusawa, Hitoshi
- Journal Title
  
  13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012, Cambridge, UK
  
  Volume: LNCS 7560 Pages: 207-218
- DOI
  10.1007/978-3-642-33314-9_14
- ISBN
  9783642333132, 9783642333149
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500016, KAKENHI-PROJECT-24700017
[Journal Article] The cube of Kleene algebras and the triangular prism of multirelations2009
- Author(s)
  K.Nishizawa, N.Tsumagari, H.Furusawa
- Journal Title
  
  Relations and Kleene Algebra in Computer Science RelMiCS/AKA(Springer LNCS) 5827
  
  Pages: 276-290
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20650003
[Journal Article] Multirelational Models of Lazy, Monodic Tree, and Probabilistic Kleene Algebras2009
- Author(s)
  H. Furusawa, K. Nishizawa, N. Tsumagari
- Journal Title
  
  Bulletin of Informatics and Cybernetics Vol.41
  
  Pages: 40871-40871
- NAID
  120003878376
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700004
[Journal Article] Multirelational Models of Lazy, Monodic Tree, and Probabilistic Kleene Algebra2009
- Author(s)
  H. Furusawa, K. Nishizawa, N. Tsumagari
- Journal Title
  
  Bulletin of Informatics and Cybernetics (掲載決定)
- NAID
  120003878376
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20650003
[Journal Article] Multi-valued modal fixed point logics for model checking2009
- Author(s)
  K.Nishizawa
- Journal Title
  
  Proc.Int'l Symp.On Multiple-valued Logics, IEEE CS Press
  
  Pages: 109-113
- NAID
  10027364398
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20650003
[Journal Article] An algebraic semantics of predicate abstraction for PML2009
- Author(s)
  Y. Kinoshita and K. Nishizawa
- Journal Title
  
  コンピュータソフトウェア Vol.26, No.2
  
  Pages: 147-156
- NAID
  130004892130
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700004
[Journal Article] An Algebraic Semantics of Predicate Abstraction for PML2009
- Author(s)
  Y. Kinoshita, K. Nishizawa
- Journal Title
  
  コンピュータソフトウェア (掲載決定)
- NAID
  130004892130
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20650003
[Journal Article] The cube of Kleene algebras and the triangular prism of multirelations2009
- Author(s)
  K.Nishizawa, N.Tsumagari, H.Furusawa
- Journal Title
  
  Relations and Kleene Algebra in Computer Science RelMiCS/AKA(Springer LNCS) 5827
  
  Pages: 276-290
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700004
[Journal Article] An algebraic semantics of predicate abstraction for PML2009
- Author(s)
  Y. Kinoshita, K. Nishizawa
- Journal Title
  
  コンピュータソフトウェア Vol.26、No.2
  
  Pages: 147-156
- NAID
  130004892130
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700004
[Journal Article] Multirelational models of lazy, monodic tree, and probabilitstic Kleene algebras2009
- Author(s)
  H.Furusawa, K.Nishizawa, N.Tsumagari
- Journal Title
  
  Bulletin of Informatics and Cybernetics 41
  
  Pages: 11-24
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20650003
[Journal Article] The cube of Kleene algebras and the triangular prism of multirelations2009
- Author(s)
  K. Nishizawa、N. Tsumagari、H. Furusawa
- Journal Title
  
  Relations and Kleene Algebra in Computer Science RelMiCS/AKA(Springer LNCS) Vol.5827
  
  Pages: 276-290
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700004
[Journal Article] A Non-Probabilistic Relational Model of Probabilistic Kleene Algebras2008
- Author(s)
  H. Furusawa, N. Tsumagari, K Nishizawa
- Journal Title
  
  Proc. Relations and Kleene Algebra in Computer Science, LNCS 4988
  
  Pages: 110-122
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700004
[Journal Article] A Non-Probablllstlc Relational Model of Probabilistic Kleene Algebras2008
- Author(s)
  H. Furusawa, N. Tsumagari, K. Nishizawa
- Journal Title
  
  Proc. Relations and Kleene Algebra in Computer Science, LNCS 4988
  
  Pages: 110-122
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20650003
[Journal Article] A Non-Probabilistic Relational Model of Probabilistic Kleene Algebras2008
- Author(s)
  H. Furusawa, N. Tsumagari, K Nishizawa
- Journal Title
  
  Proc. Relations and Kleene Algebra in Computer Science, LNCS Vol.4988
  
  Pages: 110-122
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700004
[Journal Article] Multirelational Models of Lazy, Monodic Tree, and Probabilistic Kleene Algebras
- Author(s)
  H. Furusawa, K. Nishizawa, N. Tsumagari
- Journal Title
  
  Bulletin of Informatics and Cybernetics (掲載予定)
- NAID
  120003878376
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700004
[Presentation] べき集合クオンテールと同型な3つの別表現の発見2024
- Author(s)
  高林俊規、西澤弘毅
- Organizer
  情報処理学会第86回全国大会
- Data Source
  KAKENHI-PROJECT-22K11913
[Presentation] べき集合クオンテールの別表現の発見2023
- Author(s)
  高林俊規、西澤弘毅
- Organizer
  日本ソフトウェア科学会第40回大会
- Data Source
  KAKENHI-PROJECT-22K11913
[Presentation] べき集合クオンテールの2種類の別表現の発見2023
- Author(s)
  高林俊規、西澤弘毅
- Organizer
  第34回代数,論理,幾何と情報科学研究集会 (ALGI)
- Data Source
  KAKENHI-PROJECT-22K11913
[Presentation] べき集合クオンテールの別表現の発見2023
- Author(s)
  高林俊規、西澤弘毅
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ（PPL 2023）
- Data Source
  KAKENHI-PROJECT-22K11913
[Presentation] Multi-valued mlutirelation2016
- Author(s)
  西澤弘毅
- Organizer
  理論計算機科学と圏論ワークショップ
- Place of Presentation
  理化学研究所計算科学研究機構
- Year and Date
  2016-03-16
- Data Source
  KAKENHI-PROJECT-24700017
[Presentation] A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories2014
- Author(s)
  西澤弘毅, 古澤仁
- Organizer
  理論計算機科学と圏論ワークショップ(CSCAT 2014)
- Place of Presentation
  神奈川大学
- Data Source
  KAKENHI-PROJECT-24700017
[Presentation] クオンテイルと完備べき等左半環の表現定理2013
- Author(s)
  西澤弘毅, 古澤仁
- Organizer
  つくばソフトウェア科学セミナー
- Place of Presentation
  筑波大学
- Data Source
  KAKENHI-PROJECT-24700017
[Presentation] Multi-valued modal fixed point logics for model checking2009
- Author(s)
  K. Nishizawa
- Organizer
  39th International Symposium on Multiple-Valued Logics
- Place of Presentation
  沖縄産業支援センター(招待講演)
- Year and Date
  2009-05-21
- Data Source
  KAKENHI-PROJECT-20700004
[Presentation] Multi-valued modal fixed point logics for model checking2009
- Author(s)
  K.Nishizawa
- Organizer
  39^<th> International Symposium on Multiple-Valued Logics
- Place of Presentation
  沖縄産業支援センター(那覇市)
- Year and Date
  2009-05-21
- Data Source
  KAKENHI-PROJECT-20700004
[Presentation] 二項多重関係の反射的推移的閉包2008
- Author(s)
  津曲起宏、西澤弘毅、古澤仁
- Organizer
  日本ソフトウェア科学会第25回大会
- Place of Presentation
  筑波大学
- Year and Date
  2008-09-11
- Data Source
  KAKENHI-PROJECT-20650003
[Presentation] 二項多重関係の反射的推移的閉包2008
- Author(s)
  津曲紀宏, 西澤弘毅, 古澤仁
- Organizer
  日本ソフトウェア科学会25回大会
- Place of Presentation
  筑波大学
- Year and Date
  2008-09-11
- Data Source
  KAKENHI-PROJECT-20700004
[Presentation] Relational Representation Theorem for Powerset Quantales
- Author(s)
  西澤弘毅
- Organizer
  13th International Conference of Relational and Algebraic Methods in Computer Science
- Place of Presentation
  ケンブリッジ（イギリス）
- Data Source
  KAKENHI-PROJECT-24700017
[Presentation] Weak split fork について
- Author(s)
  西澤弘毅
- Organizer
  代数, 論理, 幾何と情報科学研究集会 (ALGI 2012)
- Place of Presentation
  福岡
- Data Source
  KAKENHI-PROJECT-24700017
[Presentation] Ideal Completion of Join Semilattice over T-algebra
- Author(s)
  西澤弘毅
- Organizer
  数学の形式化に関する研究集会
- Place of Presentation
  福岡
- Data Source
  KAKENHI-PROJECT-24700017

1. TSUMAGARI Norihiro (70632834)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
2. FURUSAWA Hitoshi (00357930)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
3. KAWAHARA Yasuo (90091181)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. 小林直樹 (00262155)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 住井英二郎 (00333550)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. 亀山幸義 (10195000)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. 木下佳樹 (60356889)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
8. STRUTH Georg

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Nishizawa Koki 西澤 弘毅

西澤 弘毅 ニシザワ コウキ

NISHIZAWA Koki 西澤 弘毅

西澤 弘樹 ニシザワ コウキ

Research Projects

Research Products

Co-Researchers

関係的表現定理からストーン双対性への拡張Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Analysis of probabilistic systems by relational and algebraic methods

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

On preservation of Stone-type dualitiesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

多値モデル検査法を用いたモデリング・エラーの発見

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Reuse of Abstraction in Model CheckingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

順序付き線形型に基づく安全かつ高速な大規模データ処理の実現

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

[Journal Article] Multirelational representation theorems for complete idempotent left semirings2015

Author(s)

Journal Title

DOI

Data Source

[Journal Article] A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories2014

Author(s)

Journal Title

Data Source

[Journal Article] Relational Representation Theorem for Powerset Quantales, In Wolfram Kahl and Timothy G. Griffin eds., Relational and Algebraic Methods in Computer Science2012

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] The cube of Kleene algebras and the triangular prism of multirelations2009

Author(s)

Journal Title

Data Source

[Journal Article] Multirelational Models of Lazy, Monodic Tree, and Probabilistic Kleene Algebras2009

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Multirelational Models of Lazy, Monodic Tree, and Probabilistic Kleene Algebra2009

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Multi-valued modal fixed point logics for model checking2009

Author(s)

Journal Title

NAID

Data Source

[Journal Article] An algebraic semantics of predicate abstraction for PML2009

Author(s)

Journal Title

Nishizawa Koki 西澤弘毅

西澤弘毅ニシザワコウキ

NISHIZAWA Koki 西澤弘毅

西澤弘樹ニシザワコウキ