pekepekesamuraiのブックマーク - はてなブックマーク

LL名古屋発表資料『Coq/GaLLinaによる証明駆動開発の魅力』 - みずぴー日記

Gallinaによる証明駆動開発の魅力 View more presentations from Hiroki Mizuno

pekepekesamurai 2011/11/16

あとで読む

リンク

ProofSummit 2011 で『CoqによるMsgPackシリアライザの証明と実装』という話をしました。 - みずぴー日記

ProofSummit2011でMsgPackを証明したときの話をしてきました。内容は名古屋Reject会議で話したことを膨らませた感じになっています。話の趣旨としては「バグって怖いじゃん → じゃあ証明しようぜ → やってみた」みたいな感じです。スライド CoqによるMsgPackの証明 View more presentations from Hiroki Mizuno ustream http://www.ustream.tv/recorded/17493318 感想新宿ダンジョンこわい [twitter:@ikegami__]さんと[twitter:@masahiro_sakai]さんにAgdaを教えてもらえたので、とてもよかった Software Foundationsの和訳プロジェクト、気になります

pekepekesamurai 2011/09/29

あとで読む

リンク

gitとRedmineと連携させるgitサブコマンド: git-ticket - みずぴー日記

git + Redmineで開発する場合、Redmineのチケットごとにトピックブランチを切ることが多いですが、ちょいちょいチケットの内容を忘れてしまいます。そういうときに、いちいちブラウザでチケットを見にいくのがダルいので、チケットのサマリを表示するgitのサブコマンドを作りました。なお、本コマンドはbleis-hooksと併用することを想定しています。インストール方法 git ticket subcommand · GitHub からダウンロードし、パスの通ったディレクトリに配置してください。 $ wget https://raw.github.com/gist/014371584dbf85d053ed/f8ade6f7fc36a4c8f49f72a538a6322bfb726bf8/git-ticket $ mv git-ticket /path/to/some/dir $ c

pekepekesamurai 2011/09/20

あとで読む

リンク

名古屋Reject会議で「証明駆動開発のたのしみ」というタイトルで発表してきました - みずぴー日記

証明駆動開発のたのしみ@名古屋reject会議 View more presentations from Hiroki Mizuno

pekepekesamurai 2011/03/17

あとで読む

リンク

開発者用Webチャットシステム『AsakusaSatellite』をリリースしました - みずぴー日記

最近、[twitter:@suer]、[twitter:@mallowlabs]、[twitter:@shimomura1004]と夜な夜なSkypeでチャットしながらソフトウェア開発をしてるんですが、だんだんとSkypeチャットの機能に対する不満が溜ってきました。というわけで、SkypeチャットをリプレースすべくWebチャットシステムを作ってみました。開発者にとってハッピーな機能満載なので、是非使ってみてください。 →公開サイト Skypeの不満点全文検索ができないので、過去の発言を探すのが面倒コードがハイライトされない #42と書いてもRedmineのチケットにリンクしてくれない← AsakusaSatelliteの特徴1: 普通につかえる最近のChromeはけっこう凄くてリアルタイムな発言更新デスクトップ通知 D&Dによるファイルアップロードが平気でできてしまいます。

pekepekesamurai 2011/03/17

あとで読む

リンク

F#プログラマのためのMaybeモナド入門 - みずぴー日記

http://twitpic.com/3w34bo はじめにモナドといえばHaskell、Haskellといえばモナドが有名ですが、モナドは特定の言語とは無関係の仕組みですので、F#でも使えます。ただ単に使えるだけでなくコンピュテーション式というモナドをより便利に使うための文法まで用意されています。この記事では、option型を便利に扱うためのMaybeモナドを例にモナドのすごさを紹介していきます。 Maybeモナドのすごいとこ option型っていいですよね。ぬるぽので落ちる心配もないですし。Maybeモナドはそんなoption型を便利に扱うためのモナドです。 option型を扱うのにMaybeモナドと呼ばれてるのは、Haskell由来だからで特に重要な理由はありません。 DBからの値取得とかHttpリクエストからのパラメータ取得などの外部とやりとりする関数は必ず成功するとか限らない