ソフトウェア科学のための論理学だけでなく、論理学のためのソフトウェア科学という視点を全面に押し出すと、2つの流れの交点がどこにあるかが分かり、技術が好転するかもしれません。
読書状況:読み終わった
公開設定:公開
カテゴリ:
岩波講座 コンピュータ/ソフトウェア
- 感想投稿日 : 2011年8月15日
- 読了日 : 2008年5月15日
- 本棚登録日 : 2011年8月15日
みんなの感想をみる