Portal Ghost

なんか、たまに出る。Scanner のバグなのか、わざとだしてるのか。

邪魔だった、キャンプフォスターのリンクは消してもらいました。が、

　　今日は一日、Agda で Permuation いじってた

そろそろ Agda は封印だな。