計算できるもの、計算できないもの
計算機による計算とは何か、計算できるものとできないものの境界はどこにあるのか―それを明らかにする計算理論は、計算機科学においてもっとも基本的、かつ重要なものです。本書では、概念の説明や、結果の証明にPythonプログラムを利用する実践的なアプローチにより、計算可能問題と計算不能問題、扱いやすい問題と扱いにくい問題があること、文章では簡単に表現できても計算機には解けない重要な問題が数多くあること、効率よく解ける問題と解けない問題があることなどを、計算理論の礎を築いたアラン・チューリングとリチャード・カープの論文の抜粋とともに解明します。チューリングマシン、有限オートマトン、万能計算、非決定性、チューリング還元、計算量クラス、NP完全性などのトピックをカバーしています。 謝辞 まえがき:教科書として使う方へ 全体像 1章 はじめに:計算できるもの, できないものとは 1.1 扱いやすい問題 1
Design It!
本書は、設計スキルを成長させたいプログラマーに向けたアーキテクティングの入門書です。ソフトウェアアーキテクチャの基礎とデザイン思考の考え方から始まり、ソフトウェアアーキテクトとして、チームと共に優れたソフトウェアを作り上げていく方法を包括的に解説します。本書を読むことで、適切なステークホルダーを特定してニーズを理解する方法、アーキテクチャ上重要な要求に基づいて技術やアーキテクチャを適切に選択する方法、アーキテクチャを軽量かつ効果的に評価する方法、チームのアーキテクト力を高める方法などを学べます。モダンなアーキテクチャ設計のための実践的な手法が詰まった本書は、より良いプログラマー、技術リーダー、そしてソフトウェアアーキテクトになるために必携の一冊です。平鍋健児氏による「日本語版序文」を収録。 目次 本書への推薦の言葉 日本語版序文 序文 はじめに 第Ⅰ部 ソフトウェアアーキテクチャ入門 1章
サーバーレスシングルページアプリケーション
Webアプリケーションにまつわる様々なリスクとコストを取り除くサーバーレスアーキテクチャをとり入れれば、強力なWebアプリケーションを素早く構築することができます。本書は、実際に動くアプリケーションを作りながら、サーバーレスアーキテクチャの特徴について学びます。 S3でアプリケーションをすばやくデプロイする方法、CognitoでGoogleやFacebookなどのIDプロバイダと接続しユーザーIDを管理する方法、DynamoDBでブラウザから直接ユーザーデータを読み書きし、API GatewayとAWS Lambdaでカスタマイズしたマイクロサービスを構築する方法などについて豊富なサンプルコードを使って解説します。サーバーレスアプローチのシングルページアプリケーションを設計、コーディング、テストして、再び設計にフィードバックする一連の流れを実践的に学べる本書はエンジニア必携の一冊です。 正
Real World HTTP
TOPICS Web 発行年月日 2017年06月 PRINT LENGTH 360 ISBN 978-4-87311-804-8 FORMAT PDF EPUB 本書はHTTPに関する技術的な内容を一冊にまとめることを目的とした書籍です。HTTP/1.0、HTTP/1.1、HTTP/2と、HTTPが進化する道筋をたどりながら、ブラウザが内部で行っていること、サーバーとのやりとりの内容などについて、プロトコルの実例や実際の使用例などを交えながら紹介しています。 GoやJavaScriptによるコード例によって、単純なHTTPアクセス、フォームの送信、キャッシュやクッキーのコントロール、Keep-Alive、SSL/TLS、プロトコルアップグレード、サーバープッシュ、Server-Sent Events、WebSocketなどの動作を理解します。 これからウェブに関係する開発をする人や、これ
Make: Analog Synthesizers
最近アナログシンセサイザーの音をシミュレートするスマートフォンアプリが、多数登場しています。しかし実際の電子回路から生まれる暖かみのある音楽に真の意味で取って代わることはできません。本書は基礎的な電子工学の知識を持った読者を対象にしたアナログシンセサイザー自作のための書籍です。まずは、必要な工具や測定機器の紹介にはじまり、アナログシンセサイザーを構成するモジュールの働きを詳しく解説。後半では、著者オリジナルの「ノイズトースター」の製作を行います。さらにコンピューターを接続したマルチトラックの音楽制作も紹介。付録では、アナログシンセサイザーのモジュールで頻繁に使用される回路も多数解説し、それらを応用することも可能にします。 正誤表 ここで紹介する正誤表には、書籍発行後に気づいた誤植や更新された情報を掲載しています。以下のリストに記載の年月は、正誤表を作成し、増刷書籍を印刷した月です。お手持ち
Pythonからはじめる数学入門
Pythonは書きやすくて読みやすい、使うのが楽しいプログラミング言語です。本書では、学生や生徒、プログラミングの初心者が、数学の問題を具体的に解く楽しみをPythonを用いて体験します。方程式の解を求めたり、統計や確率を計算したり、放物線運動をプロットしたり、フラクタル図形を描いたり、フィボナッチ数と黄金比の関係を探ったりします。同時に、matplotlibとSymPyの使い方も学びます。数学とプログラミングの両方の知識と技術を身につけることができる、まさに一石二鳥の一冊です。 目次 日本語版まえがき 謝辞 はじめに 1章 数を扱う 1.1 基本数学演算 1.2 ラベル：名前に数を割り当てる 1.3 さまざまな種類の数 1.3.1 分数を扱う 1.3.2 複素数 1.4 ユーザ入力を受け取る 1.4.1 例外と不当入力の処理 1.4.2 分数と複素数を入力 1.5 数学を行うプログラムを
作ることで学ぶ
本書は、教育の新しい潮流として注目されている「STEM教育」や「プログラミング教育」に携わる教育者のための書籍です。まずは基礎編として、テクノロジーを活用した教育の歴史と「構築主義」などの教育理論、学習のためのデザインモデルを解説。その上で実践編として、Arduino、Raspberry Pi、3Dプリンター、Scratchなどのハードウェア、ソフトウェア双方の学習素材の紹介、授業を行うための環境の整備、カリキュラムの作成と評価の方法、生徒との関わり方などを詳しく解説し、新しい分野に取り組もうとする教育者をサポートします。企業内ラボ、Makerスペースの運営者にもおすすめです。日本語版では、監修の阿部和広氏による日本の“作ることで学ぶ”教育の歴史と現状についてのまとめと日本国内の情報源の追加を行いました。 推薦の言葉 監修者まえがき はじめに 著者について 100の言葉 1章 かけ足で巡る
モダンWeb
誕生から四半世紀を経てWebはその姿を大きく変えています。かつてのWebは単に科学技術文書を公開するためだけの仕組みでしたが、現在ではマルチメディア、ショッピング、アプリケーション、ひいてはオペレーティングシステムさえも包含する技術へと成長しています。このようなWebの最新技術動向を鋭く切り取り、わかりやすく解説したのが本書です。近年脚光を浴びているレスポンシブWebのためのCSSをはじめ、位置情報やバッテリーの状態を取得するためのAPI、プラグインに頼らないマルチメディア再生などを紹介します。さらに、近い将来に普及するであろう注目のWebコンポーネント技術についてもいち早く解説します。 目次 賞賛の声 まえがき 1章 Webプラットフォーム 1.1 用語について 1.2 想定される読者と、読者が知っておくべきこと 1.3 用語の再確認 1.4 HTML5とは 1.4.1 HTML5のひな
Web API: The Good Parts
Web APIの設計、開発、運用についての解説書。APIは設計次第で使いづらいものになってしまうだけでなく公開後の保守運用も難しくなってしまいます。そのためAPIを美しく設計することがとても重要です。本書では「設計の美しいAPIは、使いやすい、変更しやすい、頑強である、恥ずかしくない」という考えのもと、APIをどのように設計し運用すればより効果的なのか、ありがちな罠や落とし穴を避けるにはどういう点に気をつけなければいけないのかを明らかにします。ターゲットは、URIにアクセスするとXMLやJSONなどのデータが返ってくるシンプルなタイプ――XML over HTTP方式やJSON over HTTP方式――のAPIです。読者は、Web API設計の考え方と手法を知ることができます。 はじめに 1章 Web APIとは何か 1.1 Web APIの重要性 1.1.1 APIでの利用を前提とした
Raspberry Piクックブック
本書は、多くのユーザーの支持を集めている教育用低価格コンピュータ「Raspberry Pi」を使いこなすためのレシピ集です。ハードウェアの基本、オペレーティングシステムの使い方、ネットワーク接続、Pythonプログラミングの基本を紹介した上で、実際の作品製作に必要になる、高度なPythonプログラミング、GPIO（汎用入出力）、モーター、センサー、ディスプレイなどの使い方へと解説を進めていきます。216本収録された「レシピ」には、すぐに使えるサンプルコードや回路図を豊富に掲載。さらに、Arduinoとの連携に関しても詳しく解説を行っています。日本語版編集中に発売が開始されたModel B+に関しては「はじめに」に概要を加えました。 はじめに 1章 設定と管理 レシピ1.1：Raspberry Piのモデルを選択する レシピ1.2：Raspberry Piをケースに入れる レシピ1.3：電源
Haskellによる並列・並行プログラミング
並列・並行プログラミングはプログラマの重要な関心事であり、常に注目を集めている話題です。これまで、関数型言語は並列・並行プログラミングに有利であると言われてきましたが、それを説明する書籍はありませんでした。本書では、純粋関数型言語Haskellが提供する並列・並行プログラミングの機能を俯瞰し、実践的な問題を解いていきます。その根底にある考え方は、関数プログラミングの核心であるモジュラリティです。また本書では、実際の問題を解決するときに陥りがちな落とし穴や、高い性能を出すためのtipsなどをまとめています。 正誤表 ここで紹介する正誤表には、書籍発行後に気づいた誤植や更新された情報を掲載しています。以下のリストに記載の年月は、正誤表を作成し、増刷書籍を印刷した月です。お手持ちの書籍では、すでに修正が施されている場合がありますので、書籍最終ページの奥付でお手持ちの書籍の刷版、刷り年月日をご確認
Dropboxダウンロード機能をリリースしました
皆さんこんにちは。平素よりオライリー・ジャパンのEbok Storeをご利用いただきありがとうございます。 今回、お客さまからご要望の大きかったオンラインストレージDropboxとの連携機能を、Ebook Storeに追加しました。これにより、ご購入いただいたEbookファイルを、環境ごとに管理する手間を省くことができるようになります。ごく一部のベータテスタ―向けに提供していましたが、本日よりすべてのお客さまがお使いになれます。 ご利用いただくには、まずDropboxのアカウントとEbook Storeのアカウントを紐づける設定が必要です。詳しい使い方をこちら[リンク]にまとめましたので、ぜひご一読いただけたら幸いです。 また、アカウントをお持ちでない方はDropboxのサイトでアカウントを作成してからお試しください。こちらのリンクから登録していただくと、オライリー・ジャパンのアカウントの
「もの」はどのようにつくられているのか？
本書は、プロダクトデザインを学ぶ人のためにさまざまな工業製品の製造手法を、豊富な図解と写真とともに解説する書籍です。紹介する技法は、ガラス吹きなどの伝統的な技術から、射出成形などの大量生産の基礎となった技術、さらにCNC切削加工やステレオリソグラフィ（光造形）などのデジタルファブリケーション技術まで多岐にわたります。各項目では、代表的なプロダクト、原価、加工速度、精度などが紹介され、リファレンスのように使用することも可能です。ものづくりの創造的なプロセスを知ることで、自分のイメージを形にする際のアイデアの素にしたいと考えるMakerにもおすすめします。日本語版は田中浩也氏が監修し、序文「『ものの読み書き』に向けて」を書き下ろしました。 序文（田中 浩也） はじめに プロセスの比較 1. 固体の切断 マシニング加工 コンピュータ数値制御（CNC）切削加工 電子ビーム切断（EBM） ろくろ加工
カンフーマック
TOPICS 発行年月日 2012年10月 PRINT LENGTH 352 ISBN 978-4-87311-582-5 原書 Mac Kung Fu FORMAT PDF EPUB OS Xを徹底活用するためのtip集。本書には、よく知られていない設定や隠された設定を変更してアプリを効率的に利用する方法、標準装備されたアプリやツールを限界まで使い倒す方法、設定を徹底的にアレンジして自分の理想のシステムにMacを調整する方法などが、手軽に試せる310個の技、ヒント、ハックとして掲載されています。本書に収録されているテクニックをマスターすれば、究極のMacユーザになって仕事を「早く」「賢く」そして「楽しく」こなし、Macライフをさらに充実したものに変えられます。Macを長年使ってきたユーザでさえ知らない便利なテクニックも掲載。OS Xの本当の基本をマスターし、次のステップに進もうとしている
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
