ソフトウェアの基礎
このページは Software Foundations の日本語翻訳版「ソフトウェアの基礎」です。 「ソフトウェアの基礎(Software Foundations)」シリーズでは、高信頼ソフトウェアに関する広範囲の数学的基礎を学びます。 このシリーズの特徴は、取り扱う内容がすべて形式化されて、さらに機械によって確かめられることです。 これは、それぞれのテキストがCoqのスクリプトファイルそのものとなっていることで実現されています。 読者は、学部生から博士課程の学生や研究者に至るまでの広範囲を想定しています。 論理学やプログラミング言語についての知識は仮定しませんが、ある程度の数学的素養は理解に有用です。 1学期分の講義として、論理の基礎に加えて、プログラミング言語の基礎または検証済み関数型アルゴリズム、あるいは両方の一部を扱うように設計されています。
OCaml Programming: Correct + Efficient + Beautiful — OCaml Programming: Correct + Efficient + Beautiful
Preface About This Book Installing OCaml Introduction 1. Better Programming Through OCaml 1.1. The Past of OCaml 1.2. The Present of OCaml 1.3. Look to Your Future 1.4. A Brief History of CS 3110 1.5. Summary 2. The Basics of OCaml 2.1. The OCaml Toplevel 2.2. Compiling OCaml Programs 2.3. Expressions 2.4. Functions 2.5. Documentation 2.6. Printing 2.7. Debugging 2.8. Summary 2.9. Exercises OCaml
邦訳の刊行が期待される洋書を紹介しまくることにする（2024年版） - YAMDAS現更新履歴
さて、私的ゴールデンウィーク恒例企画である「邦訳の刊行が期待される洋書を紹介しまくることにする」の季節である（過去回は「洋書紹介特集」カテゴリから辿れます）。 以前から書いているが、このブログは一度の更新で5つのエントリを公開するのを通例としており、そうするとそのうちひとつくらいは洋書を紹介するエントリを紛れ込ませることができる。そのおかげで、この一年ブログで紹介してきた洋書をまとめるだけで、今回も全38冊（ワオ！）の洋書を紹介できるわけだ。 ご存じの通りの円安の進行のせいで、これから翻訳書の刊行にブレーキがかかるのかもしれない。それは大きな損失だと思う。また先日ある場所で、日本のネットユーザがますます海外の情報に目を向けなくなったという話が出たのだが、翻訳書が減少したら、その傾向にも拍車がかかるかもしれない。面白そうな洋書を知ったら取り上げることで、その傾向に抗いたいのである。 まぁ、こ
Getting Started - Asynchronous Programming in Rust
Getting Started Welcome to Asynchronous Programming in Rust! If you're looking to start writing asynchronous Rust code, you've come to the right place. Whether you're building a web server, a database, or an operating system, this book will show you how to use Rust's asynchronous programming tools to get the most out of your hardware. What This Book Covers This book aims to be a comprehensive, up-
Mehryar Mohri -- Foundations of Machine Learning - Book
Download (official online versions from MIT Press): book (PDF, HTML). lecture slides. Hardcopy (MIT Press, Amazon). Errata (printing 1). Foundations of Machine Learning Mehryar Mohri, Afshin Rostamizadeh, and Ameet Talwalkar MIT Press, Second Edition, 2018. Copyright in this Work has been licensed exclusively to The MIT Press, http://mitpress.mit.edu, under a Creative Commons CC-BY-NC-ND license.
初心者が言語モデルを勉強するための本（2023年6月版） - ぱたへね
流行のLLMを勉強したくて沢山本を読みました。 この後もしばらくLLM（GPT）関係の出版が続きそうなので、現状の本でまとめてみました。 参考： nowokay.hatenablog.com まとめ。 Transformerの仕組みを知りたい人で、画像のDeep Learningなら分かるって人はVision Transformer入門 言語モデルをデータセットを作る所からやってみたい人には、作ってわかる! 自然言語処理AI とにかくすぐに動かしたい人には、機械学習エンジニアのためのTransformers ビジネス的に何ができるのかを知りたい人はBERT入門 Vision Transformer入門 Vison Transformerになっていますが、Transformerの説明がとても詳しくお勧めです。実際に写経してパーツパーツで動かせるのはこの本だけ。Transformer一点突破な
56か国の177人もの専門家が選りすぐった最高の児童書100選（の邦訳リスト） - YAMDAS現更新履歴
[追記]：内容に誤りがあったので、タイトル並びに本文を修正しました。 www.bbc.com BBC が史上最高の児童書100選を発表しているのだが、これが56か国の177人もの本の専門家による投票結果というのだから力が入っている。 まぁ、ワタシなど映画やアニメでは観ていても、原作をちゃんと読んでいないのがほぼすべてでお恥ずかしい限りなのだけど。 モーリス・センダック『かいじゅうたちのいるところ』（asin:4572002150） ルイス・キャロル『不思議の国のアリス』（asin:4042118038、asin:B01914HLHK） アストリッド・リンドグレーン『長くつ下のピッピ』（asin:4001140144） アントワーヌ・ド・サン＝テグジュペリ『星の王子さま』（asin:4167912880、asin:B06VWT2MYX） J・R・R・トールキン『ホビットの冒険』（asin:4
富士通の実践知が詰まったデザイン思考のテキストブック公開
2021年12月3日に本テキストブックを題材に、デザイン経営の考え方や導入方法、テキストブックの制作秘話などについて語るオンラインイベントが開催されました。下記のリンク先からアーカイブ動画をご覧いただけます。 詳しくはこちら（外部サイト） > 富士通のこれまでの実践から得られたノウハウと、イタリアのミラノ工科大学デザインスクールPOLI.Designの研究成果やフィロソフィーを組み合わせた、デザイン思考のテキストブック「Transformation by Design デジタルトランスフォーメーションに挑戦するデザイン戦略とサービスプランニング」（日本語版・英語版）を公開いたします。このテキストブックはPDFで閲覧可能です。またテキストブック制作の背景や制作チームの想いなど、制作のディレクターを務めた宇多村志伸と高嶋大介に話を聞きましたので、ぜひダウンロードの際に併せてお読みください。
アジアのスケーターたちの横繋がり、それぞれのシーンと"変わらない楽しさ"。中国発スケートボード雑誌『Wandering』 | HEAPS
アジアのスケーターたちの横繋がり、それぞれのシーンと“変わらない楽しさ”。中国発スケートボード雑誌『Wandering』 今月閉会したオリンピック、新競技となったスケートボードでは日本人スケーターがメダルを合計５つを獲得。ツイッターのトレンド１位に「スケボー」がランクインした。 スケートボード熱が高まるいま、取りあげたい一冊が『Wandering Magazine（ワンダリング・マガジン）』。中国で唯一、紙で出版し続けるスケートボードの紙雑誌だ。2018年に上海で創刊し、アジアのストリートスケートボードシーンを発信している。 入手できるのは、アジア13ヶ国のスケートショップでのみ（日本では14箇所のスケートショップでゲットできる）。英語、中国語、日本語、韓国語のマルチリンガル表記で、アジア在住のさまざまなスケーターやスケートシーンに興味を持つ人が手に取ることを想定した作りだ。 アジアの未開
Thinking Forth
Thinking Forth Project This is the homepage of the Thinking Forth project. Thinking Forth captures the philosophy of the language to show users how to write more readable, better maintainable applications. This project makes the book available in electronic form (LaTeX and PDF). The project has two milestones: the reprint and the 21st century version. The reprint is done, scroll down for the ongoi
The Tyranny of Merit - 言語ゲーム
機知に富んだ問答で有名なマイケル・サンデル教授が、現在のアメリカの分断について語る滅茶苦茶面白い本です。多くのアメリカが大統領選挙結果をインチキだと思っているというのは極端な例だけど、日本でも分断は他人事ではありません。こういう分断がどこから来るのか不思議だと思っていましたが、ピッタリな素晴らしい本を見つけました。あまりに面白かったので二度読んで読書メモを書いてしまった。４月に「実力も運のうち」というタイトルで邦訳が出るようなので楽しみです。 INTRODUCTION: 2019 年に全米を震撼させた入試スキャンダルを枕に、大学入試の公平性について語ります。ある入学詐欺師によると、入学試験には「正門」「裏門」「横門」の三つの門があるそうです。「正門」は普通入試、「裏門」は高額寄付者や卒業生の子息の特別枠で、アメリカでは合法です。スキャンダルを生んだ違法な「横門」では、入試監督を直接買収して
「史上最高の本リスト」をいろんな切り口で知ることができるサイト - YAMDAS現更新履歴
Boing Boing 経由で James Wallace Harris の「遂に『戦争と平和』を読み終えた――が、それをお勧めできるか？」を読んでいて、The Greatest Books というサイトを知った。 thegreatestbooks.org このサイトは、本文執筆時点で129ものブックリストを集計したサイトで、要は「史上最高な本」リストのサイトということですね。そのリストは例えば、米アマゾン選定「一生のうちに読むべき100冊」リストや英アマゾン編集者選定「一生のうちに読むべき100冊」リストや Guardian が選ぶ21世紀最高の本リストを含むわけだが、その129ものリストをすべて平等に扱っているわけではないようだ。ともかくこのサイトにおける集計によると、「史上最高の本（フィクション）」上位20作は以下のようになる。 マルセル・プルースト『失われた時を求めて』（asin:
技術書典8 『マイクロカーネルの設計と実装』
@uchan_nosさんのお誘いを受けて，「マイクロカーネル」をまとめた本を書きました。技術書典 応援祭（サークル紹介ページはここ）で頒布します。 著名なオープンソースのマイクロカーネルたち（L4やMINIX3など）と拙作のReseaの実装（バージョン0.1.0）を交えながら，細かすぎて伝わらないマイクロカーネルの設計・実装のポイントを解説しています。 マイクロカーネルのサーベイ論文のようなものとしてご活用ください。 電子版のダウンロード 電子版はこちらからダウンロードできます（無料） 書籍版の入手 書籍版はBOOTHで頒布してます（3月上旬入荷予定） Reseaのソースコード GitHubで公開しています
はてなスタッフによるオススメのマンガ座談会＜少年・青年向け作品編＞ - はてなニュース
時にはギャグで、時にはシリアスな描写で、子供から大人まであらゆる世界へ誘ってくれる“マンガ”。あなたは、どの作品が好きですか？今日は、マンガ好きなはてなスタッフに、最近ハマっている作品や、好きなマンガ家、一読すべき作品などを自由に談義してもらいました。参加者はid:onishi、id:antipop、id:cho45、id:r_kurain、id:nanto_viと、私id:nandeyanen36の6人。この記事では、少年マンガや青年向けマンガについて語っています。ちょっとゆるめのマンガ座談会を、ぜひのぞいてみてください。 ■SF、自転車――最近のお気に入りマンガ nanto_vi 最近は山名沢湖さんにハマってます。今いろいろと読みあさっている最中なんですが『レモネードBOOKS』がよかったです。かわいらしい話と絵で。 レモネードbooks 1 (バンブー・コミックス) 作者:山名 沢湖
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
OCaml from the Very Beginning
OCaml From the Ground Up
日本最大級のオーディオブック配信サービス - audiobook.jp
.pdf)
データ分析のための統計学入門.pdf
Linux Driver Verification
Sign in - Google Accounts