タグ

2010年4月28日のブックマーク (4件)

  • とある契約の備忘目録。契約による設計(Design by Contract)で信頼性の高いソフトウェアを構築しよう。 - Bug Catharsis

    「より堅牢で正確性の高いソフトウェアを作りたいぜ!」と願う.NETデベロッパーお待ちかねの、 契約による設計(DbC)をサポートするCode Contractsが.NET Framework4より利用できるようになります。 C#をベースとして契約による設計をサポートする「Spec#」を利用するという方法もありますが、 学習負担を軽減するためにと、マイクロソフトは言語を意識しなくても開発者が利用できるように、 Code Contractsとして.NET Frameworkで契約をサポートしてくれました。 これは、オブジェクト指向および、オブジェクト指向プログラミングが大好きな.NET開発者にとって、とても良い知らせです。 わたしも待ち望んでいたうちのひとりです。ありがとうマイクロソフト!!という気持ちでいっぱいです。 VisualStudio2010が4月12日(米国)にローンチされることが

    とある契約の備忘目録。契約による設計(Design by Contract)で信頼性の高いソフトウェアを構築しよう。 - Bug Catharsis
    Nagise
    Nagise 2010/04/28
    ほほう。契約に基づくプログラミングを機械的に補助出来るようになってきたか。ヒューマンエラー対策として好ましい方向に進んでいる感じ
  • 「コーチングについて思うこと」

    おぴさん @Opi 4月ということもあって、ちょっと新人教育のことについて書いてみる。というか、コーチングのことについて書いてみる。まあ、25のときに会社を立ち上げたときには、まさか上司になることであったり、マネージメントなんていうものに縁があるとは思ってもみなかった。 2010-04-27 15:04:08 おぴさん @Opi もともとうちはディレクションの会社で、若いうちなんてのは俺が俺がっていう人間ばかりが集まっているので、会社運営とか組織運営なんて考えたこともなかった。まあ、若気の至りというか、「自分たちが活動できればいい」なんて考えていたんだよね。 2010-04-27 15:05:15 おぴさん @Opi 立ち上げメンバーは5人だったけれど、絶妙なバランスだったので、無意識に役割分担ができていて、特に組織のルールだとかを考えずに済んだ。職域があきらかに違う人間が集まっていたので

    「コーチングについて思うこと」
  • ペイ・アズ・ユー・ゴー原則 ―そもそも適正な税収と歳出の規模はどうやって決めるのか? : 金融日記

    財政破綻だとか、史上最大の予算だとか、バラマキだとか、財源がないとか、消費税がうんたらかんたらとか最近よく聞きますが、そもそも論として適正な税収と歳出の関係はどうやって決めればいいのでしょうか? 今日はそのことを超簡単に説明したいと思います。 福祉を充実させたり、政府にいろいろ面倒をみてもらいたいとか、大きな政府がいいとするならば、当然、たくさんお金がかかります。 そのお金はどこから来るのかというともちろん税金です。 国民がどの程度の福祉や、富の再分配や、政府のサービスを求めているかというのは大いに議論するべきで、たとえばかなり大きな政府がいいということになって、年間100兆円程度の予算が必要だとするならば、当然税収も年間100兆円ぐらい必要になります。 低福祉・低負担の小さな政府を目指すので、年間50兆円程度の国家予算でOKなら、目指すべき税収は50兆円になります。 よく考えたら当然のこ

    ペイ・アズ・ユー・ゴー原則 ―そもそも適正な税収と歳出の規模はどうやって決めるのか? : 金融日記
    Nagise
    Nagise 2010/04/28
    シンプルだけど大事なこと
  • スペースコロニーにおける気象

    小川一水 @ogawaissui 起床。雨だ。何もない空中から水が落ちてくるというこの不思議。雨って地球以外の天体ではいろんな降り方しそうな気がする。下から上へ降るのがデフォになっている環境もあるかもしれない。 2010-04-27 13:30:30

    スペースコロニーにおける気象
    Nagise
    Nagise 2010/04/28
    面白い。雲を生じるにはどのぐらいの大きさが必要なのだろう?機械でコントロール可能なのかな?