国立国会図書館サーチ（NDL SEARCH）
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年（西暦）
項目を閉じる
年
〜
年
開く
1970年代
(1)
1980年代
(1)
1990年代
(18)
2000年代
(13)
2010年代
(3)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
（8）
雑誌
（11）
新聞
和古書・漢籍
博士論文
（1）
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
（16）
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
（17）
紙
（19）
マイクロ
記録メディア
すべて解除
絞り込み条件
絞り込み条件
検索結果 36 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年：古い順
出版年：新しい順
タイトル：昇順
タイトル：降順
著者：昇順
著者：降順
請求記号順
タイトルでまとめる
一括お気に入り
関係の理論 : Dedekind圏概説
関係の理論 : Dedekind圏概説
紙
図書
河原康雄 著
デザインエッグ
2017.2
<MA61-L19>
国立国会図書館
デデキント圏における情報意味論と関係型プログラミング
デデキント圏における情報意味論と関係型プログラミング
紙
図書
河原康雄, 九州大学 [著]
[河原康雄]
2003-2006
<Y151-H15500013>
国立国会図書館
関係の理論
関係の理論
紙
図書
河原康雄著
デザインエッグ
2017.2
全国の図書館
カテゴリー論的計算機数学の総合的研究
カテゴリー論的計算機数学の総合的研究
紙
図書
河原康雄, 九州大学
1996-1998
<Y151-H08304017>
国立国会図書館
関係計算に基づくグラフ変換システムの基礎研究
関係計算に基づくグラフ変換システムの基礎研究
紙
図書
河原, 康雄, 九州大学
1995-1997
<Y151-H07680363>
国立国会図書館
デデキント圏における情報意味論と関係型プログラミング
デデキント圏における情報意味論と関係型プログラミング
紙
図書
研究代表者 河原康雄
[九州大学]
2007.2
全国の図書館
Demonic orders and quasi-totality in Dedekind categories
Demonic orders and quasi-totality in Dedekind categories
デジタル
文書・図像類
河原, 康雄, 大隈, ひとみ
Department of Informatics, Kyushu University
2002-11
DOI Technical Report
213
インターネットで読める
全国の図書館
Groups in Allegories
Groups in Allegories
デジタル
文書・図像類
河原, 康雄
Department of Informatics, Kyushu University
2001-08
DOI Technical Report
197
インターネットで読める
全国の図書館
Informational representability for contexts in Dedekind categories
Informational representability for contexts in Dedekind categories
デジタル
文書・図像類
大隈, ひとみ, MacCaull, Wendy, 河原, 康雄
Department of Informatics, Kyushu University
2002-05
DOI Technical Report
208
インターネットで読める
全国の図書館
カテゴリー論的計算機数学の総合的研究
カテゴリー論的計算機数学の総合的研究
紙
図書
研究代表者河原康雄
[九州大学]
1999.3
全国の図書館
Lattices in Dedekind Categories
Lattices in Dedekind Categories
デジタル
文書・図像類
河原, 康雄
Department of Informatics, Kyushu University
1999-01
DOI Technical Report
155
インターネットで読める
全国の図書館
Tree Expressions and Their Product Formula
Tree Expressions and Their Product Formula
デジタル
文書・図像類
井口, 修一, 河原, 康雄
Department of Informatics, Kyushu University
1999-02-17
DOI Technical Report
158
インターネットで読める
全国の図書館
Hennessy-Milner Properties in Schröder Categories
Hennessy-Milner Properties in Schröder Categories
デジタル
文書・図像類
河原, 康雄, 森, 雅生
Department of Informatics, Kyushu University
1999-05-01
DOI Technical Report
163
インターネットで読める
全国の図書館
関係計算に基づくグラフ変換システムの基礎研究
関係計算に基づくグラフ変換システムの基礎研究
紙
図書
研究代表者河原康雄
[九州大学]
1998.2
全国の図書館
Crispness and Representation Theorem in Dedekind Categories
Crispness and Representation Theorem in Dedekind Categories
デジタル
文書・図像類
河原, 康雄, 古澤, 仁
Department of Informatics, Kyushu University
1997-12-26
DOI Technical Report
143
インターネットで読める
全国の図書館
Rewriting Fuzzy Graphs
Rewriting Fuzzy Graphs
デジタル
文書・図像類
森, 雅生, 河原, 康雄
Department of Informatics, Kyushu University
1997-02-15
DOI Technical Report
132
インターネットで読める
全国の図書館
Relational Set Theory
Relational Set Theory
デジタル
文書・図像類
河原, 康雄
Research Institute of Fundamental Information Science, Kyushu University
1995-06-20
RIFIS Technical Report
97
インターネットで読める
全国の図書館
Transition Diagrams of Finite Cellular Automata
Transition Diagrams of Finite Cellular Automata
デジタル
文書・図像類
李, 鉉列, 河原, 康雄
Research Institute of Fundamental Information Science, Kyushu University
1995-11-28
RIFIS Technical Report
121
インターネットで読める
全国の図書館
Period Lengths of Cellular Automata cam - 90 with Memory
Period Lengths of Cellular Automata cam - 90 with Memory
デジタル
文書・図像類
河原, 康雄, 李, 鉉列
Research Institute of Fundamental Information Science, Kyushu University
1995-10-25
RIFIS Technical Report
119
インターネットで読める
全国の図書館
An Algebraic Formalization of Fuzzy Relations
An Algebraic Formalization of Fuzzy Relations
デジタル
文書・図像類
河原, 康雄, 古澤, 仁
Research Institute of Fundamental Information Science, Kyushu University
1995-06-20
RIFIS Technical Report
98
インターネットで読める
全国の図書館
もっと見る（21件目～）
書誌情報を一括出力