非形式的な証明技法にはじまり、集合、関係、関数などの基本概念、基本的なデータ構造および帰納的証明を経て形式的な証明技法に至りアルゴリズムの解析までを学ぶ。
2014年6月、WWDC2014で発表されたプログラミング言語「Swift」の本格派解説書の登場です。 本書では、アプリケーションを作成するための説明を必要最低限にとどめ、Swiftを深く理解してもらうことに注力しています。Objective-Cとはまったく違うモダンな文法はもちろん、型の宣言を省略することができる型推論、複数の値を1つの変数に格納できるタプル、そして機能豊富な構造体や列挙体、オプショナル型などの最新機能、さらにはジェネリクスやカリー化など、可能な限り細かく言及しています。また、言語仕様から一歩踏み込んで、既存のObjective-CのコードをSwiftに置き換えていく方法や、Objective-CとSwiftを同一プロジェクト内で共存させる方法など、実践的な内容まで、現場の開発者が徹底解説しました。「Chapter1 Swiftの概要」では、Swiftの基本を解説します。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く