[B! 参考資料] inda_reのブックマーク

inda_re id:inda_re

参考資料に関するinda_reのブックマーク (7)

ホワット・ア・ワンダフル・ワールド The Coq Proof Assistant A Tutorial (1) 宣言
The Coq Proof Assistant A Tutorial を参考にしつつ，Coq について勉強していこうと思っています．まずは，Windows を使っている人は，ここから， coq-8.0pl3-win.exeをダウンロードして，ダブルクリックして Coq (IDE 付き) をインストールしておいてください． Coq は Calculuc of Inductive Constructions という論理体系に基づいた，定理証明支援系なのだそうです．対話的に形式的な証明を構成していくことができて，さらにそれを，そのまま関数型プログラムの仕様として扱うことができるとのこと．このチュートリアルでは Gallina と呼ばれる基本的な言語仕様だけを扱うそうで，発展的な情報は Coq Reference Manual とか Coq'Art を参照せよ，とのこと．とりあえず，C:\
inda_re 2012/06/11
coq

参考資料
リンク
【資料公開】バーンダウンチャート虎の巻
みなさんこんにちは。@ryuzeeです。 2010/12/22に永和システムマネジメントさんで実施したスクラム道.02でバーンダウンチャートについてお話させていただきました。その際の資料を公開します。スクラムではバーンダウンチャートを使うことが定義されていますが、バーンダウンチャートもツールなので、それをどう使うか、というのを考える事は非常に大事だよ、ということ、改善に使うべきであるということ、形状等を見ればチームの自己組織化レベルまで推察することができるよ、指標を追加するとさらに色々なことが分かるよ、といった話をしてます。日本ではバーンダウンチャートについてこの話をしている人はまだほとんどいないはずです。感想を聞かせていただければ幸いです。
inda_re 2012/01/31
バーンダウンチャート

参考資料
リンク
SCMBC Git入門セッション発表資料
2. Git のリポジトリ  リポジトリ＝データを貯めるところ  Git ではリポジトリがローカルにある  SVNではローカルにないことが多い  ローカルのリポジトリに対する操作は高速 (通信不要)  push, pull などを使って同期を取る (通信がここで発生)  手元のリポジトリではコンフリクトしない SCMBC Git 資料 3. 多人数開発  SVNでは１リポジトリ複数ツリー  Gitでは個人がリポジトリを SCMBC Git 資料持つ Figures from Pro Git http://progit.org/book/ja/ch5-1.html 4. 多人数開発  共有リポジトリに pull, push をする  共有リポジトリは複数ある場合も  CIサーバとステージング用と、、、 SCMBC Git 資料 Figures from Pro
inda_re 2012/01/26
ブクマしてなかった。。。

Git

要熟読

参考資料
リンク
Home - Noppiのおぼえがき
Noppiのおぼえがき
inda_re 2012/01/19
Bazaar

参考資料
リンク
「再代入なんて、あるわけない」～ふつうのプログラマが関数型言語を知るべき理由～ (Gunma.web #5 2011/05/14)
「再代入なんて、あるわけない」～ふつうのプログラマが関数型言語を知るべき理由～ (Gunma.web #5 2011/05/14)
inda_re 2012/01/14
参考資料
リンク
GroovyでFTP by grape - No Programming, No Life
Groovyで(というかJavaで)動的に作った文字列をFTPでアップロードしてWebページをゴリゴリ更新できないかな〜と思い、ライブラリを探してみたらJakartaのcommons-netに行き着きました。ちょうどその頃、twitterでゲンゾウさんにGroovy使ってるんならgrapeがいいよとつぶやいていただいたので、いい機会だったので試してみました。 grapeのことがよく分かっていなかったので、とりあえずゲンゾウさんのこの記事と、さらにそのリンク先の記事を参考にさせていただきました。使用するライブラリ Commons Net http://www.mvnrepository.com/artifact/commons-net/commons-net で、出来たのが以下のような感じ*1 import static java.lang.System.* import org.apa
inda_re 2011/12/31
Groovy

参考資料
リンク
読書会へのいざない : なおきのブログ
現在、「プレゼン読書会」なるものを企画中である。まずは非公開で開催し、うまくいけば、２回目３回目を公開に切り替え、行いたいと思う。さて、EGMフォーラムや一昨日のワールドカフェで、読書会をしましょうと誘っておきながら、読書会とはなんぞや？ということが説明できていない。一言、読書会といっても、いろんなパターンがある。参加したことのないものについては語ることはできないので、参加したことのある読書会について、そのパターンを触れておきたいと思う。＜早朝読書会リーラボ＞加藤たけしさんが始めた読書会。Mixi内のコミュニティで参加募集をしている。5月は、用賀、新宿、横浜、巣鴨、六本木、飯田橋、渋谷、日比谷、新宿、渋谷、目黒で合計11回開催された。首都圏以外でも、名古屋、岩手で開催されている。朝７時からスタバなどのカフェで行う。読了した本を持ち寄り、紹介し合う。１テーブル４～６人ぐらいで１人持ち
inda_re 2011/12/18
読書会

参考資料
リンク
1