定義を書け！

いかんいかん、このメモの主たる目的は、忘れがちな定義を書き留めて「定義集」を作ることだった。が、なんか山勘とか雑感とかで、肝心の定義が書いてないケースが多い。そのときは、定義は自明の前提だったとしても
しばらくすると忘れる！
忘れるから、書き留めておけよ、定義。