2006年7月6日のブックマーク (5件)

  • UMLモデルをどうやってC言語に落とし込むか(1/3) ― @IT

    世界各国でAI関連規制の整備が進む中で、AIシステムの開発に求められるのが「検証(Verification)」と「妥当性確認(Validation)」から成る「V&Vプロセス」である。特に、自動車や航空宇宙の分野を中心に高い安全性や高い信頼性が重視されるセーフティクリティカルなシステムにAIを導入する際に重要な役割を果たすとみられている。

    zakie
    zakie 2006/07/06
  • 旬のアラカルト スペシャルインタビュー アラン・ケイが描くパソコンの未来像(前編)

    「パーソナル・コンピュータ」の概念を提唱したとして知られるアラン・ケイ氏に会う機会を得た。パソコンの未来を語る同氏の熱弁ぶりは健在だ。ムーアの法則に従い、半導体技術が3万倍に進歩したにも関わらず、ユーザーの実感としてコンピュータ・システムの性能向上はわずか50倍にすぎないと憂える。コンピュータ・アーキテクチャの進むべき方向性について、同氏の鋭い分析と将来の夢を3回のインタビュー連載でお届けする。 (聞き手=ITpro発行人 浅見直樹,写真=栗原克己) ―― コンピュータ技術の進歩にはめざましいものがありますが。  果たして、そうだろうか。必ずしも進歩していない部分もある。例えば、メモリのデータ転送速度はさほど高速化していない。また、マイクロプロセサも依然としてシングル・プロセサのアーキテクチャから脱却していない。これは、技術的な問題というよりも、コンピュータ・ベンダーが大きな変化を望んで

    zakie
    zakie 2006/07/06
    FPGAの話は興味深い
  • Japanese - The Joel on Software Translation Project

    [edit] カリフォルニア 2007年10月5日 [edit] FogBugz On Demand 2007年7月9日 [edit] マネジメントの 2007年6月29日 [edit] 記憶に残るようなカスタマサービスへの7ステップ 2007年2月19日 [edit] ファウンダーズ アット ワーク 2007年1月30日 [edit] Copilot 2.0リリース! 2007年1月26日 [edit] ビッグピクチャー 2007年1月21日 [edit] 新年の抱負: もっといい仕事につくこと! 2006年12月20日 [edit] 50万件のバグ! 2006年12月20日 [edit] 新作! 2006年12月18日 [edit] エレガンス 2006年12月15日 人々がソフトウェアをいじるのは、多くの場合、それで遊びたくてそうしているわけではない。彼らがソフトウェアを使うの

  • 日本版がある著名な海外ブログをまとめてみた - YAMDAS現更新履歴

    先月 TechCrunch に日版ができて、これはありがたいと思ったわけだが、考えてみればそうした海外の有名ブログで日版が存在するものは他にもあり、ワタシはその多くを購読している。やはり日語で読めるのは時間の節約になる。 ちょっと気になったので、公式、非公式を問わず海外のブログを翻訳公開しているサイトの一覧を以下にまとめてみる。絶対抜けがあるだろうから気づいた方はコメント欄なりメールなりで教えてください。というか、それを知りたいというのが裏の主眼だったりするのだが。 技術ニュース系ブログ あれ、これだけか? 参入の余地は多いにあると思う。 Engadget(日版) TechCrunch(日版) [7月8日追記]:元々東京をベースに活動しているブログなのでこれは少し例外的だが、PingMag は日版がある。 [7月31日追記]:Gizmodo の日版が登場しました。あとこれは分

    日本版がある著名な海外ブログをまとめてみた - YAMDAS現更新履歴
  • 【2ch】日刊スレッドガイド : 【IQテスト?】就活で企業から聞かれた問題

    特に理系で、就活やっていると、 いろいろなクイズっぽいことを聞いてくる会社があると思うんですが、 そういう問題を出し合って、楽しむのはどうでしょう? 企業で聞かれそうな問題でも可です。 私もいくつもありますので、順次出していきます。 面接中に聞かれるものなので、答えは簡単に出るんですよね。 出題者、回答者お待ちしています。 ※レス反転で正解表示 さっそく簡単なものから。 Q.  ここに一時間で燃え尽きる蚊取り線香があります。 これを使ってきっかり30分計ってください。 (某ソフトウエア会社)

    zakie
    zakie 2006/07/06