InfoQ ホームページ sweng に関するすべてのコンテンツ
ニュース
RSSフィード-
Grady Booch、AIの未来を語る
Grady Booch氏によると，昨今のAIシステムは，その大部分がエッジにおける信号のパターンマッチングと帰納的推論(Inductive Reasoning)に関わるものであって，真の人工知能(Artificial Intelligence)ではない。2018 QCon San Franciscoの２日目に行った基調講演 "Building the Enchanted Land" で氏は，現在のAIとは"AIコンポーネントを備えたシステムエンジニアリングの問題"である，という持論を展開した。
-
Criteoにおけるエンジニアリング文化の進展
シニアマネージャには、エンジニアリング文化を最重要課題とし、優れたエンジニアリング文化を実現するためのフレームワーク構築が求められる。文化を発展させるには価値が必要だ。その価値は、物事の進め方を規定するルールによって支えられる。
-
形式的手法を用いた正当性立証可能なソフトウェアの開発
ソフトウェアプログラム内の中核的なコミュニケーションと状態管理が論理的に100%正しいことを証明する手段として，コンピュータチェックモデルを利用する方法がある。同じようなモデルは，100%正確なソースコードの作成にも応用できる。このような形式的手法を利用することにより，市場提供のためのコストと時間を削減し，より信頼性の高いソフトウェア製品の提供が可能になる。
-
SEIが内部的脅威に関するガイドブックを発刊
ACTA、SEPA、PIPA、Stuxnet、Googleの共通点は何だろう。皆、情報セキュリティ関連で先月メディアを賑わせたが、共通するのは組織内部の脅威によって企業情報の諜報や詐取が行われる危険があることを忘れているの点だ。
-
ソフトウェア原因による車の加速問題
最近のニュース報告で、CNNは、電子装置による加速に関する車メーカーの問題をソフトウェアの問題と結びつける、翻訳されたToyotaのメモを暴露した。ニュース雑誌がこのような話を取り上げること自体が、組込みシステムのソフトウェアが増々重要になっていることを示している。