河原康雄 KAWAHARA Yasuo

… 別表記

河原泰雄カワハラヤスオ

河原康夫 KAWAHARA Yasuo

研究者番号	90091181
その他のID
所属 (過去の研究課題情報に基づく) *注記	2017年度: 九州大学, 名誉教授 2005年度 – 2006年度: 九州大学, システム情報科学研究院, 教授 2004年度: 九州大学, 大学院・システム情報科学研究院, 教授 2003年度: 九州大学, システム情報科学研究院, 教授 1998年度: 九州大学, 大学院システム情報科学研究科, 教授 … もっと見る 1996年度 – 1998年度: 九州大学, 大学院・システム情報科学研究科, 教授 1995年度: 九州大学, 理学部, 教授 1991年度 – 1992年度: 九州大学, 理学部, 教授 1986年度 – 1990年度: 九州大学, 理学部, 助教授隠す
審査区分/研究分野	研究代表者数学一般 / 情報学基礎 / 計算機科学研究代表者以外数学一般 / 数学基礎・応用数学 / 情報学 / 解析学
キーワード	研究代表者カテゴリー論 / 関係計算 / プログラミング意味論 / fuzzy relation / category theory / relational calculus / ファジィ関係 / 関係代数 / ファジイ関係 / プログラム意味論 … もっと見る / 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 / カテゴリー論的グラフ文法 / 情報数学 / 圏論 … もっと見る研究代表者以外並行プロセス / セルオ-トマトン / 加法的マルチンゲ-ル / クリーニ代数 / システム検証 / 情報基礎 / 代数 / 圏論 / 関係理論 / 意味論 / 確率的システム / 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 / 並列処理機構 / 準不変測度 / アルゴリズム / 非線形方程式 / 最適化 / 確率測度の準不変性 / 指数可積分性 / サブガウス確率ベクトル / 一様可積分性 / 指数マルチンゲ-ル / 確率測度の絶対連続性 / 無限直積確率測度隠す

関係的・代数的手法による確率的システムの解析
- 研究代表者
  
  津曲紀宏
- 研究期間 (年度)
  2016 – 2017
- 研究種目
  
  若手研究(B)
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  崇城大学
デデキント圏における情報意味論と関係型プログラミング研究代表者
- 研究代表者
  
  河原康雄
- 研究期間 (年度)
  2003 – 2006
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  九州大学
カテゴリー論的計算機数学の総合的研究研究代表者
- 研究代表者
  
  河原康雄 (河原泰雄)
- 研究期間 (年度)
  1996 – 1998
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  九州大学
関係計算に基づくグラフ変換システムの基礎研究研究代表者
- 研究代表者
  
  河原康雄
- 研究期間 (年度)
  1995 – 1997
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  九州大学
離散的計算機数学の総合的研究
- 研究代表者
  
  有川節夫
- 研究期間 (年度)
  1991 – 1992
- 研究種目
  
  総合研究(A)
- 研究分野
  
  数学一般
- 研究機関
  九州大学
最適化と近似理論
- 研究代表者
  
  古川長太
- 研究期間 (年度)
  1990
- 研究種目
  
  一般研究(C)
- 研究分野
  
  数学一般
- 研究機関
  九州大学
関数方程式に対する自己検証的数値計算法
- 研究代表者
  
  中尾充宏
- 研究期間 (年度)
  1990
- 研究種目
  
  一般研究(C)
- 研究分野
  
  数学一般
- 研究機関
  九州大学
計算科学と複雑システム
- 研究代表者
  
  田中俊一
- 研究期間 (年度)
  1990 – 1991
- 研究種目
  
  一般研究(B)
- 研究分野
  
  数学一般
- 研究機関
  九州大学
確率過程の関数解析学的研究
- 研究代表者
  
  佐藤坦
- 研究期間 (年度)
  1989
- 研究種目
  
  一般研究(C)
- 研究分野
  
  解析学
- 研究機関
  九州大学
応用上の制約を考慮した高次分割表解析法の開発研究
- 研究代表者
  
  柳川堯
- 研究期間 (年度)
  1988
- 研究種目
  
  一般研究(C)
- 研究分野
  
  数学一般
- 研究機関
  九州大学
離散的情報数学の総合的研究
- 研究代表者
  
  廣瀬健
- 研究期間 (年度)
  1988 – 1990
- 研究種目
  
  総合研究(A)
- 研究分野
  
  数学一般
- 研究機関
  早稲田大学
計算科学への圏論の応用研究代表者
- 研究代表者
  
  河原康雄
- 研究期間 (年度)
  1987
- 研究種目
  
  一般研究(C)
- 研究分野
  
  数学一般
- 研究機関
  九州大学
計算科学と統計力学
- 研究代表者
  
  田中俊一
- 研究期間 (年度)
  1986 – 1987
- 研究種目
  
  一般研究(B)
- 研究分野
  
  数学一般
- 研究機関
  九州大学
パタン照合アルゴリズムの効率化に関する研究
- 研究代表者
  
  有川節夫
- 研究期間 (年度)
  1985 – 1986
- 研究種目
  
  一般研究(B)
- 研究分野
  
  情報学
- 研究機関
  九州大学

すべて 2017 2006 2005 2003

すべて雑誌論文

[雑誌論文] Axiom of Choice and Zorn's Lemma in Cantor Categories2017
- 著者名/発表者名
  H. Furusawa, Y. Kawahara, N. Tsumagari
- 雑誌名
  
  Bulletin of Informatics and Cybernetics
  
  巻: 49 ページ: 11-34
- NAID
  120006620458
- 査読あり
- データソース
  KAKENHI-PROJECT-16K21557
[雑誌論文] Kleisli, Parikh and Peleg Compositions and Liftings for Multirelations2017
- 著者名/発表者名
  Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari
- 雑誌名
  
  Journal of Logical and Algebraic Methods in Programming
  
  巻: 印刷中ページ: 84-101
- DOI
  10.1016/j.jlamp.2017.04.002
- 査読あり / 謝辞記載あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-25330016, KAKENHI-PROJECT-16K21557
[雑誌論文] On the cardinality of relations2006
- 著者名/発表者名
  Y.Kawahara
- 雑誌名
  
  Lecture Notes in Computer Science 4136
  
  ページ: 251-265
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15500013
[雑誌論文] Tarski's fixed point theorem in Dedekind categories2006
- 著者名/発表者名
  Y.Kawahara, K.Honda
- 雑誌名
  
  Bull. Inform Cybernet. 38
  
  ページ: 27-37
- NAID
  120001014495
- データソース
  KAKENHI-PROJECT-15500013
[雑誌論文] Tarski's fixed point theorem in Dedekind categories2006
- 著者名/発表者名
  Y.Kawahara, K.Honda
- 雑誌名
  
  Bull.Inform.Cybernet. 38
  
  ページ: 27-37
- NAID
  120001014495
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-15500013
[雑誌論文] Tarski' s fixed point theorem in Dedekind categories2006
- 著者名/発表者名
  Y.Kawahara, K.Honda
- 雑誌名
  
  Bull. Inform. Cybernet. 38
  
  ページ: 27-37
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15500013
[雑誌論文] Tarski's fixed point theorem in Dedekind categories2005
- 著者名/発表者名
  Y.Kawahara
- 雑誌名
  
  Proceedings of 8-th International Conference on Relational Methods in Computer Science (印刷中)
- NAID
  120001014495
- データソース
  KAKENHI-PROJECT-15500013
[雑誌論文] On reversible cellular automata with finite cell array2005
- 著者名/発表者名
  Inokuchi, S., Honda, K., H.Lee, T.Sato, Y.Mizoguchi, Y.Kawahara
- 雑誌名
  
  Lecture Notes in Computer Science 3699
  
  ページ: 130-141
- データソース
  KAKENHI-PROJECT-15500013
[雑誌論文] Demonic orders and quasi-totality in Dedekind categories2003
- 著者名/発表者名
  Y.Kawahara, H.Okuma
- 雑誌名
  
  京都大学数理解析研究所講究録 131
  
  ページ: 102-112
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15500013
[雑誌論文] Demonic orders and quasi-totality in Dedekind categories2003
- 著者名/発表者名
  Y.Kawahara, H.Okuma
- 雑誌名
  
  RIMS Kokyuroku, Kyoto Univ. 1318
  
  ページ: 102-112
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-15500013

1. 藤野精一 (20037146)

共同の研究課題数: 5件

共同の研究成果数: 0件
2. 柳川尭 (80029488)

共同の研究課題数: 4件

共同の研究成果数: 0件
3. 大塚寛 (30203839)

共同の研究課題数: 4件

共同の研究成果数: 0件
4. 古川長太 (50037165)

共同の研究課題数: 3件

共同の研究成果数: 0件
5. 有川節夫 (40037221)

共同の研究課題数: 3件

共同の研究成果数: 0件
6. 佐藤雅彦 (20027387)

共同の研究課題数: 3件

共同の研究成果数: 0件
7. 田中俊一 (00028127)

共同の研究課題数: 2件

共同の研究成果数: 0件
8. 中尾充宏 (10136418)

共同の研究課題数: 2件

共同の研究成果数: 0件
9. 川崎英文 (90161306)

共同の研究課題数: 2件

共同の研究成果数: 0件
10. 宮野悟 (50128104)

共同の研究課題数: 2件

共同の研究成果数: 0件
11. 藤井一幸 (00128084)

共同の研究課題数: 2件

共同の研究成果数: 0件
12. 榎本彦衛 (00011669)

共同の研究課題数: 2件

共同の研究成果数: 0件
13. 小林孝次郎 (00016148)

共同の研究課題数: 2件

共同の研究成果数: 0件
14. 廣瀬健 (60063632)

共同の研究課題数: 2件

共同の研究成果数: 0件
15. 小野寛晰 (90055319)

共同の研究課題数: 2件

共同の研究成果数: 0件
16. 佐藤坦 (30037254)

共同の研究課題数: 2件

共同の研究成果数: 0件
17. 山本野人 (30210545)

共同の研究課題数: 2件

共同の研究成果数: 0件
18. 土屋卓也 (00163832)

共同の研究課題数: 2件

共同の研究成果数: 0件
19. 篠原武 (60154225)

共同の研究課題数: 1件

共同の研究成果数: 0件
20. 工藤昭夫 (00037144)

共同の研究課題数: 1件

共同の研究成果数: 0件
21. 上江洲忠弘 (60015550)

共同の研究課題数: 1件

共同の研究成果数: 0件
22. 米田信夫 (50080487)

共同の研究課題数: 1件

共同の研究成果数: 0件
23. 中島玲二 (60109080)

共同の研究課題数: 1件

共同の研究成果数: 0件
24. 伊理正夫 (40010722)

共同の研究課題数: 1件

共同の研究成果数: 0件
25. 津曲紀宏 (70632834)

共同の研究課題数: 1件

共同の研究成果数: 1件
26. 古澤仁 (00357930)

共同の研究課題数: 1件

共同の研究成果数: 2件
27. 西澤弘毅 (60455433)

共同の研究課題数: 1件

共同の研究成果数: 0件
28. 洞彰人 (10212200)

共同の研究課題数: 1件

共同の研究成果数: 0件
29. 西川青季 (60004488)

共同の研究課題数: 1件

共同の研究成果数: 0件
30. 白谷克巳 (80037168)

共同の研究課題数: 1件

共同の研究成果数: 0件
31. 岡崎悦明 (40037297)

共同の研究課題数: 1件

共同の研究成果数: 0件
32. 吉田祐治 (90192426)

共同の研究課題数: 1件

共同の研究成果数: 0件
33. 山崎正 (30011696)

共同の研究課題数: 1件

共同の研究成果数: 0件
34. 林晋 (40156443)

共同の研究課題数: 1件

共同の研究成果数: 0件
35. 向井国昭 (80245597)

共同の研究課題数: 1件

共同の研究成果数: 0件
36. 坂内英一

共同の研究課題数: 1件

共同の研究成果数: 0件
37. STRUTH Georg

共同の研究課題数: 1件

共同の研究成果数: 1件

河原 康雄 KAWAHARA Yasuo

河原 泰雄 カワハラ ヤスオ

河原 康夫 KAWAHARA Yasuo

研究課題

研究成果

共同研究者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

デデキント圏における情報意味論と関係型プログラミング研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

カテゴリー論的計算機数学の総合的研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

関係計算に基づくグラフ変換システムの基礎研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

計算科学への圏論の応用研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

河原康雄 KAWAHARA Yasuo

河原泰雄カワハラヤスオ

河原康夫 KAWAHARA Yasuo