« プロセス代数の重要性~オートマトンやCSPを基礎から学習しよう | トップページ | 「決定力を鍛える」~世界の頭脳のよる戦略決定の自己啓発書 »

2010年6月30日 (水)

科学的ソフトウエア開発のススメ~数学的・論理学的な動的モデルの設計方法

日本のソフトウエア開発の現場では、感覚的・経験則的な開発が横行しているので、これからのソフトウエア開発に対しほとんど準備ができていないと思う。

ヨーロッパを中心に数学的・論理学的なソフトウエア開発がおこなわれているので、日本はますます危機的な状況に陥らないか心配だ。

海外では大学からきっちりとした数学的・論理学的なソフトウエア開発の授業が実施されている。

Image014 Image015 Image016 Image017

|

« プロセス代数の重要性~オートマトンやCSPを基礎から学習しよう | トップページ | 「決定力を鍛える」~世界の頭脳のよる戦略決定の自己啓発書 »

「パソコン・インターネット」カテゴリの記事