2012年に形式手法を学び始めるならこの7冊 - masateruk’s blog
前エントリー「僕が形式手法を学び始めたときに読んだ10冊 - masaterukの日記」のラインナップはあまりに入手困難なものばかりだったので、2012年に始めるならということで改めて選んでみた。 １冊目。 VDM++によるオブジェクト指向システムの高品質設計と検証 (IT architects’ archive) 作者: ジョン・フィッツジェラルド、ピーター・ゴルム・ラーセン、ポール・マッカージー、ニコ・プラット、マーセル・バーホフ,酒匂寛出版社/メーカー: 翔泳社発売日: 2010/08/03メディア: 大型本購入: 1人 クリック: 32回この商品を含むブログ (8件) を見るVDM++の本。形式手法を学び始めるならこの本から始めると取っ付きやすいのではないかと思う。高級言語をつかった陽関数定義（実行可能形式）でモデルをがんがん書いて、シミュレーションとテストでモデルを洗練していくや
Book Release: Learn Functional Programming with Elixir « Plataformatec Blog
Last week, The Pragmatic Bookshelf started the sales of Learn Functional Programming with Elixir written by me, now in beta. After one year of hard work, we are finally publishing the beta version of the book. In this blog post, I’ll tell you about the motivation for writing a book, its contents and its future. Why Writing a Book? Last year, we were, company-wise, looking for different ways to con
Erlang Solutions: From bet365 to William Hill - how functional programming wins at the bookies
Erlang Solutions: From bet365 to William Hill – how functional programming wins at the bookies Luke Massey May 30, 2017 Features, Europe, Interviews, Latest News, Slider Images, UK Comments Off on Erlang Solutions: From bet365 to William Hill – how functional programming wins at the bookies Stuart Whitfield With the Grand National behind us, and the Champions League final fast approaching, we want
クロージャやラムダ式を理解していない組込エンジニアが関数型言語を理解するチャレンジングな4冊(+6冊+α) - ひつじのにっき
手続き型言語を主なフィールドとして頑張ってきた組み込みエンジニアが関数型言語に興味を持ったので相談したら以下の4冊（+6冊）の本を薦められました。順次読んでいきます。多分にチョイスが偏ってます（ので、随時補正を取り込んで下に追記してます。初出は6冊だったのですが現時点で10冊。お好みでどうぞ。一部はWebで公開されていると教えていただいたのでリンクを足しておきました。一夜明けて、さらに参考文献が沢山きたので追記しました）。 ただ全ての本を連続的に読むことでタイトルのように関数型言語がわかった！みたいな意味を成すかはわかりません（しばらくまって結果を見たほうが参考になるはずです）。1冊か章の区切りかでまとめていくので一緒に読んでくれたりお勧めの本を教えてくれたり、誤った理解をなおしてくれると更に喜びます。とりあえず全部買ったので今からスタートです （追記：関数型言語、という入り口から入るなら
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Amazon.co.jp: 純粋関数型データ構造: Chris Okasaki (著), 稲葉一浩 (翻訳), 遠藤侑介 (翻訳): 本
Amazon.co.jp: プログラミングの基礎 ((Computer Science Library)): 浅井健一: 本
Amazon.co.jp: Scala逆引きレシピ: 竹添直樹, 島本多可子: 本
Amazon.co.jp: オブジェクト指向プログラマが次に読む本 －Scalaで学ぶ関数脳入門: 株式会社テクノロジックアート (著), 長瀬嘉秀 (監修), 町田修一 (監修): 本
