generated at
小西善二郎
プログラム自動改良のための定理証明器 2001年01月号