Certified Programming with Dependent Types
This is the web site for a textbook about practical engineering with the Coq proof assistant. The focus is on building programs with proofs of correctness, using dependent types and scripted proof automation. I'm following an unusual philosophy in this book, so it may be of interest even to long-time Coq users. At the same time, I hope that it provides an easier introduction for newcomers, since s
GitHub上で活発なユーザーのランキング(2013年12月版)
上位の3名がPHPフレームワークのZend Framework,Symfony、Laravelの中心人物になっている点がやや意外ですね。また日本からも tokuhirom さんがトップ10にランクインしています。 今回の結果はキリのいい256位までとなっており、日本からは11名の方が(tokuhiromさん、mattnさん、Shougoさん、mizzyさん、hsbtさん、gfxさん、r7kamuraさん、、twadaさん、kanaさん、naoyaさん、matzさん)ランクインしています。今後はこの数がさらに増えていくのでしょうか。 追記 2013/12/20 1:00: amatsudaさんからリストには居るのに乗っていないとの指摘を頂きまして、再度確認してみたところ、現在のリストにはamatsudaさんとkentaroさんもJapanとしてリストされているのを確認しました。記事作成時のペ
資料室
お問い合わせや質問もお受けしております。osk-esc@oki.comまでお願いします。 *注意: これらのプログラムは「現状のまま」提供し、いかなる保証も行わなず、一切の責任を負いません。 ソースとともに配布しているバイナリコードはウィルスチェックをしていますが、 何も保証していません。 ご使用は各自の責任で行ってください。
git による分散作業パターン | GREE Engineering
分散バージョン管理を華麗に扱いたい堀口です。 GREE Advent calendar 2013 の 14 日目として参加させていただきます。 お二人に続き Haskell の話をしようかと思ったのですが、急遽無難な開発の話に変更しました :o Java や C++ には OOP の概念が必要であったように、分散作業の認識が薄いまま git や Mercurial を使うことは長期的に不幸をもたらします。 とあるプロジェクトにて、その一部を副産物のミドルウェアとして抽出すべく、アプリケーションと分離したい 不具合があったので原因を探りたいが、依存関係が複雑すぎるのでコードを読む量を減らしたい テストやレビュー、提案、リファクタの運用を強化したい よそのプロジェクトに迷惑を掛けないように、そこのツールを改良して使いたい。 いままで何気なく「こんなもんだろう」と思って手間をかけていませんでした
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
今週のマガジンの読み切りが衝撃的だとネットで空前の大反響！！！！:ニュー速VIPブログ(`･ω･´)
抱歉，站点已暂停
