2011年04月07日

形式手法勉強会参加

3月の第一週,形式手法の勉強会に参加してきました.

参加した感想は,さらに興味が湧いてきて勉強したくなってきました.時間をどこかでつくろう.パソコンに環境もないしね.


勉強会に参加したとき,色々衝撃的でした.

まず,開催場所がよく分からずに道に迷いまくりました.開始時間に間に合う時間に家を出たはずなのに,昼食も食べずに彷徨う羽目に...
ようやく空腹を我慢して着いたその会場では,みなさんラップトップパソコン持ってきてる!自分はこの日に限って置いてきてる!パワポとか使っての勉強会だと思ってたのです...それが,スクリーンに画面を映しだし,みんな各自のマシン上でプログラムを書きながら確認してくというスタイルの勉強会.

プログラミング系の勉強会自体初めての参加だったのでそのギャップにただただ唖然.失敗したという気持ち.

また,あまりにみなさま専門的な用語,というか,ある問題証明について解いていくということを淡々とおこなったり,各自の報告などもあり,形式手法の予備知識もろくに入れずに来た私にはまったくついていけず...


空腹と喉の乾きで疲れてきて,心のなかで決めました.


『帰ろう』と.


more read...


posted by maplewine at 18:00| Comment(0) | TrackBack(0) | Computer | このブログの読者になる | 更新情報をチェックする
×

この広告は180日以上新しい記事の投稿がないブログに表示されております。