ソフトウェアの基礎(beta) — ソフトウェアの基礎 1.0.2 documentation

ソフトウェアの基礎(beta)¶ 本ドキュメントは実験中のものです。 安定板は http://proofcafe.org/sf/ を参照してください。 epub版: http://proofcafe.org/sf-beta/software_foundation_1.0.2.epub mobi版: http://proofcafe.org/sf-beta/software_foundation_1.0.2.mobi Contents:

[mukaken]

“Coq上で関数プログラミング、論理学、演算の意味論、ラムダ計算、静的型システムの基礎を学ぶことができます”

[kenichiice]

「この講義では、Coq上で関数プログラミング、論理学、演算の意味論、ラムダ計算、静的型システムの基礎を学ぶことができます。」

[gamaguchi]

ソフトウェアの基礎，Paperwhiteに入れようとして気付いたけどmobiのリンクが切れている？

[masterq]

mobiはkindleでうまく表示できないような気がする。。。

[dhrname]

[開発

[hoxo_m]

おもしろそう！

[uzuki-first]

memo