「Armbian 26.8」リリース ─ Linux 7.1と全面刷新したインストーラを採用
8月27日 23:22
「Linux Mint 22.3」、Linux 7.0搭載HWE ISOを公開
8月11日 0:05
「Ubuntu 26.04.1 LTS」リリース ─ 8月25日までのアップデートを反映
8月28日 21:40
Windowsユーザーのための WSL2で始める Linux環境構築術
最新記事: 2026年05月14日
Kaggleは「○○」に役立つ
最新記事: 2026年09月04日
インタビュー
最新記事: 2026年08月12日
Kubernetesを使いこなす抽象化の技法
最新記事: 2026年09月10日
編集部が読み解く! 3行でわかるテックニュース
AI時代のエンジニア 判断力の鍛え方
最新記事: 2026年09月09日
現場で即使える Go開発実践テクニック集
IT×○○ 越境する挑戦者たち
最新記事: 2026年09月08日
イベント・セミナー2026
最新記事: 2026年09月07日
【レガシーモダナイゼーション新潮流】AIが変える モダンアーキテクチャへの移行
テスト自動化ガイド 2024
生成AI完全ガイド 2024
IT運用管理ガイド 2023
DevOps完全ガイド 2023
クラウドデータベース完全ガイド 2023
業界情報やナレッジが詰まったメルマガやソーシャルぜひご覧ください
[運営] 株式会社インプレス
1. 初めにソフトウエアの欠陥がもたらす影響がクリティカルになるにつれて、より間違いの少ない開発手法に注目が集まっています。そんな中で注目されている技術の1つが、形式手法です。形式手法とは、数学をベースにしたシステム開発手法の総称です。ですが、従来の形式手法は、数学の専門知識が必要だったほか、大がか
小林 健一
2010年9月22日 20:00