1. HOME
  2. 刊行物
  3. 金融ITフォーカス
  4. カテゴリから探す
  5. 数理の窓
  6. システムを進化させるシステム

システムを進化させるシステム

2019年12月号

外園康智

1つのプログラムが、仕様通り正確に動くことを“証明”するのは難しい。このため、仕様書からバグのないプログラムを自動生成する「自動プログラミング」の研究が進んでいる。・・・

-本文はPDFをご覧ください-

※組織名、職名は掲載当時のものです。

印刷用PDF

Writer’s Profile

外園康智Yasunori Hokazono

金融デジタル企画一部
上級研究員

この執筆者の他の記事

外園康智の他の記事一覧

このページを見た人はこんなページも見ています