書誌事項

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

(数理解析研究所講究録, 731)

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

タイトル別名

[Algorithms and the theory of computational complexity]

タイトル読み

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

大学図書館所蔵 件 / 4

この図書・雑誌をさがす

注記

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

収録内容

  • 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,上林弥彦
  • 全称制約および存在制約を含む集合制約質問の処理法について / 岩井原瑞穂, 上林弥彦
  • リンク構造における検索処理効率と更新処理効率の関係について / 木實新一, 古川哲也, 上林弥彦

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BN08827057
  • 出版国コード
    ja
  • タイトル言語コード
    jpn
  • 本文言語コード
    jpneng
  • 出版地
    [京都]
  • ページ数/冊数
    iv,297p
  • 大きさ
    26cm
  • 親書誌ID
ページトップへ