ソフトウェア開発のブログ

hisa (2009年11月27日 01:55) | コメント(0) | トラックバック(0)
人文系のブログとは別にソフトウェア開発に関するブログを立ち上げました。

しばらくは形式手法 Event-B を中心に書いていく予定です。

カテゴリ:

トラックバック(0)

トラックバックURL: http://set.style.coocan.jp/mt/mt-tb.cgi/1

コメントする

検索

このブログ記事について

このページは、hisaが2009年11月27日 01:55に書いたブログ記事です。

次のブログ記事は「CogTool」です。

最近のコンテンツはインデックスページで見られます。過去に書かれたものはアーカイブのページで見られます。