Wed May 11 2005:start Sat May 14 2005:draft Mon May 16 2005:prefinal 形式的体系の初歩的知識を仮定して代数と余代数の紹介を試みる。特別な条 件を満たすソート付き形式的体系の指標(signature)を代数指標/余代数指 標と定義して、それのモデルとして代数/余代数を導入する。余代数とオブジェ クト指向との関係にも言及する。
Wed May 11 2005:start Sat May 14 2005:draft Mon May 16 2005:prefinal 形式的体系の初歩的知識を仮定して代数と余代数の紹介を試みる。特別な条 件を満たすソート付き形式的体系の指標(signature)を代数指標/余代数指 標と定義して、それのモデルとして代数/余代数を導入する。余代数とオブジェ クト指向との関係にも言及する。
いまTest::Baseが熱い Test::Base on Railsがかっこい。いま終わりました。 すげー未消化なメモですが。 テストコードとデータの(概念的な)分離 テストのパターンができるとデータをどんどん追加していける 定型的なテストを書くのによさげ filterがかなりいろいろ在る。 3A arrange act assert 頭(興味)が処理のときとデータのとき、というか開発をドライブしたいときと、すでにできたののバグ出しをしたい場合 RSpecはドライブするとき。 Test::Baseはいろんなパターンで繰り返したいとき。 SKIP more deep. KNOWN_BUG いまは通らないことがちゃんと判ってて、それは落ちるんだけどほっといてくれ。というケース。 でも通らないことがわかってはいようがなんだろうが全部走らせた結果ちゃんとグリーンだね、というのを assert し
Expired:掲載期限切れです この記事は,ロイター・ジャパンとの契約の掲載期限(30日間)を過ぎましたので本サーバから削除しました。 このページは20秒後にNews トップページに自動的に切り替わります。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く