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

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

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

参照用 記事

2016-06-08から1日間の記事一覧

Isabelle/jEditの野心的な試み「継続的チェッキング」に「ウォ」っとなった

以前、証明支援系Coqの記事を書いたことがあります。今日話題にしたいIsabelle(イザベル)は、Coqのライバルと目される証明支援系です。最初のリリースが1986年ですから、実に30年間に渡って開発が続けられています(Coqもほぼ同時期にスタートしています)…