鈴木 太朗 | Univ. Aizu
スポンサーリンク
概要
関連著者
-
鈴木 太朗
Univ. Aizu
-
井田 哲雄
筑波大学電子・情報工学系
-
鈴木 太朗
筑波大学電子・情報工学系
-
井田 哲雄
筑波大学
-
奥居 哲
中部大学教法工学科
-
中川 康二
筑波大学工学研究科
-
奥居 哲
中部大学工学部情報工学科
-
奥居 哲
中部大学情報科学研究所
-
井田 哲雄
筑波大学システム情報工学研究科コンピュータサイエンス専攻
-
中村 敦司
筑波大学情報学類
-
中村 敦司
筑波大学
-
中原 鉱一
筑波大学工学研究科
-
SUZUKI TARO
The University of Aizu
-
OKUI SATOSHI
Chubu University
-
鈴木 太朗
会津大学コンピュータ理工学部コンピュータソフトウェア学科
-
奥居 哲
三重大学
-
鈴木 太朗
東北大学
著作論文
- 遅延ナローイング抽象機械
- 関数・論理型言語のためのナローイング計算系
- 遅延ナローイング抽象機械のシミュレータ
- 遅延ナローイング抽象機械のアーキテクチャ
- 遅延ナローイング計算系に基づく言語Evとその処理系
- Context capturing in XML document processing based on regular tree pattern matching
- プロジェクト進捗状況 Brzozowski Derivatives and Top-Down Regular Tree Pattern Matching
- A Rewrite System with Incomplete Regular Expression Type for Transformation of XML Documents
- 抽象高階書換え系におけるナローイング
- λ項を用いた抽象ナローイングとその完全性
- 遅延ナローイングに基づく言語Evの等式翻訳方法