サクサク読めて、
アプリ限定の機能も多数！
アプリで開く
ご来店ありがとうございます。新刊発売予定のお知らせです。 2025年9月4日（木）、井上亜星著 『ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発』の発売を予定しています。 書名にもある通り、本書はLeanという比較的新しいプログラミング言語の入門書です。プログラミング言語としてのLeanは、いわゆる関数型言語の仲間と言えます。 他の関数型言語、とくにHaskellを使ったことがあれば、典型的なアルゴリズムやデータ構造を扱うLeanのコードをなんとなく書けるかもしれません。その程度には「ふつうの言語」であるとも言えます。 しかしLeanには「ふつうの言語」にはない大きな特長もあります。具体的には、「数学の証明をソフトウェアとして形式化できる」あるいは「プログラムの挙動に対する証明ができる」という、定理証明系としての側面です。本書では、そのうち「数学の証明をソフトウ
今回の記事では，拙著『ストリング図で学ぶ圏論の基礎』の裏話として，本書を執筆した動機と，ほかの方からのフィードバック，さらに読者へのメッセージについてお話ししたいと思います。本書を執筆した動機私の専門は，信号処理や量子論です。信号処理アルゴリズムを開発する際には，そのデータの流れを図示することがよくあります。また，量子論においても，視覚的な理解を助けるために一連のプロセスをしばしば図で表します。これらの図が圏論のストリング図に相当するものであることを後で知り，圏論に興味を持ちました。量子論では，その対称性を記述するために群論がよく使われるのですが，圏論が群論をある意味で一般化した理論であるということも，圏論を学びたいと思った理由の一つです。また，圏論と関連がある関数型プログラミングに興味をもっていたことも理由として挙げられます。 このため，圏論の基礎をしっかりと学ぶことにしました。そこで
ソフトウェアアーキテクチャとは、ソフトウェアシステムの成功に欠かせない重要な土台です。そのためソフトウェア開発者には、効果的なアーキテクチャを実現するスキルが求められます。本書は、そうした効果的なアーキテクチャを設計、構築、維持するアーキテクトになるために必要なスキルや知識を、現代的な視点から整理して包括的に解説する書籍です。 ソフトウェアアーキテクチャの定義から、アーキテクトの役割、モジュールや結合、アーキテクチャスタイルといったアーキテクチャ設計の基礎、チームやステークホルダーと効果的にコラボレーションしていくために必要なソフトスキルまで、さまざまなトピックについて実践的な例とともに説明します。 正誤表 書籍発行後に気づいた誤植や更新された情報を掲載しています。お手持ちの書籍では、すでに修正が施されている場合がありますので、書籍最終ページの奥付でお手持ちの書籍の刷数をご確認の上、ご利用
グラフニューラルネットワーク (機械学習プロフェッショナルシリーズ) 作者:佐藤 竜馬講談社Amazon 講談社より『グラフニューラルネットワーク（機械学習プロフェッショナルシリーズ）』を上梓しました。 グラフニューラルネットワークはグラフデータのためのニューラルネットワークです。化合物やソーシャルネットワークのようなグラフデータの解析に使うことができます。また後で述べるように、テキストも画像もグラフなのでテキストや画像の分析にも使えますし、それらを組み合わせたマルチモーダルなデータにも適用できます。要は何にでも使うことができます。この汎用性がグラフニューラルネットワークの大きな強みです。本稿ではグラフニューラルネットワークを学ぶモチベーションと、本書でこだわったポイントをご紹介します。 グラフニューラルネットワークは何にでも使える 付加情報をグラフとして表現できる グラフニューラルネッ
本書は、渡辺澄夫氏によって提案されたWAICおよびWBICの理論的根拠を与えるとともに、ベイズ統計学のためのソフトウェアStanによる実装を導入し、解析関数、経験過程、代数幾何、状態密度の公式などの数学をできる限りやさしく解説したものである。特に、代数幾何は例を数多く掲載した。対象読者は大学基礎課程の統計学の知識がある方、WAICやWBICの本質を知りたい方、『統計的機械学習の数理100問 with R』程度の知識がある方を想定している。 「渡辺澄夫ベイズ理論」という言葉は、渡辺氏の30年来の友人である著者が、本書を執筆するにあたって命名したものである。そこには「WAICの正当化」をはるかに超えるドラマがあった。赤池の情報量規準、甘利の情報幾何とならぶ日本統計学の偉業として渡辺澄夫氏の業績を多くの方に知っていただきたいというのが本書の願いである。 第0章 やさしく学べる渡辺澄夫ベイズ理論
美しいコードを見ると感動する。優れたコードは見た瞬間に何をしているかが伝わってくる。そういうコードは使うのが楽しいし、自分のコードもそうあるべきだと思わせてくれる。本書の目的は、君のコードを良くすることだ。（本書「はじめに」より） コードは理解しやすくなければならない。本書はこの原則を日々のコーディングの様々な場面に当てはめる方法を紹介します。名前の付け方、コメントの書き方など表面上の改善について。コードを動かすための制御フロー、論理式、変数などループとロジックについて。またコードを再構成するための方法。さらにテストの書き方などについて、楽しいイラストと共に説明しています。日本語版ではRubyやgroongaのコミッタとしても著名な須藤功平氏による解説を収録。 正誤表 書籍発行後に気づいた誤植や更新された情報を掲載しています。お手持ちの書籍では、すでに修正が施されている場合がありますので、
「理論、データ、歴史、批判的思考――社会科学の頂点のひとつがここにある。格差は誰かのせいでも、ましてや自分のせいでもない。それは資本主義のシステムにあるのだ」 吉田徹（同志社大学教授） 『エコノミスト』誌ベストブック 『フィナンシャルタイムズ』紙ベストブック 『フォーリン・アフェアーズ』誌ベストブック 『プロマーケット』誌ベストブック 『プロスペクト』誌ベストブック 「われわれの未来についての、重要な問題をすべて提示している」ゴードン・ブラウン（元英首相） 「経済統計の第一人者[による]豊かな議論だ」ジェームズ・K・ガルブレイス（テキサス大学オースティン校教授） 「北京に住むのか、ニューヨークに住むのか、決断のときは近づいている」エドワード・ルース（『フィナンシャル・タイムズ』紙） 「この二つの資本主義が世界情勢を支配している。両者の共進化が今後数十年の歴史を形成することになるだろう」『エ
「定理の証明には、いったいどれくらいの公理が必要なのだろう？」――古くは紀元前から、数学にはたびたびこの疑問が投げかけられてきた。この疑問にある種の回答を与えるのが、逆数学とよばれる数学基礎論の一分野である。 逆数学では、“公理”から“定理”を導く通常の数学とは異なり、“定理”に必要な“公理”を探る。これによって、定理どうしを“深さ”で分類したりすることができる。たとえば、「最大値の定理は中間値の定理より“深い”」といった具合だ。本書では、解析学の基礎を通して、逆数学の基本的な考え方を解説。要所要所で歴史的な話題にも触れながら、読者をナビゲートしていく。本書を読み終えた後、読者は、これまで出会ってきた定理たちを少し違った角度から眺めている自分に気づくはずだ。 「数学者は、材料の公理を加工して、定理という製品をつくり出す機械みたいなものか、といえば決してそうではないだろう。むしろ、ある定
政治性の発現、その顕在化の加減、そのありようは人それぞれだし、そうであるべきでもあると私は思っている。 だがしかし、政治性は誰にでもある。 このことは忘れられるべきではないし、忘れてはならないと私は思っている。 何故ならば、実際には誰にでも備わっているはずの政治性は、大きな力によって、あるいはその他の理由で、たやすく見失われ、忘れ（させ）られてしまうからだ。 外山恒一は、本書において、あの手この手で、政治性を賦活し、意識化させ、そして自分の内に芽生えた、いや、はじめから存在していた政治意識を、健やかかつしたたかに育てていくための知識や方法を教えてくれる。本書の構えは極めて実践的だが、しかし同時に、知識や教養や理論の大切さもおろそかにしていない。 まさに「入門」の名に相応しい好著である。 私も一から学び直そうと思う。 佐々木敦（思考家） 【惹句】 そうだ、世の中のせいにしよう。 【目次】
Twitterでたびたび告知させていただいていますが、『施策デザインのための機械学習入門』という本を技術評論社さんから出させていただきます。紙版は8月4日発売（本記事公開の翌日）、電子版は7月30日にすでに発売されています。 gihyo.jp www.amazon.co.jp本書の概要は次の通りです。 予測に基づいた広告配信や商品推薦など，ビジネス施策の個別化や高性能化のために機械学習を利用することが一般的になってきています。その一方で，多くの機械学習エンジニアやデータサイエンティストが，手元のデータに対して良い精度を発揮する予測モデルを得たにもかかわらず，実際のビジネス現場では望ましい結果を得られないという厄介で不可解な現象に直面しています。実はこの問題は，機械学習の実践において本来必要なはずのステップを無視してしまうことに起因すると考えられます。機械学習を用いてビジネス施策をデザイン
L．フロリディのInformation: A Very Short Introductionがついに翻訳された。 邦題は『情報の哲学のために』である。 原書は2010年にOxfordのVery Short Introductionsシリーズから発売され、11年後の今になってようやく翻訳がなされたわけである。嬉しい。 フロリディの翻訳と言えば今年2月に何かが発売されたような気がしないでもないが、あれは錯覚である。 みんなして同じ悪い夢でも見ていたんだろう、きっと。 その錯覚のせいなのか「フロリディの翻訳」と聞くと若干身構えてしまうが、今回の翻訳はまともである。 翻訳を担当したのは図書館情報学や社会情報学などが専門の塩崎氏と河島氏だ。 情報の哲学が専門ではないものの、わりと近い分野からの翻訳ということで、幻となってしまった彼よりかはよっぽど専門家である。 そして、なんと言っても天下の勁草書房か
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
