hikaru515 https://blog.hatena.ne.jp/hikaru515/ Diary over Finite Fields https://blog.515hikaru.net/ プログラミング 結局 Coq の講義は履修しないでなんとなく遊ぶことにした. 来年履修するかもしれない, まぁ正直なところ単位はどうでもいい.しかし Coq, 違うとは聞いていたけど違いすぎてとりあえずビックリしている. いや, そもそも関数型プログラミング言語*1初見の僕だから, Coq 自身というよりもその書き方とか表面的なことに驚いている. この記事では Coq 特有の話は一切しない*2が, サンプルコードは Coq (と C言語) しか出てこない. まぁまだ慣れ始めの段階だということで理解していただきたい. 足し算してみた. Definition plus n m := n+m. Eval compu… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.515hikaru.net%2Fentry%2F2015%2F10%2F09%2F005133" title="関数型プログラミング言語に触れてみた雑感 - Diary over Finite Fields" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://ecx.images-amazon.com/images/I/51qK5xMkoxL.jpg Hatena Blog https://hatena.blog 2015-10-09 00:51:33 rich https://blog.515hikaru.net/entry/2015/10/09/005133 1.0 100%