登 壇 ・ 非 登 壇 |
発表者 | タイトル | 学会名 | 開 催 年 |
開 催 月 |
開催地 | |||
非 | 古澤仁, 溝口佳寛, 河原康雄 |
形式的体系としての圏論・関係計算 | 第25回情報・統計科学シンポジウム, 統計科学研究会 |
2020 | 12 | オンライン | |||
非 | Koki Nishizawa, Koji Yasuda, Hitoshi Furusawa |
Preorders,
partial semigroups, and quantales |
18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020) | 2020 | 10 | オンライン | |||
非 | 安田康史, 西澤弘毅, 古澤仁 |
前順序とべき集合クオンテールの間の 関係性について |
日本ソフトウェア科学会第37回大会 | 2020 | 9 | オンライン | |||
登 | 古澤 仁 | On Continuity of Relations | 第18回論理と計算 セミナー |
2019 | 11 | 福岡 | |||
非 | 吉田聡,古澤仁 | On a
certain discontinuous mapping as a continuous relation |
証明論と証明活動, RIMS共同研究(公開型) |
2017 | 12 | 京都 | |||
登 | 古澤 仁 | 一様連続関係とセルオートマトン | 第27回代数,論理, 幾何と情報科学研究集会 |
2016 | 8 | 松本 | |||
非 | Hitoshi
Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari |
Relational
Formalisations of Compositions and Liftings of Multirelations |
15th
International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2015), Braga, Portugal |
2015 | 10 | ポルトガル | |||
非 | Koki
Nishizawa, Hitoshi Furusawa |
A
Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories |
14th
International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2014), Marienstatt im Westerwald, Germany |
2014 | 4 | ドイツ | |||
登 | 古澤 仁 | べき等左半環と多重関係 | 愛媛大学 数学談話会 |
2013 | 12 | 愛媛 | |||
登 | 古澤 仁 | 完備べき等左半環の多重関係による 表現 |
数学の形式化に関 する研究集会 |
2013 | 3 | 福岡 | |||
登 | Hitoshi
Furusawa, Yasuo Kawahara |
Point
Axioms in Dedekind Categories |
13th
International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2012), Cambridge, UK |
2012 | 9 | イギリス | |||
非 | Koki Nishizawa, Hitoshi Furusawa |
Relational Representation Theorem for Powerset Quantales | 13th
International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2012), Cambridge, UK |
2012 | 9 | イギリス | |||
登 | Hitoshi
Furusawa, Toshikazu Ishida, Yasuo Kawahara |
Continuous
Relations and Richardson's Theorem |
13th
International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2012), Cambridge, UK |
2012 | 9 | イギリス | |||
登 | Hitoshi Furusawa | Strict point axiom in Dedekind categories is really strict | Workshop on
Lattices and Relations |
2012 | 9 | オランダ | |||
登 | 古澤仁 | 完備べき等左半環 -二項多重関係による表現を中心に- |
南九州代数系集会 | 2011 | 8 | 鹿児島 | |||
登 | Hitoshi
Furusawa, Koki Nishizawa |
Relational
and Multirelational Representation Theorems for Complete Idempotent Left Semirings |
12th
International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2011), Rotterdam, The Netherlands |
2011 | 5 | オランダ | |||
登 | 古澤仁 | 任意の上限について素な完備べき等 左半環の多重関係による表現 |
第6回論理と計算に 関するセミナー (組み合わせ数学セミナーと合同開催) |
2010 | 11 | 福岡 | |||
登 | Hitoshi Furusawa | Representation
theorems for complete idempotent left semirings |
Workshop on
Lattices, Relations and Kleene Algebras |
2010 | 9 | イギリス | |||
登 | 古澤仁 | 完備べき等左半環の表現定理 | 第5回論理と計算に関するセミナー | 2010 | 7 | 福岡 | |||
登 | 古澤仁 | べき等左半環の*連続性と*イデアル | 第4回論理と計算に関するセミナー | 2010 | 3 | 福岡 | |||
登 | 古澤仁 | 言語と木言語の間 −制限された木言語について− |
第14回情報・統計科学シンポジウム,統計科学研究会 | 2009 | 12 | 福岡 | |||
非 | Koki
Nishizawa, NorihiroTsumagari, Hitoshi Furusawa |
The Cube of
Kleene Algebras and the Triangular Prism of Multirelations |
11th International Conference on Relational Methods in Computer Science (RelMiCS11), Doha, Qatar | 2009 | 11 | カタール | |||
登 | Hitoshi Furusawa, Fumiya Sanda |
*-Continuous Idempotent Left Semirings and Their Ideal Completion |
11th International Conference on Relational Methods in Computer Science (RelMiCS11), Doha, Qatar | 2009 | 11 | カタール | |||
登 | 古澤仁 | 緩クリーニ代数の周辺 | 第1回論理と計算に関するセミナー | 2009 | 5 | 福岡 | |||
登 | 古澤仁, 西澤弘毅, 津曲紀宏 | 緩クリーニ代数,単口木クリーニ代数,確率クリーニ代数の多重関係モデル | 第13回情報・統計科学シンポジウム,統計科学研究会 | 2008 | 12 | 福岡 | |||
非 | 津曲紀宏, 西澤弘毅,
古澤仁 |
二項多重関係の反射的推移的閉包 | 日本ソフトウェア科学会第25回大会,
日本ソフトウェア科学会 |
2008 | 9 | 東京 | |||
非 | Hitoshi
Furusawa, Norihiro Tsumagari, Koki Nishizawa |
A Non-Probabilistic Relational Model of Probabilistic Kleene Algebras | 10th International Conference
on Relational Methods in Computer Science (RelMiCS 10), Frauenwörth, Germany |
2008 | 4 | ドイツ | |||
非 | Norihiro Tsumagari, Koki Nishizawa, Hitoshi Furusawa |
Multirelational
Model of Lazy Kleene Algebra |
PhD Programme
at 10th International Conference on Relational Methods in Computer Science
(RelMiCS 10), Frauenwörth, Germany |
2008 | 4 | ドイツ | |||
非 | 津曲紀宏, 西澤弘毅, 古澤仁 | 二項多重関係の反射的推移的閉包について | 火の国情報シンポジウム, 情報処理学会九州支部 | 2008 | 3 | 長崎 | |||
登 | 古澤仁, 高井利憲 | 単口木オートマトンの決定化について | 応用数学合同研究集会 | 2007 | 12 | 滋賀 | |||
非 | 津曲紀宏, 古澤仁, 西澤弘毅 | 二項多重関係と確率的クリーニ代数 | 第12回情報・統計科学シンポジウム,統計科学研究会 | 2007 | 12 | 福岡 | |||
登 | 古澤仁, 高井利憲 | クリーニ代数拡張の試み −文字列から木へ− |
応用数学合同研究集会 | 2006 | 12 | 滋賀 | |||
非 | 高井利憲, 古澤仁 | クリーニ代数によるプログラム解析入門 (チュートリアル) | 第三回システム検証の科学技術シンポジウム, 産総研システム検証研究センター | 2006 | 10 | 大阪 | |||
非 | Toshinori Takai, Hitoshi Furusawa | Monodic tree Kleene algebra | 9th International Conference on Relational Methods in Computer Science (RelMiCS 9), Manchester University, UK | 2006 | 8 | イギリス | |||
非 | Furusawa Hitoshi, Eun-Hye Choi, Hiroshi Watanabe | Efficiency Analysis of Model-Based Review in Actual Software Design | The International Conference on Software Engineering (ICSE), ACM/IEEE | 2006 | 5 | 中華人民共和国 | |||
非 | Toshinori Takai, Hitoshi Furusawa |
Essentially algebraic structure of simple regular tree languages | 26th TRS meeting, 東北大学 | 2006 | 2 | 仙台 | |||
登 | 古澤仁, 渡邊宏, 河本貴則, 崔銀惠 | 形式的技法の便益性評価のためのデータ収集実験 - Webシステムの上流設計工程において - |
第二回システム検証の科学技術シンポジウム, 科学技術振興機構,産業技術総合研究所システム検証研究センター | 2005 | 10 | 大阪 | |||
非 | 高井利憲, 古澤仁 | 正規木表現の代数構造について | 日本ソフトウェア科学会第22回大会, 日本ソフトウェア科学会 | 2005 | 9 | 仙台 | |||
非 | Toshinori Takai, Wolfram Kahl, Hitoshi Furusawa |
Reasoning about Term Rewriting in Kleene Categories with Converse | 8th International Conference on Relational Methods in Computer Science (RelMiCS 8),Department of Computer Science, Brock University | 2005 | 2 | カナダ | |||
登 | Hitoshi Furusawa | A framework for Kleene algebra with an embedded structure | 8th International Conference on Relational Methods in Computer Science (RelMiCS 8),Department of Computer Science, Brock University | 2005 | 2 | カナダ | |||
非 | Toshinori Takai, Wolfram Kahl, Hitoshi Furusawa |
Reasoning about Term Rewriting in Kleene Categories with Converse | 25th TRS meeting, 三重大学 | 2004 | 11 | 三重 | |||
登 | Hitoshi Furusawa | A free construction of Kleene algebras with tests | 7th International Conference on Mathematics of Program Construction,Department of Computing Science and Mathematics, University of Stirling | 2004 | 7 | イギリス | |||
登 | Hitoshi Furusawa | A free construction of Kleene algebras with tests | CAS Seminar Series,Department of Computing and Software, McMaster University | 2003 | 9 | カナダ | |||
登 | Hitoshi Furusawa | The category of Kleene algebras, action algebras and action lattices are related by adjunctions | 7th International Seminar Relational Methods in Computer Science,Institut fuer Informatik und Praktische Mathematik, Christian-Albrechts-Universitaet zu Kiel | 2003 | 5 | ドイツ | |||
登 | 古澤仁 | クリーニ代数の圏,アクション代数の圏とアクション束の圏は随伴の関係にある | 第7回情報・統計科学シンポジウム,統計科学研究会 | 2002 | 12 | 福岡 | |||
登 | Hitoshi Furusawa, Yoshiki Kinoshita | Essentially algebraic structure for Kleene algebra with tests and its application to semantics of while programs | 第41回プログラミング研究会, 情報処理学会プログラミング研究会 | 2002 | 10 | 兵庫 | |||
登 | 木下佳樹, 古澤仁 | テスト付きクリーニ代数の準代数構造 (Essentially algebraic structure for Kleene algebra with tests ) |
日本ソフトウェア科学会第19回大会, 日本ソフトウェア科学会 | 2002 | 9 | 東京 | |||
登 | 古澤仁, 木下佳樹 | 連を用いたwhileプログラムの意味論 | FIT2002,情報処理学会・電子情報通信学会 | 2002 | 9 | 東京 | |||
登 | 古澤仁 | テスト付きクリーニ代数のスケッチ | 理論計算機科学ワークショップ | 2002 | 3 | 京都 | |||
登 | Hitoshi Furusawa | On the Hoare-He-Sanders' Completeness Result in Refinement: Reconstruction and Extension | Informatik-Kolloquium, Department of Computing Science, University of the Federal Armed Forces Munich | 2001 | 7 | ドイツ | |||
登 | Hitoshi Furusawa, Yukiyoshi Kameyama, Yoshiki Kinoshita | An axiomatic setting for the Hoare-He-Sanders' Completeness result in refinement | Workshop on Structure Preserving Relations, ETL | 2001 | 3 | 兵庫 | |||
登 | Yasuo Kawahara, Hitoshi Furusawa | Crispness in Dedekind Categories | International Seminar on Relational Methods in Computer Science | 2000 | 1 | カナダ | |||
登 | Hitoshi Furusawa, Yoshiki Kinoshita, Yukiyoshi Kameyama, Hiroshi Watanabe, Tomokazu Nagayama | On Soundness and Completeness Theorem of Simulations with respect to Refinement | Workshop on Refinement and Abstraction, ETL | 1999 | 11 | 兵庫 | |||
登 | 古澤仁, 河原康雄 | Dedekind圏におけるスカラー関係とクリスプ性 | 応用数学合同研究集会 | 1997 | 12 | 滋賀 | |||
登 | Hitoshi Furusawa | A Representation Theorem for Relation Algebras: Concepts of Scalar Relations and Point Relations | 記号論理学と情報科学研究集会 | 1997 | 10 | 福岡 | |||
非 | Yasuo Kawahara, Hitoshi Furusawa | Crispness and Representation Theorem in Dedekind Categories | sequent culculusとKripke semanticsに基づく非古典論理の研究 | 1997 | 7 | 京都 | |||
登 | Yasuo Kawahara, Hitoshi Furusawa, Masao Mori | Categorical Representation Theorems of Fuzzy Relations | International Seminar on Relational Methods in Computer Science | 1997 | 1 | チュニジア | |||
登 | 古澤仁 | ファジィ関係の直積の代数的特徴付けについて | 応用数学合同研究集会 | 1996 | 12 | 滋賀 | |||
登 | Hitoshi Furusawa | An Algebraic Characterization of Cartesian Products of Fuzzy Relations | 情報・統計科学シンポジウム,統計科学研究会 | 1996 | 12 | 福岡 | |||
登 | Yasuo Kawahara, Hitoshi Furusawa, Masao Mori | Categorical Representation Theorems of Fuzzy Relations | International Workshop on Rough Sets, Fuzzy Sets and Machine Discovery | 1996 | 11 | 東京 | |||
登 | 河原康雄, 古澤仁, 森雅生 | Dedekind圏とZadeh圏の表現定理について | 記号論理学と情報科学研究集会 | 1996 | 9 | 茨城 | |||
登 | 河原康雄, 古澤仁 | ファジィ関係とその表現定理について | 応用数学合同研究集会 | 1995 | 12 | 滋賀 | |||
登 | 河原康雄, 古澤仁 | ファジィ関係の代数的定式化 | 電気関係学会九州支部連合大会 | 1995 | 9 | 福岡 | |||
登 | Hitoshi Furusawa, Yasuo Kawahara | An Algebraic Formalization of Fuzzy Relations | LOGIC COLLOQUIUM '95,Association for Symbolic Logic | 1995 | 8 | イスラエル | |||
登 | 古澤仁, 河原康雄 | ファジィ関係代数とその表現定理について | LAシンポジウム | 1995 | 1 | 京都 | |||
登 | 古澤仁, 河原康雄 | 関係代数とその表現定理について | 応用数学合同研究集会 | 1994 | 12 | 滋賀 |