清野 和司 | 電気通信大学大学院電気通信学研究科情報通信工学専攻:東芝ソリューション株式会社プラットフォームソリューション事業部府中エンジニアリングセンター
スポンサーリンク
概要
関連著者
-
清野 和司
電気通信大学大学院電気通信学研究科情報通信工学専攻:東芝ソリューション株式会社プラットフォームソリューション事業部府中エンジニアリングセンター
-
富田 悦次
Department Of Commucations And Systems Engineering The University Of Electro-communications
-
富田 悦次
電気通信大学|中央大学研究開発機構
-
富田 悦次
電気通信大学先進アルゴリズム研究ステーション
-
若月 光夫
電気通信大学先進アルゴリズム研究ステーション・電気通信大学情報通信工学科
-
富田 悦次
電気通信大学先進アルゴリズム研究ステーション・中央大学研究開発機構
-
富田 悦次
電気通信大学
-
若月 光夫
電気通信大学大学院情報理工学研究科
-
若月 光夫
電気通信大学先進アルゴリズム研究ステーション・電気通信大学情報理工学研究科
-
若月 光夫
電気通信大学 先進アルゴリズム研究ステーション
-
若月 光夫
電気通信大学
-
若月 光夫
電気通信大学先進アルゴリズム研究ステーション|電気通信大学大学院情報理工学研究科
-
清野 和司
電気通信大学大学院電気通信学研究科情報通信工学専攻
-
富田 悦次
電気通信大学先進アルゴリズム研究ステーション:中央大学研究開発機構
-
西野 哲朗
電通大
-
西野 哲朗
電気通信大学電気通信学部
-
西野 哲朗
電気通信大学 電気通信学部 情報通信工学科 情報メディア工学講座
-
清野 和司
Presently with the Ome Works, Toshiba Corporation, Ome
-
清野 和司
東芝ソリューション株式会社
-
西野 哲朗
電気通信大学 先進アルゴリズム研究ステーション
-
西野 哲朗
電気通信大学
-
西野 哲朗
電気通信大学先進アルゴリズム研究ステーション
著作論文
- 実時間空スタック受理式決定性限定ワンカウンタ変換器の多項式時間等価性判定(オートマトン・言語理論)
- 実時間空スタック受理式決定性限定ワンカウンター変換器の多項式時間等価性判定アルゴリズム
- ε-推移を許したある決定性プッシュダウン変換器対の等価性判定(オートマトン・言語理論)
- ε-推移を許したある決定性プッシュダウン変換機器対の等価性判定アルゴリズム(セッション4)
- The Extended Equivalence Problem for a Class WSP of Non-Real-Time DPDA's : The Detailed Proofs
- The Extended Equivalence Problem for a Class WSP of Non-Real-Time DPDA′s--The Detailed Proofs
- ある非実時間決定性プッシュダウン変換器対の等価性判定(技術談話室)
- 分岐アルゴリズムによるDPDAの拡張等価性判定の一結果(技術談話室)
- 実時間最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム (計算機科学とアルゴリズムの数理的基礎とその応用)
- 実時間最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム (計算機科学とアルゴリズムの数理的基礎とその応用--RIMS研究集会報告集)