next49 https://blog.hatena.ne.jp/next49/ 発声練習 https://next49.hatenadiary.jp/ Coq/SSReflect/MathCompによる定理証明 フリーソフトではじめる数学の形式化 | 森北出版株式会社を買ったので、とりあえず環境だけ整える。 インストール環境 % uname -a Linux pi 4.4.0-122-generic #146-Ubuntu SMP Mon Apr 23 15:34:04 UTC 2018 x86_64 x86_64 x86_64 GNU/Linux % more /etc/lsb-release DISTRIB_ID=Ubuntu DISTRIB_RELEASE=16.04 DISTRIB_CODENAME=xenial DISTRIB_DE… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnext49.hatenadiary.jp%2Fentry%2F20180508%2F1525777618" title="Ubuntu 16.04上にCoq, SSReflect, MathCompのインストール - 発声練習" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2018-05-08 20:06:58 rich https://next49.hatenadiary.jp/entry/20180508/1525777618 1.0 100%