Outros livros que poderiam interessá-lo

• 

  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)

  Ver livro

• 

  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.

  Ver livro

• 

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

  Roger W. Lowther

  • 0
  • 0
  • 0

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

  Ver livro

• 

  自動定理証明 - 基礎と応用

  Fouad Sabry

  • 0
  • 0
  • 0

  自動定理証明とは
   
  コンピュータ プログラムを使用して数学の定理を証明するプロセスは、自動定理証明と呼ばれます。 自動推論と数学的論理のこのサブ分野は 1980 年代に開発されました。 コンピューター サイエンスの発展の背後にある重要な原動力は、数学的証明への自動推論の適用でした。
   
  どのようなメリットがあるか
   
  (i) 洞察、 および次のトピックに関する検証:
   
  第 1 章: 自動定理証明
   
  第 2 章: カリーとハワードの通信
   
  第 3 章: 論理プログラミング
   
  第 4 章: 証明の複雑さ
   
  第 5 章: メタマス
   
  第 6 章: モデル検査
   
  第 7 章: 形式的検証
   
  第 8 章: プログラム分析
   
  第 9 章: ラマヌジャン マシン
   
  第 10 章: 一般的な問題ソルバー
   
  (ii) 自動定理証明に関する一般のよくある質問に答えます。
   
  (iii) 多くの分野で証明される自動化定理の使用例。
   
  (iv) 360 の各業界の 266 の新興テクノロジーを簡潔に説明する 17 の付録 - 度の自動定理証明技術を完全に理解している方。
   
  本書の対象者
   
  専門家、大学生、大学院生、愛好家、趣味愛好家、およびそれらの人々 基本的な知識や情報を超えて、あらゆる種類の自動定理証明を行いたいと考えている人。
   
   

  Ver livro

• 

  合理的利己主義 - 現代戦争における戦略的自己利益

  Fouad Sabry

  • 0
  • 0
  • 0

  合理的利己主義とは何か
   
  合理的利己主義とは、ある行動が合理的であるのは、それが自分の利益を最大化する場合に限るという原則です。したがって、これは歴史的には肯定的形態と規範的形態の両方に関連付けられてきましたが、規範的形態の利己主義と見なされています。強い形態の合理的利己主義では、自分の利益を追求しないことは明らかに非合理的であると主張します。しかし、その弱い形態では、自己利益を追求することは合理的であるが、自己利益を追求しないことが必ずしも非合理的であるとは限らないと主張しています。
   
  メリット
   
  (i) 以下のトピックに関する洞察と検証:
   
  第 1 章: 合理的利己主義
   
  第 2 章: アイン・ランド
   
  第 3 章: 応用倫理
   
  第 4 章: 帰結主義
   
  第 5 章: 倫理的利己主義
   
  第 6 章: 利己主義
   
  第 7 章: 客観主義
   
  第 8 章: 心理的利己主義
   
  第 9 章: 功利主義
   
  第 10 章: デレク・パーフィット
   
  (ii) 合理的利己主義に関する一般の人々の最大の疑問に答える
   
  この本は誰に向けた本ですか?
   
  専門家、学部生、大学院生、愛好家、趣味人、そしてあらゆる種類の合理的利己主義についての基礎知識や情報を超えたい人。
   
   

  Ver livro

• 

  空母 - 壮大な海戦と戦略的な航空戦力

  Fouad Sabry

  • 0
  • 0
  • 0

  航空母艦とは
   
  航空母艦は、全長の飛行甲板と航空機の運搬、武装、展開、回収のための設備を備え、洋上の航空基地として機能する軍艦です。通常、航空母艦は艦隊の主力艦であり、航空機の運用を現地の基地に頼ることなく海軍が世界中に航空戦力を投射できるようにします。航空母艦は、20 世紀初頭の誕生以来、気球を展開するために使用される木造船から、多数の戦闘機、攻撃機、ヘリコプター、その他の種類の航空機を搭載する原子力軍艦へと進化してきました。固定翼ガンシップや爆撃機などのより重い航空機は航空母艦から発進してきましたが、これらの航空機は航空母艦に着陸していません。外交力と戦術力、機動性、自律性、手段の多様性により、航空母艦は現代の戦闘艦隊の中心となることがよくあります。戦術的にも戦略的にも、それは艦隊の旗艦の役割において戦艦に取って代わりました。その大きな利点の 1 つは、国際水域を航行することで領土主権を侵害せず、第三国からの飛行許可が不要になり、航空機の時間と移動距離が短縮され、戦闘地域での可用性時間が大幅に長くなることです。
   
  メリット
   
  (i) 次のトピックに関する洞察と検証:
   
  第 1 章: 航空母艦
   
  第 2 章: 航空母艦の一覧
   
  第 3 章: ワスプ級強襲揚陸艦
   
  第 4 章: ブラジルの航空母艦ミナスジェライス
   
  第 5 章: クイーンエリザベス級航空母艦
   
  第 6 章: 揚陸艦ヘリコプター
   
  第 7 章: 海軍航空
   
  第 8 章: 揚陸艦強襲
   
  第 9 章: 対潜水艦戦闘用空母
   
  第 10 章: スペインの強襲揚陸艦フアン カルロス i
   
  (ii) 航空母艦に関する一般のよくある質問への回答。
   
  この本の対象読者
   
  専門家、学部生および大学院生、愛好家、趣味人、およびあらゆる種類の航空母艦に関する基本的な知識や情報を超えたい人。
   
   

  Ver livro