FURUSAWA Hitoshi 古澤仁

… Alternative Names

Furusawa Hitoshi 古澤仁

Less

Researcher Number	00357930
Other IDs
Affiliation (Current)	2025: 鹿児島大学, 理工学域理学系, 教授
Affiliation (based on the past Project Information) *help	2020 – 2022: 鹿児島大学, 理工学域理学系, 教授 2017: 鹿児島大学, 大学院理工学研究科, 教授 2015 – 2017: 鹿児島大学, 理工学域理学系, 教授 2012 – 2014: 鹿児島大学, 理工学研究科, 准教授 2011 – 2012: 鹿児島大学, 大学院・理工学研究科, 准教授 … More 2011: 鹿児島大学, 大学院・理工学研究科(理学系), 准教授 2009 – 2010: 鹿児島大学, 理工学研究科(理学系), 准教授 2007 – 2008: 鹿児島大学, 理学部, 准教授 Less
Review Section/Research Field	Principal Investigator Basic Section 12030:Basic mathematics-related / Theory of informatics / Fundamental theory of informatics Except Principal Investigator Geometry / Foundations of mathematics/Applied mathematics / Software
Keywords	Principal Investigator 連続性 / 二項関係 / 位相空間 / 構成的数学 / 点列連続 / 各点連続 / 位相 / 関係 / 二項多重関係 / 動的論理 … More / 準等式系 / 並行計算 / クリーニの定理 / *イデアル / べき等左半環 / イデアル完備化 / 表現定理 / 半束 / べき等半環 / 緩クリーニ代数 / べき集合的半束 / プログラム理論 … More Except Principal Investigator ゼータ関数 / algebraic cobordism / bivariant theory / モチーフ / コボルデイズム / 特性類 / 代数多様体 / クリーニ代数 / システム検証 / 情報基礎 / 代数 / 圏論 / 関係理論 / 意味論 / 確率的システム / 消費者向けシステム / リスク共有 / 議論フレームワーク / ソフトウェア受け入れテスト / インテグリティレベル / 双極対話議論 / 数理議論学 / アシュアランス / 抽象対話議論 / ゴール構造化表記法 / 議論 / 論証 / アシュアランスケース / motivic characteristic class / intersection space / fiberwise bordism / categorification / Grothendieck groups / elliptic cohomology / 双変理論 / 代数的同境理論 / モチビック測度 / 特異多様体 / グロタンデイーク群 Less

Continuity of relationsPrincipal Investigator
- Principal Investigator
  
  Furusawa Hitoshi
- Project Period (FY)
  2020 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Kagoshima 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
Defining software integrity levels using argumentation theory
- Principal Investigator
  
  Takai Toshinori
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Nara Institute of Science and Technology
Quasiequational system for concurrencyPrincipal Investigator
- Principal Investigator
  
  FURUSAWA Hitoshi
- Project Period (FY)
  2013 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Theory of informatics
- Research Institution
  Kagoshima University
Simplification of transition systems with the use of lazy Kleene algebrasPrincipal Investigator
- Principal Investigator
  
  FURUSAWA Hitoshi
- Project Period (FY)
  2010 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Kagoshima University
Comprehensive studies of topological aspects of algebraic spaces and stratified spaces
- Principal Investigator
  
  YOKURA Shoji
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Geometry
- Research Institution
  Kagoshima University
A general study on topology of algebraic varieties and its related topics
- Principal Investigator
  
  YOKURA Shoji
- Project Period (FY)
  2007 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Geometry
- Research Institution
  Kagoshima University

All 2021 2020 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 Other

All Journal Article Presentation

[Journal Article] A note on upper continuity properties of relations2021
- Author(s)
  Furusawa Hitoshi, Yoshida Satoru
- Journal Title
  
  鹿児島大学理学部紀要
  
  Volume: 54 Pages: 1-7
- NAID
  120007183504
- Open Access
- Data Source
  KAKENHI-PROJECT-20K03721
[Journal Article] Preorders, Partial Semigroups, and?Quantales2020
- Author(s)
  Nishizawa Koki、Yasuda Koji、Furusawa Hitoshi
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 12062 Pages: 237-252
- DOI
  10.1007/978-3-030-43520-2_15
- ISBN
  9783030435196, 9783030435202
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K03721
[Journal Article] Relational characterisations of paths2020
- Author(s)
  Berghammer Rudolf、Furusawa Hitoshi、Guttmann Walter、Hoefner Peter
- Journal Title
  
  Journal of Logical and Algebraic Methods in Programming
  
  Volume: 117 Pages: 1-19
- DOI
  10.1016/j.jlamp.2020.100590
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K03721
[Journal Article] Axiom of Choice and Zorn's Lemma in Cantor Categories2017
- Author(s)
  H. Furusawa, Y. Kawahara, N. Tsumagari
- Journal Title
  
  Bulletin of Informatics and Cybernetics
  
  Volume: 49 Pages: 11-34
- NAID
  120006620458
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K21557
[Journal Article] Uniform continuity of relations and nondeterministic cellular automata2017
- Author(s)
  Hitoshi Furusawa
- Journal Title
  
  Theoretical Computer Science
  
  Volume: 673 Pages: 19-29
- DOI
  10.1016/j.tcs.2017.02.004
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25330016
[Journal Article] Kleisli, Parikh and Peleg Compositions and Liftings for Multirelations2017
- Author(s)
  Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari
- Journal Title
  
  Journal of Logical and Algebraic Methods in Programming
  
  Volume: 印刷中 Pages: 84-101
- DOI
  10.1016/j.jlamp.2017.04.002
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25330016, KAKENHI-PROJECT-16K21557
[Journal Article] Taming Multirelations2016
- Author(s)
  Hitoshi Furusawa, Georg Struth
- Journal Title
  
  ACM Transactions on Computational Logic
  
  Volume: 17 Issue: 4 Pages: 1-34
- DOI
  10.1145/2964907
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25330016
[Journal Article] Cellular Automata Associated with Σ-Algebras2016
- Author(s)
  Shuichi Inokuchi, Hitoshi Furusawa, Toshikazu Ishida, Yasuo Kawahara
- Journal Title
  
  IEICE Transacions on Informations and Systems
  
  Volume: E99-D Pages: 588-597
- NAID
  130005131818
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25330016
[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] Relational Formalisations of Compositions and Liftings of Multirelations2015
- Author(s)
  Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 9348 Pages: 84-100
- DOI
  10.1007/978-3-319-24704-5_6
- ISBN
  9783319247038, 9783319247045
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25330016
[Journal Article] Point axioms and related conditions in Dedekind categories2015
- Author(s)
  Hitoshi Furusawa, Yasuo Kawahara
- Journal Title
  
  Journal of Logical and Algebraic Methods in Programming
  
  Volume: 84 Issue: 3 Pages: 359-376
- DOI
  10.1016/j.jlamp.2014.12.003
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25330016
[Journal Article] Concurrent Dynamic Algebra2015
- Author(s)
  Hitoshi Furusawa, Georg Struth
- Journal Title
  
  ACM Transactions on Computational Logic
  
  Volume: 16 Issue: 4 Pages: 1-38
- DOI
  10.1145/2785967
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25330016
[Journal Article] Taming Multirelations2015
- Author(s)
  Hitoshi Furusawa, Georg Struth
- Journal Title
  
  Computing Research Repository (CoRR), arXiv.org
  
  Volume: 1501. 05147 Pages: 1-34
- Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-25330016
[Journal Article] A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories2014
- Author(s)
  Koki Nishizawa, Hitoshi Furusawa
- Journal Title
  
  Lecture Notes in Computer Science, Springer
  
  Volume: 8428 Pages: 261-273
- DOI
  10.1007/978-3-319-06251-8_16
- ISBN
  9783319062501, 9783319062518
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25330016
[Journal Article] Concurrent Dynamic Algebra2014
- Author(s)
  Hitoshi Furusawa, Georg Struth
- Journal Title
  
  Computing Research Repository (CoRR), arXiv.org
  
  Volume: 1407. 5819 Pages: 1-44
- Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-25330016
[Journal Article] クオンテイルと完備べき等左半環の表現定理2013
- Author(s)
  西澤弘毅，古澤仁
- Journal Title
  
  神奈川大学工学研究所所報
  
  Volume: 36 Pages: 106-113
- NAID
  120006940674
- Data Source
  KAKENHI-PROJECT-25330016
[Journal Article] Continuous Relations and Richardson's Theorem2012
- Author(s)
  古澤仁，石田俊一，河原康雄
- Journal Title
  
  Lecture Notes in Computer Science, Springer
  
  Volume: 7560 Pages: 310-325
- DOI
  10.1007/978-3-642-33314-9_21
- ISBN
  9783642333132, 9783642333149
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500016
[Journal Article] Point Axioms in Dedekind Categories2012
- Author(s)
  古澤仁，河原康雄
- Journal Title
  
  Lecture Notes in Computer Science, Springer
  
  Volume: 7560 Pages: 219-234
- DOI
  10.1007/978-3-642-33314-9_15
- ISBN
  9783642333132, 9783642333149
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500016
[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] Ideal Completion of Join Semilattice over T-algebra2012
- Author(s)
  Nishizawa, Koki. and Furusawa, Hitoshi
- Journal Title
  
  Bulletin of Tottori University of Environmental Studies
  
  Volume: Vol. 9 and 10 Pages: 91-103
- NAID
  40019237804
- URL
  http://www.kankyo-u.ac.jp/f/845/bulletin/009-010/091-103.pdf
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500016
[Journal Article] Ideal Completion of Join Semilattice over T-algebra2012
- Author(s)
  西澤弘毅, 古澤仁
- Journal Title
  
  Bulletin of Tottori University of Environmental Studies
  
  Volume: 9・10 Pages: 91-103
- NAID
  40019237804
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500016
[Journal Article] Remarks on Ideal Completion of *-Continuous Idempotent Left Semirings2011
- Author(s)
  Furusawa, Hitoshi, Sanda, Fumiya. and Tsumagari, Norihiro
- Journal Title
  
  Bulletin of Informatics and Cybernetics
  
  Volume: Vol. 43 Pages: 1-21
- NAID
  120005397797
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500016
[Journal Article] Remarks on Ideal Completion of ^*-Continuous Idempotent Left Semirings2011
- Author(s)
  古澤仁, 三田文也, 津曲紀宏
- Journal Title
  
  Bulletin of Informatics and Cybernetics
  
  Volume: 43 Pages: 1-21
- NAID
  120005397797
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500016
[Journal Article] Dedekind Categories with cutoff operators2011
- Author(s)
  Hitoshi Furusawa, Yasuo Kawahara, Michael Winter
- Journal Title
  
  Fuzzy Sets and Systems
  
  Volume: 173 Issue: 1 Pages: 1-24
- DOI
  10.1016/j.fss.2010.11.008
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540088, KAKENHI-PROJECT-22500016
[Journal Article] Remarks on Ideal Completion of ^*-Contmuous Idempotent Left Semirings2011
- Author(s)
  Hitoshi Furusawa, Fumiya Sanda, Norihiro Tsumagari
- Journal Title
  
  Bulletin of Informatics and Cybernetics
  
  Volume: 43 Pages: 1-21
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540088
[Journal Article] Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings2011
- Author(s)
  Hitoshi Furusawa, Koki Nishizawa
- Journal Title
  
  Lecture Notes in Computer Science, Springer
  
  Volume: 6663 Pages: 148-163
- DOI
  10.1007/978-3-642-21070-9_13
- ISBN
  9783642210693, 9783642210709
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540088, KAKENHI-PROJECT-22500016
[Journal Article] *-Continuous Idempotent Left Semirings and Their Ideal Completion2009
- Author(s)
  Hitoshi Furusawa, Fumiya Sanda
- Journal Title
  
  Lecture Notes in Computer Science 5827
  
  Pages: 119-133
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540088
[Journal Article] 二項多重関係の反射的推移的閉包の構成2009
- Author(s)
  津曲紀宏, 西澤弘毅, 古澤仁
- Journal Title
  
  鹿児島大学理学部紀要 42
  
  Pages: 1-9
- NAID
  120005997297
- Data Source
  KAKENHI-PROJECT-21540088
[Journal Article] The Cube of Kleene Algebras and the Triangular Prism of Multirelations2009
- Author(s)
  Koki Nishizawa, Norihiro Tsumagari, Hitoshi Furusawa
- Journal Title
  
  Lecture Notes in Computer Science 5827
  
  Pages: 276-290
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540088
[Journal Article] Multirelational Models of Lazy, Monodic Tree, and Probabilistic Kleene Algebras2009
- Author(s)
  Hitoshi Furusawa, Koki Nishizawa, Norihiro Tsumagari
- Journal Title
  
  Bulletin of Informatics and Cybernetics 41
  
  Pages: 11-24
- NAID
  120003878376
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540088
[Journal Article] A Non-Probabilistic Relational Model of Probabilistic Kleene Algebras2008
- Author(s)
  Hitoshi Furusawa, Norihiro Tsumagari, Koki Nishizawa
- Journal Title
  
  Lecture Notes in Computer Science 4988
  
  Pages: 110-122
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19540094
[Journal Article] A Non-Probabilistic Relational Model of Probabilistic Kleene Algebras2008
- Author(s)
  Hitoshi Furusawa, Norihiro Tsumagari, Koki Nishizawa
- Journal Title
  
  Lecture Notes in Computer Science(Springer) vol.4988
  
  Pages: 110-122
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19540094
[Journal Article] Multirelational Model of Lazy Kleene Algebra2008
- Author(s)
  Norihiro Tsumagari, Koki Nishizawa, Hitoshi Furusawa
- Journal Title
  
  Proceedings of Relations and Kleene Algebra in Computer Science
  
  Pages: 73-77
- Data Source
  KAKENHI-PROJECT-19540094
[Journal Article] A Non-Probabilistic Relational Model of Probabilistic Kleene Algebras2008
- Author(s)
  H. Furusawa, N. Tsumagari and K. Nishizawa
- Journal Title
  
  Relations and Kleene Algebra in Computer Sciencea, (A volume ofLecture Notes in Computer Science). (掲載予定)
  
  Pages: 13-13
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19540094
[Journal Article] Multirelational Model of Lazy Kleene Algebra2008
- Author(s)
  N. Tsumagari, K. Nishizawa, and H. Furusawa
- Journal Title
  
  Proceedings of The Student Program of RelMiCS10/AKA5 (掲載予定)
  
  Pages: 5-5
- Data Source
  KAKENHI-PROJECT-19540094
[Journal Article] 二項多重関係の反射的推移的閉包2008
- Author(s)
  津曲紀宏, 西澤弘毅, 古澤仁
- Journal Title
  
  ソフトウェア科学会第25回大会論文集(CD-ROM), ソフトウェア科学会
  
  Pages: 7-7
- NAID
  40022046297
- Data Source
  KAKENHI-PROJECT-19540094
[Journal Article] Koki Nishizawa, and Norihiro Tsumagari
- Author(s)
  Hitoshi Furusawa
- Journal Title
  
  Multirelational Models of Lazy, Monodic Tree, and Probabilistic Kleene Algebras, Bulletin of Informatics and Cybernetics (掲載決定)
  
  Pages: 13-13
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19540094
[Journal Article] Remarks on Ideal Completion of ^*-continuous Idempotent Left Semirings
- Author(s)
  古澤仁, 三田文也, 津曲紀宏
- Journal Title
  
  Bulletin of Informatics and Cybernetics
  
  Volume: (掲載決定)
- NAID
  120005397797
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540088
[Journal Article] Multirelational Models of Lazy, Monodic Tree, and Probabilistic Kleene Algebras
- Author(s)
  Hitoshi Furusawa, Koki Nishizawa, Norihiro Tsumagari
- Journal Title
  
  Bulletin of Informatics and Cybernetics (印刷中)
  
  Pages: 13-13
- NAID
  120003878376
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19540094
[Journal Article] Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings
- Author(s)
  古澤仁, 西澤弘毅
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: (印刷中)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500016
[Journal Article] Dedekind Categories with cutoff operators
- Author(s)
  古澤仁, 河原康雄, Michael Winter
- Journal Title
  
  Fuzzy Sets and Systems
  
  Volume: (印刷中)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500016
[Journal Article] Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings
- Author(s)
  古澤仁, 西澤弘毅
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: (印刷中)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540088
[Journal Article] Dedekind Categories with cutoff operators
- Author(s)
  古澤仁, 河原康雄, Michael Winter
- Journal Title
  
  Fuzzy Sets and Systems
  
  Volume: (印刷中)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540088
[Journal Article] Remarks on Ideal Completion of ^*-continuous Idempotent Left Semirings
- Author(s)
  古澤仁, 三田文也, 津曲紀宏
- Journal Title
  
  Bulletin of Informatics and Cybernetics
  
  Volume: (掲載決定)
- NAID
  120005397797
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500016
[Presentation] 一様連続関係とセルオートマトン2016
- Author(s)
  古澤仁
- Organizer
  第27回代数，論理，幾何と情報科学研究集会
- Place of Presentation
  信州大学（長野県松本市）
- Year and Date
  2016-08-27
- Data Source
  KAKENHI-PROJECT-25330016
[Presentation] 完備べき等左半環-二項多重関係による表現を中心に-2011
- Author(s)
  古澤仁
- Organizer
  南九州代数系集会
- Place of Presentation
  鹿児島大学(鹿児島市)
- Year and Date
  2011-08-26
- Data Source
  KAKENHI-PROJECT-22500016
[Presentation] Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings2011
- Author(s)
  Hitoshi Furusawa
- Organizer
  12th International Conference on Relational and Algebraic Methods inComputer Science(RAMiCS 2011)
- Place of Presentation
  Rotterdam, The Netherlands
- Year and Date
  2011-06-01
- Data Source
  KAKENHI-PROJECT-21540088
[Presentation] Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings2011
- Author(s)
  古澤仁
- Organizer
  12th International Conference on Relational and Algebraic Methods in Computer Science
- Place of Presentation
  Erasmus University Rotterdam(オランダ,ロッテルダム)
- Year and Date
  2011-06-01
- Data Source
  KAKENHI-PROJECT-22500016
[Presentation] 2次元特異点のF爆発2011
- Author(s)
  Hitoshi Furusawa, Yasuo Kawa-Hara, Michael Winter
- Organizer
  南九州代数系集会
- Place of Presentation
  鹿児島大学(招待講演)
- Year and Date
  2011-08-28
- Data Source
  KAKENHI-PROJECT-21540088
[Presentation] Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings2011
- Author(s)
  Hitoshi Furusawa
- Organizer
  12th International Conference on Relational and Algebraic Methods inComputer Science (RAMiCS 2011)
- Place of Presentation
  Rotterdam, The Netherlands(招待講演)
- Year and Date
  2011-06-01
- Data Source
  KAKENHI-PROJECT-21540088
[Presentation] 任意の上限について素な完備べき等左半環の多重関係による表現2010
- Author(s)
  古澤仁
- Organizer
  第6回論理と計算に関するセミナー
- Place of Presentation
  九州大学(福岡市)
- Year and Date
  2010-11-20
- Data Source
  KAKENHI-PROJECT-22500016
[Presentation] Representation Theorems for Complete Idempotent Left Semirings2010
- Author(s)
  古澤仁
- Organizer
  Workshop on Lattices, Relations and Kleene Algebras
- Place of Presentation
  University College London(イギリス, ロンドン)
- Year and Date
  2010-09-21
- Data Source
  KAKENHI-PROJECT-22500016
[Presentation] Representation theorems for complete idempotent left semirings, Workshop on Lattices2010
- Author(s)
  Hitoshi Furusawa
- Organizer
  Relations and Kleene Algebras
- Place of Presentation
  London, UK
- Year and Date
  2010-09-21
- Data Source
  KAKENHI-PROJECT-22500016
[Presentation] 任意の上限について素な完備べき等左半環の多重関係による表現2010
- Author(s)
  古澤仁
- Organizer
  第6回論理と計算に関するセミナー
- Place of Presentation
  九州大学(福岡市)
- Year and Date
  2010-11-20
- Data Source
  KAKENHI-PROJECT-21540088
[Presentation] Representation Theo rems for Complete Idempotent Left Semirings2010
- Author(s)
  Hitoshi Furusawa
- Organizer
  Workshop on Lattices, Relations and Kleene Algebras
- Place of Presentation
  University College London(イギリス)
- Year and Date
  2010-09-21
- Data Source
  KAKENHI-PROJECT-21540088
[Presentation] 完備べき等左半環の表現定理2010
- Author(s)
  古澤仁
- Organizer
  第5回論理と計算に関するセミナー
- Place of Presentation
  九州大学(福岡市)
- Year and Date
  2010-07-23
- Data Source
  KAKENHI-PROJECT-21540088
[Presentation] 完備べき等左半環の表現定理2010
- Author(s)
  古澤仁
- Organizer
  第5回論理と計算に関するセミナー
- Place of Presentation
  九州大学(福岡市)
- Year and Date
  2010-07-23
- Data Source
  KAKENHI-PROJECT-22500016
[Presentation] べき等左半環の*連続性と*イデアル2010
- Author(s)
  古澤仁
- Organizer
  第4回論理と計算に関するセミナー
- Place of Presentation
  福岡市
- Year and Date
  2010-03-12
- Data Source
  KAKENHI-PROJECT-21540088
[Presentation] Representation Theorems for Complete Idempotent Left Semirings2010
- Author(s)
  古澤仁
- Organizer
  Workshop on Lattices, Relations and Kleene Algebras
- Place of Presentation
  University College London(イギリス)
- Year and Date
  2010-09-21
- Data Source
  KAKENHI-PROJECT-21540088
[Presentation] 言語と木言語の間-制限された木言語について2009
- Author(s)
  古澤仁
- Organizer
  第14回情報・統計科学シンポジウム
- Place of Presentation
  福岡市
- Year and Date
  2009-12-04
- Data Source
  KAKENHI-PROJECT-21540088
[Presentation] *-Continuous Idempotent Left Semirings and Their Ideal Completion2009
- Author(s)
  Hitoshi Furusawa, Fumiya Sanda
- Organizer
  11th International Conference on Relational Methods in ComputerScience(RelMiCS11)
- Place of Presentation
  ドーハ、カタール
- Year and Date
  2009-11-02
- Data Source
  KAKENHI-PROJECT-21540088
[Presentation] A Non-Probabilistic Relational Model of Probabilistic Kleene Algebras2008
- Author(s)
  Hitoshi Furusawa, Norihiro Tsumagari, Koki Nishizawa
- Organizer
  10th International Conference on Relational Methods in Computer Science
- Place of Presentation
  Frauenworth, Germany
- Year and Date
  2008-04-09
- Data Source
  KAKENHI-PROJECT-19540094
[Presentation] 二項多重関係の反射的推移的閉包2008
- Author(s)
  津曲紀宏, 西澤弘毅, 古澤仁
- Organizer
  日本ソフトウェア科学会第25回大会
- Place of Presentation
  東京
- Year and Date
  2008-09-11
- Data Source
  KAKENHI-PROJECT-19540094
[Presentation] 緩クリーニ代数, 単口木クリーニ代数, 確率クリーニ代数の多重関係モデル2008
- Author(s)
  古澤仁, 西澤弘毅, 津曲紀宏
- Organizer
  第13回情報・統計科学シンポジウム, 統計科学研究会
- Place of Presentation
  福岡
- Year and Date
  2008-12-05
- Data Source
  KAKENHI-PROJECT-19540094
[Presentation] Multirelational Model of Lazy Kleene Algebra2008
- Author(s)
  Hitoshi Furusawa, Norihiro Tsumagari, Koki Nishizawa
- Organizer
  10th International Conference on Relational Methods in Computer Science
- Place of Presentation
  Frauenworth, Germany
- Year and Date
  2008-04-08
- Data Source
  KAKENHI-PROJECT-19540094
[Presentation] 単口木オートマトンの決定化について2007
- Author(s)
  古澤仁
- Organizer
  応用数学合同研究集会
- Place of Presentation
  龍谷大学瀬田キャンパス
- Year and Date
  2007-12-18
- Data Source
  KAKENHI-PROJECT-19540094
[Presentation] べき等左半環と多重関係
- Author(s)
  古澤仁
- Organizer
  愛媛大学数学談話会
- Place of Presentation
  愛媛大学（松山市）
- Data Source
  KAKENHI-PROJECT-25330016
[Presentation] Continuous Relations and Richardson's Theorem
- Author(s)
  古澤仁
- Organizer
  13th International Conference on Relational and Algebraic Methods in Computer Science
- Place of Presentation
  ケンブリッジ（イギリス）
- Data Source
  KAKENHI-PROJECT-22500016
[Presentation] Point Axioms in Dedekind Categories
- Author(s)
  古澤仁
- Organizer
  13th International Conference on Relational and Algebraic Methods in Computer Science
- Place of Presentation
  ケンブリッジ（イギリス）
- Data Source
  KAKENHI-PROJECT-22500016
[Presentation] 完備べき等左半環の多重関係による表現
- Author(s)
  古澤仁
- Organizer
  数学の形式化に関する研究集会
- Place of Presentation
  福岡市
- Data Source
  KAKENHI-PROJECT-22500016

1. OHMOTO Toru (20264400)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
2. YOKURA Shoji (60182680)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. MIYAJIMA Kimio (40107850)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. AIKOU Tadashi (00192831)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. YASUDA Takehiko (30507166)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. Struth Georg

# of Collaborated Projects: 2 results

# of Collaborated Products: 6 results
7. TSUBOI Shoji (80027375)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. AOYAMA Kiwamu (70202497)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. Takai Toshinori (10425738)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. TSUMAGARI Norihiro (70632834)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
12. NISHIZAWA Koki (60455433)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
13. 高橋和子 (30330400)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. 松野裕 (70534220)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. 木藤浩之 (90705287)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. 吉田聡 (00455437)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results

FURUSAWA Hitoshi 古澤 仁

Furusawa Hitoshi 古澤 仁

Research Projects

Research Products

Co-Researchers

Continuity of relationsPrincipal 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

Defining software integrity levels using argumentation theory

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Quasiequational system for concurrencyPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Simplification of transition systems with the use of lazy Kleene algebrasPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Comprehensive studies of topological aspects of algebraic spaces and stratified spaces

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A general study on topology of algebraic varieties and its related topics

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] A note on upper continuity properties of relations2021

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Preorders, Partial Semigroups, and?Quantales2020

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Relational characterisations of paths2020

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Axiom of Choice and Zorn's Lemma in Cantor Categories2017

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Uniform continuity of relations and nondeterministic cellular automata2017

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Kleisli, Parikh and Peleg Compositions and Liftings for Multirelations2017

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Taming Multirelations2016

Author(s)

FURUSAWA Hitoshi 古澤仁

Furusawa Hitoshi 古澤仁