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

小林 健一

株式会社豆蔵

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

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

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

小林 健一

2010年9月22日 20:00

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

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

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

小林 健一

2010年9月22日 20:00

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

人気記事トップ10

Wgetの後継となる「GNU Wget 2.2.1」リリース 「GitHub Actions」で「Terraform」を使用してCI/CD統合を試してみよう 「KDE Frameworks 6.22.0」リリース 「線」の地理情報データを扱ってみよう MCPを活用した自律型ペネトレーションテストツール「PentestMCP」 「Debian GNU/Linux 13.3」および「12.13」リリース Kong API Summit 2025からKongの組み込みを自動化したユースケースのセッションを紹介 Debianベースのデスクトップ向けLinuxディストリビューション「Nitrux 5.1.0」リリース 加速する出社回帰の波、これからのエンジニアのキャリアとは 【CNDW2025】AppleのContainerization Frameworkから学ぶコンテナ技術の仕組みとその裏側
【2026年の新常識】「良い質問」より「良い前提」。生成AIを動かすコンテキスト設計 医療DXのヘンリーの開発トップにインタビュー。モノリスからマイクロサービスに回帰する背景とは？ 加速する出社回帰の波、これからのエンジニアのキャリアとは MCPを活用した自律型ペネトレーションテストツール「PentestMCP」 「GitHub Actions」で「Terraform」を使用してCI/CD統合を試してみよう 【CNDW2025】AppleのContainerization Frameworkから学ぶコンテナ技術の仕組みとその裏側 Wgetの後継となる「GNU Wget 2.2.1」リリース 新たに「ボーン(骨)」を実装したボーンモデルクラスを作成してみよう 軽量なLinuxディストリビューション「Manjaro 26」リリース Kong API Summit 2025からKongの組み込みを自動化したユースケースのセッションを紹介
医療DXのヘンリーの開発トップにインタビュー。モノリスからマイクロサービスに回帰する背景とは？ 【2026年の新常識】「良い質問」より「良い前提」。生成AIを動かすコンテキスト設計 加速する出社回帰の波、これからのエンジニアのキャリアとは MCPを活用した自律型ペネトレーションテストツール「PentestMCP」 「GitHub Actions」で「Terraform」を使用してCI/CD統合を試してみよう Wgetの後継となる「GNU Wget 2.2.1」リリース 【CNDW2025】AppleのContainerization Frameworkから学ぶコンテナ技術の仕組みとその裏側 インタプリタ型スクリプト言語「Lua 5.5.0」リリース スマートグラス「XREAL Air 2」が販売終了ほか インタラクティブシェル「fish 4.3」リリース
人気記事ランキングをもっと見る

新着記事

Rokidが38.5グラムの新型AIグラス発表、RazerのAIコンパニオン搭載デバイスほか 6:00 「線」の地理情報データを扱ってみよう 1月9日 6:30 Kong API Summit 2025からKongの組み込みを自動化したユースケースのセッションを紹介 1月9日 6:00 【2026年の新常識】「良い質問」より「良い前提」。生成AIを動かすコンテキスト設計 1月8日 6:30 加速する出社回帰の波、これからのエンジニアのキャリアとは 1月8日 6:30

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

【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 AIで激変する「DevOpsの未来」と「IT組織のリーダーが備えるべきこと」とは 2024年11月26日 8:53 仕様書からテストケースを自動生成! Autify Genesisが変えるソフトウェアテストの未来 2024年11月21日 8:04