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

小林 健一

株式会社豆蔵

小林 健一の人気記事トップ5

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

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

小林 健一

2010年9月22日 20:00

小林 健一の執筆記事（最新5記事）

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

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

小林 健一

2010年9月22日 20:00

この記事をシェアしてください

人気記事トップ10

楽天、日本語LLM「Rakuten AI 3.0」を公開 ─ 約7000億パラメータの大規模モデル しっかりと理解できている? Linuxの「標準入力」「標準出力」再入門 「ExternalDNS」でDNSレコードの管理を自動化する Pythonの「Tkinter」でデスクトップゲーム「Color」を開発してみよう グラフィック編集ソフトウェア「GIMP 3.2.0」リリース ─ ベクターレイヤーなど新機能追加 KubeCon North America 2025、アーティファクト管理のCloudsmithのCEOとマーケティングトップにインタビュー 「SparkyLinux 2026.03」リリース ─ semi-rolling系列のISO更新、Linux 6.19搭載など クラスターを詳細監視する「Container Insights」のセットアップと有効化【前編】 文書や画像生成、データ分析などをGoogleのAIで効率化！『できるGemini』を5名様にプレゼント！ VRの『カクつき』を減らす新機能「FrameSync」Meta Questに順次導入、GoogleがHUD・スマートグラス向けデザインの指針を公開ほか
文書や画像生成、データ分析などをGoogleのAIで効率化！『できるGemini』を5名様にプレゼント！ Pythonの「Tkinter」でデスクトップゲーム「Color」を開発してみよう しっかりと理解できている? Linuxの「標準入力」「標準出力」再入門 Dockerを悪用するEDRバイパス手法「Bring Your Own Container」 記憶しているだけなのか？AIセキュリティ製品の評価の難しさ VRの『カクつき』を減らす新機能「FrameSync」Meta Questに順次導入、GoogleがHUD・スマートグラス向けデザインの指針を公開ほか 【CNDW2025】EoL対応に振り回されないために 老舗SaaSの現場がたどり着いた主導権を握る運用戦略 楽天、日本語LLM「Rakuten AI 3.0」を公開 ─ 約7000億パラメータの大規模モデル ドキュメントの翻訳を通じてKubernetesに貢献する 「Debian 13.4」リリース ─ 多数のセキュリティ修正・不具合修正
Pythonの「Tkinter」でデスクトップゲーム「Color」を開発してみよう 文書や画像生成、データ分析などをGoogleのAIで効率化！『できるGemini』を5名様にプレゼント！ しっかりと理解できている? Linuxの「標準入力」「標準出力」再入門 【持続可能なAIとの道】生成AIが“当たり前”になる社会で、地球は耐えられるのか WebAR開発ツール「8th Wall」がオープンソース化、PICOがOSや新たな開発ツールを一挙公開ほか Dockerを悪用するEDRバイパス手法「Bring Your Own Container」 記憶しているだけなのか？AIセキュリティ製品の評価の難しさ デスクトップ向けLinuxディストリビューション「Nitrux 6.0.0」リリース ─ メジャーアップデート VRの『カクつき』を減らす新機能「FrameSync」Meta Questに順次導入、GoogleがHUD・スマートグラス向けデザインの指針を公開ほか 【CNDW2025】EoL対応に振り回されないために 老舗SaaSの現場がたどり着いた主導権を握る運用戦略
人気記事ランキングをもっと見る

新着記事

「ExternalDNS」でDNSレコードの管理を自動化する 3月18日 6:30 KubeCon North America 2025、アーティファクト管理のCloudsmithのCEOとマーケティングトップにインタビュー 3月18日 6:00 しっかりと理解できている? Linuxの「標準入力」「標準出力」再入門 3月17日 6:30 【CNDW2025】スマホ感覚で環境をアップグレードする Image Modeが切り拓くCloudNative時代のOS運用 3月16日 6:01 VRの『カクつき』を減らす新機能「FrameSync」Meta Questに順次導入、GoogleがHUD・スマートグラス向けデザインの指針を公開ほか 3月16日 6:00

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

【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 目指すはプロセス連結によるサイロ化の打破! ガバナンス強化にも寄与する自動化プラットフォームとは 2025年1月15日 6:30