本多 和正 | 九州大学大学院システム情報科学府
スポンサーリンク
概要
関連著者
-
本多 和正
九州大学大学院システム情報科学府
-
本多 和正
九州大学システム情報科学府
-
河原 康雄
九州大学システム情報科学研究院
-
佐藤 達郎
大分工業高等専門学校
-
川原 敬弘
九州大学システム情報科学府
-
井口 修一
九州大学数理学研究院
-
石田 俊一
九州大学大学院システム情報科学府
-
大塚 寛
愛媛大学理学部
-
河原 康雄
九州大学大学院システム情報科学研究科情報理学専攻
-
本多 和正
九州大学大学院システム情報科学府情報理学専攻博士後期課程
著作論文
- A_006 正規表現関数を用いた文字列照合アルゴリズムの高速化に関する研究(A分野:モデル・アルゴリズム・プログラミング)
- 3近傍可逆セルオートマトンについて (計算機科学基礎理論とその応用)
- 関係デ-タベ-スにおける従属性検証システムの実装 (代数・論理・幾何と情報科学)
- 関係文字列を用いた協調実行言語の意味論
- 関係計算の自動検証の理論(サイバー増大ページ論文概要,サイバー増大号)