コレクションホームページ

1375 計算機科学基礎理論の新展開   43
(http://hdl.handle.net/2433/24999)

ブラウズ
文献一覧(目次の昇順ソート): 1 - 20 / 43
書誌情報ファイル
表紙・目次
   (2004-05)
  数理解析研究所講究録, 1375
file type icon
An algebraic analysis of neighborhoods of cellular automata (Evolutionary Advancement in Fundamental Theories of Computer Science)
  Nishio, Hidenosuke; Margenstern, Maurice (2004-05)
  数理解析研究所講究録, 1375: 1-7
file type icon
Log-ring size and value size of generators of subrings of polynomials over a finite field (Evolutionary Advancement in Fundamental Theories of Computer Science)
  Nishio, Hidenosuke (2004-05)
  数理解析研究所講究録, 1375: 8-14
file type icon
分割量子セルオートマトンの一般化とその挙動について (計算機科学基礎理論の新展開)
  井口, 修一; 溝口, 佳寛; 乾, 徳夫 (2004-05)
  数理解析研究所講究録, 1375: 15-21
file type icon
非同期セル空間における論理回路構成 (計算機科学基礎理論の新展開)
  斉, 金山; 森田, 憲一 (2004-05)
  数理解析研究所講究録, 1375: 22-27
file type icon
Canonical Data Structure for Probe Interval Graphs (Evolutionary Advancement in Fundamental Theories of Computer Science)
  Uehara, Ryuhei (2004-05)
  数理解析研究所講究録, 1375: 28-34
file type icon
A Linear-Time Algorithm for 7-coloring 1-planar Graphs (Evolutionary Advancement in Fundamental Theories of Computer Science)
  Chen, Zhi-Zhong; Kouno, Mitsuharu (2004-05)
  数理解析研究所講究録, 1375: 35-41
file type icon
Computing Phylogenetic Roots with Bounded Degrees and Errors is Hard (Evolutionary Advancement in Fundamental Theories of Computer Science)
  Tsukiji, Tatsuie; Chen, Zhi-Zhong (2004-05)
  数理解析研究所講究録, 1375: 42-48
file type icon
Approximating Vertex Cover on Dense Graphs (Evolutionary Advancement in Fundamental Theories of Computer Science)
  Imamura, Tomokazu; Iwama, Kazuo (2004-05)
  数理解析研究所講究録, 1375: 49-60
file type icon
最大マッチングを利用したタスクスケジューリングアルゴリズムの近似度の改善について (計算機科学基礎理論の新展開)
  加藤, 雅之; 大山口, 通夫; 太田, 義勝; 新美, 信之助; 山本, 浩平 (2004-05)
  数理解析研究所講究録, 1375: 61-67
file type icon
Automated Competitive Analysis of Online Problems (Evolutionary Advancement in Fundamental Theories of Computer Science)
  Masanishi, Shingo; Horiyama, Takashi; Iwama, Kazuo (2004-05)
  数理解析研究所講究録, 1375: 68-77
file type icon
On generating instances for MAX2SAT with optimal solutions (Evolutionary Advancement in Fundamental Theories of Computer Science)
  Yamamoto, Masaki (2004-05)
  数理解析研究所講究録, 1375: 78-84
file type icon
議席配分法に対する線形時間アルゴリズム (計算機科学基礎理論の新展開)
  伊藤, 暁; 井上, 克司 (2004-05)
  数理解析研究所講究録, 1375: 85-91
file type icon
On Alternating Context-Free Grammars : Old and New Versions and Their Characterizations : An Extended Abstract (Evolutionary Advancement in Fundamental Theories of Computer Science)
  Moriya, Etsuro; Hofbauer, Dieter; Huber, Maria; Otto, Friedrich (2004-05)
  数理解析研究所講究録, 1375: 92-98
file type icon
線形言語のある部分言語族に対する質問と特徴的なサンプルによる多項式時間学習アルゴリズム (計算機科学基礎理論の新展開)
  但馬, 康宏; 小谷, 善行; 寺田, 松昭 (2004-05)
  数理解析研究所講究録, 1375: 99-105
file type icon
Polynomial-Time Identification of an Extension of Very Simple Grammars from Positive Data (Evolutionary Advancement in Fundamental Theories of Computer Science)
  Yoshinaka, Ryo (2004-05)
  数理解析研究所講究録, 1375: 106-112
file type icon
大規模木構造データからの頻出無順序木パターン発見アルゴリズム (計算機科学基礎理論の新展開)
  浅井, 達哉; 房延, 慎二; 有村, 博紀; 宇野, 毅明; 中野, 眞一 (2004-05)
  数理解析研究所講究録, 1375: 113-119
file type icon
データの論理的解析における正関数発見の並列化 (計算機科学基礎理論の新展開)
  片岡, 博幸; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2004-05)
  数理解析研究所講究録, 1375: 120-125
file type icon
Minimum Universal Evaluation Tree for Boolean Circuits (Evolutionary Advancement in Fundamental Theories of Computer Science)
  牧山, 幸史; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2004-05)
  数理解析研究所講究録, 1375: 126-129
file type icon
積項の長さに制限を付けた論理関数のOrdered Tree-Shellability (計算機科学基礎理論の新展開)
  東海林, 貴司; 武永, 康彦 (2004-05)
  数理解析研究所講究録, 1375: 130-136
file type icon
文献一覧(目次の昇順ソート): 1 - 20 / 43