サクサク読めて、アプリ限定の機能も多数!
日々の仕事に嫌気がさした時に、Coqで遊ぶと仙人の気分に浸れるかもしれません
yagitoshiro のブックマーク 2013/12/17 16:11
『マルレク第七回テーマ:「型の理論」と証明支援システム -- COQの世界 』に行ってきました - yuumi3のお仕事日記日々の仕事に嫌気がさした時に、Coqで遊ぶと仙人の気分に浸れるかもしれません2013/12/17 16:11
このブックマークにはスターがありません。 最初のスターをつけてみよう!
yuumi3.hatenablog.com2013/12/17
ひさしぶりに頭がグルグルする講演(勉強会)に行ってきました。 講演の概要はここ の講演概要を読んで下さい。資料は ここ からダウンロードできます。 感想 万年Haskell弱者である私には、なぜHaskellerが 型 型 ...
3 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
日々の仕事に嫌気がさした時に、Coqで遊ぶと仙人の気分に浸れるかもしれません
このブックマークにはスターがありません。
最初のスターをつけてみよう!
『マルレク第七回テーマ:「型の理論」と証明支援システム -- COQの世界 』に行ってきました - yuumi3のお仕事日記
ひさしぶりに頭がグルグルする講演(勉強会)に行ってきました。 講演の概要はここ の講演概要を読んで下さい。資料は ここ からダウンロードできます。 感想 万年Haskell弱者である私には、なぜHaskellerが 型 型 ...
3 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /