朝日新聞デジタル：日立など、高信頼の車制御ソフト検査技術を開発−プログラム３５万行適用 - 日刊工業新聞ニュース - テック＆サイエンス
日立製作所は日立オートモティブシステムズ（東京都千代田区、大沼邦彦会長兼ＣＥＯ、０３・４２３２・５３００）と共同で、プログラミング手法の形式手法を用いて信頼性の高い自動車制御ソフトの検査技術を開発した。これまでに論文などで報告された形式手法の範囲に比べ約１０倍となる３５万行のプログラム行数に適用できることを実証した。日立オートモティブは２０１３年度から、今回の新技術を製品開発に利用し、さらに高信頼性の自動車制御ソフトを開発していく計画だ。 形式手法とは、要求された仕様と設計をそれぞれ数学的に記述し、これらの違いを比べて設計が要求仕様を満たすかどうかを厳密に検査する技術。両社はＣ言語で書かれたプログラム（ソースコード）から検査モデルを自動生成する技術を開発し、検査支援ツールを試作した。 具体的には、設計者が検査したい点に関係する部分だけを抽出し、計算機で調べる必要のある検査モデルの動作し
泥にまみれた塚田九段が譲れなかったもの -『将棋電王戦』第四局 "棋士の意地"すら超えた、勝負への壮絶な執念
レポート 泥にまみれた塚田九段が譲れなかったもの -『将棋電王戦』第四局 "棋士の意地"すら超えた、勝負への壮絶な執念 人間対コンピュータの戦い。このレポートも4回目を迎えるが、今回の戦いほど異様な勝負はこれまでの将棋界では見たことがないものだった。筆者は第三局のレポートの結びで「意地の勝負なら塚田九段はきっとやってくれる」と予想したが、塚田九段が見せたのは「棋士の意地」の範疇をすら超えた、勝負への壮絶な執念だった。泥にまみれることすらいとわない、なりふり構わぬ戦いぶりに対しては賛否両論もあるだろう。しかし、この戦いを称えるのか非難するのか、それは勝負を見た人間がそれぞれに決めればいい。ここでは、この日の盤上とそれを取り巻く人たちの間で何が起こっていたのか、その真実に迫ってみたい。 「第2回将棋電王戦」は、日本将棋連盟に所属する現役プロ棋士5人と、第22回世界コンピュータ将棋選手権で上位に
Adobe Labs - Blueprint
Update: 06/10/09 — Blueprint now supports the beta releases of Flash Builder 4 and Flex 4 SDK on Adobe Labs. Welcome to the preview release of project "Blueprint." Blueprint is a plugin for Adobe® Flex® Builder™ 3 and Adobe Flash® Builder™ 4 that allows users to query for Adobe Flex and Adobe Flash code examples found on the Web directly inside of the development environment. The purpose of this p
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
