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

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

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

参照用 記事

2014-12-23から1日間の記事一覧

こうすればCoqに入門できそうだ (誰も書かないCoq入門以前 5)

少し悟ったぞ。Coq入門以前でとどまってしまう事情Coqはゲームソフトだ(と僕は認識してます)から、理屈や内部構造は後回しだと思えてきました。僕自身は、どうしても理屈や内部構造に目がいってしまうので、それを納得しないまま先に進むことが出来ないの…