精度保証付き数値計算 - 大石進一

大石進一 精度保証付き数値計算

Add: disabe76 - Date: 2020-11-21 17:15:16 - Views: 1005 - Clicks: 9740

研究概要 本プロジェクトの目的は,計算機による計算の信頼性を保証する精度保証付き数値計算の数学理論に基づく計算機援用解析手法によって,数理的なモデリングの信頼性や現象との整合性について検討できるような理論を構築し,モデリングに役立つ精度保証付き数値計算学を. 研究課題「非線形系の精度保証付き数値計算法の 基盤とエラーフリーな計算工学アルゴリズムの 探求」 研究終了報告書 研究期間 平成21年10月~平成27年3月 研究代表者: 大石 進一 (稲田大学理工学術院、教授 ). 大石進一 外部リンク 精度保証付き数値計算学の確立大石進一 - KAKEN 科学研究費助成事業データベース日本の研究. 所属 (現在):早稲田大学,理工学術院,教授, 研究分野:電子通信系統工学,情報通信工学,数学一般(含確率論・統計数学),数学一般(含確率論・統計数学),理工系, キーワード:数値解析,精度保証付き数値計算,精度保証付き数値計算法,解の数値的検証,計算機援用証明,非線形システム,非線形回路. 偏微分方程式の精度保証付き数値計算法 (ii) ~半線形楕円型境界値問題~ 東洋大学情報連携学部関根晃太 1.

(/12) 年度の研究成果情報を掲載しました。 (/11) 当crestチーム研究代表者の大石進一教授が、精度保証付計算法と無誤差変換という画期的な数値計算法を編み出し、幅広い分野に多くの影響を与えた功績が認められて、令和2年度文化功労者に顕彰されました。. 精度保証付きに数値解を求める、本来的な意味での数値計算学を確立し、その応用として、Von Neumann の夢であった流体系非線形偏微分方程式の境界値問題等の解の存在と唯一性について、数値計算結果を基. Rump, 大石 進一の精度保証付き数値計算の基礎。.

精度保証付き数値計算 大石 進一 著 コロナ社 2,200円 1999/12発行 isbn数値計算 大石 進一 著 裳華房 2,000円 1999/03発行 ISBN電子情報通信と数学 大石 進一 編著 電子情報通信学会 編 電子情報通信学会 2,700円 1998/02発行 ISBN. 1大石 進一 編, 精度保証付き数値計算の基礎, コロナ社, 年6 月発行予定. 4. (特集: 計算の性能—速度・環境・正確さ) 荻田 武史: エラーフリー変換がもたらす数値計算の新たな方向性, 数理科学,年8月号), 52-53. 早稲田大学教授 工博 大石進一 著.

精度保証付き数値計算 (せいどほしょうつきすうちけいさん、Validated Numerics, Rigorous Computation, Reliable Computation, Verified Computation, Numerical Verification, 独: Zuverlässiges Rechnen )とは数学的に厳密な誤差(前進誤差、後退誤差、丸め誤差、打切り誤差、離散化誤差)の評価を伴う数値計算のことであり. 精度保証付き数値計算の研究はこの10年間に大きく発展し,実用段階に発展し た.これは,本来,数値計算はその精度が保証されたものでなければならないという 必然性からも大変重要なことである.. 大石 進一(おおいし しんいち、1953年 5月9日 - )は日本の応用数学者。 精度保証付き数値計算 - 大石進一 ソリトン、ホモトピー法などの非線形の構成的解析の研究を経て、1990年より精度保証付き数値計算の研究に従事し 、文部科学省 科研費の特別推進研究や3度にわたるjst crest の研究費をはじめとして国から大きな支援を受け. 精度保証付き数値計算 - 大石進一 - 本の購入は楽天ブックスで。全品送料無料!購入毎に「楽天ポイント」が貯まってお得!.

大石 進一 早大教授 著; 数値計算による近似計算の検算を高速かつ効率的に行えるのが,精度保証付き数値計算である。本書では,近い将来,数値計算に精度保証を付加するのが日常的となる時代に向け,実際的なノウハウを初学者に. 年06月-. 10 数理工学基礎シリーズ / 廣田薫ほか監修 1. Amazonで大石 進一, 荻田 武史, 柏木 雅英, 劉 雪峰, 尾崎 克久, 山中 脩也, 高安 亮紀, 関根 晃太, 木村 拓馬, 市原 一裕, 正井 秀俊, 森倉 悠介, Siegfried M.

3 招待講演 1 内海 晋弥, Lagrange-Galerkin 法における諸問題とその解決策:計算可能性・粘性係数依存. Amazonで大石 進一の精度保証付き数値計算 (現代非線形科学シリーズ)。アマゾンならポイント還元本が多数。大石 進一作品ほか、お急ぎ便対象商品は当日お届けも可能。. 研究者「大石 進一」の詳細情報です。j-global 科学技術総合リンクセンターは研究者、文献、特許などの情報をつなぐことで、異分野の知や意外な発見などを支援する新しいサービスです。. 精度保証付き数値計算の基礎 - 大石進一 - 本の購入は楽天ブックスで。全品送料無料!購入毎に「楽天ポイント」が貯まってお得!みんなのレビュー・感想も満載。. 精度保証付き数値計算の基礎 / 大石進一編著 ; 荻田武史 ほか 共著 資料種別: 図書 出版情報: 東京 : コロナ社,.

世の中の自然現象を数学問題にモデル化すると偏微分方程式と呼ばれる未知関数の微分に関する関係式が頻出する。これを数学的・数値的に解いて未知関数を特定することが自然科学の分野での研究対象となる。本研究では、固体燃料の燃焼理論や生物増殖の数理モデルなどで現れる非線形放物. 大石 進一 (早稲田大学) サポート: 主催: jst / crest モデリングのための精度保証付き数値計算論の展開 本ワークショップは、 文部科学省科学技術試験研究委託事業「数学アドバンストイノベーションプラットフォーム(aimap)」 の協力を得て実施します。. なぜ精度保証付き数値計算の研究を 追求したか 私の研究の原点 大石進一 アブストラクト 筆者は 年の卒論より研究をスタートしました。すでに 年間研究に携わってきたことになります。筆 者が精度保証付き数値計算の研究に移ったのは 年のことです。. 大石 進一(おおいし しんいち、1953年 5月9日 - )は日本の応用数学者。 ソリトン、ホモトピー法などの非線形の構成的解析の研究を経て、1990年より精度保証付き数値計算の研究に従事し、文部科学省 科研費の特別推進研究や3度にわたるjst crestの研究費をはじめとして国から大きな支援を受けた。. 大石 進一 早稲田大学理工学術院 教授 モデリングのための精度保証付き数値計算論の展開 §1.研究成果の概要 モデリングのための精度保証付き数値 計算の構築のため,右図のように研究を 展開している.今年度の研究実施の概要 をそれぞれ以下に示す..

精度保証付き数値計算の研究に移ったのは筆者なりの必然性があります。 1990年当時の精度保証付き数値計算の研究は実用的ではないと考えられていたような気がします。 実際、数百次元の連立一次方程式の精度保証が精一杯の感じでありました。. 神沢雄智、大石進一、“精度保証付き数値計算法を用いた非線形方程式の解曲線の存在検証法” 電子情報通信学会論文誌(A) Vol. 大石進一(おおいし しんいち) 1953年静岡県浜松市に生まれる.1981年早稲田大学大学院理工学研究科博士課程修了.1980年より早稲田大学勤務.現在,早稲田大学理工学術院基幹理工学部応用数理学科教授.工学博士.専攻,非線形理論,特に精度保証付き数値計算を用いた計算機援用証明..

精度保証付き数値計算の研究が高く評価されました 年春の褒章受章者が発表され、本学の大石進一理工学術院教授が、紫綬褒章を受章されました。 春秋褒章は、今回大石教授が受章された学術、芸術、技術開発等の功労者を対象と する紫綬褒章の他に、紅綬褒章・緑綬褒章. com:129340大石進一 - Researchmap 大石進一 - J-GLOBAL大石進. A5判/160頁/定価2420円(本体2200円+税10%)/1999年3月発行 ISBN(旧ISBN) C3041. 荻田 武史: スパース系線形方程式の精度保証付き数値計算, 数学セミナー,年10月号), 日本評論社, 26-31. する数値計算(「精度保証付き数値計算」と呼ぶ)が非常に重要であると考え, この分野で30年近く研究を行ってきた。本書はその成果をもとに,現在におけ る精度保証付き数値計算の基礎となる事項を体系的にまとめたものである。. 数値計算 Numerical Calculation.

ベクトルの総和や内積を計算する問題は科学技術計算の基本であるが,この問題に対して精度が数学的厳密に保証された結果を. Amazonで大石 進一の精度保証付き数値計算 (現代非線形科学シリーズ)。アマゾンならポイント還元本が多数。大石 進一作品ほか、お急ぎ便対象商品は当日お届けも可能。. 大石進一 大石進一の概要 ナビゲーションに移動検索に移動大石 進一国籍 日本研究分野応用数学数値解析精度保証付き数値計算研究機関早稲田大学出身校早稲田大学博士課程指導学生柏木雅英尾崎克久荻田武史山中脩也高安亮紀関根晃太森倉悠介.

精度保証付き数値計算 - 大石進一

email: ibibi@gmail.com - phone:(602) 615-8045 x 2943

METAMORPHOSIS 擬人化した不思議な世界のぬりえブック - 建山豊 - 最新日韓辞典編集委員会 最新日韓辞典

-> はじめてのVRML - 一条真人
-> 恋のうた - いはらあき

精度保証付き数値計算 - 大石進一 - 今日から始めるPhotoshop LE簡単入門 鋤柄よしこ


Sitemap 1

シベリア狼の遠ぼえ聞こゆ - 辻安雄 - ソルマン レーガンのアメリカ