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) / Foundations of mathematics/Applied mathematics / Informatics / 解析学
Keywords	Principal Investigator カテゴリー論 / 関係計算 / プログラミング意味論 / fuzzy relation / category theory / relational calculus / ファジィ関係 / 関係代数 / ファジイ関係 / プログラム意味論 … More / Dedekind inequality / network flow / matching of graphs / program semantics / cardinality of relations / relational method / binay relation / Hoare論理 / ファジイ論理 / 関係集合論 / 形式概念 / 基数 / プログラミング理論 / 関係型プログラミング / ネットワークフロー / ファジイ理論 / Dedekind不等式 / ネットワーク・フロー / グラフ・マッチング / 関係の基数 / 関係理論 / constructive programming / computational complexity / programming semantics / artificial intelligence / computational logic / computer science / 構成的プログラミング / 計算量理論 / 人工知能 / 計算論理学 / 計算機科学 / fuzzy graph / fuzzy set / relation algebra / graph grammar / graph transformation / ファジィグラフ / ファジィ集合 / ファジイグラフ / ファジイ集合 / 関系代数 / グラフ文法 / グラフ変換 / NCアルゴリズム / 並列アルゴリズム / Gluing 条件Pushout square / カテゴリー論的グラフ文法 / 情報数学 / 圏論 … More Except Principal Investigator 並行プロセス / セルオ-トマトン / 加法的マルチンゲ-ル / クリーニ代数 / システム検証 / 情報基礎 / 代数 / 圏論 / 関係理論 / 意味論 / 確率的システム / Constructive Mathematics / Distributed Operating System / Graph Algorithms / Cellular Automata / Non-classical Logic / Theorem Proving / Program Synthesis / 幾何学算法 / 論理体系 / 算譜言語のモデル / 算譜言語 / 分散OS / 高階論理体系 / 算譜の検証 / 算譜の仕様 / 定理証明系 / セルオ-トマン / グラフ算法 / 非古典論理 / 定理証明 / 算譜合成 / random algorithms / 分散型計算 / 巡回セールスマン問題 / NP完全問題 / 組合せ最適化 / ランダムアルゴリズム / information retrieval / Japanese texts / sequential search / text processing / Pattern matching / データベースシステム / サーチ技法 / 情報検索 / 日本語処理 / 単一化 / 逐字処理 / テキスト処理 / パタン照合アルゴリズム / LOGICS AND INFERENCE / PROGRAM SYNTHESIS / COMPUTATIONAL COMPLEXITY / COMPUTABLE LOGICS / THEORY OF PROGRAMS / DISCRETE ALGORITHMS / COMPUTER MATHEMATICS / 計算可能理論 / 論理と推論 / プログラム合成論 / 計算量理論 / 計算可能論理 / プログラム理論 / 散的アルゴリズム論 / 計算機数学 / Nonstandard Analysis / Concurrency / Axiomatic Set Theory / Formal Methods / Complex Systems / 述語論理 / 超準解析 / 並行性 / 公理的集合論 / 形式的方法 / 複雑システム / Hecke代数 / 2次元セルオートマトン / Neustadt微分 / 高次変分集合 / 非線型制約問題 / 推定 / 検定 / 数理統計学 / 精度保証付き計算法 / 誤差評価 / 有限要素法 / 楕円型境界値問題 / λーcalculus / 並列処理機構 / 準不変測度 / アルゴリズム / 非線形方程式 / 最適化 / 確率測度の準不変性 / 指数可積分性 / サブガウス確率ベクトル / 一様可積分性 / 指数マルチンゲ-ル / 確率測度の絶対連続性 / 無限直積確率測度 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
  
  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: 1 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: 1 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 河原康雄

河原泰雄カワハラヤスオ