世界中の技術者と研究者の「専門知識をわかりやすく伝える」をお手伝いします。ゼロから学びなおすプログラミング言語入門』n月刊ラムダノート計算機好きのための技術解説情報誌n月刊ラムダノート(エヌゲッカンラムダノート)は、nヶ月ごとに刊行される計算機好きのための技術解説情報誌。章ずつ選んできた解説記事の集まり」です。毎回3~4つの記事が掲載されて1500円。本誌の紙書籍については、配送料当社負担でお届けします。副作用として、n月刊ラムダノート(紙版)と一緒に他の書籍をお買い上げいただくと、注文全体の配送料負担が無料になります(PDF版n月刊ラムダノートの同時購入では通常の配送料がかかります)。日本ネットワークイネイブラーのサイト(リンク)著者によるブログ(リンク)本書は、日本ネットワークイネイブラー株式会社(JPNE)による出資のもと、同社が提供する「v6プラス」の要素技術について解説した書籍です。本書のPDF版はJPNEのサイトからも無償で入手できます。「v6プラス」そのものはISP向けに提供されるBtoBサービスであり、エンドユーザが導入を検討するものではありません。本書の内容も、ISPの立場で「v6プラス」に関する技術情報を必要とする方々を主な対象にしています。NATに関する深い洞察にも繋がるでしょう。本書は、たくさんの図とわかりやすい言葉で、「v6プラス」の全体像を丁寧に解説したものです。発行Haskellは、1990年に誕生した歴史あるプログラミング言語です。強力な型推論を備えた、静的型付きで遅延評価の純粋関数型言語として知られています。Haskellを知ることは、こうした概念の背景にある計算機の理論を知り、それが実際のプログラミングにどのような効果を及ぼすかを知ることでもあります。本書では、さまざまな例題をとおして、関数の組み合わせによりプログラムを自在に構築する力を身に着けられます。その抽象化を支える型と型クラスについて知り、アプリカティブやモナド、Foldable、Traversableといった型クラスによって整理された現代のHaskellプログラミングの姿を学べます。プログラムを手続きではなく宣言として書くことの利点のひとつとしてプログラムの論証を体験し、その応用として、ソース言語の仕様からコンパイラーを算出するという高度な例題に挑戦します。No.1(2020)発行のお知らせ2020年2月14日いつもご来店ありがとうございます。Vol.1、発売開始のお知らせです。本号は、標準化が進行中の新しいトランスポート層プロトコルQUICがどのような方針のもとで設計されているかをバケットフォーマットの詳細から読み解いていく「バケ...もっと読む年末年始の配送についてのお知らせ2019年12月17日いつもご来店ありがとうございます。年末年始の配送事情に伴い、紙の本の発送を下記のとおりお休みいたします。No.3(2019)発売のお知らせ2019年11月01日いつもご来店ありがとうございます。計算機好きのための技術解説情報誌『n月刊ラムダノート』のNo.3ができました。季節の深まりを思わせる濃い紫のNo.3は「パターンマッチ」のミニ特集です。発行データの格納方法を工夫するだけで、魔法みたいにアルゴリズムが導出できる。うまくデータを整頓するだけで、画期的に計算が速くなる。仕事で直面している問題がなかなか解決しないのは、問題に対する適切なデータ構造を知らないから、というだけかもしれません。計算機科学の授業で当たり前のように学ぶさまざまなデータ構造。学部生向けの教科書としてはもちろん、理論を学ぶチャンスがないまま業務でプログラムを開発しているエンジニアや、そもそも学ぶ機会がまだ訪れていない高校生プログラマが、その考え方の基本を学ぼうとするときに手に取るべき一冊です。発行インターネットの歴史そのものであり続けたきたIPv4。そのIPv4アドレスの中央在庫が2011年に枯渇し、いよいよ存在感が増しているIPv6。互換性がないこれら2つのプロトコルが併用され、デュアルスタック状態で運用されているのが、現在のインターネットの実像です。その実像を捉えるには、比較的シンプルな仕組みであったIPv4ベースのネットワークの理解に加えて、近隣探索やアドレス自動生成、マルチプレフィックスといったIPv6ならではの概念を把握することはもちろん、両者を1つのインターネットとして束ねているDNSや、相互接続のためのNATに関する知識が不可欠になります。本書では、いまやネットワーク管理者のみならずアプリケーション開発者にとっても避けては通れないIPv6プロトコルの基本的な仕組み、IPv4とのデュアルスタックを支える技術、そしてIPv4との共存について俯瞰的に解説します。NGNにおけるIPv6接続についても付録にて詳解。数式組版では、すべての要素の配置、サイズ、スペースに意味がある。豊富な組版例と愚例を交えつつ、その理論の体系化を追求した唯一無二の解説書。職業として組版に携わる人にとって必携であることは言うまでもなく、読者として組版された数式を正しく読むときのガイドとして、あるいは、数式をモチーフとした意匠のヒントとしても最適。付録では、LaTeXにおける数式組版の考え方の紹介と、さまざまな数式組版の実例をギャラリー形式で掲載。¥3,200(税込¥3,520)『定理証明手習い』プログラムの正しさは証明できる。発売あるプログラムが、考えられるあらゆる入力に対して誤った動作を引き起さないことは、テストを書いても確かめられません。それを確かめるには、公理と式の等価な書き換えだけで恒真を導いたり、再帰的なプログラムの構造に照した帰納法による証明が必要です。システムプログラミングの世界を知りたいと思ったら、やっぱりC/C++のコードを読むしかないのだろうか......。低レイヤはOSの世界。いまなら、さまざまなOSで動作するプログラムをシンプルに記述できるGo言語があります。本書では、Go言語の実装を掘り下げたり、さまざまなライブラリが利用しているコンピュータシステムの基本的な概念を学びながら、アプリケーション開発者の視点で低レイヤの仕組みを学んでいきます。2016年9月から2017年8月にかけてアスキーjpの「プログラミング+」コーナーで連載された大好評のWebコンテンツを、さらにわかりやすく紙版の書籍として編纂、発売するものです。連載では扱えなかったOSにおける時刻・タイマー、およびセキュリティ関連の情報を加筆。豊富なイラストも全面的に改訂のうえ収録しています。1.3対応版へのPDFアップグレードが可能です(ユーザ登録が必要です)現代生活を支えるネットワークにとって、通信の暗号化は不可欠の機能です。実際のインターネットで暗号化通信を利用できるようにするには、暗号化アルゴリズムの知識だけでなく、セキュリティプロトコルとその実装技術、さらに、基盤となる信頼モデルについての幅広い知識と経験が必要になります。最低限の機能なら、こんなに簡単にインタプリタを作れます。本書は、2016年9月から2017年1月にかけてアスキーjpの「プログラミング+」コーナーで連載された大好評のWebコンテンツ『Rubyで学ぶRuby』を、さらにわかりやすく紙版の書籍として編纂しなおして限定発売。豊富なイラストもカラーで完全採録したものです。