いつもご来店ありがとうございます。計算機好きのための技術解説情報誌『n月刊ラムダノート』Vol.5 No.2の発売開始のお知らせです。本号は以下の2つの記事でお送りします。 読むとモナドが不思議でなくなる「do式でわかるモナドとその仲間たち」（石井大海／konn 著） 読むと非純粋な作用が不思議でなくなる「作りながら考えるエフェクトシステム」（近藤亮介／Kory 著） どこで買えるの？...

ご来店ありがとうございます。新刊発売予定のお知らせです。 2025年9月4日（木）、井上亜星著 『ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発』の発売を予定しています。 書名にもある通り、本書はLeanという比較的新しいプログラミング言語の入門書です。プログラミング言語としてのLeanは、いわゆる関数型言語の仲間と言えます。 他の関数型言語、とくにHaskell...

ご来店ありがとうございます。当店直販における紙版の発送につきまして、お盆期間中に入るため、下記のとおりお休みいたします。 8月8日（金）から8月15日（金）まで（8月7日（木）中のご注文分までお盆前発送） 上記期間中のご注文につきましては、8月18日（月）より順次発送となります。紙の書籍がお手元に届くまでお時間をいただきますが、なにとぞご了承ください。電子書籍につきましては、配送のお休みをい...

いつもご来店ありがとうございます。2025年の大型連休に伴う、紙書籍の発送およびお問い合わせ対応についてのお知らせです。 紙書籍の発送につきましては、連休中も基本的にはカレンダー通りの営業日に手配を行う予定です。そのため、5/2（金）以降にいただいたご注文につきましては、5/7（水）より順次の発送手配となります。通常よりもお届けまでお時間を頂戴いたしますので、連休中にお読みになりたい書籍がご...

遠藤侑介 著 184ページ A5判 ISBN：978-4-908686-20-7 型システムがようやくわかった！ TypeScriptのサブ言語に対する型検査器を実装しながら、実用的なプログラミング言語の機能が型システムでどう実現できるかを見ていきます。AST（抽象構文木）や処理系の実装を通してプログラミングへの理解を深めるように、型検査器の実装を通して「型システムのしくみ」を覗いてみましょう！

ご来店ありがとうございます。 2025年4月18日発売の『型システムのしくみ ― TypeScriptで実装しながら学ぶ型とプログラミング言語』（遠藤侑介著）は、『n月刊ラムダノート Vol.4 No.3』掲載の記事「TypeScriptではじめる型システム」が基になっています。すでに同記事をお読みになった方への感謝を込めて、『n月刊ラムダノート Vol.4 No.3』をお持ちの方を対象に、...

ご来店ありがとうございます。新刊発売予定のお知らせです。 2025年4月18日（金）、遠藤侑介著『型システムのしくみ ― TypeScriptで実装しながら学ぶ型とプログラミング言語』の発売を予定しています。なお、2025年4月16日（水）から開催されるRubyKaigi 2025会場のBOOKSTOREにて、著者サイン会に合わせた先行発売を予定しています（紙書籍のみ。部数には限りがあります...

いつもご来店ありがとうございます。 現在品切れとなっております『定理証明手習い』について、3月下旬に第2刷が出来する予定です。いましばらくお待ちください。 今回の増刷に伴い、2025年3月4日（火）から同書の本体価格を3,600円（消費税込3,960円）に改定いたします（従来の本体価格は3,200円）。 直販サイト限定のPDF版セットおよび電子書籍単体での価格についても下記のように変更となり...

いつもご来店ありがとうございます。計算機好きのための技術解説情報誌『n月刊ラムダノート』Vol.5 No.1の発売開始のお知らせです。本号は以下の3つの記事でお送りします。 著名な数学者からも注目を集める関数型言語Leanのチュートリアルを通し、数学とプログラミングの深いつながりを感じる「自然数を作って学ぶLean言語」（井上亜星 著） ブラウザが文字列を描画するときに背後で何が起きているの...

いつもご来店くださりありがとうございます。 当直販サイトでは決済手続きにShopifyを採用していますが、2025年1月6日よりShopifyを利用する販売サイトにおいてAmazon Payの利用ができなくなります。お客様にはご不便をおかけいたしますが、なにとぞご了承くださいますようお願い申し上げます。通常のクレジットカードやコンビニ決済は引き続きご利用いただけますので、これまでAmazon...

いつもご来店ありがとうございます。計算機好きのための技術解説情報誌『n月刊ラムダノート』Vol.4 No.3の発売開始のお知らせです。本号は以下の3つの記事でお送りします。 型システムとは何なのか、はたして型安全とは何なのか。数学的な証明は表に出さず、TypeScriptのサブセット言語とその型検査器の実装を通して今度こそ型システムに入門する「TypeScriptではじめる型システム」（遠藤侑介...

いつもご来店ありがとうございます。計算機好きのための技術解説情報誌『n月刊ラムダノート』Vol.4 No.3の発売開始のお知らせです。本号は以下の3つの記事でお送りします。 型システムとは何なのか、はたして型安全とは何なのか。数学的な証明は表に出さず、TypeScriptのサブセット言語とその型検査器の実装を通して今度こそ型システムに入門する「TypeScriptではじめる型システム」（遠藤侑介...

ご来店ありがとうございます。 2022年7月にラムダノートから発行した『ピアリング戦記 ― インターネットを繋ぐ技術者たち』（小川晃通 著）につきまして、有志の方々が翻訳された英語版 “Peering Chronicles of Japan” のEPUB書籍を当社サイトにて2024年8月21日より無償公開いたしました。

いつもご来店ありがとうございます。計算機好きのための技術解説情報誌『n月刊ラムダノート』Vol.4 No.2の発売開始のお知らせです。本号は以下の3つの記事でお送りします。 各種ウェブサービスで認証の起点になることさえありながら自身の安全性や到達性に対するアンビバレンスもぬぐえないEメール。その仕組みを40年にわたって支えてきたSMTPの歴史をたどる「SMTP、どうしてこうなった」（梶原龍 著）...

ご来店ありがとうございます。『OpenSSLクックブック』改訂と、それを記念した『プロフェッショナルTLS&PKI』電子版の期間限定大特価セール（記事の末尾を参照）のお知らせです。 ［5月9日追記］本セールは終了しています 『OpenSSLクックブック』は、OpenSSLのコマンドラインツールについて扱った無償の小冊子で、Ivan Ristić著 ‟ OpenSSL Cookbook ” の...

ご来店ありがとうございます。『OpenSSLクックブック』改訂と、それを記念した『プロフェッショナルTLS&PKI』電子版の期間限定大特価セール（記事の末尾を参照）のお知らせです。 ［5月9日追��］本セールは終了しています 『OpenSSLクックブック』は、OpenSSLのコマンドラインツールについて扱った無償の小冊子で、Ivan Ristić著 ‟ OpenSSL Cookbook ” の...

いつもご来店ありがとうございます。計算機好きのための技術解説情報誌『n月刊ラムダノート』Vol.4 No.1の発売開始のお知らせです。本号は以下の3つの記事でお送りします。 継続して発生するデータを即座に処理していくシステムに共通する考え方から作り方までを端的に駆け抜ける「手を動かして学ぶストリーム処理入門」（中谷翔 著） ブラウザでC言語のプログラムがなんでも動くって言うけれどほんとのとこ...

いつもご来店ありがとうございます。年末年始の配送事情に伴い、紙の本の発送を下記のとおりお休みいたします。 休業期間：12月27日（水）から1月8日（月）まで 12月26日（火）までのご注文は年内に発送の予定ですが、余裕をもってのご注文をお願いいたします。 年明けの発送は1月9（火）からを予定しております（電子書籍については、配送のお休みをいただいている間もすぐにダウンロードしてお楽しみいただ...