デザインの輪郭
Certified Programming with Dependent Types
This is the web site for a textbook about practical engineering with the Coq proof assistant. The focus is on building programs with proofs of correctness, using dependent types and scripted proof automation. I'm following an unusual philosophy in this book, so it may be of interest even to long-time Coq users. At the same time, I hope that it provides an easier introduction for newcomers, since s
Deal of the Week - 被災者支援キャンペーン開催
オライリー・ジャパンでは、O'Reilly Mediaで行なわれている被災者義援金キャンペーンに続いて、東北関東大震災の被災者を支援するための期間限定キャンペーンを実施いたします。 上記に記載したプロモーションコードをO'Reilly Japan Ebook Storeのショッピングカートでご入力いただくと、Ebookの通常価格の50%オフでご購入できます。この期間にご購入いただいた分の売上は、著作権者への印税や決済手数料を除き、全額を日本赤十字社への義援金とさせていただきます。期間はただいまより2011年3月26日の午前0時まで。 ぜひ、この機会にオライリーのEbookを。 New and Bestselling O'Reilly Japan
Understanding the Linux Kernel 3rd Edition
404 Not Found nginx/1.13.10.1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Amazon.co.jp： ヤバい経済学 [増補改訂版]: スティーヴン・D・レヴィット/スティーヴン・J・ダブナー,望月衛: 本![Amazon.co.jp： ヤバい経済学 [増補改訂版]: スティーヴン・D・レヴィット/スティーヴン・J・ダブナー,望月衛: 本](https://cdn-ak-scissors.b.st-hatena.com/image/square/d6b05c38011ff992b17010107bea52985e84ece2/height=288;version=1;width=512/https%3A%2F%2Fm.media-amazon.com%2Fimages%2FI%2F51akOFFAMBL._SL500_.jpg)
Amazon.co.jp: 行動科学を使ってできる人が育つ! 教える技術: 石田淳: 本
Modern Compiler Implementation in C
Amazon.co.jp: Essentials of Programming Languages, third edition (Mit Press): Friedman, Daniel P., Wand, Mitchell: 本
What is the single most influential book every programmer should read?
Amazon.co.jp: 人間性の心理学―モチベーションとパーソナリティ: A.H. マズロー (著), 小口忠彦 (翻訳): 本
自分の中に毒を持て―あなたは“常識人間”を捨てられるか (青春文庫) [文庫]
Amazon.co.jp: 言語設計者たちが考えること (THEORY/IN/PRACTICE): Federico Biancuzzi (編集), Shane Warden (編集), 伊藤真浩 (翻訳), 頃末和義 (翻訳), 佐藤嘉一 (翻訳), 鈴木幸敏 (翻訳), 村上雅章 (翻訳): 本
Amazon.co.jp: Google PageRankの数理 ―最強検索エンジンのランキング手法を求めて―: Amy N.Langville (著), Carl D.Meyer (著), 岩野和生 (翻訳), 黒川利明 (翻訳), 黒川洋 (翻訳): 本
Amazon.co.jp: アルゴリズミック・ア-キテクチュア: コスタス・テルジディス (著), 田中浩也 (監訳), 荒岡紀子 (翻訳), 重村珠穂 (翻訳), 松川昌平 (翻訳): 本
Amazon.co.jp: Webの創成 ― World Wide Webはいかにして生まれどこに向かうのか: ティム・バーナーズ-リー (著), 高橋徹 (翻訳): 本
はじめて読む486―32ビットコンピュータをやさしく語る
Compilers: Principles, Techniques, and Tools --- First Errata Sheet
Amazon.co.jp: 人を助けるとはどういうことか――本当の「協力関係」をつくる7つの原則: エドガー・H・シャイン (著), 金井真弓 (翻訳), 金井壽宏 (監修): 本
Amazon.co.jp: 生物から見た世界 (岩波文庫 青 943-1): ユクスキュル (著), クリサート (著), 日高敏隆 (翻訳), 羽田節子 (翻訳): 本
Amazon.co.jp: 小さなチーム、大きな仕事―37シグナルズ成功の法則 (ハヤカワ新書juice): ジェイソン・フリード, デイヴィッド・ハイネマイヤーハンソン: 本
