タグ

ブックマーク / www.hyuki.com (3)

  • 書籍『数学ガール/ゲーデルの不完全性定理』(結城浩)

    書は「数学ガール」シリーズ第3弾です。 三人の高校生と一人の中学生が、学校の枠を越えた数学に挑戦します。 今回のテーマは数理論理学。 《数学数学する》感覚をお楽しみください。 数学クイズが好きな一般の方から、理系の大学生、社会人まで楽しめます。 Amazon Kindle 書誌情報 『数学ガール/ゲーデルの不完全性定理』 結城浩 著 ソフトバンククリエイティブ(株)刊 ISBN: 9784797352962 1800円(税抜) Amazon 書の目次 あなたへ プロローグ 第1章 鏡のモノローグ 第2章 ペアノ・アリスメティック 第3章 ガリレオのためらい 第4章 限りなく近づく目標地点 第5章 ライプニッツの夢 第6章 イプシロン・デルタ 第7章 対角線論法 第8章 二つの孤独が生み出すもの 第9章 とまどいの螺旋階段 第10章 ゲーデルの不完全性定理 エピローグ あとがき 参考文

    書籍『数学ガール/ゲーデルの不完全性定理』(結城浩)
  • Githubでリモートリポジトリの練習 - [結] 2009年9月 - 結城浩の日記

    目次 2009年9月30日 - 「書くこと」について書きましょう / 2009年9月28日 - 『数学ガール/ゲーデルの不完全性定理』表紙が到着しました! / 2009年9月27日 - 日曜日 / 2009年9月25日 - 『数学ガール/ゲーデルの不完全性定理』無料プレゼント抽選実施しました / 2009年9月24日 - 木曜日 / 2009年9月23日 - 水曜日 / 2009年9月22日 - 火曜日 / 2009年9月21日 - 月曜日 / 2009年9月20日 - 日曜日 / 2009年9月18日 - #onwriting: 書くことについて話しましょう / 金曜日 / 2009年9月17日 - 木曜日 / 2009年9月16日 - 水曜日 / 2009年9月15日 - 出産 / 2009年9月14日 - 応募メール / 2009年9月13日 - 日曜日 / 2009年9月11日 -

  • Gitの基礎練習

    バージョン管理ツールGitの基礎練習です。 Windows XPのコマンドプロンプトでGitの基的なコマンドを動かしていきます。 Gitを学び始めるきっかけにどうぞ。 (筆者もまだGitを使いこなしているわけではありません。 誤りのご報告、改善提案などは大歓迎です。フィードバックからよろしくお願いします) 目次 はじめに ダウンロードとインストール ファイルをGitの管理下に置きましょう 新しいファイルを追加します 新しいディレクトリを追加します 編集からコミットまでの流れはこんな風に進みます ブランチを使ってみましょう ここまでの作業ログを見ましょう この文書に書かなかったこと 関連リンク 更新履歴 ぜひ、感想をお送りください はじめに Windows XPのコマンドプロンプトで、 バージョン管理ツールGitの基的なコマンドを動かしてみましょう。 この文書の通りに実行すると、 基

  • 1