ゲームを作りながら楽しくスキルアップ!『ゲーム開発で学ぶC++入門 クリエイター直伝 創造力を高める知識と実践技法』を5名様にプレゼント!
10月1日 10:00
「Ubuntu 26.04.1 LTS」リリース ─ 8月25日までのアップデートを反映
8月28日 21:40
「Kotlin」の「Swing」「Java2D」でデスクトップゲーム「Color」を開発してみよう
9月16日 6:30
Windowsユーザーのための WSL2で始める Linux環境構築術
最新記事: 2026年05月14日
Gen AI Times
最新記事: 2026年10月01日
ゲーム実装で身に付くプログラミング
最新記事: 2026年09月16日
MySQLで学ぶGIS入門
最新記事: 2026年10月02日
インタビュー
編集部が読み解く! 3行でわかるテックニュース
現場エンジニアのための「Proxmox VE」活用術
最新記事: 2026年09月30日
月刊Linux Foundationウォッチ
【レガシーモダナイゼーション新潮流】AIが変える モダンアーキテクチャへの移行
テスト自動化ガイド 2024
生成AI完全ガイド 2024
IT運用管理ガイド 2023
DevOps完全ガイド 2023
クラウドデータベース完全ガイド 2023
業界情報やナレッジが詰まったメルマガやソーシャルぜひご覧ください
[運営] 株式会社インプレス
1. 初めにソフトウエアの欠陥がもたらす影響がクリティカルになるにつれて、より間違いの少ない開発手法に注目が集まっています。そんな中で注目されている技術の1つが、形式手法です。形式手法とは、数学をベースにしたシステム開発手法の総称です。ですが、従来の形式手法は、数学の専門知識が必要だったほか、大がか
小林 健一
2010年9月22日 20:00