2005-10-23から1日間の記事一覧
先週末の金曜日の夕方は久々に SEA の勉強会に出てみる。テーマは SPIN*1 の入門とソフトウェアの検証に関する哲学的な考察の2題。割りと面白かった。質問しようかとも思ったが、前の質問が盛り上がったために、結局時間切れで出来ず。*2しかし人の意見をじ…
先週末の金曜日の夕方は久々に SEA の勉強会に出てみる。テーマは SPIN*1 の入門とソフトウェアの検証に関する哲学的な考察の2題。割りと面白かった。質問しようかとも思ったが、前の質問が盛り上がったために、結局時間切れで出来ず。*2しかし人の意見をじ…