非決定性同時計算量について(計算機科学の基礎理論とその応用)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 笠井 琢美

  電気通信大学情報工学専攻

• 岩田 茂樹

  東海大学

• 笠井 琢美

  電気通信大学

• 岩田 茂樹

  東海大学情報処理研究教育施設

• 守屋 悦朗

  東京女子大学

• 守屋 悦朗

  早稲田大学教育・総合科学学術院

関連論文

• 拡張Dyck言語によるTALsの特徴付け(オートマトン・言語理論)
• 一人ゲームHi-Qについて(計算アルゴリズムと計算量の基礎理論)
• 拡張範疇文法 : 機械翻訳のための新しい文法モデル(オートマトン・言語理論)
• 万能CF文法と文法の準同型写像 (オートマトン理論および言語理論の新展開)
• 順序機械の多項式時間推論アルゴリズム(LAシンポジウム(情報基礎理論ワークショップ)論文小特集)
• 順序機械の多項式時間推論アルゴリズム
• 線形プッシュダウン・木オートマトン (計算モデルとアルゴリズム)
• 順序機械の多項式時間推論アルゴリズム
• 翻訳過程における木変換機の出力木の変換システム
• 多段階木変換機について(計算モデルと計算の複雑さに関する研究)
• 構文解析木を利用した辞書編集システム
• 格枠による訳パターンの自動生成(英文翻訳システムにおける)
• 形式言語と計算量理論の研究と教育(フェロー受賞記念講演)
• 転送スタック付きプッシュダウンオートマトンとLinear Indexed Grammarについて
• 木一文字列変換機について
• Linear Indexed Grammarと等価なオートマトンモデル
• 転送スタックつきプッシュダウン・オートマトン : 関係代名詞節を含む英文翻訳の構文解析モデル
• 統計量による$\alpha\beta$法の効率化 (計算モデルとアルゴリズム)
• 戸田誠之助氏のゲーデル賞受賞について
• 機械翻訳のための新しい木構造,左右木について
• 自動翻訳における新しい木構造の導入 : 左右木について(アルゴリズムと計算量理論)
• オセロゲームの複雑さ
• プログラム図式を用いたプログラム開発教育環境
• グラフ理論におけるNL-完全な問題 (形式言語理論とオートマトン理論)
• 2NPDAによるシミュレーションと未解決問題(計算アルゴリズムと計算量の基礎理論)
• 非決定性同時計算量について(計算機科学の基礎理論とその応用)
• k log n決定性領域を必要とする問題(計算機科学の基礎理論)
• Gradually Intractable Problems(Mathematical Theories on Computing Schemes and Their Applications)
• ユネート関数におけるプライムインプリカントの最大数 (数理情報科学の基礎理論と応用)
• 制限された1階述語論理のComputational Complexity (計算の複雑性に関する研究)
• 石おきゲームと計算の複雑さ (情報科学の数学的基礎理論と応用)
• Goto文のないプログラム形について (計算機構の数学的研究)
• Goto文最小のプログラムについて (組合せ構造とグラフ理論)
• While Programsについて (オートマトン理論と数理言語の研究)
• 言語理論の最近の話題 III
• 言語理論の最近の話題 II
• 言語理論の最近の話題 I
• Deterministic Graded Pushdown Automata (情報科学の数学的理論)
• 安全なOne-way Functionについて(計算アルゴリズムと計算量の基礎理論)
• Some basic results about probabilistic pushdown automata
• 確率プッシュダウンオ-トマトンについて
• 2. ハードウェアアルゴリズムの基礎理論 2.1 並列計算モデルと計算の複雑さ (VLSI向きハードウェアアルゴリズム)
• VLSIモデルへのグラフの埋め込みについて(計算機構に関する数学的基礎理論とその応用)
• 最小切点集合を求めるための$O(N^2)$アルゴリズム (形式言語理論とオートマトン理論)
• 計算の難しさについて (ソフトウェア科学,工学の数理的方法)
• オンライン計算に於ける領域計算量 (数理情報科学の基礎理論と応用)
• プログラム図式におけるTimeとSpaceのTrade-off (計算の複雑性に関する研究)
• Simple Loop ProgramによるTime Complexityの階層 (計算機科学の数学的基礎)
• 計算機模型と計算の複雑性--複雑さの下界について
• 情報オリンピック : 科学技術創造立国日本を担う人材の発掘育成とその課題
• Alternating CFG 再び : 新旧種とその特徴付け (計算機科学基礎理論の新展開)
• Shrinking alternating two-pushdown automata (計算機科学基礎理論の新展開 研究集会報告集)
• Alternating CFG の拡張について(計算機科学の理論とその応用)
• 重み付きグラフの最大マッチングを求める並列近似アルゴリズム
• A TENTATIVE APPROACH TO 2-DIMENSIONAL THEORY OF DNA COMPUTATION
• 国際情報オリンピック--アルゼンチン大会レポ-ト
• 最適な最短経路アルゴリズムを持つグラフについて
• Some additional remarks on grammatical characterizations of alternating PDAs (理論計算機科学の深化--新たな計算世界観を求めて RIMS研究集会報告集)
• CFG/PDA の alternation 付与方法ほかについて(計算理論とアルゴリズムの新展開)
• Variants of alternating grammars
• A Generalization of Tree Automata and Traversal of Trees(Fundamental Studies on Computational Complexity)
• On Tree Automata and Partitioning Automata
• Some Restrictinons on CFGs With Memory(Complexity Theory and Related Topics)
• ある拡張文法/オートマトンに関するコメント(計算アルゴリズムと計算量の基礎理論)
• CFGにおける並列性 : 多ヘッドCFG,部分同期CFG,および交代CFG(計算アルゴリズムの基礎理論)
• E.Mendelson著, "Introduction to Mathematical Logic, Second Edition", Van Nostrand, A5判, 328+vii, US$15.95, 1979
• 計算機模型と計算の複雑性--複雑さの下界について

もっと見る 閉じる

スポンサーリンク