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

小林 健一

株式会社豆蔵

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

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

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

    小林 健一

    2010年9月22日 20:00

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

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

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

小林 健一

2010年9月22日 20:00

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

人気記事トップ10

もっと仕事でCopilotを使いこなせる方法がわかる！『Microsoft 365 Copilot踏み込み活用術』を5名様にプレゼント！ Salesforce Developer Advocateの小田祥平さん(おだしょーさん) 「Rust」の「Bevy」でデスクトップゲーム「Color」を開発してみよう 「Capsule」でKubernetesのマルチテナント環境を構築する Goバイナリを徹底軽量化! ーバイナリの内訳計測から依存の整理まで MySQLで線やポリゴンの距離を測定してみよう Linuxディストリビューション「Artix Linux 2026.04」リリース ─ XLibreを標準採用 SIGGRAPH Asia 2025開催。キーノートから低空ドローンの管制システムを解説するキーノートを紹介 VPNソフトウェア「OpenVPN 2.7.1」リリース ─ 2.7系列の初回バグフィックス更新 「GNOME 49.5」リリース ─ Shell／Mutterなどコアコンポーネントを更新
もっと仕事でCopilotを使いこなせる方法がわかる！『Microsoft 365 Copilot踏み込み活用術』を5名様にプレゼント！ コマンド1行で作業を劇的に効率化! 今日から使える「ワンライナー」集 Salesforce Developer Advocateの小田祥平さん(おだしょーさん) Goバイナリを徹底軽量化! ーバイナリの内訳計測から依存の整理まで 【生成AIの事例トレンド】「試用」から「本格的な組み込み」のフェーズへ 「Application Model」の過去と現在 ーOAMからPlatform Engineeringへ 「Rust」の「Bevy」でデスクトップゲーム「Color」を開発してみよう 【アプリケーションエンジニア編】“シンプルなはず”が機能だらけに。炎上を防ぐ鍵は「可視化」 AIの国際会議、AAAI-26がシンガポールで開催。3万件以上の応募論文をレビューする生成AIレビューを紹介 【シリコンバレーに「日本のOJT」で挑む】AI GALA と AI Salon が証明した東海AIエコシステムの真髄
もっと仕事でCopilotを使いこなせる方法がわかる！『Microsoft 365 Copilot踏み込み活用術』を5名様にプレゼント！ Salesforce Developer Advocateの小田祥平さん(おだしょーさん) Goバイナリを徹底軽量化! ーバイナリの内訳計測から依存の整理まで 【生成AIの事例トレンド】「試用」から「本格的な組み込み」のフェーズへ 「Rust」の「Bevy」でデスクトップゲーム「Color」を開発してみよう コマンド1行で作業を劇的に効率化! 今日から使える「ワンライナー」集 【アプリケーションエンジニア編】“シンプルなはず”が機能だらけに。炎上を防ぐ鍵は「可視化」 Epic Games大規模レイオフを発表、Ubisoft、Red Storm Entertainmentのゲーム開発を終了 ほか 「Wine 11.6」リリース─ Androidドライバ再実装やVBScript改善など 【シリコンバレーに「日本のOJT」で挑む】AI GALA と AI Salon が証明した東海AIエコシステムの真髄
人気記事ランキングをもっと見る

新着記事

MySQLで線やポリゴンの距離を測定してみよう 4月10日 6:30 【CNDW2025】Crossplane導入で見えたKubernetesプラットフォーム運用の課題とCompositionが切り拓く次の可能性 4月10日 6:00 「Application Model」の過去と現在 ーOAMからPlatform Engineeringへ 4月9日 6:30 「Capsule」でKubernetesのマルチテナント環境を構築する 4月8日 6:30 AIの国際会議、AAAI-26がシンガポールで開催。3万件以上の応募論文をレビューする生成AIレビューを紹介 4月8日 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