Shoeisha Technology Media

CodeZine(コードジン)

特集ページ一覧

著者情報

  • 石川 冬樹(国立情報学研究所)(イシカワ フユキ)

     国立情報学研究所 コンテンツ科学研究系 准教授。電気通信大学 情報理工学研究科 客員准教授。博士(東京大学・情報理工学・2007年)。形式手法や最適化技術を中心として、ソフトウェア工学および、自律・スマートシステムのディペンダビリティに関する研究に従事。

執筆記事

  • 2017/11/07

    「形式手法」の“論理の力”による開発効率と品質の向上事例

     社会人エンジニア向けの教育プログラム「トップエスイー」から、エンジニアの皆さんに対して有用な情報をお届けするコーナーです。ところで、形式手法という言葉はご存じでしょうか? 一般には「数理論理学に基づき、効率よく高品質なソフトウェアを開発するための手法の総称」などといわれます。とはいえ「数理論理学」といわれてもなかなか実感ができないと思います。さらに「総称」と述べましたが、セミナーや書籍などで勉強した方も、その中の一つの手法や観点のみに触れたのではないかと思います。本記事ではAmazon Web...

1件中1~1件を表示
戻る


All contents copyright © 2005-2019 Shoeisha Co., Ltd. All rights reserved. ver.1.5