プログラムの検証論はフロイドに始まる。フロイドの方法は流れ図を使ったもので、プログラムを直接扱うものではなかった。ホーアはフロイドの方法を踏襲しながらプログラムの正しさを直接はかる方法を考え...

ちかごろ発売されたものでWEBアプリに特化されている、日本人が書いた、という点が特徴。 詳しくは書いてないが字引きのように基本的なツールなどが網羅されている感じ。 書籍情...

今日プログラムのミスを表現するバグという言葉は、名和小太郎の情報セキュリティという本の９８ページによると、コンピュータの発明される以前から「化け物」という意味で使われてい...

へー、１３５８日ねえ。大手の広告代理店の調査らしい。「好きになって、飽きて、他の人に変えるまでの期間」だそうです。しかし、このネタいつどこで誰に披露すればいいんだ？別れ際...