アルゴリズムと計算量の理論

Author(s)

• 京都大学数理解析研究所 キョウト ダイガク スウリ カイセキ ケンキュウショ

Bibliographic Information

アルゴリズムと計算量の理論

（数理解析研究所講究録, 731）

京都大学数理解析研究所, 1990.10

Other Title

[Algorithms and the theory of computational complexity]

Title Transcription

アルゴリズム ト ケイサンリョウ ノ リロン

Note

「アルゴリズムと計算量の理論」研究集会報告集(1990年2月1日-2月3日) 研究代表者:小林孝次郎

Contents of Works

• Cut-free systems for some tense logics / 鹿島亮
• A new head-normalization algorithm for λ-calculus / 野口憲一
• Confluence and completion of membership conditional TRS / 山田順之介
• 高階ユニフィケーションにおける可解なクラスと計算の複雑さ / 原尾政輝, 岩沼宏治
• Occam algorithms for learning from noisy examples / 榊原康文
• Learning equal matrix grammars and multitape automata with structural information / 高田裕志
• 語彙機能文法と計算量 / 西野哲朗
• A learning algorithm for monotone κ-term DNF / 大黒毅, 丸岡章
• 決定的に構文解析ができる2次元アレイ文法のクラスについて / 山本泰則, 森田憲一
• 1次元2近傍可逆的セル・オートマトンについて / 森田憲一
• 一方向マルチプロセッサ有限オートマタのある性質 / 角川裕次, 松野浩嗣, 井上克司, 高浪五男
• Closure properties of ω-languages under morphism and inverse morphism / 守谷哲夫
• 高々スター次数nの拡張正規表現 / 劉僖根, 橋口攻三郎
• 消費税に対する「分割買い」について / 伊藤暁, 井上克司, 高浪五男
• Lexicographically optimal base of a submodular system with respect to a weight vector / 岩村覚三
• 凸多角形の多角形領域内へのmaximin配置問題とそれに関連した動的Voronoi図 / 青沼裕美, 今井浩, 今井桂子, 徳山豪
• 内点法の平面ネットワークフロー問題への適用 / 今井浩, 田川勇治
• On the largest common subgraph problem / 増山繁, 高橋由雅, 奥山徹, 佐々木慎一
• k-辺連結あるいはk-点連結全域部分グラフについて / 永持仁, 茨木俊秀
• A new series of [Δ[2][p]]-complete problems / 宮野悟
• Grammatical characterizations of P and PSPACE / 陳致中, 戸田誠之助
• Three criteria for selecting variables in the construction of near-optima l decision trees / 宮川正弘, 大津展之
• オブジェクト指向データベースにおける参照によるオブジェクトの関連 / 古川哲也, 上林弥彦
• Towards temporal object-oriented databases / Mohamed El-Sharkawi,上林弥彦
• 全称制約および存在制約を含む集合制約質問の処理法について / 岩井原瑞穂, 上林弥彦
• リンク構造における検索処理効率と更新処理効率の関係について / 木實新一, 古川哲也, 上林弥彦

• NCID: BN08827057
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpneng
• Place of Publication: [京都]
• Pages/Volumes: iv,297p
• Size: 26cm
• Parent Bibliography ID:
  • BN06637050