このブラウザ バージョンのサポートは終了しました。サポートされているブラウザにアップグレードしてください。
このブラウザ バージョンのサポートは終了しました。サポートされているブラウザにアップグレードしてください。
. . . . . . . 10 okamotoy@uec.ac.jp 2013 8 8 2013 . . . . . . . . . ▶ ▶ ▶ ▶ ▶ ▶ ▶ · · · . . . . . . . . . ▶ ▶ ▶ ▶ ▶ ▶ ▶ · · · = . . . . . . . . . ⇝ Garey & Johnson ’79 (1) Garey & Johnson ’79 (2) Garey & Johnson ’79 (3) . . . . . . . . . P vs NP . 1 . . . . . . . . P vs NP . . . . . . . . . P vs NP . 1 . . . . . . . . P vs NP P NP EXP . P . . . . . . . . P . NP . . . . . . . . NP . EXP . . . . . .
教科書など 準備 数理論理学を習得するためには、その前に、数学の言葉を操り数学の考え方を駆使できるようになる必要があります。数理論理学は数学の一分野ですので、それについては数学の他の分野と変わることはありません。 幸い、数学の言葉と数学の考え方を学ぶことに特化して使える教科書が出版されています。目についたものを並べてみます。おそらく、他にもあるでしょう。 個人的に特に気にいっているもの 嘉田勝：論理と集合から始める数学の基礎，日本評論社, 2008. (版元による紹介) 鈴木登志雄：例題で学ぶ集合と論理, 森北出版, 2016. (版元による紹介) その他 渡辺治・北野晃朗・木村泰紀・谷口雅治：数学の言葉と論理, 朝倉書店, 2008. (版元による紹介) 中島匠一：集合・写像・論理—数学の基本を学ぶ—, 共立出版, 2012. (版元による紹介) 石川剛郎：論理・集合・数学語, 共立出版
全プログラマーが知るべきレイテンシー数
Latency numbers every programmer should know — Gist L1キャッシュ参照 0.5ナノ秒 分岐予測失敗 5ナノ秒 L2キャッシュ参照 7ナノ秒 Mutexのロックとアンロック 25ナノ秒 メインメモリー参照 100ナノ秒 Zippy[Snappy]による1KBの圧縮 3,000ナノ秒 1Gbpsネットワーク越しに2KBを送信 20,000ナノ秒 メモリーから連続した1MBの領域の読み出し 250,000ナノ秒 同一データセンター内におけるラウンドトリップ 500,000ナノ秒 ディスクシーク 10,000,000ナノ秒 ディスクから連続した1MBの領域の読み出し 20,000,000ナノ秒 パケットを、カリフォルニア→オランダ→カリフォルニアと送る 150,000,000ナノ秒 Jeff Dean著(http://research.googl
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
