最安値はここだ！ -価格比較-

商品について

JANコード

9784130614061

Y!での商品説明(Honya Club.com Yahoo!店)

出版社名：東京大学出版会
著者名：穴井宏和、横山和弘
発行年月：2011年08月
キーワード：キューイー ノ ケイサン アルゴリズム ト ソノ オウヨウ*QE ノ ケイサン アルゴリズム ト ソノ オウヨウ*ALGORITHMS OF QUANTIFIER ELIMINATION AND TH、アナイ,ヒロカズ、ヨコヤマ,カズヒロ

楽天での商品説明(楽天ブックス)

数式処理による最適化 穴井宏和 横山和弘 東京大学出版会キューイー ノ ケイサン アルゴリズム ト ソノ オウヨウ アナイ,ヒロカズ ヨコヤマ,カズヒロ 発行年月：2011年08月 ページ数：249p サイズ：単行本 ISBN：9784130614061 穴井宏和（アナイヒロカズ） 1966年大分県に生まれる。1991年鹿児島大学大学院理学研究科物理学専攻修士課程修了。現在、（株）富士通研究所主任研究員および九州大学マス・フォア・インダストリ研究所教授。博士（情報理工学） 横山和弘（ヨコヤマカズヒロ） 1958年静岡県に生まれる。1985年東京大学大学院理学系研究科数学専攻博士課程中退。現在、立教大学理学部数学科教授。博士（理学）（本データはこの書籍が刊行された当時に掲載されていたものです） 1　QE入門（QEを使ってみよう／QEとCADの概要）／2　QEアルゴリズム（QE計算のための多項式入門／QEとCADのアルゴリズム）／3　QEの実応用（QEのより進んだ利用法／QEの実応用事例） 本 科学・技術 数学