Meta、新デバイス対応のSDK最新バージョンやAIグラス向け開発環境、2D/3Dゲーム制作ツールを発表 ほか
10月5日 6:00
「C#」の「WinUI」でデスクトップゲーム「Color」を開発してみよう
10月7日 6:30
Kaggleは「加速」に役立つ ー挫折から戦略を立て直し、Kaggle Masterに至るまでの成長曲線
9月25日 6:30
週刊VRウォッチ
最新記事: 2026年10月19日
ゲーム実装で身に付くプログラミング
最新記事: 2026年10月07日
Windowsユーザーのための WSL2で始める Linux環境構築術
最新記事: 2026年05月14日
エンジニアが現場で使えるPMOの失敗回避術
最新記事: 2026年10月21日
「クラウドネイティブ会議」レポート
エンジニアの本棚から
最新記事: 2026年10月20日
イベント・セミナー2026
オープンソースDB運用管理Tips
【レガシーモダナイゼーション新潮流】AIが変える モダンアーキテクチャへの移行
テスト自動化ガイド 2024
生成AI完全ガイド 2024
IT運用管理ガイド 2023
DevOps完全ガイド 2023
クラウドデータベース完全ガイド 2023
業界情報やナレッジが詰まったメルマガやソーシャルぜひご覧ください
[運営] 株式会社インプレス
1. 初めにソフトウエアの欠陥がもたらす影響がクリティカルになるにつれて、より間違いの少ない開発手法に注目が集まっています。そんな中で注目されている技術の1つが、形式手法です。形式手法とは、数学をベースにしたシステム開発手法の総称です。ですが、従来の形式手法は、数学の専門知識が必要だったほか、大がか
小林 健一
2010年9月22日 20:00