この記事は Haskell Advent Calendar 2014 6日目の記事です． 関数プログラミング実践入門 第6章 最終節にあるロジックパズルは，一体なにをどうやるとこのインターフェース設計になるのかという話．元々内容的に入門っぽくならないものないんだけど，特徴的なサンプルでもあったし詳解せずに「こういうこともできないようにすることができるよ」と紹介するに留めといた部分になる． Bottom まずはBottom型 data Bottom 通常data定義にはコンストラクタとかが伴う．たとえば， data Bool = False | True このBool型なら，FalseとTrueとによって真値と偽値相当の値を持つ．Bool型になる値は2つだ． しかし，Bottom型には何もない．つまり，Bottom型は「ひとつも値を持たない型」だ．Bottom型を持つ値は「存在しない」． も

blog1.mammb.com から、さらに最近出た本を追加して加筆 昔は本家のHPにあるPDFぐらいしか情報源がありませんでしたが、ここ最近で邦書も整ってきたので、読み進め方について考えてみました。 個人的なお勧め順で紹介。 必須のコップ本「Scala スケーラブルプログラミング」 言語の作者である Martin Odersky 氏が著者の1人ということもあり、言語についての説明の詳細さ という点では、ここで紹介する書籍中で群を抜いています。邦訳も非常に読みやすくまとめられており、Scalaでプログラミングを行うなら必須です。一番良く参照する本ですね。 ただ、Scala が初めてという場合は、ページ数が 600 ページで内容も盛りだくさんなので、中盤ぐらいから消化不良を起こすかもしれません。Java の経験が豊富で、関数型言語の知識がありパターンマッチやコンスセルなどの用語で面喰わなけれ

是非手に取ってみて下さい．よろしくおねがいします． 関数プログラミング実践入門 ──簡潔で、正しいコードを書くために (WEB+DB PRESS plus) 作者: 大川徳之出版社/メーカー: 技術評論社発売日: 2014/11/14メディア: 単行本（ソフトカバー）この商品を含むブログ (1件) を見る AgdaとかHaskell Golfの本ではない．いいね？ どのような本？ これまで何らかの命令型言語に触れてきた人が「なにかと耳にするし，そろそろ関数プログラミングでも」と思いたったとき，その基本的な部分を押さえるための本です．関数型言語としてはHaskellをとりあげ，またHaskellを使っていくための説明を進めていきます．関数プログラミングからプログラミングに入る人はプログラミングに対する先入観が無いのでともかくとして，既に命令型言語の経験がある人の場合，関数プログラミングの考え

正直いって、初めて会ったときは、チャールズ・ストリックランドが特別な人間だなどとは思いもしなかった。

Real World Haskell の古いところ - あどけない話の25章と23章についてのコメントをまとめました。 > id:kazu-yamamotoさん profilingのところはコンパイルオプションがghc 6系の古いものなので http://t.co/tVoGa7aFzv を見た方が良さそう— Mitsutoshi Aoe/maoe (@ma0e) February 6, 2014 ヒーププロファイルはhp2psでも良いけどhp2anyシリーズの方が使い勝手が良いと思います http://t.co/yOK4EBrNWo— Mitsutoshi Aoe/maoe (@ma0e) February 6, 2014 正格性の指定のためにControl.Parallel.Strategiesを使っているけど、並列プログラミングではないなら同じparallelパッケージのControl

この前id:hitode909くんからピープルウェアを貰ったので読んだ。非常に面白くて、興味深い話が多かった。 ピープルウエア 第3版 作者: トム・デマルコ,ティモシー・リスター,松原友夫,山浦恒央出版社/メーカー: 日経BP社発売日: 2013/12/18メディア: 単行本（ソフトカバー）この商品を含むブログ (6件) を見る この本は、作者のトム・デマルコさんとティモシー・リスターさんが10年に及んだ調査と、自身のソフトウェア開発の経験をもとに、ソフトウェア開発における人に関する問題をたくさんのコラムを通じて教えてくれる。冒頭には以下のようにある。 実際のところ、ソフトウェア開発上の問題の多くは、技術的というより社会学的なものである。 いろんなレイヤにおける人の問題についてそれぞれ章がわかれていて、個人からオフィスやチーム、さらには会社組織のはなしへと続く。結構マネージャー視点ぽいコ

このステップはすべての文献について最後までやり切っておく。 すると、たとえば以下のような表（マトリクス）ができる。 （クリックで拡大） この作業は、能動的に目次・見出しを読む通すことで読解のための背景情報を頭にインプットすると同時に、取り扱う全文献の内容を１枚に集約するための外部記憶（外部表象）を用意するものである。 これで取り扱うすべての文献を一望できる基礎ができたことになる。以降の作業は、この表（マトリクス）に加筆することが中心となる。 もちろん、目次や見出しを拾うだけでは内容がよく分からない文献も少なくないだろう。 たとえば標準的な構成の論文から拾ってきた場合、見出しと配列順はほとんど同じになって、論文の内容について有益な情報は含まれていないかもしれない。 また古い文献では、見出しがなく、ただ「一」「二」…と数字が振られているだけだったりするが、この場合も同様である。 これらの文献に

「プレゼンテーションZen」や「Objective-C プログラミング」など、英国ピアソングループの技術書を国内で出版していたピアソン桐原は、ピアソングループから離脱し8月1日付けで「桐原書店」として再スタートを切ることを発表しています。 桐原書店としての再出発に伴い技術書の扱いが終了するため、これまでに出版された技術書は在庫限りになることが公式ツイートで明らかにされています。下記は「ピアソン桐原が版元になっている、主に翻訳ものの技術書たちがどうなるのか。」という質問に対する桐原書店公式アカウントの返答ツイートです。 @sobahhi ご心配をおかけして大変申し訳ございません。今後は、学習参考書と語学書に専心していくことになりますので，技術書は基本的にお取扱いがなくなってしまいます。書店さんの在庫限りとなりますので、お早目にご入手くださいますようお願いいたします。 — 桐原書店 (@Kir

後輩に形式手法を学び始めたときに読んだ本を紹介すると約束したので、せっかくなのでブログに書くことにした。 形式手法を学び始めたのは2004年だから、今から始める場合はまた違ったラインナップになるだろうけど。 ※「2012年に形式手法を学び始めるならこの7冊 - masaterukの日記」を書きました。 1冊目。 プログラミングの科学 (情報処理シリーズ) 作者: D.グリース,筧捷彦出版社/メーカー: 培風館発売日: 1991/01メディア: 単行本 クリック: 20回この商品を含むブログを見る出会いはこの本。僕の人生を変えてしまった本だ。この本に出会ったときの衝撃は今でも覚えている。命題と述語からはじまり、ホーア論理、そしてプログラムの作り方が解説してある。「プログラムの作り方」を解説している本は少ない。Twitterでもつぶやいたけど、assertの使い方を教えてくれたのもこの本だった

一昨年から少しずつ書かれていた OCaml プログラミングの本、 Real World OCaml (以下 RWO)がついに public beta になり公開されました。 ( https://realworldocaml.org/beta1/en/html/ ) 版元の O'Reilly ではこのベータ版の状態の e-book が 今なら安く手に入ります。完全版には後から無料でアクセスできるように なるそうです。( http://shop.oreilly.com/product/0636920024743.do ) ！！！！！安く買いたい人は http://shop.oreilly.com/category/deals/early-release.do?code=WKERRLS をよく読んでね！！！！！ この本は、今まで外に伝わりづらかった OCaml プログラミングの最前線の一面を 伝

#rubykaigi バイヤーズガイド ‘13 あえてアマゾンのリンクは貼らないので会場で会おう たのしいRuby 第四版これを買うべき人: 全員ひとこと: ついにRuby 2.0の時代が本格的に始まったことを宣言する決定打的一冊であり、必携。今後「情報がないから2.0は不安」などとうそぶくことはこれで不可能になった。テストから見えてくるグーグルのソフトウエア開発これを買うべき人: テストを日常的に書いている人と、テストを書く習慣がない人ひとこと: これはずばり俺が読みたいので買います。こちらからは以上です。白と黒のとびらこれを買うべき人: 「記号と再帰」がおもしろかった人ひとこと: まあなんていうんですかね、形式言語とか好きな人って結局そっちに道を踏み外しちゃうきっかけってテングワールだったりするわけじゃないですか。だからこういうふうに攻めてくるのって変化球のようでいて実はど真ん中だと思

※弊社発行書籍の正誤情報、ダウンロードデータは、該当書籍の詳細ページに掲載しています。該当する書籍を検索いただき、ご確認ください。

僕はよく「関数プログラミングの入門書には何がいいか」という質問を受ける。そのときは必ずこの本(と他のいくつか)を答えるようにしている。書評を書いたつもりになっていが、検索してみると書いてないようなので、反省して良書を紹介してみようと思う。 プログラミングの基礎 ((Computer Science Library)) 作者: 浅井健一出版社/メーカー: サイエンス社発売日: 2007/03/01メディア: 単行本購入: 17人 クリック: 409回この商品を含むブログ (127件) を見る 本書はプログラミングの経験のない人を対象としており、書名通りプログラミングの基礎が説明されている。使用する言語は OCaml である。著者の浅井先生は、お茶の水女子大学でプログラミングを教えている。授業の経験を元にした本にはよくあることだが、内容が実に整然としており、例題がこなれている。 初心者を対象と

PFDS読書会 第6回 (Purely Functional Data Structures) - [PARTAKE]] http://partake.in/events/9f36c9fc-a81d-44f9-8fce-b2898f24aee9 のまとめ

2月15日(木)に開催された「Developers Summit 2018(デブサミ)」（主催：翔泳社）にて「ITエンジニアに読んでほしい！ 技術書・ビジネス書大賞2018」のプレゼン大会と投票が行われ、大関真之先生の著書『機械学習入門 ボルツマン機械学習から深層学習まで』がみごと技術書部門の大賞の栄冠に輝きました！ プレゼン大会では大関先生自ら本書に関する熱い熱い思いを披露していただました。このプレゼンによって「読んでみたい！」「数式が苦手だけどこの本なら読める！」と惹きつけられるオーディエンスが続出！みごと大賞に選ばれることとなりました。ブラボー！ 本書は、おとぎ話の白雪姫に登場するお妃様と鏡の関係をなぞらえ、その問答により「機械学習とは何か」「何ができるのか」を楽しいストーリーと可愛らしくしかも的確なイラスト、そして数式をまったく用いることなく解説している画期的な内容です。 登場する

理数系ネタ、パソコン、フランス語の話が中心。 量子テレポーテーションや超弦理論の理解を目指して勉強を続けています！ 先日、このブログの理数系書籍の紹介記事が２００冊に達した。４分の３ほどが大学、大学院の教科書レベルの物理学書や数学書、残りがブルーバックスに代表されるような一般向けの本だ。 記事で紹介した物理学と数学の本は「書名一覧」でご覧いただけるほか、ブログの「記事一覧（分野別）」にまとめてある。また、最近読み始めた電子工学系の本の記事は「電子工学」のカテゴリーで検索できる。 物理や数学の教科書や専門書を読んだことがない人は次のように思っているかもしれないから、この膨大な読書体験で何が得られたか、僕がどう感じたかなど感想を書いておくのもいいかもしれない。 - これだけたくさんの本を読むと、どのようなことがどれくらいの深さで理解できるようになるのか？ - いろいろな疑問が解決することで、自

id:alohakunさんに進められた、「Types and Programming Languages」を買うか迷い中。 9000円と値が張るため、自分が読みきれるかが心配。 計算論 計算可能性とラムダ計算は図書館で予約した。 読んでみて良さそうなら購入して手元に置く。 追記 計算論 計算可能性とラムダ計算、借りてきた。これは厳しい。。