紙書籍をお届けします（PDFがついてきます） PDFのみが必要な場合は、こちらのPDF単品をお求めください PDFは購入後すぐにダウンロード可能です 紙書籍は通常、ご注文から2～3営業日で発送します 年末年始や大型連休など、1週間から10日程度、配送のお休みをいただく場合があります。詳しくはお知らせをご覧ください プログラムが、手続きでなく、関数と型に見えてくる Graham Hutton 著、山本和彦 訳 328ページ A5判 ISBN：978-4-908686-07-8 2019年8月2日 第1版第1刷 発行 翻訳者による補足情報があります（リンク） 正誤情報 Haskellは、1990年に誕生した歴史あるプログラミング言語です。強力な型推論を備えた、静的型付きで遅延評価の純粋関数型言語として知られています。Haskellを知ることは、こうした概念の背景にある計算機の理論を知り、それが

プロジェクト・ヘイル・メアリー　上 (ハヤカワ文庫SF) 作者:アンディ ウィアー早川書房Amazon映画『プロジェクト・ヘイル・メアリー』が洋画として久々の大ヒット、ということで、原作小説も合わせて大きく話題になっているようだ。僕も映画を公開初日に観に行ったが、上下巻の原作小説を二時間半にまとめるために、様々な要素をカット、改変しながらも、コアな側面は外さず「映画版」として再構築し、特にファーストコンタクトもののＳＦ映画としては、間違いなく歴史に残る作品といえる。*1 その原作にあたる同名小説は翻訳ＳＦとしては近年最大のヒット作で、ファーストコンタクトに科学的な探求譚に人類の危機といった壮大なスケールの物語が上下巻でまとまっているという点で、初心者にもおすすめしやすい、内容的にも傑作だった。そのうえ、この絶望の時代に、非常にポジティブな気持ちにさせてくれる作品でもあり、ある意味、今この瞬

ニフティで「ココログ」を作り、はてなでCTOとして「はてなブックマーク」などを生み出す過程で、大規模データの構築、検索などの技術を体系化し、それを技術ブログで公開するなどして大規模ウェブサービスの基礎を共有化し、コミュニティを盛り上げた。現在はホテル予約サイト「一休.com」のCTO。 CTOは技術力がないといけない 読書は、その人が持っているコンテキストと合わさってその人の読書体験になっているので、「これを読むべき」というようなお薦めをすることはないです。今回は、単純に過去に僕が読んで良かった本を紹介したいと思います。「これを他の人も読むべき」と思っているものではなく、「今思えばこの本を読んでおいて良かったな」という本です。もっとビジネス書みたいなものを期待されているのかもしれませんが、あまりそういうものはなく、技術的な書籍を紹介していきます。 おそらく、CTOの肩書きを持っている人で「

どんなにインターネット上に大量の情報がある時代になっても、生成AIに聞けば答えが出る時代になろうとも、「他者の経験や専門家の思考が整理されてまとまっている書籍」の価値は薄まらない。むしろ高まってるかもしれない。 と、いうわけで2年ぶりに「読んで良かった本」を振り返ろうと思う。過去記事で紹介した本もオススメしたいので時間あったら読んでね。 ここ数年で一番良かったな〜と思えた本は、この記事の後半に書いているので、もしそこだけ読みたい人はｽｽｽｯとスクロールして後ろのほうを読んでね。 デザイナーが意図を伝えるための『デザインの伝え方』 ぼくはデザイナーではないのだけど、この本は読んで良かった。 以下のツイートの通り、会議の準備や合意に至らない場合のフォローアップの仕方などが書かれている。 「エゴは会議室の前で捨てる」がブッ刺さった。 デザイナーが組織の合意を得るためのO'Reilly「デザインの

AI を活用するための技術というのはとりわけ新しいものではなく、過去の知見を基盤として構築されていることが多いです。それゆえに、AI 時代だからこそ基礎的な知識を体系的に学ぶことができる書籍に学ぶことに価値を求めるのです。この記事では 2025 年に読んで特に印象に残った本をいくつか紹介します。 2025 年はとりわけ AI 関連の書籍が多く出版された年であったように感じました。しかし AI を活用するための技術というのはとりわけ新しいものではなく、過去の知見を基盤として構築されていることが多いです。コーディングの分野でも AI によるコード生成を魔法として捉えるのではなく、自分のプログラマーとしての能力を増幅させるためのツールとして捉え、ツールを熟達し磨き上げより良いものにすることが重要なのです。このことはまさに 達人プログラマー に書かれている内容と通じるものがあります。AI 時代だか

ご来店ありがとうございます。新刊発売予定のお知らせです。 2025年9月4日（木）、井上亜星著 『ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発』の発売を予定しています。 書名にもある通り、本書はLeanという比較的新しいプログラミング言語の入門書です。プログラミング言語としてのLeanは、いわゆる関数型言語の仲間と言えます。 他の関数型言語、とくにHaskellを使ったことがあれば、典型的なアルゴリズムやデータ構造を扱うLeanのコードをなんとなく書けるかもしれません。その程度には「ふつうの言語」であるとも言えます。 しかしLeanには「ふつうの言語」にはない大きな特長もあります。具体的には、「数学の証明をソフトウェアとして形式化できる」あるいは「プログラムの挙動に対する証明ができる」という、定理証明系としての側面です。本書では、そのうち「数学の証明をソフトウ

あすなろ @readingmaururer #一番感動した本 ストレートに訊きます あなたが今まで読んだ中で一番感動した本は何ですか？ 感動と言ってもいろいろある。 「涙が止まらなかった」 「首がもげるほど賛同して頷いた」 喜怒哀楽何でも結構。 感動とは心が動くこと。 あなたの心のいちばん中心に刺さっている本を紹介してください。 2025-04-08 20:22:59

想像を超える一冊 書店で『もう一度プログラミングをはじめてみませんか？』（山崎晴可・山崎彩子著／技術評論社）を手に取りました。 もう一度プログラミングをはじめてみませんか？ ――人生を再起動するサバイバルガイド 山崎晴可，山崎彩子　著 新刊案内のタイトルで「初心者向けの再入門書」という印象を受けて、あまり興味を持っていなかったのですが、実際に手に取って、それがまったく違うことに気づきました。 序章「再起動」には、障害者支援技術を手作りして、ある人の人生を支えたことが、静かに、しかし確かな手触りで描かれていました。 「こんな時代に、こんな形で作られた支援技術があったのか」と、私は衝撃を受けました。 この「序章」は「サンプルPDFファイル」として公開されています。 私の勝手な憶測 序章とは異なり、本編では、障害のある人についての明示的な言及は登場しません。 勝手な憶測ですが、私は、そこにも著者

昨年はkindle umlimitedを契約したことを書いたのですが、会社がスキルアップにお金使ったら半分出してくれるってことになり、ビジネス書とかも読んでるぜって申請したら無事承認通ったので、ぬくぬくと投資の本を読んでま・・・と言いたいのですが、サブスクって暇な時間を豊かにしてくれるけれど、余裕がない人には不向きかもしれないですね。ただ通勤の往復でいつも本を読んでいたおかげでなんだかんだで今年も109冊読むことができました。昨年はYouTubeに侵食されつつあると言ってましたが、今年はさらにAbemaTVばかり見ちゃってます。Mリーグ面白くて仕方がない今日この頃です。 ■びっくりして呼吸止まったわ 「ヨモツイクサ」知念実希人 ヨモツイクサ 作者:知念 実希人双葉社Amazonすげー怖くて、すげー驚いた。重い本だと思うのだけれど、呼吸するのも忘れて一気に読んでいたところであれですよあれ。ホ

10/30　皆さまアザーーーーーーーーーーッス!!!! お陰でほしいものリストが50冊以上増えました 感涙です😭😭😭泣 ＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿ 当方30才社会人である。今年に入って、 「完全なる経営」エ-ブラハム・ハロルド・マズロ- (著), 単行本 – 2001/11/30 という書籍を読んだ。昔気質の経営哲学の内容だと思っていたが、神レベルの良書だった。 「マネジメント」「経営者の条件」などドラッカーの名著にも匹敵する。 若い頃から本好きだったけど、こんなレベルの本を読み逃してたと思うと慚愧に耐えない気分である。 よろしければ、皆さんにとってもバイブル本があれば是非教えていただきたい。 密林で検索して、よさそうであれば購入しようと思ってる。

無限病院 医院 作者:韓 松早川書房Amazonこの『無限病院』は、中国SF四天王の一角にして『三体』の劉慈欣と並び称される韓松による〈医院〉三部作の開幕篇だ。帯の惹句には劉慈欣が『中国のSFをピラミッドとするならば、私が書くような二次元のSFはその土台、韓松が書く三次元のSFはその頂点だ。』と寄せていて、読み始める前からハードルは上がりに上がっていた。 それが実際読み始めると冒頭130ページほどは正直いって何を言っているのかよくわからず、そもそも世界はおかしいのだが、同時におかしな登場人物たちが理屈が通るような通らぬようなことをばらばらに語っている。冒頭は不条理のカフカか幻覚のディックかといった間をふらふらとさまよいつつ、次第に物語は世における医療と未来を問う医療SFと化し、そのままSF的に展開するのかと思いきや、中盤以降は突然村上春樹的なメタファーとセックスに溢れた世界に突入し──と、

ボタンをクリックするとこのブログを購読できます。よろしくお願いします。 ●はじめに――ちょっと地球をひっくり返してみませんか？ ①法月綸太郎「カニバリズム小論」 ・同じ作家のオススメ短編集 ②麻耶雄嵩「遠くで瑠璃鳥の鳴く声が聞こえる」 ・同じ作家のオススメ短編集 ③乙一「華歌」 ・同じ作家のオススメ短編集 ④綾辻行人「どんどん橋、落ちた」 ・同じ作家のオススメ短編集 ⑤連城三紀彦「親愛なるエスくんへ」 ・同じ作家のオススメ短編集 ⑥川島誠「電話がなっている」 ・同じ作家のオススメ短編集 ⑦森博嗣「卒業文集」 ・同じ作家のオススメ短編集 ⑧山本周五郎「なんの花か薫る」 ・同じ作家のオススメ短編集 ⑨栗本薫「コギト」 ・同じ作家のオススメ短編集 ⑩鮎川哲也「達也が嗤う」 ・同じ作家のオススメ短編集 ⑪ジェイムズ・ティプトリー・ジュニア「男たちの知らない女」 ・同じ作家のオススメ短編集 ⑫シオド

森絵都 DIVE!! あさのあつこ バッテリー 上橋菜穂子 守り人シリーズ 高飛び込みの玉井選手の銀メダルを見て胸が熱くなったので。 【追記】 こんなにたくさんブコメが集まるとは思っていなかったので驚いた。おまいらのお気に入りを知ることができて嬉しい。 ちなみに増田は作家読みしていて、乙一や椎名誠、群ようこ、有川浩あたりもハマった。

2011年7月15日にオープンしたノンフィクション書評サイトHONZ。本日2024年7月15日をもちまして13年間のサイト運営に終止符を打つこととなりました。 2011年の東日本大震災から、記憶に新しいコロナ禍まで。はたまたFacebookの時代からChatGPTの到来まで。その間に紹介してきた記事の総数は6105本。 発売3ヶ月以内の新刊ノンフィクションという条件のもと、数々のおすすめ本を紹介する中で、様々な出会いに恵まれました。信じられないような登場人物たち、それを軽やかなエンターテイメントのように伝える著者の方たち、その裏側で悪戦苦闘を繰り広げていたであろう版元や翻訳者の皆さま。さらに読者へ届ける取次会社や書店員の皆さま、そしてHONZを愛してくださったすべての皆さま、本当にありがとうございました。 サイトを閉じることになった理由に、明快なものは特にありません。こんなサイトがあったら

ドメイン駆動設計と関数型プログラミングを組み合わせることで、顧客満足度の向上、開発サイクルの短縮、無駄な作業の削減を実現できます。本書では、ビジネスドメインの例とF#のコードで、ビジネスに焦点を当てた、柔軟で高品質なソフトウェアを構築する方法を紹介します。たとえば、F#の型システムを使って複雑なドメインをモデル化し、読みやすいドキュメントにもなるコードを作成します。また、ビジネスルールをエンコードして「コンパイル時ユニットテスト」を作成することで、不正な状態を表現できないようにして潜在的なバグを排除します。関数型プログラミングの核となる原則を適用することで、実世界の要求をエレガントかつ簡潔にモデル化したソフトウェア設計を実現できます。 ドメイン駆動設計と関数型プログラミングを組み合わせることで、顧客満足度の向上、開発サイクルの短縮、無駄な作業の削減を実現できます。本書では、ビジネスドメイン

グラフニューラルネットワーク (機械学習プロフェッショナルシリーズ) 作者:佐藤 竜馬講談社Amazon 講談社より『グラフニューラルネットワーク（機械学習プロフェッショナルシリーズ）』を上梓しました。 グラフニューラルネットワークはグラフデータのためのニューラルネットワークです。化合物やソーシャルネットワークのようなグラフデータの解析に使うことができます。また後で述べるように、テキストも画像もグラフなのでテキストや画像の分析にも使えますし、それらを組み合わせたマルチモーダルなデータにも適用できます。要は何にでも使うことができます。この汎用性がグラフニューラルネットワークの大きな強みです。 本稿ではグラフニューラルネットワークを学ぶモチベーションと、本書でこだわったポイントをご紹介します。 グラフニューラルネットワークは何にでも使える 付加情報をグラフとして表現できる グラフニューラルネッ

はじめに こんにちは！kindle unlimitedヘビーユーザーです。 kindle unlimitedは定額料金で、登録されている書籍が読み放題というサービスです。 今回はその中で私が読んだ書籍から、おすすめのものを紹介します。 現在は1ヶ月の無料体験もできます。 これを機にぜひ良書を1ヶ月で読破してみてはいかがでしょうか。 ※この記事はAmazonアソシエイトに参加していません。 kindle unlimitedで無料で読める超良書45選 さっそく紹介していきます。以下のカテゴリに分けてみました。 ・ビジネス・実用書 ・健康・メンタルヘルス ・エンジニアにおすすめ ・有名人の著書 ・学問に触れてみる ・超有名小説 ・超有名漫画 これから紹介する本を読んでみて分かったことは、共通している内容が非常に多いということです。 それらは言うまでもなく人生において重要だと考えさせられる内容でし

ブラックフライデーには何を買うべきか。 最もおすすめなのはKindle本である。 俺が近年に読んだ中からセール対象のKindle本を紹介しよう。 セールまで待つ人へ 俺はことあるごとに本を紹介しているわけだが、クリック数の割に買われないなと思うことがある。なぜこんなことが起きるのか。 俺は役立つか面白い本しか紹介していないわけだから、まさか購入ページまで行って「やっぱ止めるか」となるのは考えにくい。となれば理由はただ一つ。「安くなったら買おう」と考え、欲しい物リストに入れる人が多いのだ。俺がそういう動きをしているのだから当然だ。 そんな人に朗報である。Amazonブラックフライデーで、様々なKindle本が大幅に値下げしている。その中には俺が紹介した本も多い。ということで今まさにセール対象でおすすめの本を紹介することにした。ポイントアップキャンペーンは11/22 (水) の買い物から対象と

先日某所で「最近プログラミングを始めた入門者（だったかな？）に勧められるオブジェクト指向の本を教えてほしい」みたいな質問をいただいたのですが（うろ覚えなのでちょっと違っているかも）、その場で即答できず考え込んでしまいました。ですが、遅ればせながら選書してみたので、その内容をここに書いておきます。 とはいえ、改めて考えてみても、2023年に入門者向けのオブジェクト指向の本を探すのはなかなか難しいですよね…。もちろんオブジェクト指向じゃなければ簡単かと言われるとそういう訳でもないですが。とりわけオブジェクト指向に関する書籍の場合、海外のよく知られている書籍は少し前に翻訳されたものが多くて、最近はこれというのがなかなか思いつきません。また日本でも良書がばんばん出てるわけでもなさそうです。 この辺りは、オブジェクト指向に関する技術はもはや当たり前のものとなってしまっていて、今さら旬のトピックでもな