Amazon.co.jp: マインクラフト 公式ドリル さんすう ステップ1 6-7才におすすめ: マイクラで楽しく理数系センスを身につける! (MOJANG STUDIOS OFFICIAL PRODUCT): MOJANG: 本
『定理証明手習い』
プログラムの正しさは証明できる。定理証明へ踏み出すための最高のガイドブック Daniel P. Friedman, Carl Eastlund 著、中野圭介 監訳 240ページ A5判 ISBN：978-4-908686-02-3 2017年10月23日 第1版第1刷 発売 あるプログラムが、考えられるあらゆる入力に対して誤った動作を引き起さないことは、テストを書いても確かめられません。それを確かめるには、公理と式の等価な書き換えだけで恒真を導いたり、再帰的なプログラムの構造に照した帰納法による証明が必要です。 なんだか難しそうに聞こえるかもしれませんが、その世界観を丁寧にときほぐして解説したのが、本書の原書にあたる "The Little Prover" です。
技術者のための高等数学、教員のための数学: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://www.asahi-net.or.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- アマゾンで売れていたいろいろ数学の本、リストだけでもと思ったけど、こ の洋書のことだけで、いろんなネタが出たので、とりあえず、これを。 http://www.amazon.co.jp/exec/obidos/ASIN/0471728977/showshotcorne-22/ Advanced
月刊「大学への数学」
●編集方針● 数学は、結論に至るまでの過程がいろいろとあります。自分の解答より、簡潔で適切な解法を見付けて驚いたことがありませんか。 また、難問と格闘の末、やっと答えにたどり着いたときの喜びを味わったことがありませんか。 創刊以来60余年の歴史を誇る月刊「大学への数学」（通称：大数）は、高校数学を常に高い視点から捉え、個々の問題の縦横の関連性を自然な発想で解き明かし、 読者をより高いレベルへ導くことをメインテーマとしています。 基礎事項をいかに組み立てて応用問題に対処するか、数学的な思考力とセンスをいかにして身につけるかを選び抜いた問題で解説し、有名大学入試にも対応できる実力を養成していきます。 ●主な項目● 「大学への数学」の各記事は、学習の進行状況や目標によって選択できるよう、大まかな目安として以下のA～Eにわけられています。 また、各演習記事や入試特集では、目標時間と難易度を明示して
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://www.amazon.co.jp/dp/4000802097
https://www.amazon.co.jp/dp/4254111258
https://www.amazon.co.jp/dp/4627052723
https://www.amazon.co.jp/dp/4860643496
https://www.amazon.co.jp/dp/4478116563
https://www.amazon.co.jp/dp/4478117802/
Amazon.co.jp: これだけはおさえたい 文系プログラマーの数学知識 基礎の基礎 (プロフェッショナル「確実」養成講座): 谷尻かおり, 谷尻豊寿: 本
Amazon.co.jp: プログラマの数学第2版: 結城浩: 本
Amazon.co.jp: 問題解決のための「アルゴリズム×数学」が基礎からしっかり身につく本: 米田優峻: 本
Amazon.co.jp: 新・数学の学び方: 小平邦彦: 本
Amazon.co.jp: Pythonによる数理最適化入門 (実践Pythonライブラリー): 並木誠 (著), 久保幹雄 (監修): 本
Amazon.co.jp: しっかり学ぶ数理最適化 モデルからアルゴリズムまで (KS情報科学専門書): 梅谷俊治: 本
これなら分かる最適化数学―基礎原理から計算手法まで
Amazon.co.jp: 機械学習のエッセンス -実装しながら学ぶPython,数学,アルゴリズム- (Machine Learning): 加藤公一: 本
Amazon.co.jp: アルゴリズムイントロダクション 第3版 第1巻: 基礎・ソート・データ構造・数学 (世界標準MIT教科書): コルメン,T. (著), リベスト,R. (著), シュタイン,C. (著), ライザーソン,C. (著), 哲夫,浅野 (翻訳), 和生,岩野 (翻訳), 博司,梅尾 (翻訳), 雅史,山下 (翻訳), 幸一,和田 (翻訳): 本
The Art of Computer Programming Volume1
