動的ディスパッチを備えた言語における高度なコールグラフ構築
インコム 2025 年 12 月 11 日 アプリケーションのモダナイゼーション, Rescale データ, データの近代化, レガシーシステム, Tech Talk（テクニカルトーク）高度なコールグラフ構築は、動的処理に大きく依存する言語を扱う近代化アーキテクトにとって基礎的な機能となっています...
プロフィール
静的コード分析はマルチスレッド コードの競合状態を検出できますか?
インコム 2025 年 12 月 9 日 アプリケーションのモダナイゼーション, コード分析, 情報技術, Tech Talk（テクニカルトーク）複雑なマルチスレッド環境では、非決定的な実行パスが発生し、成熟したエンジニアリング組織でさえも困難に陥ります。システムが分散ランタイムに拡張されるにつれて、共有...
プロフィール
重要なシステムコンポーネントの形式検証手法
インコム 2025 年 12 月 8 日 用途, コードレビュー, コンプライアンス, データの近代化, レガシーシステム, Tech Talk（テクニカルトーク）形式検証は、安全性が極めて重要で、ミッションに依存するシステムの運用を担う組織にとって、決定的な能力となっています。近代化の取り組み…
プロフィール
AIを使用してすべてのレガシーコードモジュールのリスクスコアを計算する
インコム 2025 年 12 月 5 日 用途, 人工知能（AI）, コンプライアンス, 影響分析, Tech Talk（テクニカルトーク）企業の近代化プログラムでは、広大なレガシー資産全体にわたる技術的リスクを評価するための、防御可能かつ反復可能な手法がますます求められています。システム…
プロフィール
レガシー例外バブリングパターンをモナドまたは結果型に変換する
インコム 2025 年 12 月 2 日 アプリケーションのモダナイゼーション, コードレビュー, データの近代化, 情報技術, レガシーシステム, Tech Talk（テクニカルトーク）モノリシックおよびハイブリッドなエンタープライズシステムでは、障害状態を通知するための主要なメカニズムとして、例外バブリングを利用することがよくあります。これらのシステムでは…
プロフィール
プライベートパッケージマネージャーにおける依存性混乱攻撃の検出と修復
インコム 2025 年 12 月 2 日 アプリケーションのモダナイゼーション, 銀行, データの近代化, 用途事例, 情報技術, Tech Talk（テクニカルトーク）依存関係の混乱は、現代の開発エコシステムにおいて、ソフトウェアサプライチェーンに対する最も強力な脅威の一つへと急速に進化しています。しかし…
プロフィール