[B! 型推論] 型理論　なんて自分には関係ないと思っているあなたへ

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
[B! 型推論] 型理論　なんて自分には関係ないと思っているあなたへ

記事へのコメント10件

注目コメント
新着コメント

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

型理論　なんて自分には関係ないと思っているあなたへ

Jun 7, 201326 likes10,243 viewsAI-enhanced description This document contains definitions and pro... Jun 7, 201326 likes10,243 viewsAI-enhanced description This document contains definitions and proofs about natural numbers, functions, and theorems in Coq. It defines natural numbers as inductive types, defines addition as a recursive function, and proves theorems like 1+1=2. It also contains definitions for monads and proofs about monad bind being associative in Coq.

ブックマークしたユーザー

shozro2015/07/29
moguno2015/03/14
morishitter2014/09/30
mnru2014/05/05
labunix2014/05/04
nsyee2014/05/04
crycli872014/04/02
hidari-yori2014/02/27
KSK_U2014/02/17
umiyosh2014/02/13
TAC2014/02/10
fixme2014/02/10
tanakaBox2014/02/08
KatagiriSo2014/02/08
fjwr382014/02/08
tsms2e2014/02/08
decoy20042014/02/07
komlow2014/02/07

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

いま人気の記事 - 企業メディア

企業メディアをもっと読む

設定を変更しましたx