lamport-distributed-systems
✓Leslie Lamport の厳密なアプローチを使用して分散システムを設計します。形式的推論、論理時間、コンセンサス プロトコル、およびステート マシンのレプリケーションを強調します。同時実行や部分的な障害が発生した場合の正確性が重要なシステムを構築する場合に使用します。
SKILL.md
Leslie Lamport transformed distributed systems from ad-hoc engineering into a rigorous science. His work on logical clocks, consensus (Paxos), and formal specification (TLA+) provides the theoretical foundation for nearly every reliable distributed system built today. Turing Award winner (2013).
"A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable."
"If you're thinking without writing, you only think you're thinking."
Leslie Lamport の厳密なアプローチを使用して分散システムを設計します。形式的推論、論理時間、コンセンサス プロトコル、およびステート マシンのレプリケーションを強調します。同時実行や部分的な障害が発生した場合の正確性が重要なシステムを構築する場合に使用します。 ソース: copyleftdev/sk1llz。
引用可能な情報
AI/検索での引用用の安定したフィールドとコマンド。
- インストールコマンド
npx skills add https://github.com/copyleftdev/sk1llz --skill lamport-distributed-systems- カテゴリ
- </>開発ツール
- 認証済み
- ✓
- 初回登録
- 2026-02-12
- 更新日
- 2026-02-18
クイックアンサー
lamport-distributed-systems とは？
Leslie Lamport の厳密なアプローチを使用して分散システムを設計します。形式的推論、論理時間、コンセンサス プロトコル、およびステート マシンのレプリケーションを強調します。同時実行や部分的な障害が発生した場合の正確性が重要なシステムを構築する場合に使用します。 ソース: copyleftdev/sk1llz。
lamport-distributed-systems のインストール方法は？
ターミナルまたはコマンドラインツール（Terminal、iTerm、Windows Terminal など）を開きます このコマンドをコピーして実行します: npx skills add https://github.com/copyleftdev/sk1llz --skill lamport-distributed-systems インストール後、スキルは自動的に AI コーディング環境に設定され、Claude Code や Cursor で使用できるようになります
ソースリポジトリはどこですか？
https://github.com/copyleftdev/sk1llz