# 目的 Ramda の関数はたくさんあるので整理 # 1. 関数合成 関数合成は、`pipe`, `compose` を使うのが基本。最初に渡す関数の引数が 1 の場合に使う `o` というのもある。Promise の then チェーンは `composeP`, `pipeP`。 モナドなど chain を満たすものの 直列化には、 `composeK`, `pipeK`。 さて、関数合成...

わかる人には当たり前で、わからない人には多分わからない駄文だが、将来の自分には有用と判断して公開 # 参考文献 http://www.me.titech.ac.jp/~mizu_lab/text.html シンプレックス法でも勉強しようとググっていくつかのページを見たけど、東工大の水野研が公開しているPDFのテキストが一番わかりやすかった # 1. 標準形への変形 二次関数のグラフを描画し...

## 概要 『Software Foundations』（『ソフトウェアの基礎』）という無料のオンライン教科書があります。大学院の学生を想定している4巻構成のテキストで、Coqを使って、プログラムやアルゴリズムの形式的に証明をしながら、ボトムアップでソフトウェアの各種構成部品を作っていくものです。 Coqの勉強資材としてもすぐれているので、Coqの勉強がてら Vol1.の練習問題を一通り終わら...