初記事
はじめましてゆかと言います。
Ci-enでは差し当たり落書きを載せたりゲームプログラミングについて勉強していることを書いたりしていきたいと思います。
Ci-enの記事にはプログラムのコードは書けますが数式は書けないようなので、量化式にはEindhoven quantifier notation [1]を用い、証明は主にcalculational styleで記述するつもりです。
[1] Roland Backhouse & Diethard Michaelis (2006): Exercises in quantifier manipulation. In: Mathematics of program construction, Springer, pp. 69–81.