ＩＴ斜め斬り〜東証のトラブルで再認識した　フォーマルメソッドの重要性
日経ITプロフェッショナル　第44号　2006.1.1

この記事の情報
掲載誌	日経ITプロフェッショナル　第44号（2006.1.1）
ページ数	1ページ　（全1644字）
形式	PDFファイル形式　（159kb）
雑誌掲載位置	10ページ目

　１１月に続いて，またも東京証券取引所（東証）でトラブルが発生した。１２月８日，ジェイコムの新規上場に際し，みずほ証券が誤発注データを入力。直後の取消データが受け付けられなかったため，大量の誤約定が成立したのだ。　値段と株数を取り違えて入力し，システムが警告を出していたにもかかわらず強引に発注したことが最大の原因だが，直後に入力した取消データを受け付けなかった東証のシステムも問題である。　当初，東…