結果だけでなく、
そこに至る判断まで。

クライアント主導のPoCへの開発協力

ツールチェイン選定と基礎設計はクライアントが主導し、CoRISEはRustによる実装と証明・モデル検査に協力しました。

• Project Everest
• Rust
• Kani
• Tamarin

関連サービス · プロダクトエンジニアリング / セキュリティ・レジリエンス / アーキテクチャ・モダナイゼーション

CoRISEによる契約・遂行事例

価値仮説と要件の整理から，アプリケーション開発，インフラ構築，デプロイ，PoC運用までを担当した。

• Value hypothesis
• Requirements
• React
• FastAPI
• OpenTofu
• GitHub Actions
• Nix
• Docker
• AWS ECS / Fargate
• PoC operation
• Deployment

関連サービス · プロダクトエンジニアリング / アーキテクチャ・モダナイゼーション / プラットフォーム・オペレーション

CoRISEによる契約・遂行事例

レガシー監視基盤から段階的に移行し，Kubernetes上の可観測性基盤と関連コンポーネントを継続運用した。

• Prometheus
• Thanos
• Grafana
• Vector
• Loki
• OpenTelemetry
• Alertmanager
• NixOS
• Kubernetes
• etcd
• Middleware lifecycle
• Observability operations

関連サービス · プラットフォーム・オペレーション / アーキテクチャ・モダナイゼーション / セキュリティ・レジリエンス

CoRISEによる契約・遂行事例

フォレンジック初動対応から、ID、ネットワーク、仮想化、バックアップ、脆弱性管理までを一つのシステムとして再設計しました。

• Incident response
• Initial access investigation
• Infrastructure assessment
• Network redesign
• Cloudflare Zero Trust
• Entra ID Conditional Access
• VLAN segmentation
• Incus
• S3 Object Lock
• Vulnerability management
• Resilience
• Infrastructure modernization

関連サービス · セキュリティ・レジリエンス / アーキテクチャ・モダナイゼーション / プラットフォーム・オペレーション

先行技術を活用したCoRISEの開発・統合

技術顧問によるF#アダプターとREST化の先行開発を活用し、CoRISEが顧客向けReactアプリケーションの設計・開発と統合を担当しました。

• Windows / COM
• F# Adapter
• Typed Domain Model
• REST / HTTP / JSON
• React / TypeScript
• Anti-Corruption Layer

関連サービス · プロダクトエンジニアリング / アーキテクチャ・モダナイゼーション