井田 哲雄 | 筑波大学
スポンサーリンク
概要
関連著者
-
井田 哲雄
筑波大学
-
井田 哲雄
筑波大学電子・情報工学系
-
井田 哲雄
筑波大学システム情報工学研究科コンピュータサイエンス専攻
-
鈴木 太朗
筑波大学電子・情報工学系
-
鈴木 太朗
Univ. Aizu
-
中川 康二
筑波大学工学研究科
-
西岡 知之
筑波大学工学研究科
-
中村 敦司
筑波大学情報学類
-
中村 敦司
筑波大学
-
米澤 明憲
東京工業大学理学部情報科学科
-
筧 捷彦
早稲田大学理工学術院
-
筧 捷彦
早稲田大学
-
佐々木 重雄
秋田大学教育文化学
-
上田 和紀
早稲田大学理工学部コンピュータ・ネットワーク工学科
-
稲垣 康善
名古屋大学大学院工学研究科計算理工学専攻
-
中原 鉱一
筑波大学工学研究科
-
上田 和紀
新世代コンピュータ技術開発機構
-
浜名 誠
群馬大学工学研究科
-
米澤 明憲
東京工業大学理学部
-
浜名 誠
筑波大学工学研究科
-
稲垣 康善
名古屋大学
-
佐々木 重雄
筑波大学工学研究科
-
中原 紘一
筑波大学
-
大崎 人士
筑波大学博士課程工学研究科
-
奥居 新
筑波大学
-
奥居 哲
筑波大学
-
大崎 人士
電子技術総合研究所
著作論文
- プログラミング言語の新潮流
- コンビナトリー項書換え系に基づく関数論理型言語の設計と実装
- コンビネータ項書換え系にもとづく関数・論理融合型言語の設計
- 遅延ナローイングによる正規化手続きの実現
- 制約・関数・論理型言語のための抽象機械の設計
- ソフトウェア科学の国際化
- 逐次正規化戦略アルゴリズム
- 関数論理融合型プログラム高速化手法
- 遅延ナローイング導出列の標準化
- 関数・論理型言語のためのナローイング計算系
- 遅延ナローイング抽象機械のシミュレータ
- 遅延ナローイング抽象機械のアーキテクチャ
- 遅延ナローイング計算系に基づく言語Evとその処理系
- 遅延ナローイングに基づく言語Evの等式翻訳方法
- 遅延ナローイング計算系 : 閉包による定式化