より多くの学生に自社の開発ツールを使用してもらうことを望んでいるMicrosoftは、それを実現するビジネスモデルを考案した。 それが同社製ソフトウェアの無償提供だ。 10カ国の大学生は今週から、「DreamSpark」という取り組みの一環として、Microsoftの「Visual Studio」など複数のプログラムを無料で使用することができるようになる。Microsoftでは2009年にかけて、全世界の大学生と高校生を対象に同プログラムを提供していく計画だ。 Visual Studioツールに加え、Microsoftではさらに、デザインツール「Expression Web」およびXbox 360用ソフトウェアの開発環境「XNA Studio」も無償で提供する。Microsoftは、既に自社製ソフトウェアのアカデミック版を割引価格で提供しているほか、Visual Studioの「Expre

ソフトウェアの欠陥はなぜ無くならないのか 先日、公衆電話がうるう年を処理できなくてサービス停止というニュースが流れました。 自己診断プログラムに欠陥があり、次の診断日時を設定する際、うるう年を考慮できなかったことがきっかけで、障害が発生したのだそうです。 こういったソフトウェア──機械的・物理的なもの(ハードウェア)以外の部分──の欠陥は、日増しに増えています。 2005年には証券取引所で単純なプログラムミスで半日取引停止になっていますし、同年にウィルス対策ソフトウェアが障害を起こしてパソコンがまともに動かなくなるなどの症状を出しました。 普通に使われてるパソコンに入ってるOSと呼ばれるソフトウェアも、毎月のように欠陥を見つけては修正を配布しています。 さて、こういった問題はなぜ起こるのでしょうか? ちょうど先日、NHKのクローズアップ現代でソフトウエア危機〜誤作動相次ぐハイテク製品〜とい

ネタ元はこのあたり。 SIer と Rails とエンタープライズと エンタープライズにおけるRailsの価値とは 弊社の某エロい人がRoRに萌えており「おお、なんて生産性が高いんだ。もうWebアプリなんて全部これでいいじゃないか。」とか本気で思ってそうなので萎える。言語の違いは時にはビジネスモデルの違いにつながることが理解できないようだ。言語ってのは文化なの！これからはRubyを全面的に取り入れ開発標準もRubyだぁぁぁぁとか言い出したらどうしよう。グーで殴るしかないかｗ 本来、コード量の少なさや、CoCを前提とした設定の少なさが価値を発揮するのは、メンテナンスの場面です。読み込まないといけないコード量の少なさと、少ないコードの変更で修正ができることが、その理由です。そのためには、大前提として、Ruby（on Rails）らしい、プログラムを作っておくことが必須なので、マネージャはその辺

Microsoftは米国時間11月5日、フラグシップの開発ツール「Visual Studio 2008」を11月末までにリリースする意向を明らかにした。 Microsoftによれば、新版のVisual Studio 2008ではライセンス条件が変更され、パートナー企業がMicrosoft Windows以外のOSと連携するアドオン製品を開発できるようになるという。 またPremierパートナーはデバッグ用にVisual Studio 2008のソースコードを参照することが可能になる。 これに加えMicrosoftは、PtoPアプリケーションの開発を簡素化するソフトウェアキット「Sync Framework」のコミュニティーテクノロジープレビューを発表した。 あわせて、Popflyを使って開発されたSilverlight用のガジェットをVisutal Studioで開発されたウェブページに組

ニコニコ動画：https://www.nicovideo.jp/watch/sm2195306 はじめまして、和田卓人（わだ たくと）といいます。 このたびgihyo.jpにて、テスト駆動開発（TDD）の連載をすることになりました。 筆者は『WEB+DB PRESS Vol.35』の特集1「実演！ テスト駆動開発」と、『WEB+DB PRESS Vol.37』の特集1「実演！ リファクタリング」を執筆させていただいた際に、同時に動画企画を行わせていただきました。おかげさまで「実演！ テスト駆動開発」と「実演！ リファクタリング」は、本誌および特設サイトの企画として、たいへん多くの方にご覧いただき、多数のご意見をいただきました。頂いたご意見の中には、以下のような意見がありました。 もう少し初心者にもわかりやすく もっと突っ込んだ内容をもう少し詳しく もう少し実践的に 特集をお読みくださった方

（5/24追記：「λ式とは何か」「β簡約とは何か」あたりは前提知識としています。その部分については、自己引用ですみませんが授業のレジュメや、はてなキーワードのyoriyukiさんによるλ計算についてのエントリなどをば。） ちょー間が空いてしまいましたが、突然再開。λ式 M ::= x | λx.M | M1 M2 の操作的意味論というと、 (λx.M1)M2 → [M2/x]M1 M1→M1'ならばM1 M2 → M1' M2 M2→M2'ならばM1 M2 → M1 M2' M→M'ならばλx.M → λx.M' という帰納的定義によるsmall-step reductionが「普通」です。プログラミング言語を意識して、閉じた式かつ（たとえば）call-by-valueに限ると V ::= λx.M M ::= V | x | M1 M2 (λx.M)V → [V/x]M M1→M1'なら