サクサク読めて、アプリ限定の機能も多数!
面白そうです……が、まずCoqが分からないのでそっちを勉強しようかしら。
richard_raw のブックマーク 2012/07/16 20:56
『ソフトウェアの基礎』のePub版を公開しました。 - みずぴー日記[epub][電子書籍][プログラミング][clip]面白そうです……が、まずCoqが分からないのでそっちを勉強しようかしら。2012/07/16 20:56
このブックマークにはスターがありません。 最初のスターをつけてみよう!
mzp.hatenablog.com2012/07/15
「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理論が解説されています。基本的な部分から丁寧...
348 人がブックマーク・20 件のコメント
\ コメントが サクサク読める アプリです /
面白そうです……が、まずCoqが分からないのでそっちを勉強しようかしら。
このブックマークにはスターがありません。
最初のスターをつけてみよう!
『ソフトウェアの基礎』のePub版を公開しました。 - みずぴー日記
「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理論が解説されています。基本的な部分から丁寧...
348 人がブックマーク・20 件のコメント
\ コメントが サクサク読める アプリです /