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

小林 健一

株式会社豆蔵

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

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

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

小林 健一

2010年9月22日 20:00

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

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

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

小林 健一

2010年9月22日 20:00

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

人気記事トップ10

【クラウドという新大陸】主要3大クラウドの「ネイティブテレメトリ」 グローバルな設定ファイル「.wslconfig」でWSL2をチューニングしてみよう オープンソースの電子書籍管理ソフト「Calibre 9.0」リリース ─ 本棚ビューやビューア操作性を強化 Ubuntuベースの軽量Linuxディストリビューション「Linux Lite 7.8」リリース ― 多数アプリケーションをPython/GTK4へ刷新 マルウェア解析環境を作ってみよう(ベースOSとHost OSのインストール) 3D世界を創るAI「Marble」のAPI公開ほか 写真で見るGitHub Universe 2025、「楽しむ」ためのカンファレンスの様子とスポンサーブースを振り返る バージョン管理システム「Git 2.53.0」リリース ─ maintenance改善やblame拡張などの機能強化 Linuxカーネル「Linux 6.18.8/6.12.68/6.6.122」リリース ─ メンテナンスリリース 【号外：2026年の中心地】「会社でAIの話が通じない」を解消する。共創の現在地ーSTATION Ai「生成AIギルド」ー
マルウェア解析環境を作ってみよう(ベースOSとHost OSのインストール) 「OpenSSL」に複数の脆弱性、アップデートが提供 ソウルドアウトグループが切り開く、全社員95%活用を達成した生成AI活用の軌跡 グローバルな設定ファイル「.wslconfig」でWSL2をチューニングしてみよう オープンソースの電子書籍管理ソフト「Calibre 9.0」リリース ─ 本棚ビューやビューア操作性を強化 広視野角の一体型MRヘッドセット発表、Metaが法人向けプログラムを終了ほか Ubuntuベースの軽量Linuxディストリビューション「Linux Lite 7.8」リリース ― 多数アプリケーションをPython/GTK4へ刷新 【号外：2026年の中心地】「会社でAIの話が通じない」を解消する。共創の現在地ーSTATION Ai「生成AIギルド」ー 「Blender」で作成したボーンアニメーションを「UltraMotion3D」ライブラリで表示してみよう 3D世界を創るAI「Marble」のAPI公開ほか
マルウェア解析環境を作ってみよう(ベースOSとHost OSのインストール) 【完全解剖】AIエージェント時代のセキュリティ 「OpenSSL」に複数の脆弱性、アップデートが提供 広視野角の一体型MRヘッドセット発表、Metaが法人向けプログラムを終了ほか 【号外：2026年の中心地】「会社でAIの話が通じない」を解消する。共創の現在地ーSTATION Ai「生成AIギルド」ー ソウルドアウトグループが切り開く、全社員95%活用を達成した生成AI活用の軌跡 グローバルな設定ファイル「.wslconfig」でWSL2をチューニングしてみよう オープンソースの電子書籍管理ソフト「Calibre 9.0」リリース ─ 本棚ビューやビューア操作性を強化 「Blender」で作成したボーンアニメーションを「UltraMotion3D」ライブラリで表示してみよう フラグ管理のオープンスタンダード「OpenFeature」と評価エンジン「flagd」でFeature Flagの導入課題を解決する
人気記事ランキングをもっと見る

新着記事

グローバルな設定ファイル「.wslconfig」でWSL2をチューニングしてみよう 2月3日 6:30 写真で見るGitHub Universe 2025、「楽しむ」ためのカンファレンスの様子とスポンサーブースを振り返る 2月3日 6:00 【CNDW2025】アラート起点の原因分析をAIで標準化するKINTOテクノロジーズのエージェントアーキテクチャ 2月2日 6:01 3D世界を創るAI「Marble」のAPI公開ほか 2月2日 6:00 LF Researchが2025年の金融サービスにおけるOSS活用の現状を調査したレポートを公表 1月30日 6:30

企画広告も役立つ情報バッチリ！ 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