井田 哲雄 | 筑波大学システム情報工学研究科コンピュータサイエンス専攻
スポンサーリンク
概要
関連著者
-
井田 哲雄
筑波大学システム情報工学研究科コンピュータサイエンス専攻
-
井田 哲雄
筑波大学電子・情報工学系
-
井田 哲雄
筑波大学
-
佐々木 重雄
秋田大学教育文化学
-
ミデルドープ アート
筑波大学電子情報工学系
-
中原 鉱一
筑波大学工学研究科
-
Middeldorp Aart
筑波大学電子情報工学系
-
Middeldorp Aart
筑波大学電子・情報工学系
-
佐々木 重雄
秋田大学教育文化学部教育科学環境情報
-
西岡 知之
筑波大学工学研究科
-
浜名 誠
群馬大学工学研究科
-
高橋 英和
筑波大学システム情報工学研究科コンピュータサイエンス専攻
-
浜名 誠
筑波大学工学研究科
-
中川 康二
筑波大学工学研究科
-
鈴木 太朗
筑波大学電子・情報工学系
-
佐々木 重雄
筑波大学工学研究科
-
山田 俊行
筑波大学博士課程工学研究科
-
大崎 人士
筑波大学博士課程工学研究科
-
鈴木 太朗
Univ. Aizu
-
大崎 人士
電子技術総合研究所
-
新田 克己
電総研
-
中島 秀之
公立はこだて未来大学
-
阿草 清滋
京大
-
辻井 潤一
京大
-
相田 仁
東大
-
佐々 政孝
筑波大
-
中所 武司
日立
-
中島 玲二
京大
-
佐藤 泰介
電総研 推論研究室
-
辻井 潤一
京都大学工学部電気工学第2教室
-
國藤 進
ICOT
-
中島 秀之
電総研
-
溝口 文雄
東理大
-
中所 武司
日立シス研
-
武市 正人
電通大
-
井田 哲雄
理研
-
片山 卓也
東工大
-
米崎 直樹
東工大
-
ミデルドープ アート
筑波大学電子・情報工学系
-
Martin Mircea
RISC, Univ. of Linz
-
Mircea Marin
RISC, University of Lins
-
中原 紘一
筑波大学
-
中所 武司
Department Of Computer Science School Of Science And Technology Meiji University
-
中所 武司
明治大学
-
佐藤 泰介
電総研
-
小林 紀郎
筑波大学工学研究科
-
Marin Mircea
筑波大学電子・情報工学系
-
HAMADA Mohamed
Doctoral Program in Engineering, University of Tsukuba
-
IDA Tetsuo
Institute of Information Sciences and Electronics, University of Tsukuba
-
奥居 新
筑波大学
-
Mircea Marin
Risc University Of Lins
-
Ida Tetsuo
Institute Of Information Sciences And Electronics University Of Tsukuba
-
Hamada Mohamed
Doctoral Program In Engineering University Of Tsukuba
-
米崎 直樹
東京工業大学大学院情報理工学研究科
著作論文
- グラフ書換による計算折り紙のモデル化と実現
- ソフトウェア科学会第1回大会
- グラフ書換による計算折り紙のモデル化と実現
- 作用型項書換え系に基づく関数論理言語の設計と実装
- コンビナトリー項書換え系に基づく関数論理型言語の設計と実装
- 遅延ナローイング抽象機械
- 遅延ナローイング計算系と分散制約解消系の融合
- 遅延ナローイング計算系と制約解消系の融合
- 制約解消系を備えた関数・論理型言語の処理系とその実装
- 制約・関数・論理型言語のための抽象機械の設計
- 20世紀の名著名論 : Daniel P. Friedman and David S. Wise : CONS Should not Evaluate Its Arguments, Automata, Languages and Programming: Third International Colloquium, edited by S. Michaelson and R. Milner, pp.257-284, 1976
- 等式解決のためのコーディネーションシステム
- 教育の情報化と情報リテラシー
- Deterministic and Non-deterministic Lazy Conditional Narrowing and their Implementations
- 条件付き項書換え系の健全性と完全性
- 意味ラベリングによる分配消去法 : 項書換え系の停止性証明法
- 条件付き項書換え系における階層合流性のモジュラ性
- ソフトウェア科学の国際化
- 逐次正規化戦略アルゴリズム
- 関数論理融合型プログラム高速化手法
- 遅延ナローイング導出列の標準化
- 関数・論理型言語のためのナローイング計算系