[SRE](/wiki/SRE)においては[トイル](/wiki/トイル)は50%以下を目指すルールがある。

50%ルール


その[頂点](/wiki/頂点)を除くと[グラフ](/wiki/グラフ)が[非連結グラフ](/wiki/非連結グラフ)になるような[頂点](/wiki/頂点)のこと。

切断点

[万能チューリングマシン](/wiki/万能チューリングマシン)と同じ計算能力を持つこと。

チューリング完全


[ソフトウェアアーキテクチャ・ハードパーツ](/wiki/ソフトウェアアーキテクチャ・ハードパーツ)

マイクロサービスの粒度を大きくするか？小さくするか？もトレードオフである。  
  
粒度を小さくする要因としては以下のようなものがある。  
  
- サービスの範囲と機能  
  - 凝集性が高い状態になっているか？  
- コード変動率  
  - 一部のコードだけ変更頻度が高くないか？  
- スケーラビリティとスループット  
  - 一部だけスケールする必要があるか？  
- 耐障害性  
  - 一部の故障で全体が故障してしまわないか？  
- セキュリティ  
  - 一部だけ高いセキュリティが必要か？  
- 拡張性  
  - どの程度拡張されるか？  
  
粒度を大きくする要因としては以下のようなものがある。  
  
- トランザクション  
  - サービスをまたいだトランザクションが必要か？  
- ワークフローとコレオグラフィ  
  - サービス同士がやりとりする必要はあるか？  
- 共有コード  
  - サービス同士がコード共有の必要はあるか？  
- データ関係  
  - データは分解できるか？

サービスの粒度に関するトレードオフ


[飲んだコーヒー豆リスト](/wiki/飲んだコーヒー豆リスト)

なんかあんまり美味しくない
ほげほげマウンテンはあんまり好きじゃ無いのかもしれない
苦味が薄めな感じ

クリスタルマウンテン


[グラフ理論](/wiki/グラフ理論)における[グラフ](/wiki/グラフ)の定義から、[辺](/wiki/辺)の集合ではない方の集合。

頂点

初期の[暗号通貨](/wiki/暗号通貨)の取引手数料が高騰している課題の解決策として、大きく分けて以下の2種類がある。

- 最適化した新たな[暗号通貨](/wiki/暗号通貨)を開発し、それだけを運用可能にする（適度に連携することも多い。[サイドチェーン](/wiki/サイドチェーン)）。
- 最適化した新たな[暗号通貨](/wiki/暗号通貨)を開発し、その履歴を定期的に既存の[暗号通貨](/wiki/暗号通貨)に書き込む。

この内の後者をセカンドレイヤー (L2) ソリューションと呼び、その新たな暗号通貨をセカンドレイヤー等と呼ぶ。

代表例は[Ethereum](/wiki/Ethereum)に対する[Polygon](/wiki/Polygon)、[Optimism](/wiki/Optimism)、[Plasma](/wiki/Plasma)、[ライデンネットワーク](/wiki/ライデンネットワーク)、[Bitcoin](/wiki/Bitcoin)に対する[ライトニングネットワーク](/wiki/ライトニングネットワーク)等。

L2ソリューション


与えられた命題が真であることを、それ以外の情報を与えずに証明すること。

ゼロ知識証明

機械学習

[暗号通貨](/wiki/暗号通貨)で非中央集権的かつ分散的に合意する方法。

主に[プルーフオブワーク](/wiki/プルーフオブワーク)や[プルーフオブステーク](/wiki/プルーフオブステーク)、もしくはそれらをベースに改良したものが使われている。

コンセンサスアルゴリズム


[ソフトウェアアーキテクチャ・ハードパーツ](/wiki/ソフトウェアアーキテクチャ・ハードパーツ)

[ハードパーツ](/wiki/ハードパーツ)としてのコントラクトの定義は以下である。  
  
> アーキテクチャの部品が情報や依存関係を伝えるために使用するフォーマット。  
  
コントラクトとして例えば以下の様なものがあり、トレードオフがある。  
  
- 堅い
  - 例
    - gRPC  
  - メリット
    - 型
    - バージョニング
    - 検証が用意
    - ドキュメント  
  - デメリット
    - 密結合  
- 緩い
  - 例
    - JSON
  - メリット
    - 疎結合
    - 進化しやすさ
  - デメリット
    - 型がない
    - コンシューマ駆動契約等の適応度関数が必要

帯域幅は無限だと思うな。

コントラクトに関するトレードオフ

[Ethereum](/wiki/Ethereum)に対する[L2ソリューション](/wiki/L2ソリューション)の一つ。

Plasmaチェーンでトランザクションの処理とデータ記録を行い、[マークルツリー](/wiki/マークルツリー)のルートハッシュだけ定期的にルートチェーンに提出することで、ルートチェーンでの計算負担、ストレージ負担を大幅に軽減する仕組み。

Plasma


以下のようにプログラミングを行うこと

- コンシューマの観点で機能を設計する  
- サービスが何をやっているかを示す名前をつける  
- どう動くかは隠す

対義語は[インサイドアウトプログラミング](/wiki/インサイドアウトプログラミング)

https://www.oreilly.co.jp/books/9784873118864/

アウトサイドインプログラミング

[暗号通貨](/wiki/暗号通貨)に関して、[ブロックチェーン](/wiki/ブロックチェーン)上の分散台帳に台帳外のデータを提供する機能のこと。

主に[Chainlink](/wiki/Chainlink)が提供している分散ネットワークを経由して各種外部APIを叩いているらしい。

この辺が詳しかった。

https://www.coindeskjapan.com/92800/

オラクル


[VAE](/wiki/VAE)的なやつ

入力 -> エンコーダー -> 潜在空間 -> デコーダー -> 出力

という形のやつ

エンコーダーデコーダーモデル

<p><a href="/wiki/%E3%83%A9%E3%82%A4%E3%83%88%E3%83%8B%E3%83%B3%E3%82%B0%E3%83%8D%E3%83%83%E3%83%88%E3%83%AF%E3%83%BC%E3%82%AF">ライトニングネットワーク</a>の<a href="/wiki/Ethereum">Ethereum</a>版。</p>
