このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

Coqで定理を記述してみる、型クラスとか使って

Coqの証明スキルが全然身につきません。ダメです。それで、証明はともかくとして、定理の記述方法を試行錯誤してました。短くて抽象度が高くて読みやすい記述はどんなものだろう? と。型クラスを使うのがよろしいようです。内容: 例題:ミート半束と順序集…