• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2007 Fiscal Year Annual Research Report

超ロバスト計算パラダイムの構築

Research Project

Project/Area Number 15100001
Research InstitutionThe University of Tokyo

Principal Investigator

杉原 厚吉  The University of Tokyo, 大学院・情報理工学系研究科, 教授 (40144117)

Co-Investigator(Kenkyū-buntansha) 小柳 義夫  工学院大学, 情報学部, 教授 (60011673)
山本 博資  東京大学, 大学院・新領域創成科学研究科, 教授 (30136212)
室田 一雄  東京大学, 大学院・情報理工学系研究科, 教授 (50134466)
今井 浩  東京大学, 大学院・情報理工学系研究科, 教授 (80183010)
杉原 正顯  東京大学, 大学院・情報理工学系研究科, 教授 (80154483)
Keywordsロバスト計算原理 / 非線形波動方程式 / 独立粒子法 / クロネッカー標準形 / ゲーム論的確率論 / ロバスト制御 / ロバスト混合整数計画法 / 記号摂動
Research Abstract

昨年度までにロバストな計算法を設計するための分野横断的共通原理を抽出してきたが,本年度は,計算の不安定性に直面したとき,どの原理を利用して解決をめざすべきかに役立つマニュアル作りと,各原理に属すロバスト計算事例を集める作業を行った.新しく開発できたロバスト計算技術には,構造不変性の利用原理を使ったものとして,(1)非線形波動方程式の物理法則を保存する差分化による計算の安定化,(2)流れの中の最短経路を求めるための粒子法の原因・結果の関係解析に基づく改良,(3)行列成分の符号情報に着目したクロネッカー標準形の計算法があり,対象世界の拡大原理を使ったものとして,(4)ゲーム論的確率論に基づく確率分布導出法があり,不変性のそデル化の原理を使ったものとして,(5)パラメータ不確定性を取り込んだロバスト制御方法,(6)パラメータ不確定性を取り込んだ混合整数計画法などがある.さらに,今年度の後半には,幾何的退化から生じる計算の不安定性を除く従来からの記号摂動技術が副作用をもたらすために使えない場面で有効な新しい摂動法の可能性を発見した.これは,本研究の当初計画にはなかった新しいものであるが,これを本研究に加えることによって研究成果がより充実すると判断し,この発見の解析に2ヶ月を新たに使うよう研究計画を一部変更して,研究費の一部繰り越し手続きをとった.その結果,この発見も対象世界の拡大原理に属すロバスト計算事例の一つとして加えることができ,代わりに.研究成果の最終的なまとめを翌年度に持ち越すことにした.その結果,平成20年度5月31日で研究を終えることができた.

  • Research Products

    (64 results)

All 2008 2007

All Journal Article (36 results) (of which Peer Reviewed: 36 results) Presentation (23 results) Book (5 results)

  • [Journal Article] Stochastic Model of Chaotic Phase Synchronization. II2008

    • Author(s)
      T. Horita, K. Ouchi, T. Yamada, H. Fujisaka
    • Journal Title

      Progress of Theoretical Physics 119・2

      Pages: 223-235

    • Peer Reviewed
  • [Journal Article] Submodular function minimization2008

    • Author(s)
      S. Iwata
    • Journal Title

      Mathematical Programming 112

      Pages: 45-64

    • Peer Reviewed
  • [Journal Article] Sliver-free perturbation for the Delaunay tetrahedrization2007

    • Author(s)
      K. Sugihara
    • Journal Title

      Computer-Aided Design 39

      Pages: 87-94

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
  • [Journal Article] Stable marker-particle method for the Voronoi diagram in a flow field2007

    • Author(s)
      T. Nishida, K. Sugihara, M. Kimura
    • Journal Title

      Journal of Computational and Applied Mathematics 202

      Pages: 377-391

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
  • [Journal Article] Conditions for swappability of records in a microdata set when some marginals are fixed2007

    • Author(s)
      A. Takemura, H. Hara
    • Journal Title

      Computational Statistics 22

      Pages: 173-185

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
  • [Journal Article] Gauss核サンプリング公式の複素関数論による誤差評価2007

    • Author(s)
      田中健一郎, 杉原正顯, 室田一雄
    • Journal Title

      日本応用数理学会論文誌 17

      Pages: 73-95

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
  • [Journal Article] 特異値計算のためのdqds法とmdLVs法の収束性について2007

    • Author(s)
      相島健助, 松尾宇泰, 室田一雄, 杉原正顯
    • Journal Title

      日本応用数理学会論文誌 17

      Pages: 97-131

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
  • [Journal Article] Combinatorial analysis of singular matrix pencils2007

    • Author(s)
      S. Iwata, R. Shimizu
    • Journal Title

      SIAM Journal on Matrix Analysis and Applications 29

      Pages: 245-259

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
  • [Journal Article] Optimal multiple assignments based on integer programming in secret sharing with general access structures2007

    • Author(s)
      M. Iwamoto, H. Yamamoto, H. Ogawa
    • Journal Title

      IEICE Transactions on Fundamentals E90-A・1

      Pages: 101-112

    • Peer Reviewed
  • [Journal Article] Electric network classifiers for semi-supervised learning on graphs2007

    • Author(s)
      H. Hirai, K. Murota, M. Rikitoku
    • Journal Title

      Journal of Operations Research Society of Japan 50・3

      Pages: 218-231

    • Peer Reviewed
  • [Journal Article] Gauss核サンプリング公式の複素関数論による誤差評価2007

    • Author(s)
      田中健一郎, 杉原正顯, 室田一雄
    • Journal Title

      日本応用数理学会論文誌 17・2

      Pages: 73-95

    • Peer Reviewed
  • [Journal Article] 特異値計算のためのdqds法とmdLVs法の収束性について2007

    • Author(s)
      相島健助, 松尾宇泰, 室田一雄, 杉原正顯
    • Journal Title

      日本応用数理学会論文誌 17・2

      Pages: 97-131

    • Peer Reviewed
  • [Journal Article] Improving on the maximum likelihood estimators of the means in Poisson decomposable graphical models2007

    • Author(s)
      H. Hara, A. Takemura
    • Journal Title

      Journal of Multivariate Analysis 98

      Pages: 410-434

    • Peer Reviewed
  • [Journal Article] An asymptotic expansion of Wishart distribution when the population eigenvalues are infinitely dispersed2007

    • Author(s)
      Y. Sheena, A. Takemura
    • Journal Title

      Statistical Methodology 4

      Pages: 158-184

    • Peer Reviewed
  • [Journal Article] Game-theoretic derivation of discrete distributions and discrete pricing formulas2007

    • Author(s)
      A. Takemura, T. Suzuki
    • Journal Title

      Journal of the Japan Statistical Society 37

      Pages: 87-104

    • Peer Reviewed
  • [Journal Article] Game-theoretic versions of strong law of large numbers for unbounded variable2007

    • Author(s)
      M. Kumon, A. Takemura, K. Takeuchi
    • Journal Title

      Stochastics 79

      Pages: 449-468

    • Peer Reviewed
  • [Journal Article] Bi-CR法への准最小残差アプローチの適用について2007

    • Author(s)
      南さつき, 曽我部知広, 杉原正顯, 張紹良
    • Journal Title

      日本応用数理学会論文誌 17

      Pages: 301-317

    • Peer Reviewed
  • [Journal Article] 再分割アルゴリズムを用いた力学系の定常分布の数値計算2007

    • Author(s)
      濡木融, 村重淳
    • Journal Title

      電子情報通信学会論文誌A J90-A・5

      Pages: 423-430

    • Peer Reviewed
  • [Journal Article] 写像により変換された曲線の折り返し点を用いた位相的エントロピーの計算2007

    • Author(s)
      福島真太朗, 村重淳
    • Journal Title

      電子情報通信学会論文誌A J90-A・12

      Pages: 932-939

    • Peer Reviewed
  • [Journal Article] Guaranteed cost regulator design: a probabilistic solution and a randomized alerorithm2007

    • Author(s)
      Y. Fujisaki, Y. Oishi
    • Journal Title

      Automatica 43・2

      Pages: 317-324

    • Peer Reviewed
  • [Journal Article] 疎性の利用によるロバスト半正定値計画法の効率化2007

    • Author(s)
      猪阪, 大石
    • Journal Title

      計測自動制御学会論文集 43・2

      Pages: 93-101

    • Peer Reviewed
  • [Journal Article] Polynomial-time algorithms for probabilistic solutions of parameter-dependent linear matrix inequalities2007

    • Author(s)
      Y. Oishi
    • Journal Title

      Automatica 43・3

      Pages: 538-545

    • Peer Reviewed
  • [Journal Article] Bayesian prediction and model selection for locally asymptotically mixed normal models2007

    • Author(s)
      T. Sei, F. Komaki
    • Journal Title

      Journal of Statistical Planning and Inference 137

      Pages: 2523-2534

    • Peer Reviewed
  • [Journal Article] Bayesian prediction based on a class of shrinkage priors for location-scale models2007

    • Author(s)
      F. Komaki
    • Journal Title

      Annals of the Institute of Statistical Mathematics 59

      Pages: 135-146

    • Peer Reviewed
  • [Journal Article] Computing inertia from sign patterns2007

    • Author(s)
      N. Kakimura, S. Iwata
    • Journal Title

      Mathematical Programming 110

      Pages: 229-244

    • Peer Reviewed
  • [Journal Article] Linking systems and matroid pencils2007

    • Author(s)
      S. Iwata
    • Journal Title

      Journal of the Operations Research Society of Japan 50

      Pages: 315-324

    • Peer Reviewed
  • [Journal Article] Sub-computation based transition predicate abstraction2007

    • Author(s)
      C. C. Frederiksen, M. Hagiya
    • Journal Title

      IPSJ Transactions on Programming 48・SIG10

      Pages: 114-137

    • Peer Reviewed
  • [Journal Article] Coupled equilibrium model of hybridization error for the DNA Microarray and Tag-Antitag systems2007

    • Author(s)
      J. A. Rose, R. J. Deaton, M. Hagiya, A. Suyama
    • Journal Title

      IEEE Transactions on Nanobioscience 6・1

      Pages: 18-27

    • Peer Reviewed
  • [Journal Article] 関数部分知識と匿名性検証2007

    • Author(s)
      川本裕輔, 真野健, 櫻田英樹, 萩谷昌己
    • Journal Title

      日本応用数理学会論文誌 17・4

      Pages: 559-576

    • Peer Reviewed
  • [Journal Article] 数理的技法による情報セキュリティの検証2007

    • Author(s)
      萩谷昌己
    • Journal Title

      応用数理 17・4

      Pages: 8-15

    • Peer Reviewed
  • [Journal Article] 量子情報学-物理学と情報学の融合と展開-2007

    • Author(s)
      今井浩
    • Journal Title

      電子情報通信学会誌 90

      Pages: 340-344

    • Peer Reviewed
  • [Journal Article] Generating facets for the cut polytope of a graph by triangular elimination2007

    • Author(s)
      D. Avis, H. Imai, T. Ito
    • Journal Title

      Mathematical Programming 112・2

      Pages: 303-325

    • Peer Reviewed
  • [Journal Article] The home-away assignment problems and break minimization/maximization problems in sports scheduling2007

    • Author(s)
      A. Suzuka, R. Miyashiro, A. Yoshise, T. Matsui
    • Journal Title

      Pacific Journal of Optimization 3・1

      Pages: 113-133

    • Peer Reviewed
  • [Journal Article] Constructive algorithms for the constant distance traveling tournament prnblem2007

    • Author(s)
      N. Fujiwara, S. Imahori, T. Matsui, R. Miyashiro
    • Journal Title

      Lecture Notes in Computer Science 3867

      Pages: 135-146

    • Peer Reviewed
  • [Journal Article] フルートの運指最適化と逆最適化を用いたパラメータチューニング2007

    • Author(s)
      澤井賢一, 黒木裕介, 松井知己
    • Journal Title

      オペレーションズ・リサーチ 53

      Pages: 39-46

    • Peer Reviewed
  • [Journal Article] New conservative schemes with discrete variational derivatives for nonlinear wave equations2007

    • Author(s)
      T. Matsuo
    • Journal Title

      Journal of Computational and Applied Mathematics 203

      Pages: 32-56

    • Peer Reviewed
  • [Presentation] Error analysis of a numerical calculation about one-qubit quantum channel capacity2007

    • Author(s)
      Y. Oishi
    • Organizer
      the 46th IEEE Conference on Decision and Control
    • Place of Presentation
      New Orleans, USA
    • Year and Date
      20071200
  • [Presentation] A region-dividing technique for constructing the sum-of-squares approximations to robust semidefinite programs2007

    • Author(s)
      T. Jennawasin, Y. Oishi
    • Organizer
      the 46th IEEE Conference on Decision and Control
    • Place of Presentation
      New Orleans, USA
    • Year and Date
      20071200
  • [Presentation] Stable computation of the optimal path for a boat on a water stream and its applications2007

    • Author(s)
      K. Sugihara, T. Nishida
    • Organizer
      8th Hellenic-European Conference on Computer Mathematics and Its Applications
    • Place of Presentation
      Athens, Greek
    • Year and Date
      20070920-20070922
    • Description
      「研究成果報告書概要(和文)」より
  • [Presentation] Spatial realization of Escher's impossible world2007

    • Author(s)
      K. Sugihara
    • Organizer
      8th Hellenic-European Conference on Computer Mathematics and Its Applications
    • Place of Presentation
      Athens, Greek (Invited)
    • Year and Date
      20070920-20070922
  • [Presentation] Restricted edge contractions in triangulations of the sphere with boundary2007

    • Author(s)
      M. Moriguchi, K. Sugihara
    • Organizer
      The 19th Canadian Conference on Computational Geometry (CCCG2007)
    • Place of Presentation
      Ottawa, Canada
    • Year and Date
      20070820-20070822
    • Description
      「研究成果報告書概要(欧文)」より
  • [Presentation] Approach to the realizability problem of oriented matroids by seminidefinite programming2007

    • Author(s)
      S. Moriyama, H. Miyata, H. Imai
    • Organizer
      the Second Mathematical Programming Society International Conference on Continuous Optimization ICCOPTII \& MOPTA-07
    • Place of Presentation
      Ontario, Canada (Invited)
    • Year and Date
      20070812-20070816
  • [Presentation] Bayesian adaptive design for binary response clinical trials2007

    • Author(s)
      F. Komaki, A. Biswas
    • Organizer
      First International Workshop in Sequential Methodologies
    • Place of Presentation
      Auburn, USA
    • Year and Date
      20070722-20070725
  • [Presentation] Restricted edge contractions in surface triangulations2007

    • Author(s)
      M. Moriguchi, K. Sugihara
    • Organizer
      The Kyoto International Conference on Computational Geometry and Graph Theory
    • Place of Presentation
      Kyoto, Japan
    • Year and Date
      20070711-20070715
    • Description
      「研究成果報告書概要(和文)」より
  • [Presentation] Crisis under chaotic modulation2007

    • Author(s)
      T. Horita
    • Organizer
      STATPHYS 23
    • Place of Presentation
      Genova, Italy
    • Year and Date
      20070709-20070713
    • Description
      「研究成果報告書概要(和文)」より
  • [Presentation] Construction of conservative or dissipative Galerkin schemes using discrete partial derivatives2007

    • Author(s)
      T. Matsuo
    • Organizer
      SciCADE07
    • Place of Presentation
      St. Malo, France
    • Year and Date
      20070709-20070713
    • Description
      「研究成果報告書概要(和文)」より
  • [Presentation] Artistic pattern generation by a model of territory competing2007

    • Author(s)
      K. Sugihara
    • Organizer
      the 4th International Symposium on Voronoi Diagrams in Science and Engineering
    • Place of Presentation
      Pontypridd, Wales, UK
    • Year and Date
      20070709-20070711
    • Description
      「研究成果報告書概要(和文)」より
  • [Presentation] Error analysis of a numerical calculation about one-qubit quantum channel capacity2007

    • Author(s)
      K. Kato, H. Imai, K. Imai
    • Organizer
      the 4th International Symposium on Voronoi Diagrams in Science and Engineering
    • Place of Presentation
      Pontypridd, Wales, UK
    • Year and Date
      20070709-20070711
  • [Presentation] Asymptotic exactness of parameter-dependent Lyapunov functions: an error bound and exactness verification2007

    • Author(s)
      Y. Oishi, Y. Isaka
    • Organizer
      the 2007 American Control Conference
    • Place of Presentation
      New York, USA
    • Year and Date
      20070700
  • [Presentation] Computational geometric approach to submodular function minimization for multiclass queueing systems2007

    • Author(s)
      T. Itoko, s. Iwata
    • Organizer
      the Twelfth International Conference on Integer Programming and Combinatorial Optimization
    • Place of Presentation
      Ithaca, NY, USA
    • Year and Date
      20070625-20070627
    • Description
      「研究成果報告書概要(和文)」より
  • [Presentation] Computer-aided creation of impossible objects and impossible motions2007

    • Author(s)
      K. Sugihara
    • Organizer
      The Kyoto International Conference on Computational Geometry and Graph Theory
    • Place of Presentation
      Kyoto, Japan (Invited)
    • Year and Date
      20070611-20070615
  • [Presentation] Multi-fueled approach to DNA nano-robotics2007

    • Author(s)
      A. Nishikawa, S. Yaegashi, K. Ohtake, M. Hagiya
    • Organizer
      DNA Computing: 13th International Workshop on DNA Computing, DNA13
    • Place of Presentation
      Memphis, USA
    • Year and Date
      20070604-20070608
  • [Presentation] Combining randomness and a high-capacity DNA memory2007

    • Author(s)
      A. Kameda, S. Kashiwamura, M. Yamamoto, A. Ohuchi, M. Hagiya
    • Organizer
      DNA Computing: 13th International Workshop on DNA Computing, DNA13
    • Place of Presentation
      Memphis, USA
    • Year and Date
      20070604-20070608
  • [Presentation] Sustainable society and information technology2007

    • Author(s)
      Y. Oyanagi
    • Organizer
      The 9th International Workshop on Next Generation Climate Models for Advanced High Performance Computing Facilities
    • Place of Presentation
      Hawaii, USA
    • Year and Date
      20070228-20070305
  • [Presentation] Bayesian prediction based on shrinkage priors for the Neyman-Scott model2007

    • Author(s)
      F. Komaki
    • Organizer
      International Conference on Statistical Science, OR & IT in Conjunction with the 26th Annual Convention of Indian Society for Probability and Statistics
    • Place of Presentation
      Tilpati, India
    • Year and Date
      20070107-20070109
  • [Presentation] The independent even factor problem2007

    • Author(s)
      S. Iwata, K. Takazawa
    • Organizer
      the 18th Annual ACM-SIAM Symposium on Discrete Algorithms
    • Place of Presentation
      New Orleans, USA
    • Year and Date
      20070107-20070109
  • [Presentation] Quantum correlation and semidefinite relaxation through 2-prover 1-round interactive proof2007

    • Author(s)
      T. Takahashi, H. Imai, S. Moriyama, D. Avis
    • Organizer
      the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
    • Place of Presentation
      Tokyo, Japan
    • Year and Date
      20070000
  • [Presentation] Architecture-algorithm codesign2007

    • Author(s)
      Y. Oyanagi
    • Organizer
      International Workshop on Large-scale Matrix---Computation and Applications in Physics and Engineering Science
    • Place of Presentation
      Tokyo (Invited)
    • Year and Date
      2007-12-13
  • [Presentation] Supercomputing in Japan-Past, present and future2007

    • Author(s)
      Y. Oyanagi
    • Organizer
      International Workshop on Numerical Verification and its Applications
    • Place of Presentation
      Tokyo, . Japan
    • Year and Date
      2007-02-26
  • [Book] へんな立体2007

    • Author(s)
      杉原厚吉
    • Total Pages
      143
    • Publisher
      誠文堂新光社
    • Description
      「研究成果報告書概要(和文)」より
  • [Book] 離散凸解析の考えかた---最適化における離散と連続の数理2007

    • Author(s)
      室田一雄
    • Total Pages
      252
    • Publisher
      共立出版
    • Description
      「研究成果報告書概要(和文)」より
  • [Book] 論理と計算のしくみ2007

    • Author(s)
      萩谷昌己, 西崎真也
    • Total Pages
      256
    • Publisher
      岩波書店
    • Description
      「研究成果報告書概要(和文)」より
  • [Book] 赤池情報量規準AIC---モデリング・予測・知識発見2007

    • Author(s)
      室田一雄, 土谷隆
    • Total Pages
      160
    • Publisher
      共立出版
  • [Book] Handbook of Theoretical and Computational Nanotechnology(分担執筆)2007

    • Author(s)
      M. Hagiya
    • Total Pages
      8000
    • Publisher
      American Scientific Publishers

URL: 

Published: 2010-06-11   Modified: 2021-09-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi