takkkun

slow 遅い
fast 速い

above より上に
below より下に

absolute 絶対的な
relative 相対的な

abstract 抽象的な

repeatedly

// Written in the D programming language.

/**
 * High peformance downloader
 *
 * Implemented according to <a href="http://yusukebe.com/archives/20120229/072808.html">this implementation</a>.
 *
 * Example:
 * -----
 * dmd -L-lcurl -run downloader.d

qnighy

Coqチートシートっぽい何か

Coqの入手先

• Coq … INRIAが開発した証明支援系。 http://coq.inria.fr/
• ssreflect … INRIAとMicrosoft Researchが開発した代数の証明群および、そのために作られたCoqの拡張文法。 http://www.msr-inria.inria.fr/Projects/math-components

Coqの開発環境

• CoqTop … CoqのREPL。ちょっとした照明を書くときには使えるかもしれないが開発するのにはほぼ使えない。後述するIDEを使うこと。