インプレス ビジネスメディア

小林 健一 の記事（新着順）

モデリング技術の新しい動向 形式手法とモデリング - AlloyAnalyzerを中心に

1. 初めにソフトウエアの欠陥がもたらす影響がクリティカルになるにつれて、より間違いの少ない開発手法に注目が集まっています。そんな中で注目されている技術の1つが、形式手法です。形式手法とは、数学をベースにしたシステム開発手法の総称です。ですが、従来の形式手法は、数学の専門知識が必要だったほか、大がか

小林 健一

2010年9月22日 20:00

1 記事中 1 ～ 1 を表示

人気記事トップ10

「C#」の「Forms」でデスクトップゲーム「Color」を開発してみよう 【深淵なる実装の熱狂】STATION Aiで巻き起こるディープなテックイベント。若い起業家も牽引する「生成AIギルド」の正体 MCPの認可仕様に沿ってMCPサーバにアクセスしてみよう 「LibreOffice 26.2.4」リリース ─ Microsoft Office互換性や安定性を改善 Proxyサーバ「Squid 7.6」リリース ─ HTTPおよびFTP処理の堅牢性を改善 「GeoJSON」形式のGISオープンデータをMySQLに登録してみよう 「Linux Lite 8.0」リリース ─ Ubuntu 26.04 LTSベースに刷新 「AWS CloudTrail」でAWSアカウントの操作履歴を記録・監視してみよう AIの生産性を高めて現場の成果につなげよう！『Visual Studio Codeで学ぶ！GitHub Copilot入門』を5名様にプレゼント！ KubeCon Europe 2026から生成AIの間違いを修正するにはデータの来歴を持つことが重要というセッションを紹介
「C#」の「Forms」でデスクトップゲーム「Color」を開発してみよう 「Linux Lite 8.0」リリース ─ Ubuntu 26.04 LTSベースに刷新 【深淵なる実装の熱狂】STATION Aiで巻き起こるディープなテックイベント。若い起業家も牽引する「生成AIギルド」の正体 「AWS CloudTrail」でAWSアカウントの操作履歴を記録・監視してみよう 「GeoJSON」形式のGISオープンデータをMySQLに登録してみよう Grafana LabsがMeetupを開催。社内での開発体制やオープンソースを維持する苦労などについて語った 「LibreOffice 26.2.4」リリース ─ Microsoft Office互換性や安定性を改善 【開発の転換点】ローコードとAI開発が交わるこれからの開発現場 関数型Linuxディストリビューション「NixOS 26.05」リリース ─ systemd stage 1を既定化 「rsync 3.4.3」リリース ─ 複数の脆弱性修正など
「PyTorch 2.12」リリース ─ CUDAでの固有値分解を最大100倍高速化 データサイエンスの聖地「Kaggle」は競技を超えて何をもたらすのか：データサイエンスの実務、キャリア、そして知の集積地としての全貌 「C#」の「Forms」でデスクトップゲーム「Color」を開発してみよう WSLでUbuntuの最新LTSリリース「Ubuntu 26.04 LTS」を動かしてみよう 「MySQL」と「PostgreSQL」を安全に使い続けるための「バージョン管理」を理解する Linuxカーネルに権限昇格脆弱性「Fragnesia」 ─ Dirty Frag系統の新たな問題 「nginx 1.31.1/1.30.2」リリース ─ ngx_http_rewrite_moduleの脆弱性を修正 「Rocky Linux」が緊急セキュリティ修正用リポジトリを導入 Linuxカーネルにローカル権限昇格脆弱性「Dirty Frag」 ─ PoC公開、各ディストリビューションが対応進める OSSの持続可能性を問う －プリザンター10周年記念イベントで語られたコミュニティと継続の流儀
人気記事ランキングをもっと見る

新着記事

MCPの認可仕様に沿ってMCPサーバにアクセスしてみよう 6:30 KubeCon Europe 2026から生成AIの間違いを修正するにはデータの来歴を持つことが重要というセッションを紹介 6月8日 6:01 Robloxがフォトリアル構想へ前進、名作椅子の織田邸の3DGSによるデジタルアーカイブ化や製造・航空分野のXR活用 6月8日 6:00 「GeoJSON」形式のGISオープンデータをMySQLに登録してみよう 6月5日 6:30 KubeCon＋CloudNativeCon Europe 2026開催。併設のカンファレンスからAIに特化したセッションを紹介 6月5日 6:00

企画広告も役立つ情報バッチリ！ Sponsored

機能安全開発におけるGoogleTestの活用を支援!「Parasoft C/C++test CT」で実現する効率化＆AI連携 4月14日 6:30 【CNDW2025】Grafanaが明かす「オブザーバビリティの哲学」ー最小限の労力で実用的なインサイトを得るには 1月23日 6:30 【CNDW2025】プロダクト急増に備える基盤刷新 ーウェルスナビがECSからEKSへの移行で得た知見とは 1月15日 6:30 【CNDW2025】250環境を5人で運用、構築時間は30分に ーKINTOテクノロジーズが語るインフラ基盤組織の作り方 2025年12月18日 6:30 新たな自動化で熱視線！ AIエージェントの「推論能力」を支える2つのコンポーネントとは？ 2025年11月28日 6:30 IoTに生成AIを掛け合わせる「AI-driven IoT」で現場のIoTデータ活用を加速 2025年11月26日 6:30 アイレット、KDDIの属人化問題を生成AIアシスタントの精度を高め解消へ 2025年11月21日 6:30 「Grafana Cloud」の先進的ユーザーであるグリーが10年をかけて到達した「オブザーバービリティ」とは 2025年5月15日 6:30 Grafana Labs CTOのTom Wilkie氏インタビュー。スクラップアンドビルドから産まれた「トラブルシューティングの民主化」とは 2025年4月21日 6:30 API管理をより簡単にする「Kong Konnect」が解決する課題とその主要機能 2025年3月5日 5:30