【2022年6月最新】Elmおすすめ入門/参考書ランキング

洗練された副作用のない手法!再利用/並列化/一般化/テストが容易になる。データ構造/入出力/エラー処理を関数型で記述。ライブラリのプログラムを設計・開発。関数型プログラミングの共通パターンを見抜く。...

コンピュータによる計算とは何か？コンピュータで行える計算の限界はどこにあるのか？――計算機科学におけるもっとも基本的，かつ重要な疑問を，プログラミングを通して紐解く一冊． 本書では，チューリング機械・帰納的関数・ラムダ計算などのさまざまな計算モデルを取り上げ，それぞれのモデルにおける計算の基礎理論と計算可能性を，豊富な具体例と問題を通して解説します． また，計算モデルの数学的基礎だけでなく，こ...

勉強にも仕事にも効く！「こんな読み方、あったんだ」 ★本書の特徴★ マネするだけで、誰でも、どんな本でも！！ 1.速く読める 2.内容を忘れない 3.応用できる 東大生は、そんな超・実践的な読書術を自然と習得していました。 ホントは教えたくなかったノウハウを、一冊に凝縮します！ ★一生使える、5つの「スゴい読み方｣★ 「読み込む力」を劇的に上げる……………仮説作り 「論理の流れ」がクリアに...

Gauche(ゴーシュ)は、プログラミング言語Schemeの処理系のなかでもきわめて実用的で軽快な処理系です。豊富なライブラリが用意され、スクリプト言語処理系として手軽に扱うことができます。本書は、Schemeの初心者を対象に、Gaucheの基礎からプログラミングの実際までを詳しく解説。Gaucheの開発環境でプログラマがどのように考え、作業していくのかを、順を追って理解できます。本書によって、S...