KAWAHARA Yasuo 河原康雄

… Alternative Names

河原泰雄カワハラヤスオ

Less

Researcher Number	90091181
Other IDs
Affiliation (based on the past Project Information) *help	2017: 九州大学, 名誉教授 2005 – 2006: 九州大学, システム情報科学研究院, 教授 2004: 九州大学, 大学院・システム情報科学研究院, 教授 2003: 九州大学, システム情報科学研究院, 教授 1998: 九州大学, 大学院システム情報科学研究科, 教授 … More 1996 – 1998: 九州大学, 大学院・システム情報科学研究科, 教授 1995: 九州大学, 理学部, 教授 1991 – 1992: 九州大学, 理学部, 教授 1986 – 1990: Associate Professor, Faculty of Science, Kyushu University, 理学部, 助教授 Less
Review Section/Research Field	Principal Investigator General mathematics (including Probability theory/Statistical mathematics) / 計算機科学 / Fundamental theory of informatics Except Principal Investigator General mathematics (including Probability theory/Statistical mathematics) / 解析学 / Informatics / Theory of informatics / Foundations of mathematics/Applied mathematics
Keywords	Principal Investigator カテゴリー論 / 関係計算 / プログラム意味論 / ファジイ関係 / 関係代数 / ファジィ関係 / relational calculus / category theory / fuzzy relation / プログラミング意味論 … More / 圏論 / 情報数学 / カテゴリー論的グラフ文法 / Gluing 条件Pushout square / 並列アルゴリズム / NCアルゴリズム / グラフ変換 / グラフ文法 / 関系代数 / ファジイ集合 / ファジイグラフ / ファジィ集合 / ファジィグラフ / graph transformation / graph grammar / relation algebra / fuzzy set / fuzzy graph / 計算機科学 / 計算論理学 / 人工知能 / 計算量理論 / 構成的プログラミング / computer science / computational logic / artificial intelligence / programming semantics / computational complexity / constructive programming / 関係理論 / 関係の基数 / グラフ・マッチング / ネットワーク・フロー / Dedekind不等式 / ファジイ理論 / ネットワークフロー / 関係型プログラミング / プログラミング理論 / 基数 / 形式概念 / 関係集合論 / ファジイ論理 / Hoare論理 / binay relation / relational method / cardinality of relations / program semantics / matching of graphs / network flow / Dedekind inequality … More Except Principal Investigator 加法的マルチンゲ-ル / セルオ-トマトン / 並行プロセス / 無限直積確率測度 / 確率測度の絶対連続性 / 指数マルチンゲ-ル / 一様可積分性 / サブガウス確率ベクトル / 指数可積分性 / 確率測度の準不変性 / 最適化 / 非線形方程式 / アルゴリズム / 準不変測度 / 並列処理機構 / λーcalculus / 楕円型境界値問題 / 有限要素法 / 誤差評価 / 精度保証付き計算法 / 数理統計学 / 検定 / 推定 / 非線型制約問題 / 高次変分集合 / Neustadt微分 / 2次元セルオートマトン / Hecke代数 / 複雑システム / 形式的方法 / 公理的集合論 / 並行性 / 超準解析 / 述語論理 / Complex Systems / Formal Methods / Axiomatic Set Theory / Concurrency / Nonstandard Analysis / 計算機数学 / 散的アルゴリズム論 / プログラム理論 / 計算可能論理 / 計算量理論 / プログラム合成論 / 論理と推論 / 計算可能理論 / COMPUTER MATHEMATICS / DISCRETE ALGORITHMS / THEORY OF PROGRAMS / COMPUTABLE LOGICS / COMPUTATIONAL COMPLEXITY / PROGRAM SYNTHESIS / LOGICS AND INFERENCE / パタン照合アルゴリズム / テキスト処理 / 逐字処理 / 単一化 / 日本語処理 / 情報検索 / サーチ技法 / データベースシステム / Pattern matching / text processing / sequential search / Japanese texts / information retrieval / ランダムアルゴリズム / 組合せ最適化 / NP完全問題 / 巡回セールスマン問題 / 分散型計算 / random algorithms / 算譜合成 / 定理証明 / 非古典論理 / グラフ算法 / セルオ-トマン / 定理証明系 / 算譜の仕様 / 算譜の検証 / 高階論理体系 / 分散OS / 算譜言語 / 算譜言語のモデル / 論理体系 / 幾何学算法 / Program Synthesis / Theorem Proving / Non-classical Logic / Cellular Automata / Graph Algorithms / Distributed Operating System / Constructive Mathematics / 確率的システム / 意味論 / 関係理論 / 圏論 / 代数 / 情報基礎 / システム検証 / クリーニ代数 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
Information Semantics and Relational Programming in Dedekind CategoriesPrincipal Investigator
- Principal Investigator
  
  KAWAHARA Yasuo
- Project Period (FY)
  2003 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  KYUSHU UNIVERSITY
An interdisciplinary study on categorical computer mathematicsPrincipal Investigator
- Principal Investigator
  
  KAWAHARA Yasuo
- Project Period (FY)
  1996 – 1998
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  KYUSHU UNIVERSITY
A funtadamental study on graph transforamtion systems with relational calculusPrincipal Investigator
- Principal Investigator
  
  KAWAHARA Yasuo
- Project Period (FY)
  1995 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  KYUSHU UNIVERSITY
Co-operative Research on Discrete Computer Mathematics
- Principal Investigator
  
  ARIKAWA Setsuo
- Project Period (FY)
  1991 – 1992
- Research Category
  
  Grant-in-Aid for Co-operative Research (A)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  KYUSHU UNIVERSITY
最適化と近似理論
- Principal Investigator
  
  FURUKAWA Nagata
- Project Period (FY)
  1990
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University
関数方程式に対する自己検証的数値計算法
- Principal Investigator
  
  NAKAO Mitsuhiro
- Project Period (FY)
  1990
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University
Computing Science and Complex systems
- Principal Investigator
  
  TANAKA Syunichi
- Project Period (FY)
  1990 – 1991
- Research Category
  
  Grant-in-Aid for General Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University
確率過程の関数解析学的研究
- Principal Investigator
  
  佐藤坦
- Project Period (FY)
  1989
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  解析学
- Research Institution
  Kyushu University
応用上の制約を考慮した高次分割表解析法の開発研究
- Principal Investigator
  
  柳川堯
- Project Period (FY)
  1988
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University
Co-Operative Research on Discrete Mathematics for Information
- Principal Investigator
  
  HIROSE Ken
- Project Period (FY)
  1988 – 1990
- Research Category
  
  Grant-in-Aid for Co-operative Research (A)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Waseda University
計算科学への圏論の応用Principal Investigator
- Principal Investigator
  
  河原康雄
- Project Period (FY)
  1987
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University
Computing Science and Statistical Mechanics
- Principal Investigator
  
  TANAKA Shunichi
- Project Period (FY)
  1986 – 1987
- Research Category
  
  Grant-in-Aid for General Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University
Studies on String Pattern Matching Algorithms
- Principal Investigator
  
  ARIKAWA Setsuo
- Project Period (FY)
  1985 – 1986
- Research Category
  
  Grant-in-Aid for General Scientific Research (B)
- Research Field
  
  Informatics
- Research Institution
  Kyushu University

All 2017 2006 2005 2003

All Journal Article

[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] 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] On the cardinality of relations2006
- Author(s)
  Y.Kawahara
- Journal Title
  
  Lecture Notes in Computer Science 4136
  
  Pages: 251-265
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500013
[Journal Article] Tarski's fixed point theorem in Dedekind categories2006
- Author(s)
  Y.Kawahara, K.Honda
- Journal Title
  
  Bull. Inform Cybernet. 38
  
  Pages: 27-37
- NAID
  120001014495
- Data Source
  KAKENHI-PROJECT-15500013
[Journal Article] Tarski's fixed point theorem in Dedekind categories2006
- Author(s)
  Y.Kawahara, K.Honda
- Journal Title
  
  Bull.Inform.Cybernet. 38
  
  Pages: 27-37
- NAID
  120001014495
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500013
[Journal Article] Tarski' s fixed point theorem in Dedekind categories2006
- Author(s)
  Y.Kawahara, K.Honda
- Journal Title
  
  Bull. Inform. Cybernet. 38
  
  Pages: 27-37
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500013
[Journal Article] Tarski's fixed point theorem in Dedekind categories2005
- Author(s)
  Y.Kawahara
- Journal Title
  
  Proceedings of 8-th International Conference on Relational Methods in Computer Science (印刷中)
- NAID
  120001014495
- Data Source
  KAKENHI-PROJECT-15500013
[Journal Article] On reversible cellular automata with finite cell array2005
- Author(s)
  Inokuchi, S., Honda, K., H.Lee, T.Sato, Y.Mizoguchi, Y.Kawahara
- Journal Title
  
  Lecture Notes in Computer Science 3699
  
  Pages: 130-141
- Data Source
  KAKENHI-PROJECT-15500013
[Journal Article] Demonic orders and quasi-totality in Dedekind categories2003
- Author(s)
  Y.Kawahara, H.Okuma
- Journal Title
  
  京都大学数理解析研究所講究録 131
  
  Pages: 102-112
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500013
[Journal Article] Demonic orders and quasi-totality in Dedekind categories2003
- Author(s)
  Y.Kawahara, H.Okuma
- Journal Title
  
  RIMS Kokyuroku, Kyoto Univ. 1318
  
  Pages: 102-112
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500013

1. FUJINO Seiichi (20037146)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
2. YANAGAWA Takashi (80029488)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
3. OHTSUKA Hiroshi (30203839)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
4. FURUKAWA Nagata (50037165)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
5. ARIKAWA Setsuo (40037221)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
6. SATO Masahiko (20027387)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
7. TANAKA Syunichi (00028127)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. NAKAO Mitsuhiro (10136418)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
9. KAWASAKI Hidefumi (90161306)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
10. MIYANO Satoru (50128104)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
11. FUJII Kazuyuki (00128084)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
12. ENOMOTO Hikoe (00011669)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
13. KOBAYASHI Kojiro (00016148)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
14. HIROSE Ken (60063632)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
15. ONO Hiroakira (90055319)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
16. 佐藤坦 (30037254)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
17. 山本野人 (30210545)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
18. 土屋卓也 (00163832)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
19. SHINOHARA Takeshi (60154225)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. KUDWO Akio (00037144)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. UESU Tadahiro (60015550)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. YONEDA Nobuo (50080487)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. NAKAJIMA Reiji (60109080)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. IRI Masao (40010722)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
28. 洞彰人 (10212200)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
29. 西川青季 (60004488)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
30. 白谷克巳 (80037168)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
31. 岡崎悦明 (40037297)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
32. 吉田祐治 (90192426)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
33. 山崎正 (30011696)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
34. 林晋 (40156443)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
35. 向井国昭 (80245597)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
36. 坂内英一

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
37. STRUTH Georg

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results

KAWAHARA Yasuo 河原 康雄

河原 泰雄 カワハラ ヤスオ

Research Projects

Research Products

Co-Researchers

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Information Semantics and Relational Programming in Dedekind CategoriesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

An interdisciplinary study on categorical computer mathematicsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A funtadamental study on graph transforamtion systems with relational calculusPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

計算科学への圏論の応用Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

KAWAHARA Yasuo 河原康雄

河原泰雄カワハラヤスオ