「Linux Mint 22.3」、Linux 7.0搭載HWE ISOを公開
8月11日 0:05
「Armbian 26.8」リリース ─ Linux 7.1と全面刷新したインストーラを採用
8月27日 23:22
Kaggleは「次の一歩へ踏み出す」のに役に立つ ー組み込み→画像AI→医療AI、3段階の越境が教えてくれたこと
8月14日 6:30
Windowsユーザーのための WSL2で始める Linux環境構築術
最新記事: 2026年05月14日
現場エンジニアのための「Proxmox VE」活用術
最新記事: 2026年08月28日
Kaggleは「○○」に役立つ
最新記事: 2026年08月14日
月刊Linux Foundationウォッチ
最新記事: 2026年08月31日
週刊VRウォッチ
AAAI Summer Symposium 2026レポート
AIにまつわるセキュリティあれこれ
最新記事: 2026年08月27日
編集部が読み解く! 3行でわかるテックニュース
【レガシーモダナイゼーション新潮流】AIが変える モダンアーキテクチャへの移行
テスト自動化ガイド 2024
生成AI完全ガイド 2024
IT運用管理ガイド 2023
DevOps完全ガイド 2023
クラウドデータベース完全ガイド 2023
業界情報やナレッジが詰まったメルマガやソーシャルぜひご覧ください
[運営] 株式会社インプレス
1. 初めにソフトウエアの欠陥がもたらす影響がクリティカルになるにつれて、より間違いの少ない開発手法に注目が集まっています。そんな中で注目されている技術の1つが、形式手法です。形式手法とは、数学をベースにしたシステム開発手法の総称です。ですが、従来の形式手法は、数学の専門知識が必要だったほか、大がか
小林 健一
2010年9月22日 20:00