社内イベント用のLT資料

8 views
Skip to first unread message

tmiya

unread,
May 29, 2010, 10:29:03 PM5/29/10
to Formal Methods Forum
社内の技術系イベントが昨日ありまして、Lightning Taikで(空気を読まず)
定理証明系の話と言うか、FMFの宣伝をしてきました。以下が発表資料。
FMFに新規に参加しようと言う人がいるかというと、まぁ居ないだろうなぁ。

http://homepage.mac.com/takashi_miyamoto/coq/FormalMethods20100529.pdf

形式手法をプログラム開発に直接使うのは、特に玉石混淆の大量の外注を
使うSIerにはかなり難しいんですが。
が、DSLを作って使わせるならば、まだ可能性があるかなぁ、とか思います。

tmiya

unread,
May 29, 2010, 10:39:53 PM5/29/10
to Formal Methods Forum
Slideshareに上げ直しました

On 5月30日, 午前11:29, tmiya <tm...@bu.iij4u.or.jp> wrote:
> 社内の技術系イベントが昨日ありまして、Lightning Taikで(空気を読まず)
> 定理証明系の話と言うか、FMFの宣伝をしてきました。以下が発表資料。

http://www.slideshare.net/tmiya/formal-methods20100529

ken coba

unread,
May 30, 2010, 9:33:01 PM5/30/10
to fm-f...@googlegroups.com
小林です。

ありがとうございますー。
最近勧誘活動を怠っていますけど、
途中参加の方も楽しくやっていける環境を整えたいと思っています。

みなさんも発表の機会があれば、微力ながらお手伝いしますよ。

2010年5月30日11:39 tmiya <tm...@bu.iij4u.or.jp>:

tmiya

unread,
May 31, 2010, 9:55:01 AM5/31/10
to Formal Methods Forum
tmiyaです

On 5月31日, 午前10:33, ken coba <ken.c...@gmail.com> wrote:
> 小林です。
>
> 途中参加の方も楽しくやっていける環境を整えたいと思っています。

CPDTとかも、本当は秋ぐらいになったら半年遅れのコースを
作って途中参加の人をフォロー出来る様にしたいですね。
Scala勉強会でだんだん途中参加が難しくなっていった反省として。
Reply all
Reply to author
Forward
0 new messages