サクサク読めて、アプリ限定の機能も多数!
「依存型をもつ関数型プログラミング言語 - Agda では証明を項として表し直接操作する - データ型や case式、シグネチャやレコードといった一般的なプログラミング構成概念をもつ」
kiyo_hiko のブックマーク 2013/03/12 17:48
Agda - Wikipedia[agda][証明][math][lang]「依存型をもつ関数型プログラミング言語 - Agda では証明を項として表し直接操作する - データ型や case式、シグネチャやレコードといった一般的なプログラミング構成概念をもつ」2013/03/12 17:48
このブックマークにはスターがありません。 最初のスターをつけてみよう!
ja.wikipedia.org2011/10/31
agda2による証明の抜粋 Agda(アグダ)は、定理証明器、すなわち数学的な証明を検証するコンピュータプログラムであり、ペール・マルティン=レーフの型理論の一種における構成的証明構築のための対話的システム...
8 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
「依存型をもつ関数型プログラミング言語 - Agda では証明を項として表し直接操作する - データ型や case式、シグネチャやレコードといった一般的なプログラミング構成概念をもつ」
kiyo_hiko のブックマーク 2013/03/12 17:48
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Agda - Wikipedia
ja.wikipedia.org2011/10/31
agda2による証明の抜粋 Agda(アグダ)は、定理証明器、すなわち数学的な証明を検証するコンピュータプログラムであり、ペール・マルティン=レーフの型理論の一種における構成的証明構築のための対話的システム...
8 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /