FURUSAWA Hitoshi 古澤仁

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

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
  
  Theory of informatics
  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 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 Other

All Journal Article Presentation

[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
- 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
- Acknowledgement Compliant / Peer Reviewed
- 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
- Acknowledgement Compliant / Int'l Joint Research / Peer Reviewed
- 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
- DOI
  10.1145/2964907
- Acknowledgement Compliant / Int'l Joint Research / Peer Reviewed
- 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
- Acknowledgement Compliant / Peer Reviewed
- 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 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
- Acknowledgement Compliant / Int'l Joint Research / Peer Reviewed
- 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 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
- DOI
  10.1145/2785967
- Acknowledgement Compliant / Int'l Joint Research / Peer Reviewed
- 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
- 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
- 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
- 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
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500016
[Journal Article] Relational Representation Theorem for Powerset Quantales2012
- Author(s)
  Nishizawa, Koki and Furusawa, Hitoshi
- Journal Title
  
  Lecture Notes in Computer Science, Springer
  
  Volume: LNCS 7560 Pages: 207-218
- DOI
  10.1007/978-3-642-33314-9_14
- 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
- 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
- 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
- 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
- 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, Elsevier
  
  Volume: 173 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 Semirings, In Harrie de Swart ed., Relational and Algebraic Methods in Computer Science2011
- Author(s)
  Hitoshi Furusawa, Koki Nishizawa
- Journal Title
  
  12th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2011, Rotterdam, The Netherlands
  
  Volume: 6663 Pages: 148-163
- DOI
  10.1007/978-3-642-21070-9_13
- 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] 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
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540088
[Journal Article] 二項多重関係の反射的推移的閉包の構成2009
- Author(s)
  津曲紀宏, 西澤弘毅, 古澤仁
- Journal Title
  
  鹿児島大学理学部紀要 42
  
  Pages: 1-9
- 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] 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
- 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: (掲載決定)
- 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
- 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: (掲載決定)
- 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] 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] べき等左半環の*連続性と*イデアル2010
- Author(s)
  古澤仁
- Organizer
  第4回論理と計算に関するセミナー
- Place of Presentation
  福岡市
- Year and Date
  2010-03-12
- 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] 単口木オートマトンの決定化について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: 7 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: 2 results
11. KAWAHARA Yasuo (90091181)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 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

FURUSAWA Hitoshi 古澤 仁

Research Projects

Research Products

Co-Researchers

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] Axiom of Choice and Zorn's Lemma in Cantor Categories2017

Author(s)

Journal Title

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)

Journal Title

DOI

Data Source

[Journal Article] Cellular Automata Associated with Σ-Algebras2016

Author(s)

Journal Title

Data Source

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

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Relational Formalisations of Compositions and Liftings of Multirelations2015

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Point axioms and related conditions in Dedekind categories2015

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Concurrent Dynamic Algebra2015

Author(s)

FURUSAWA Hitoshi 古澤仁