close
1.

図書

東工大
目次DB

図書
東工大
目次DB
Toshihide Ibaraki, Naoki Katoh, Hirotaka Ono (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xvii, 748 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2906
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
   Interactive Proofs for Quantum Computation Andrew Chi-Chih Yao 1
   Drawing Plane Graphs Takao Nishizeki 2
1A Computational Geometry I
   Linear Time Algorithm for Approximating a Curve by a Single-Peaked Curve Jinhee Chun, Kunihiko Sadakane, Takeshi Tokuyama 6
   A Dynamic Dictionary for Priced Information with Application Anil Maheshwari, Michiel Smid 16
   Voronoi Diagram in the Flow Field Tetsushi Nishida, Kokichi Sugihara 26
   Polygonal Path Approximation: A Query Based Approach Ovidiu Daescu, Ningfang Mi 36
1B Graph and Combinatorial Algorithms I
   A Vertex Incremental Approach for Dynamically Maintaining Chordal Graphs Anne Berry, Pinar Heggernes, Yngve Villanger 47
   Finding the Maximum Common Subgraph of a Partial κ-Tree and a Graph with a Polynomially Bounded Number of Spanning Trees Atsuko Yamaguchi, Hiroshi Mamitsuka 58
   Hotlink Enhancement Algorithms for Web Directories Ori Gerstel, Shay Kutten, Rachel Matichin, David Peleg 68
   Finding a Length-Constrained Maximum-Density Path in a Tree Rung-Ren Lin, Wen-Hsiung Kuo, Kun-Mao Chao 78
2A Computational Complexity I
   The Intractability of Computing the Hamming Distance Bodo Manthey, Ruediger Reischuk 88
   Infinitely-Often Autoreducible Sets Richard Beigel, Lance Fortnow, Frank Stephan 98
   Limiting Negations in Bounded-Depth Circuits: An Extension of Markov's Theorem Shao Chin Sung, Keisuke Tanaka 108
   Computational Complexity Measures of Multipartite Quantum Entanglement Tomoyuki Yamakami 117
2B Graph and Combinatorial Algorithms II
   A New Simple Algorithm for the Maximum-Weight Independent Set Problem on Circle Graphs Gabriel Valiente 129
   Polynomial Time 2-Approximation Algorithms for the Minmax Subtree Cover Probem Hiroshi Nagamochi, Kohei Okada 138
   Labeled Search Trees and Amortized Analysis: Improved Upper Bounds for NP-Hard Problems Jianer Chen, Iyad A. Kanj, Ge Xia 148
   A New Translation from Semi-extended Regular Expressions into NFAs and Its Application to an Approximate Matching Problem Hiroaki Yamamoto 158
3A Quantum Computation
   The Quantum Query Complexity of 0-1 Knapsack and Associated Claw Problems V. Arvind, Rainer Schuler 168
   Non-interactive Quantum Perfect and Statistical Zero-Knowledge Hirotada Kobayashi 178
   Quantum Merlin-Arthur Proof Systems: Are Multiple Merlins More Helpful to Arthur? Hirotada Kobayashi, Keiji Matsumoto, Tomoyuki Yamakami 189
   A Faster Lattice Reduction Method Using Quantum Search Christoph Ludwig 199
3B Graph and Combinatorial Algorithms III
   Three Sorting Algorithms Using Priority Queues Amr Elmasry 209
   Lower Bounds on Correction Networks Grzegorz Stachowiak 221
   Approximate Regular Expression Searching with Arbitrary Integer Weights Gonzalo Navarro 230
   Constructing Compressed Suffix Arrays with Large Alphabets Wing-Kai Hon, Tak-Wah Lam, Kunihiko Sadakane, Wing-Kin Sung 240
4A Computational Geometry II
   On the Geometric Dilation of Finite Point Sets Annette Ebbers-Baumann, Ansgar Gruene, Rolf Klein 250
   On Computing All Immobilizing Grasps of a Simple Polygon with Few Contacts Jae-Sook Cheong, Herman J. Haverkort, A. Frank van der Stappen 260
   Optimal Point Set Projections onto Regular Grids Jose Miguel Diaz-Banez, Ferran Hurtado, Mario Alberto Lopez, J. Antoni Sellares 270
4B Combinatorial Optimization I
   An Approximation Algorithm for Dissecting a Rectangle into Rectangles with Specified Areas Hiroshi Nagamochi, Yuusuke Abe 280
   A Faster Algorithm for Two-Variable Integer Programming Friedrich Eisenbrand, Soeren Laue 290
   Efficient Algorithms for Generation of Combinatorial Covering Suites Adrian Dumitrescu 300
5A Scheduling
   A Better Approximation for the Two-Machine Flowshop Scheduling Problem with Time Lags Yoshiyuki Karuno, Hiroshi Nagamochi 309
   On Minimizing Average Weighted Completion Time: A PTAS for the Job Shop Problem with Release Dates Aleksei V. Fishkin, Klaus Jansen, Monaldo Mastrolilli 319
   Online Scheduling of Parallel Jobs with Dependencies on 2-Dimensional Meshes Deshi Ye, Guochuan Zhang 329
5B Computational Biology
   Efficient Algorithms for Descendent Subtrees Comparison of Phylogenetic Trees with Applications to Co-evolutionary Classifications in Bacterial Genome Yaw-Ling Lin, Tsan-Sheng Hsu 339
   Settling the Intractability of Multiple Alignment Isaac Elias 352
   Efficient Algorithms for Optimizing Whole Genome Alignment with Noise T.W. Lam, N. Lu, H.F. Ting, Prudence W.H. Wong, S.M. Yiu 364
6A Computational Geometry III
   Segmenting Doughnut-Shaped Objects in Medical Images Xiaodong Wu 375
   On the Locality Properties of Space-Filling Curves H.K. Dai, H.C. Su 385
   Geometric Restrictions on Producible Polygonal Protein Chains Erik D. Demaine, Stefan Langerman, Joseph O'Rourke 395
   Symmetric Layout of Disconnected Graphs Seok-Hee Hong, Peter Eades 405
6B Graph and Combinatorial Algorithms IV
   Approximation Hardness of Minimum Edge Dominating Set and Minimum Maximal Matching Miroslav Chlebik, Janka Chlebikova 415
   Enumerating Global Roundings of an Outerplanar Graph Nadia Takki-Chebihi, Takeshi Tokuyama 425
   Augmenting Forests to Meet Odd Diameter Requirements Toshimasa Ishii, Shigeyuki Yamamoto, Hiroshi Nagamochi 434
   On the Existence and Determination of Satisfactory Partitions in a Graph Cristina Bazgan, Zsolt Tuza, Daniel Vanderpooten 444
7A Distributed and Parallel Algorithms
   A Turn Function Scheme Realized in the Asynchronous Single-Writer/Multi-reader Shared Memory Model Tom Altman, Yoshihide Igarashi, Michiko Omori 454
   An Optimal Parallel Algorithm for c-Vertex-Ranking of Trees Md. Abul Kashem, M. Ziaur Rahman 464
7B Graph and Combinatorial Algorithms V
   The Student-Project Allocation Problem David J. Abraham, Robert W. Irving, David F. Manlove 474
   Algorithms for Enumerating Circuits in Matroids Endre Boros, Khaled Elbassioni, Vladimir Gurvich, Leonid Khachiyan 485
   A Generalized Gale-Shapley Algorithm for a Discrete-Concave Stable-Marriage Model Akinobu Eguchi, Satoru Fujishige, Akihisa Tamura 495
8A Data Structure
   Succinct Data Structures for Searchable Partial Sums Wing-Kai Hon, Kunihiko Sadakane, Wing-Kin Sung 505
   Range Mode and Range Median Queries on Lists and Trees Danny Krizanc, Pat Morin, Michiel Smid 517
   Quasi-Perfect Minimally Adaptive q-ary Search with Unreliable Tests Ferdinando Cicalese, Christian Deppe 527
   New Ways to Construct Binary Search Trees Travis Gagie 537
8B Graph and Combinatorial Algorithms VI
   Improved Approximation Algorithms for Optimization Problems in Graphs with Superlogarithmic Treewidth Artur Czumaj, Andrzej Lingas, Johan Nilsson 544
   Biconnectivity on Symbolically Represented Graphs: A Linear Solution Raffaella Gentilini, Alberto Policriti 554
   A Dynamic Data Structure for Maintaining Disjoint Paths Information in Digraphs Torsten Tholey 565
   Deterministic Algorithm for the t-Threshold Set Problem Jeremy Barbay, Claire Kenyon 575
9A Combinatorial and Network Optimization
   Energy-Efficient Wireless Network Design Ioannis Caragiannis, Christos Kaklamanis, Panagiotis Kanellopoulos 585
   Wavelength Conversion in Shortest-Path All-Optical Networks Thomas Erlebach, Stamatis Stefanakos 595
   A Heuristic for the Stacker Crane Problem on Trees which Is Almost Surely Exact Amin Coja-Oghlan, Sven O. Krumke, Till Nierhoff 605
   Flexible Train Rostering Stephan Eidenbenz, Aris Pagourtzis, Peter Widmayer 615
9B Computational Complexity and Cryptography
   Counting Complexity Classes over the Reals I: The Additive Case Peter Buergisser, Felipe Cucker 625
   Some Properties of One-Pebble Turing Machines with Sublogarithmic Space Atsuyuki Inoue, Akira Ito, Katsushi Inoue, Tokio Okazaki 635
   Hypergraph Decomposition and Secret Sharing Giovanni Di Crescenzo, Clemente Galdi 645
   A Promising Key Agreement Protocol Eun-Kyung Ryu, Kee-Won Kim, Kee-Young Yoo 655
10A Game Theory and Randomized Algorithm
   Rapid Mixing of Several Markov Chains for a Hard-Core Model Ravi Kannan, Michael W. Mahoney, Ravi Montenegro 663
   Polynomial Time Approximate Sampler for Discretized Dirichlet Distribution Tomomi Matsui, Mitsuo Motoki, Naoyuki Kamatani 676
   Fair Cost Allocations under Conflicts - A Game-Theoretic Point of View - Yoshio Okamoto 686
   Equilibria for Networks with Malicious Users George Karakostas, Anastasios Viglas 696
10B Algebraic and Arithmetic Computation
   Quasi-optimal Arithmetic for Quaternion Polynomials Martin Ziegler 705
   Upper Bounds on the Complexity of Some Galois Theory Problems V. Arvind, Piyush P Kurur 716
   Unfolded Modular Multiplication Wieland Fischer, Jean-Pierre Seifert 726
   Gauss Period, Sparse Polynomial, Redundant Basis, and Efficient Exponentiation for a Class of Finite Fields with Small Characteristic Soonhak Kwon, Chang Hoon Kim, Chun Pyo Hong 736
Author Index 747
Invited Talk
   Interactive Proofs for Quantum Computation Andrew Chi-Chih Yao 1
   Drawing Plane Graphs Takao Nishizeki 2
2.

図書

東工大
目次DB

図書
東工大
目次DB
太田快人 [ほか] 編
出版情報: 東京 : 朝倉書店, 2011.11  xvii, 597p ; 27cm
所蔵情報: loading…
目次情報: 続きを見る
Ⅰ 基礎関連
 1. 統計科学の基礎 2
   1.1 統計的決定理論[村田 昇] 2
   1.2 統計的仮説検定 6
   1.3 統計的推定 9
   1.4 統計的モデル選択[福水健次] 13
   1.5 確率微分方程式[佐藤彰洋] 18
 2. 機械学習 23
   2.1 統計的学習理論[津田宏治] 23
   2.2 EMアルゴリズム[川鍋一晃] 25
   2.3 グラフィカルモデル[池田思朗] 29
   2.4 確率伝搬法 33
   2.5 カーネル法[鹿島久嗣] 37
   2.6 サポートベクトルマシン[池田和司] 41
   2.7 モンテカルロ法[福島孝治] 44
   2.8 集団学習[金森敬文] 48
 3. 情報理論 53
   3.1 情報理論[井坂元彦] 53
   3.2 通信路符号化[澁谷智治] 57
   3.3 ネットワーク情報理論[葛岡成晃] 61
   3.4 量子情報理論[林 正人] 65
 4. アドバンストな話題 70
   4.1 情報幾何[池田和司] 70
   4.2 情報統計力学[三村和史] 73
   4.3 大偏差原理[村山立人] 78
   4.4 ランダム行列[中島伸一] 82
   4.5 極値統計と順序統計[田中利幸] 87
   4.6 複雑ネットワーク[増田直紀] 91
Ⅱ 信号処理関連
 1. 信号理論の基礎[飯國洋二] 96
   1.1 連続時間信号と離散時間信号 96
   1.2 フーリエ変換とz変換 99
   1.3 サンプリング定理 107
 2. 確率過程とスペクトル解析[大野修一] 109
   2.1 確率過程 109
   2.2 ノンパラメトリックスペクトル解析 113
   2.3 線形予測とパラメトリックスペクトル解析 118
 3. ディジタルフィルタとウェーブレット[田中聡久] 124
   3.1 ディジタルフィルタ設計 124
   3.2 マルチレート信号処理 129
   3.3 多重解像度解析とウェーブレット 133
 4. 統計的信号処理 139
   4.1 ウィーナーフィルタとカルマンフィルタ[大野修一] 139
   4.2 非線形最適フィルタ[上野玄太] 143
   4.3 適応フィルタの学習アルゴリズム-基本原理と性能解析[山田 功・高橋則行] 147
   4.4 主成分分析と独立成分分析[田中聡久] 156
   4.5 ブラインド信号処理[大野修一] 161
 5. 無線信号処理[林 和則] 166
   5.1 マルチチャンネル・アレイ信号処理 166
   5.2 通信のための信号処理(OFDM) 168
   5.3 MIMO通信信号処理 171
   5.4 センサーネットワーク 174
 6. 応用信号処理 177
   6.1 多次元信号処理と画像処理[棟安実治] 177
   6.2 信号圧縮(MPEG)[杉山昭彦] 180
   6.3 マルチメディア信号処理[藤吉正明] 185
Ⅲ 制御関連
 1. 線形システムモデル[鷹羽浄嗣] 192
   1.1 ラプラス変換 192
   1.2 伝達関数 194
   1.3 インパルス応答とステップ応答 195
   1.4 周波数応答 197
   1.5 状態方程式 198
   1.6 ビヘイビアアプローチ 202
 2. 安定理論[鷹羽浄嗣] 205
   2.1 リャプノフの安定性理論 205
   2.2 入出力安定性 209
   2.3 フィードバック系の安定性 212
 3. フィードバック制御系の設計[太田快人] 215
   3.1 直列補償 215
   3.2 内部モデル原理 220
   3.3 2自由度制御系 221
   3.4 むだ時間系制御 222
 4. 線形状態方程式[太田快人] 226
   4.1 可制御性と可観測性 226
   4.2 オブザーバ 228
   4.3 LQ/LQG制御 231
   4.4 幾何学的アプローチ 233
 5. 非線形制御[石川将人] 237
   5.1 非線形システムの安定性 237
   5.2 厳密な線形化 239
   5.3 非ホロノミックシステム 242
   5.4 非線形オブザーバ 243
   5.5 適応制御 245
   5.6 スライディングモード制御 247
   5.7 ゲインスケジューリング制御 249
 6. 最適制御[大塚敏之] 251
   6.1 動的計画法 251
   6.2 最小原理 253
   6.3 学習制御と繰返し制御 255
   6.4 モデル予測制御 257
 7. ロバスト制御[蛯原義雄] 259
   7.1 ロバスト制御 259
   7.2 不確かさの表現 264
   7.3 消散性 266
   7.4 サンプル値制御系 269
 8. ハイブリッド制御と拘束系の制御[東 俊一] 271
   8.1 ハイブリッドシステム 271
   8.2 離散事象システム 276
   8.3 拘束システム 279
 9. システム同定とモデル低次元化[田中秀幸] 283
   9.1 予測誤差法 283
   9.2 部分空間同定法 285
   9.3 非線形系の同定 288
   9.4 モデル低次元化 291
 10. システムバイオロジー[内田健康] 294
Ⅳ 待ち行列、応用確率論関連
 1. 待ち行列モデル[笠原正治] 298
   1.1 基本要素 298
   1.2 サービス規範 299
   1.3 ケンドール記号 300
 2. 出生死滅型[三好直人] 302
   2.1 離散時間型マルコフ連鎖 302
   2.2 連続時間型マルコフ連鎖 308
   2.3 ポアソン過程 314
   2.4 出生死滅型待ち行列 316
 3. セミマルコフ型[増山博之] 320
   3.1 再生理論 320
   3.2 M/G/1,M/G/1/K待ち行列 325
   3.3 GI/M/1,GI/M/1/K待ち行列 329
   3.4 BMAP/G/1待ち行列 333
   3.5 流体モデル 338
 4. 一般型[佐久間 大] 341
   4.1 GI/G/1待ち行列モデル 341
   4.2 保存則 344
 5. トラヒック理論[石崎文雄] 348
   5.1 評価量 348
   5.2 評価式 351
 6. 待ち行列網[山下英明] 355
   6.1 モデル 355
   6.2 積形式ネットワーク 360
   6.3 性能評価量計算アルゴリズム 364
 7. 離散事象確率過程 368
   7.1 確率空間[河西憲一] 368
   7.2 確率分布 369
   7.3 期待値とモーメント 372
   7.4 平均,分散,変動係数,共分散,自己相関関数[高橋敬隆] 374
   7.5 大数の強法則,大数の弱法則,中心極限定理 377
 8. 待ち行列解析の近似理論と漸近理論 382
   8.1 拡散モデル[高橋敬隆] 382
   8.2 ネットワーク算法[笠原正治] 387
   8.3 待ち行列モデルの漸近解析[佐久間 大] 391
Ⅴ ネットワーク関連
 1. 整数計画問題[根本俊男] 396
 2. 離散最適化問題 401
   2.1 巡回セールスマン問題[松井知己] 401
   2.2 集合被覆問題[柳浦睦憲] 402
   2.3 彩色問題[松井知己] 404
   2.4 ナップサック問題[今堀慎治] 405
   2.5 資源配分問題[加藤直樹] 407
   2.6 最適配置問題 408
   2.7 ビンパッキング問題[梅谷俊治] 409
   2.8 スケジューリング問題[軽野義行] 410
   2.9 マトロイド最適化[岩田 覚] 412
 3. ネットワーク理論[繁野麻衣子] 415
   3.1 最短路問題 415
   3.2 最大流問題 417
   3.3 最小木問題 420
   3.4 最小費用流問題 422
   3.5 マッチング問題 424
 4. アルゴリズムの設計手法 427
   4.1 分枝限定法[野々部宏司] 427
   4.2 動的計画法 430
   4.3 分割統治法[宮崎修一] 433
   4.4 乱択アルゴリズム 435
   4.5 近似アルゴリズム[福永拓郎] 436
   4.6 メタヒューリスティクス[柳浦睦憲] 439
   4.7 局所探索法 441
 5. グラフ[蓮沼 徹] 444
 6. グラフ探索[宇野裕之] 446
   6.1 グラフのデータ構造 446
   6.2 グラフの探索 447
 7. グラフ構造 [石井利昌] 450
   7.1 メンガーの定理 450
   7.2 ホールの定理 451
   7.3 連結成分と強連結成分 453
   7.4 ゴモリー-フー木 454
   7.5 カクタス表現 456
   7.6 極頂点部分集合 457
 8. 平面グラフ 459
   8.1 オイラーの公式[伊藤大雄] 459
   8.2 クラトフスキーの定理 460
   8.3 平面性の判定 461
   8.4 グラフ描画[三浦一之] 462
 9. 列挙アルゴリズム[宇野毅明] 464
 10. 探索とデータ構造[小野廣隆] 468
   10.1 集合操作 468
   10.2 ハッシュ 470
   10.3 全順序集合に対する操作 472
   10.4 整列 475
 11. 計算の複雑さ[小野廣隆] 479
   11.1 チューリング機械 479
   11.2 計算量(オーダー記法) 480
   11.3 クラスNPとNP完全性 481
 12. 論理関数[牧野和久] 484
   12.1 論理関数 484
   12.2 単調関数 486
   12.3 ホーン関数 487
   12.4 充足可能性問題 488
   12.5 論理関数の双対化 489
Ⅵ 数理計画関連
 1. 数理計画法[山下信雄] 492
 2. 凸解析[山川栄樹] 494
 3. 線形計画問題 499
   3.1 双対問題と感度分析 [茨木 智] 499
   3.2 シンプレックス法 501
   3.3 (線形計画の)内点法[吉瀬章子] 505
 4. 凸計画問題 509
   4.1 凸2次計画問題[吉瀬章子] 509
   4.2 半正定値計画問題[寒野善博] 511
   4.3 2次錐計画問題 515
 5. 不確実性下の最適化[武田朗子] 518
   5.1 確率計画問題 518
   5.2 ロバスト最適化 520
 6. ゲーム理論と意思決定 523
   6.1 ゲーム理論[西原 理] 523
   6.2 多目的最適化[乾口雅弘] 527
 7. 非線形計画問題[山川栄樹] 529
   7.1 最適性条件 529
   7.2 双対定理 533
 8. 制約なし最適化手法 538
   8.1 ニュートン法[山下信雄] 538
   8.2 準ニュートン法 539
   8.3 直接探索法 542
   8.4 共役勾配法[成島康史] 544
   8.5 微分不可能な方程式と最適化問題[山下信雄] 547
   8.6 大域的最適化[巽 啓司] 550
 9. 制約つき最適化手法 554
   9.1 ペナルティ法[檀 寛成] 554
   9.2 逐次2次計画法 556
   9.3 (NLPに対する)内点法 561
   9.4 半無限計画問題[林 俊介] 563
 10. 均衡問題[田地宏一] 567
   10.1 変分不等式 567
   10.2 相補性問題 569
   10.3 2レベル最適化問題とMPEC 573
 11. 金融工学[西原 理] 576
   11.1 ポートフォリオ選択モデル 576
   11.2 オプション価格づけ理論 579
索引 583
Ⅰ 基礎関連
 1. 統計科学の基礎 2
   1.1 統計的決定理論[村田 昇] 2
3.

図書

図書
茨木俊秀著
出版情報: 東京 : 昭晃堂, 1990.4  2, 3, iii, 209p ; 22cm
シリーズ名: 21世紀を指向した電子・通信・情報カリキュラムシリーズ ; B-4
所蔵情報: loading…
4.

図書

図書
茨木俊秀著 ; 電子通信学会編
出版情報: 東京 : 電子通信学会, 1979.7  iv, iii, 220p ; 22cm
シリーズ名: 情報とシステムシリーズ
所蔵情報: loading…
5.

図書

図書
茨木俊秀著 ; 木村俊房 [ほか] 編
出版情報: 東京 : 共立出版, 2011.6  iv, 240p ; 22cm
シリーズ名: 共立講座21世紀の数学 ; 13
所蔵情報: loading…
6.

図書

図書
茨木俊秀著
出版情報: 東京 : オーム社, 2014.9  3, 3, 226p ; 21cm
所蔵情報: loading…
目次情報: 続きを見る
1 : アルゴリズムとその計算量
2 : 基本的なデータ構造
3 : 順序つき集合の処理
4 : 整列のアルゴリズム
5 : アルゴリズムの設計
6 : アルゴリズムの実現
1 : アルゴリズムとその計算量
2 : 基本的なデータ構造
3 : 順序つき集合の処理
7.

図書

図書
茨木俊秀著
出版情報: 東京 : 昭晃堂, 1999.11  3, 3, 226p ; 21cm
所蔵情報: loading…
8.

図書

図書
杉原厚吉 [ほか] 編
出版情報: 東京 : 共立出版, 2001.6  v, 280p ; 28cm
所蔵情報: loading…
9.

図書

図書
室賀三郎, 茨木俊秀, 北橋忠宏著
出版情報: 東京 : 産業図書, 1976.6  9, 268p ; 22cm
シリーズ名: システムサイエンスシリーズ / 高橋秀俊, 南雲仁一, 伊理正夫編
所蔵情報: loading…
10.

図書

図書
茨木俊秀著
出版情報: 東京 : 岩波書店, 1993.4  x, 127p ; 21cm
シリーズ名: 岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 方法||ホウホウ ; 8
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼