Join us on a literary world trip!
Add this book to bookshelf
Grey
Write a new comment Default profile 50px
Grey
Subscribe to read the full book or read the first pages for free!
All characters reduced
コンピューター代数 - 基礎と応用 - cover

コンピューター代数 - 基礎と応用

Fouad Sabry

Translator Kei Imano

Publisher: 10億人の知識があります [Japanese]

  • 0
  • 0
  • 0

Summary

コンピュータ代数とは
 
コンピュータ代数は、記号計算または代数計算としても知られ、アルゴリズムの研究と開発に関連するコンピュータ科学および数学のサブ分野です。 および数式やその他の数学的オブジェクトを操作する目的のソフトウェア。 コンピューター代数の別名には、代数計算や記号計算などがあります。 科学計算は通常、近似浮動小数点数を使用した数値計算に基づいていますが、シンボリック計算では、値が与えられずシンボルとして操作される変数を含む式による正確な計算に重点が置かれます。 コンピューター代数は科学計算の下位分野とみなされる可能性があるという事実にもかかわらず、一般に 2 つは別個の分野とみなされます。
 
どのようなメリットがあるか
 
( i) 以下のトピックに関する洞察と検証:
 
第 1 章: コンピューター代数
 
第 2 章: 記号人工知能
 
第 3 章: 代数幾何学
 
第 4 章: 自動定理証明
 
第 5 章: コンピュータ代数システム
 
第 6 章: コンピュータ支援証明
 
第 7 章: モデル検査
 
第 8 章: 証明アシスタント
 
第 9 章: 記号数値計算
 
第 10 章: 記号シミュレーション
 
(ii) 質問への回答 コンピューター代数に関する一般公開のトップ質問。
 
(iii) 多くの分野でのコンピューター代数の使用例の実例。
 
(iv) 266 の新興テクノロジーを簡潔に説明する 17 の付録
 
本書の対象者
 
専門家、大学生、大学院生、愛好家 、愛好家、およびあらゆる種類のコンピューター代数に関する基本的な知識や情報を超えたいと考えている人。
 
 
Available since: 07/06/2023.
Print length: 80 pages.

Other books that might interest you

  • Oku no Hosomichi - cover

    Oku no Hosomichi

    Matsuo Basho

    • 0
    • 0
    • 0
    Oku no Hosomichi (meaning Narrow Road to Oku [the Deep North]) is a major work by Matsuo Basho.Oku no Hosomichi was written based on a journey taken by Basho in the late spring of 1689. He and his traveling companion Sora departed from Edo (modern-day Tokyo) for the northerly interior region known as Oku, propelled mostly by a desire to see the places about which the old poets wrote. Travel in those days was, of course, very dangerous to one’s health, but Basho was committed to a kind of poetic ideal of wandering. He travelled for about 156 days all together, covering thousands of miles mostly on foot. Of all of Basho’s works, Oku no Hosomichi is best known.(Summary from Wikipedia)
    Show book
  • 美の香り - 東日本の被災地で見つけた美 - cover

    美の香り - 東日本の被災地で見つけた美

    Roger W. Lowther

    • 0
    • 0
    • 0
    辺りに漂っていたのは、確かにそこにある希望の香りだった。それは美の香りだった。東京在住の音楽家ロジャー・w・ラウザー宣教師が東日本大震災の被災地で見つけた音楽の力、希望の香り。ボランティアとして活動する中、美が恐怖と絶望に勝つ瞬間が何度もあった。避難所の体育館でのコンサート、炊き出し、人々との交流、それらの経験から書かれたメディテーションは、私たちに神の美しさとその存在を示し、励ましを与えてくれる。
    Show book
  • Michi: The Cat (Japanese Edition) - cover

    Michi: The Cat (Japanese Edition)

    Bruno Barbosa

    • 0
    • 0
    • 0
    ミチは飼い主が家に引っ越したときに残した子猫です。 冬の真っ只中、寂しくて悲しい気持ち、ミチ パートナーと愛を求めて家を出ることにしました。 忘れられない小さな瞬間に満ちたこの本で、あなたの旅全体をたどってください。Michi is a kitten left by the owner when he moved home. In the middle of winter, I felt lonely and sad, and decided to leave the house in search of love with Michi's partner. Follow your entire journey with this book full of unforgettable little moments.
    Show book
  • 音響工学 - ロボットシステムのための音響と振動の革新 - cover

    音響工学 - ロボットシステムのための音響と振動の革新

    Fouad Sabry

    • 0
    • 0
    • 0
    音響工学は、ロボット工学科学の文脈における音響と音響技術の魅力的な世界を探求する総合的なガイドです。専門家、学生、愛好家向けに設計されたこの本は、現代の音響工学の応用を形作るさまざまなトピックを取り上げ、音響とロボット工学の交差点に関する貴重な洞察を提供します。騒音制御から水中音響まで、この本は各専門分野を深く掘り下げ、読者が理論と現実世界の応用をつなぐ実用的な知識を習得するのに役立ちます。
     
    章の概要:
     
    1: 音響工学: この章では、音響工学の基本原理とロボット工学におけるその役割を紹介します。
     
    2: 音響: 音の科学、さまざまな環境での音の挙動、ロボット工学における音の重要性を探ります。
     
    3: オーディオ信号処理: ロボット システムにおけるオーディオ信号の変換、操作、強化の背後にあるプロセスを学びます。
     
    4: ノイズ: ノイズの原因と影響、およびロボット環境でのノイズ制御の手法を理解します。
     
    5: 室内音響: 室内音響が音の伝播に及ぼす影響と、ロボット設計におけるその重要性について詳しく学びます。
     
    6: 生物音響: この章では、生物システムにおける音の役割と、ロボット工学におけるその応用について考察します。
     
    7: 音響強化システム: 音響強化システムがロボット技術に統合され、オーディオ性能が向上する仕組みを学びます。
     
    8: 建築音響: 音響の建築原理が、大規模環境で使用されるロボットシステムにどのように適用されるかを学びます。
     
    9: アメリカ音響学会: 音響工学の発展におけるこの学会の役割と、ロボット工学研究との関連性を理解します。
     
    10: 背景ノイズ: 背景ノイズがロボットシステムに与える影響と、その影響を最小限に抑える方法を調べます。
     
    11: ウィットロー・オー: ウィットロー・オー の音響分野への貢献と、音響とロボット工学とのつながりについて理解を深めます。
     
    12: ジョン・フォウクス・ウィリアムズ: 音響学におけるジョン・フォウクス・ウィリアムズの画期的な研究と、それがロボット工学に与える影響について学びます。
     
    13: 騒音、振動、および不快感: ロボット システムにおける騒音と振動の管理と、それらがパフォーマンスに与える影響について学びます。
     
    14: 水中音響: 水中環境におけるロボット工学の水中音響に関する課題と技術を理解します。
     
    15: asa シルバー メダル: asa シルバー メダルの重要性と、ロボット音響技術の開発との関連性について学びます。
     
    16: 音響の静音化: ロボット アプリケーションで不要な音を減らして効率を向上させる方法について学びます。
     
    17: サウンド: ロボット システムでの音の操作に焦点を当て、音の特性と機能についてさらに深く掘り下げます。
     
    18: オーディオ エンジニア: ロボット工学の最先端のサウンド システムの開発におけるオーディオ エンジニアの役割について学びます。
     
    19: アクトラン: ロボット設計における音響挙動のシミュレーションに、専門ソフトウェアである アクトラン がどのように使用されているかを理解します。
     
    20: マノハール ラル ムンジャル: マノハール ラル ムンジャル の業績と、音響学とロボット工学への貢献について学びます。
     
    21: ソナー: ソナー技術、その開発、ナビゲーションとマッピングに使用されるロボット システムにおけるその重要性を探ります。
     
    この本は、音響学とロボット工学がどのように絡み合っているかについて比類のない洞察を提供し、これらの分野に携わるすべての人にとって必読の書です。学生、専門家、または趣味人を問わず、「音響工学」は両方の分野をさらに理解するための知識を提供し、スキルとキャリアの可能性を高めます。この重要なリソースをお見逃しなく!
    Show book
  • 出現 - ロボット工学における複雑系のダイナミクスの探究 - cover

    出現 - ロボット工学における複雑系のダイナミクスの探究

    Fouad Sabry

    • 0
    • 0
    • 0
    「出現」は、小さな要素が組み合わさって予測不可能で動的なパターンを形成する複雑系の入り組んだ世界への画期的な探究です。この本は、物理学から社会システムまで、さまざまな分野でどのように創発現象が発生するか、そしてこれらの原理がロボット工学科学の最先端の世界とどのように交差するかについて深い洞察を提供します。この分野の専門家、学部生や大学院生、または単に好奇心旺盛な愛好家であっても、この本は理論と実際の応用を結び付ける貴重な知識を提供します。本書の情報は、自然システムと人工システムの複雑さを理解しようとする人にとって非常に貴重です。
     
    章の概要:
     
    1: 創発: 創発の概念の紹介。単純なシステムがどのように複雑な動作を生み出すかを示します。
     
    2: 凝縮物質物理学: 物理システムにおける創発動作を理解する上での凝縮物質の役割を調べます。
     
    3: 複雑性: 複雑性の性質と、それが科学研究とロボット システムに与える影響について説明します。
     
    4: 量子力学: 量子力学がミクロレベルでの創発現象の説明にどのように役立つかを探ります。
     
    5: 統計力学: 大規模システムやロボット工学における創発行動の基盤となる統計的手法を紹介します。
     
    6: 複雑系: 多くのコンポーネントが相互作用して予測不可能な結果を​​生み出す複雑なシステムを深く掘り下げます。
     
    7: 還元主義: 複雑なシステムを基本的なコンポーネントに還元すると、創発特性が失われることが多いことを分析します。
     
    8: 全体論: 創発現象を完全に把握するには、システム全体を理解する必要があることを示唆する全体論的視点を探ります。
     
    9: 自己組織化: ロボットの自律性にとって重要な、外部制御なしでシステムが自己組織化する方法を調べます。
     
    10: 社会シミュレーション: マルチロボットの協力に関連する、創発行動を社会システムでモデル化する方法について説明します。
     
    11: 自己組織化臨界性: 自然に臨界状態に進化し、予測不可能な方法でロボット工学に影響を与えるシステムに関する洞察を提供します。
     
    12: 創発主義: 創発主義の包括的な見方を示し、自然システムと人工システムの理解におけるその重要性を強調します。
     
    13: 社会的複雑性: 社会システムの複雑性と、そのロボットシステムおよび集合知との類似点を探ります。
     
    14: 計算社会学: 社会ダイナミクスを研究するための計算手法と、そのロボット工学への適用性を紹介します。
     
    15: 動的システム理論: ロボットシステムの動作をモデル化する上での動的システム理論の役割に焦点を当てます。
     
    16: 生成科学: 生成科学の原理が自律ロボットシステムの作成にどのように適用されるかを調査します。
     
    17: 複雑適応システム: 自然とロボットの両方の適応システムが環境の変化にどのように反応するかを調べます。
     
    18: コンピューターシミュレーションと組織研究: コンピューターシミュレーションを使用してロボットチームに関連する組織行動を研究する方法について説明します。
     
    19: 普遍的ダーウィニズム: 普遍的ダーウィニズムの理論と、それが進化型ロボット工学と 人工知能 開発にどのように役立つかを探ります。
     
    20: 粒子: 群知能に焦点を当て、ロボットの動作をモデル化する粒子ベースのアプローチを調査します。
     
    21: 人工生命: 人工生命と、自律型ロボット システムの開発におけるその重要性の高まりを探って締めくくります。
     
    「出現」は、ロボット工学の複雑で相互接続された世界とそれ以外の世界を理解するための重要なフレームワークを提供します。その包括的なアプローチは、ロボット工学、複雑性科学、人工知能の分野で進歩を目指す人にとって不可欠です。
    Show book
  • エクサスケールコンピューティング - 1秒間に10億回の操作を実行する能力 - cover

    エクサスケールコンピューティング -...

    Fouad Sabry

    • 0
    • 0
    • 0
    エクサスケールコンピューティングとは
     
    エクサスケールコンピューティングは、スーパーコンピューターの機能を測定したものです。これは、少なくとも「1秒あたり1018 IEEE 754倍精度(64ビット)操作(乗算および/または加算)(exaFLOP)」を計算できるコンピューティングシステムを指します。
     
    ハウユーメリット
     
    (I)次のトピックに関する洞察と検証:
     
    第1章:Exascaleコンピューティング
     
    第2章:スーパーコンピューター
     
    第3章:FLOPS
     
    第4章:National Energy Research Scientific Computing Center
     
    第5章:TOP500
     
    第6章:ワットあたりのパフォーマンス
     
    第7章:Green500
     
    第8章:ペタスケールコンピューティング
     
    第9章:最速のコンピューターのリスト
     
    第10章:メニーコアプロセッサー
     
    第11章:インドでのスーパーコンピューティング
     
    第12章:Kコンピューター
     
    第13章:日本でのスーパーコンピューティング
     
    第14章:ヨーロッパでのスーパーコンピューティング
     
    第15章:Xeon Phi
     
    第16章:サミット(スーパーコンピューター)
     
    第17章:フロンティア(スーパーコンピューター)
     
    第18章:ふがく(スーパーコンピューター)
     
    第19章:Fujitsu A64FX
     
    第20章:Aurora(スーパーコンピューター)
     
    第21章:JUWELS
     
    (II)エクサスケールコンピューティングに関する一般のトップ質問への回答
     
    (III)実世界多くの分野でのエクサスケールコンピューティングの使用例。
     
    (IV)17の付録で、エクサスケールコンピューティングのテクノロジーを360度完全に理解するための各業界の266の新しいテクノロジーについて簡単に説明します。
     
    この本の対象者
     
    専門家、学部生および大学院生、愛好家、愛好家、およびあらゆる種類のエクサスケールの基本的な知識や情報を超えたい人コンピューティング。
    Show book