ML: learn-ruby-in-kansai@r...
新メンバー: ikegami@m...

はじめまして、いけがみです。

この次の Ruby 関西 (12/16 Sat) で発表させていただきたいです。
どうぞよろしくお願いします。

題名は
  「Ruby で書いたプログラムのデバグ技術」
でお願いします。所属はもし必要でしたら「まっどさいえんてぃすと.jp」でお願いします。
研究所に勤めていますが、今回は、まっどさいえんてぃすとの人として発表します。

もしも長めの時間をいただけるなら、ですが、次のような内容を想定しています。

1. Introduction (10分)
  Ruby でバグに出会ったら
  irb
  ユニットテスト Test::Unit
  テスト駆動開発のメリットとデメリット
2. 振舞駆動開発と RSpec (10分)
  振舞駆動開発とは
  RSpec 紹介
3. ランダムテストと RushCheck (10分)
  ランダムテストがもたらす、自動テスト生成のメリット
  RushCheck 紹介
4. 形式的手法 (15分)
  テスト・実行・シミュレーションせずにバグを探す、それが形式的手法
    http://en.wikipedia.org/wiki/Formal_methods
  形式的手法のひとつ モデル検査手法
    http://en.wikipedia.org/wiki/Model_checking
  形式的手法のひとつ 定理証明手法
    http://en.wikipedia.org/wiki/Computer-aided_proof
    
5. Lightening デモンストレーション (10分)
  - RSpec 
  - RushCheck
  - C 言語を対象としたモデル検査器を何かひとつ (まだ迷っています)
    * BLAST
    * BOOP
    * CBMC
    あたりのどれかかなあ (何か希望がありましたらお返事ください)

最後のモデル検査器のデモは対象が C 言語なので、一見 Ruby と関係ない
ように見えます。そこで、検査対象を C 言語で書いた Ruby extension に
してみようかと、現在模索中です。わかりやすく面白い具体例を作るのって
難しいね。

まだ、スライドは作り始めていません。発表に対する要望などがありましたら
歓迎いたします。
--
池上 大介＠まっどさいえんてぃすと.jp
いけがみ だいすけ

--
ML: learn-ruby-in-kansai@r...
使い方: http://QuickML.com/

このMLを退会する方法:
- 本文が空のメールを <learn-ruby-in-kansai@r...> に送ってください
- 本文が空のメールを送れない場合は、
  本文に「退会」とだけ書いたメールを <learn-ruby-in-kansai@r...> に送ってください
  (署名やhotmailの広告などがついて空メールを送れない場合など)

<learn-ruby-in-kansai@r...> のメンバー:
kazuhiko@f...
kazuhiko-learn-ruby-in-kansai@f...
tomoya@c...
gollum@h...
konami@k...
nov@y...
xml@t...
zn@m...
iwai@a...
o-fukui@p...
adzumi@d...
sakai-n@m...
kawano@k...
esatie@m...
mash@a...
tomoya36@h...
hibino@c...
teraken@c...
usa@g...
masarl@n...
ishihara-h@k...
uo@x...
mfujiwara@j...
takeuchi@t...
yosimura@y...
morita@a...
psylocke777@h...
keisuken@c...
imura@p...
hien@k...
moriq@m...
aizawa@s...
ngoto@g...
waysidejet@y...
kitagawa@j...
oka@c...
unnie@b...
yabuki@n...
takahashi@k...
kida@n...
oxy@k...
asora@t...
syuri_orange@h...
speakillof@y...
tommy.heartbeat@g...
mr@s...
taka@t...
ohai@k...
tomita@o...
indigo07863@y...
kengo@k...
nabe3.com@s...
iseebi-polaris@h...
stoyan@g...
daniel@s...
tanaka@k...
mak@k...
okamoto@k...
chihiro.higuchi@g...
kuruton@g...
nanki@m...
swatoki@t...
ichiro@e...
tw7jx31@m...
motihara@g...
y2_yuhi@h...
tom@t...
muraguchi@g...
maki@r...
alice_into@y...
mori@r...
akipii_00@y...
ksk@b...
sider2jp@y...
ml@x...
philoeda@h...
maili31s@c...
cyross@p...
ko1@a...
mkoji530@g...
okkez000@g...
matakagi@o...
rudarake@n...
zstanaka@a...
yoshimasa.sone@t...
nshttsk@n...
kog.bangbangshoot@g...
hisamatu@g...
nagai@a...
maseita@g...
mass@e...
s-hamasaki@l...
kawabata@a...
miracle-m-pink@j...
fukuyama@s...
shoko-m@m...
yuyakato@g...
dritoshi@g...
esty@c...
vette@m...
ttate@t...
w.takasaki@g...
mkt.tokoi@g...
babie.tanaka@g...
h.tsutsumi@g...
moon29.5@g...
jj3vev@g...
raito@m...
nom@q...
lutz@h...
shimura-hir@o...
tricycle.mtbook@g...
shisa@o...
bluedwarf@b...
ikegami@m...