2010-03-25から1日間の記事一覧
http://atnd.org/events/3687 再三、実施会場が変更されてますが、大久保で決定。 今回プロジェクターを借りられない。今回は、前回と引き続きのCoq、およびAlloyの問題を実施することになりそう。形式手法は単一手法で問題解決するものではないから、 各自…
http://atnd.org/events/3687 再三、実施会場が変更されてますが、大久保で決定。 今回プロジェクターを借りられない。今回は、前回と引き続きのCoq、およびAlloyの問題を実施することになりそう。形式手法は単一手法で問題解決するものではないから、 各自…