ソフトウェア工学コミュの形式手法ワークショップ

みなさまへ、

ノビ９１と申します。よろしくお願いいたします。

本日（H18-12-01）、国立情報学研究所で行われた、
形式手法ワークショップ
http://www.ertl.jp/SIGEMB/ML/msg00113.html
に参加し、いろいろと勉強してきました。
大変、ためになりました。

中島震先生のチュートリアルで、
False positives と False negativesについて、
質問していたのが、私です。

他にも、参加されていた方は、
いらっしゃいますでしょうか？

コメント(5)

最初
全て
最新の40件

[1] mixiユーザー 12月01日 20:55

U先生が講師として参加されてますね。

うちの大学にこられたばかりで半年しか
いっしょにいませんでしたけど、
私は同じ講座の学生でした。

[2] mixiユーザー 12月01日 21:11

タケさん。

おぉ、U先生をご存知ですか！

U先生は、大学に行く前、私と同じ電機メーカーに勤務していました。勤務地も一緒（青梅）でした。ちなみ、私は、今は、川崎勤務です。U先生とは、青梅時代は、お話したことがなかったのですが、お顔は存じあげていました。今年のESS2006&SES2006の会場で、久しぶりにお見かけし、ご挨拶し、いろいろと、お話させてもらいました。今回の、形式手法ワークショップも、ESS2006&SES2006で、私がU先生とお話していたところに、NII中島震先生が加わり、そこで、教えてもらったものです。人脈って、大事ですね。

[3] mixiユーザー 12月01日 21:25

>おぉ、U先生をご存知ですか！

ときどき、セミナーや学会関係の情報とか、たまたま
見つけた資料のURLをお知らせしてますよ。

>人脈って、大事ですね。

そうですね！このコミュに入っていてよかったです。

[4] mixiユーザー 12月02日 01:14

私も本日参加しました。

テスト関係の仕事をしてますが、テスティングの世界でも形式手法はホットな話題になってますね。

ただしやはり敷居の高さはまだまだ感じますね。
基本的な算数（命題とか集合とか）の知識も自信ないもので・・・。

感想を日記に載せてみました。

[5] mixiユーザー 12月02日 11:26

synさん。
ノビ９１です。

＞感想を日記に載せてみました。

詳しいレポート、どうも、ありがとうございます。日記のほうに、コメントを書き込ませていただきました。今後とも、よろしくお願いいたします。

ログインすると、みんなのコメントがもっと見れるよ