ご来店ありがとうございます。新刊発売予定のお知らせです。 2025年9月4日（木）、井上亜星著 『ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発』の発売を予定しています。 書名にもある通り、本書はLeanという比較的新しいプログラミング言語の入門書です。プログラミング言語としてのLeanは、いわゆる関数型言語の仲間と言えます。 他の関数型言語、とくにHaskellを使ったことがあれば、典型的なアルゴリズムやデータ構造を扱うLeanのコードをなんとなく書けるかもしれません。その程度には「ふつうの言語」であるとも言えます。 しかしLeanには「ふつうの言語」にはない大きな特長もあります。具体的には、「数学の証明をソフトウェアとして形式化できる」あるいは「プログラムの挙動に対する証明ができる」という、定理証明系としての側面です。本書では、そのうち「数学の証明をソフトウ
想像を超える一冊 書店で『もう一度プログラミングをはじめてみませんか？』（山崎晴可・山崎彩子著／技術評論社）を手に取りました。 もう一度プログラミングをはじめてみませんか？ ――人生を再起動するサバイバルガイド 山崎晴可，山崎彩子 著 新刊案内のタイトルで「初心者向けの再入門書」という印象を受けて、あまり興味を持っていなかったのですが、実際に手に取って、それがまったく違うことに気づきました。 序章「再起動」には、障害者支援技術を手作りして、ある人の人生を支えたことが、静かに、しかし確かな手触りで描かれていました。 「こんな時代に、こんな形で作られた支援技術があったのか」と、私は衝撃を受けました。 この「序章」は「サンプル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年に入門者向けのオブジェクト指向の本を探すのはなかなか難しいですよね…。もちろんオブジェクト指向じゃなければ簡単かと言われるとそういう訳でもないですが。とりわけオブジェクト指向に関する書籍の場合、海外のよく知られている書籍は少し前に翻訳されたものが多くて、最近はこれというのがなかなか思いつきません。また日本でも良書がばんばん出てるわけでもなさそうです。 この辺りは、オブジェクト指向に関する技術はもはや当たり前のものとなってしまっていて、今さら旬のトピックでもな
こんな話を聞いた。 ビジネスマンが、男に尋ねる。 「本は読むかい？」 「まぁ、多少は」男が答える。 「どういうのを読む？」 「小説ですかね、主にSFとか」 ビジネスマンは自分の仕事に誇りを持っている。 今、世界の経済に自分は最先端の場所で関わっていることを。 それこそがビジネスマンのアイデンティティであり、全てであった。 「小説って、それを読んで何になるの？」 「何になるって、どういう意味？」男は訊ねる。 「いや、だって小説って作り話でしょ？ この世にない架空の話でしょ？ それって今の世の中を動かすものではないよね？」 ビジネスマンは悪意をもって質問しているわけではなさそうで、真顔でそう言った。 男が返答に困っていると、ビジネスマンはこう続けた。 「俺は自己啓発系か、ビジネス書しか読まないよ。それが今生きている者には一番必要だから」 男は少し考えてこう返した。 「作り話（フィクション）が何
どうも、読書中毒ブロガーの ひろたつです。一生寝てたいタイプです。 今回は界隈が大盛りあがりだった企画。 いらん前置き まだ続くいらん前置き SFが生み出す“熱” 集計の概要 40位 4票 39位 5票 38位 6票 37位 7票 36位 8票 35位 9票 34位 10票 33位 11票 32位 12票 31位 13票 30位 14票 29位 15票 28位 16票 27位 17票 26位 18票 25位 19票 24位 20票 23位 21票 22位 22票 21位 24票 20位 25票 19位 26票 18位 29票 17位 31票 16位 34票 15位 35票 14位 39票 13位 42票 12位 49票 11位
今年の上半期に読んでよかった本たちです。 「人生の短さについて 他2篇」セネカ とにかく本を読め 本をたくさん読めば、”いつ最後の日が訪れ”てもよくなる 「断片的なものの社会学」岸 政彦 本は自分と外界を繋ぐもの 「キリンに雷が落ちてどうする 少し考える日々」品田 遊 自分の文章を書き残す意義 「出セイカツ記：衣食住という不安からの逃避行」ワクサカ ソウヘイ 悪戦苦闘している様子はどこかコミカルで愛しい 読了した本リスト 「人生の短さについて 他2篇」セネカ 人生の短さについて 他2篇 (光文社古典新訳文庫) 作者:セネカ 光文社 Amazon 人間の誤りを乗り越えた偉大な人物は、自分の時間から、なにひとつ取り去られることを許さない。それゆえ、彼の人生はきわめて長いのである。なぜなら、彼は、自分の自由になる時間が長かろうが短かろうが、それをすべて自分のためだけに使うからだ。彼の時間が使われ
定価 1,628円（本体1,480円＋税10%） 1,791円（本体1,628円＋税10%） 発売日 2022.12.24［在庫なし］ 判型 B5 頁数 176ページ ISBN 978-4-297-13245-3 978-4-297-13246-0 概要 特集1 古い常識を捨て適切に使う オブジェクト指向神話からの脱却 抽象データ型、ステートマシン、レイヤ構造 オブジェクト指向は1990年代を中心に大流行し開発技術を発展させ、プログラミングにおいて不可欠な技術になりました。その後コンピュータの発展とともにそのままでは適用が難しくなり定義があいまいになっても、「オブジェクト指向を使うと良いプログラムが作れる」といった神話のように扱われています。本特集ではオブジェクト指向技術がどういったものかを解説し、その特性がどのように分解されて現在のプログラミングに適用されているかを明確にすることで、神話
「花子が 本を 読む」という文では、助詞「が」によって、「花子」が「読む」主体でありこの文の主語であること、助詞「を」によって、「本」が「読む」対象でありこの文の目的語であることが示されている。日本語のこれらの助詞のように、名詞句が述語などに対してどのような意味的・文法的関係にあるかを表す形態的な手段を、格 (case) と呼ぶ。 現代標準語、特に改まった書き言葉では、「雨が降る」「花子が本を読む」のように、自動詞文・他動詞文の主語は助詞「が」、他動詞文の目的語は助詞「を」を付けて表される。だが、くだけた話し言葉では「花子が 本 読む」のように目的語は無助詞で表されることが多く、自動詞文の主語も「あ、雨 降ってきたよ」のように無助詞になることがある。さまざまな地域の方言を見ると、主語に「の」、目的語に「ば」「ごと」など異なる助詞を使う方言や、「花子 本 読む」のように他動詞文の主語も無助詞
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く