Other books that might interest you

• 

  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

• 

  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

• 

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

  Roger W. Lowther

  • 0
  • 0
  • 0

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

  Show book

• 

  コンピュータ支援による証明 - 基礎と応用

  Fouad Sabry

  • 0
  • 0
  • 0

  コンピュータ支援による証明とは
   
  数学的証明は、部分的であっても何らかの方法でコンピュータによって生成された場合、コンピュータ支援されているとみなされます。
   
  どのようなメリットがあるか
   
  (i) 以下のトピックに関する洞察と検証:
   
  第 1 章: コンピューター支援 証明
   
  第 2 章: 数学的証明
   
  第 3 章: 定理
   
  第 4 章: メタマス
   
  第 5 章: モデルの検査
   
  第 6 章: コンピュータ代数
   
  第 7 章: 形式的検証
   
  第 8 章: 検証された数値
   
  第 9 章: 論理理論者
   
  第 10 章: セブンティーン オア バスト
   
  (ii) コンピュータ支援証明に関する一般のよくある質問に答える。
   
  (iii) 多くの分野でコンピュータ支援証明が使用されている実際の例
   
  (iv) コンピュータ支援証明技術を 360 度完全に理解するために、各業界の 266 の新興技術を簡潔に説明する 17 の付録。
   
  誰 この本の対象者は
   
  専門家、学部生および大学院生、愛好家、愛好家、およびあらゆる種類のコンピューター支援証明についての基本的な知識や情報を超えたいと考えている人です。
   
   

  Show book

• 

  生産システム - 基礎と応用

  Fouad Sabry

  • 0
  • 0
  • 0

  生産システムとは
   
  「生産システム」とは、何らかの形の人工知能を生成するためによく使用されるコンピューター プログラムです。 このタイプのソフトウェアは主に動作に関するルールの集合で構成されていますが、システムが世界のさまざまな状況に反応するときにそれらのルールに従うために必要なメカニズムも含まれています。 これらのルールはプロダクトとも呼ばれ、自動化された計画、エキスパート システム、アクションの選択に役立つ基本的な表現の一例です。
   
  メリット
   
  (I) 次のトピックに関する洞察と検証:
   
  第 1 章: コンピューター サイエンスにおける生産システム
   
  第 2 章: 制約処理ルール
   
  第 3 章: CLIPS
   
  第 4 章: Drools
   
  第 5 章: ILOG
   
  第 6 章: Jess プログラミング言語
   
  第 7 章: Lisp ベースのインテリジェント ソフトウェア エージェント
   
  第 8 章: OpenL タブレット
   
  第 9 章: Prolog
   
  第 10 章: Soar コグニティブ アーキテクチャ
   
  (II) 実稼働システムに関する一般のよくある質問に答える。
   
  (III) 多くの分野における実稼働システムの使用例。
   
  (IV) 17 の付録 各業界の 266 の新興テクノロジーを簡潔に説明し、生産システムのテクノロジーを 360 度完全に理解できるようにします。
   
  本書の対象者
   
  プロフェッショナル 大学生、大学院生、愛好家、愛好家、あらゆる種類の制作システムに関する基本的な知識や情報を超えたいと考えている人。
   
   

  Show book

• 

  ソフトコンピューティング - 基礎と応用

  Fouad Sabry

  • 0
  • 0
  • 0

  ソフト コンピューティングとは
   
  「ソフト コンピューティング」という用語は、ニューラル ネットワーク、ファジー ロジック、進化的アルゴリズムなどのコンピューター プログラミング技術の集合を指します。これらのアルゴリズム 問題を引き起こすことなく、不正確さ、不確実性、部分的な真実、および近似を処理できます。これは、アルゴリズムを使用して正しく最適な問題の解決策を見つけることを指すハード コンピューティングとは対照的です。
   
  メリット
   
  (i) 次のトピックに関する洞察と検証:
   
  第 1 章: ソフト コンピューティング
   
  第 1 章 2: ファジー ロジック
   
  第 3 章: 進化的アルゴリズム
   
  第 4 章: 機械学習
   
  第 5 章: 計算知能
   
  第 6 章: ファジィ概念
   
  第 7 章: 量子ニューラル ネットワーク
   
  第 8 章: ファジィ数学
   
  第 9 章: 進化するインテリジェント システム
   
  第 10 章: 適応ニューロ ファジィ推論システム
   
  (ii) ソフト コンピューティングに関する一般のよくある質問に答える。
   
  (iii) 多くの分野でのソフト コンピューティングの使用例の実例。
   
  (iv) ソフト コンピューティングのテクノロジを 360 度完全に理解できるように、各業界の 266 の新興テクノロジを簡潔に説明する 17 の付録。
   
  この本の対象者
   
  専門家、学部生および大学院生、愛好家、趣味人、およびあらゆる種類のソフト コンピューティングに関する基本的な知識や情報を超えたいと考えている人。
   
   

  Show book