Diary over Finite Fields

515ひかるの日記と雑文

2015-10-09から1日間の記事一覧

数学ブログ更新: Dirichlet 指標と L 関数

数学ブログのほうを更新したので, ご報告です.515ひかるのブログ 数学編: Dirichlet 指標と L 関数 です.まぁただのメモです. もし興味があればご一読ください.

関数型プログラミング言語に触れてみた雑感

結局 Coq の講義は履修しないでなんとなく遊ぶことにした. 来年履修するかもしれない, まぁ正直なところ単位はどうでもいい.しかし Coq, 違うとは聞いていたけど違いすぎてとりあえずビックリしている. いや, そもそも関数型プログラミング言語*1初見の僕だ…