数式処理による最適化 --
穴井宏和 /著, 横山和弘 /著   -- 東京大学出版会 -- 2011.8 -- 21cm -- 249p

資料詳細

タイトル QEの計算アルゴリズムとその応用
副書名 数式処理による最適化
著者名等 穴井宏和 /著, 横山和弘 /著  
出版 東京大学出版会 2011.8
大きさ等 21cm 249p
分類 410.96
件名 記号論理学
注記 並列タイトル:Algorithms of Quantifier Elimination and their Applications
注記 文献あり 索引あり
著者紹介 【穴井】1966年大分県生まれ。91年鹿児島大学大学院理学研究科物理学専攻修士課程修了。現在(株)富士通研究所主任研究員および九州大学マス・フォア・インダストリ研究所教授。
内容紹介 入試問題の解法から工学諸分野の最適化まで、適用範囲の広い新しい計算ツールQEの基礎から応用までが学べる、日本初のテキスト。読者に独創的な研究や工学設計の可能性をもたらす1冊。
目次 1 QE入門(QEを使ってみよう;QEとCADの概要);2 QEアルゴリズム(QE計算のための多項式入門;QEとCADのアルゴリズム);3 QEの実応用(QEのより進んだ利用法;QEの実応用事例)
ISBN(13)、ISBN 978-4-13-061406-1   4-13-061406-1
書誌番号 1111058958
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1111058958

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 4階自然科学 Map 410.9 一般書 利用可 - 2046938618 iLisvirtual