世界トップの検索サービスを軸に様々なサービスを展開している企業。

もしくはそのサービスの名前。

[Googleのソフトウェアエンジニアリング](/wiki/Googleのソフトウェアエンジニアリング)だったり[SRE](/wiki/SRE)だったりエンジニア界隈に影響を与えることが多すぎる

Google

[暗号通貨](/wiki/暗号通貨)のうち、法定通貨と1:1での交換ができるもののことを言う。

運営会社が保証したり、[アービトラージ](/wiki/アービトラージ)が起こる仕組みを作ってシステマチックに保証したりしている。

ステーブルコイン

開発と運用を分けずに一緒にバランスをとっていい感じにしていこうぜというもの。

具体的な方法論としては[CI](/wiki/CI)や[CD](/wiki/CD)など。

実装として[SRE](/wiki/SRE)がある。

DevOps


ゴール、シグナル、メトリクスを明確に区別する (GSMフレームワーク)。  
  
- ゴール: 達成するべき目標。  
- シグナル: ゴールを達成したことを知る手段。必ずしも計測可能である必要はない。  
- メトリクス: シグナルの計測可能な代替品。  
  
メトリクスを計測する前に、それを計測した後どう行動するのかを考えるべき。  
  
生産性のゴールにはトレードオフがあるため、一部だけを計測するのはよくない。  
QuANTSのゴールを全て計測することで、網羅的に計測ができる。  
  
| 頭文字 | 英語                           | 日本語      |  
|-----|------------------------------|----------|  
| Qu  | **Qu**ality of the code      | コード品質    |  
| A   | **A**ttention from engineers | エンジニアの注意 |  
| N   | I**n**tellectual complexity  | 知的複雑性    |  
| T   | **T**empo and velocity       | テンポと速度   |  
| S   | **S**atisfaction             | 満足       |  

QuANTS

[暗号通貨](/wiki/暗号通貨)の[L2ソリューション](/wiki/L2ソリューション)において、セカンドレイヤーで処理したいくつかのトランザクションをまとめてメインのチェーンに保存するような方式のこと。

大きく分けて以下の2つに分かれる。
- [Optimistic Rollup](/wiki/Optimistic Rollup)
- [ZK_Rollup](/wiki/ZK_Rollup)

Rollup


鉄クロム線を石英管内にフィラメントとして設置したヒーターのこと。
値段は一番安い。
電気代が比較的高めだが、[ハロゲンヒーター](/wiki/ハロゲンヒーター)よりも少し安い。
一方で[ハロゲンヒーター](/wiki/ハロゲンヒーター)よりも暖かくない。

石英管ヒーター


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

データベースを分けるか？分けないか？もトレードオフである。  
  
データを分解する要因として以下のようなものがある。  
  
- 変更制御  
  - カラムの変更等の影響が多岐にわたる  
- コネクション管理  
  - 1つのデータベースだけを使うとコネクション数の管理が難しい  
- スケーラビリティ  
  - コネクション数  
  - 容量  
  - スループット  
  - パフォーマンス  
- 耐障害性  
  - 1つのデータベースだけを使うとデータベースが単一障害点となってしまう  
- [アーキテクチャ量子](/wiki/アーキテクチャ量子)
  - 1つのデータベースだけを使うと1つの[アーキテクチャ量子](/wiki/アーキテクチャ量子)となってしまう (つまり独立してデプロイできない、等)  
- データベース種別の最適化  
  - 1つのデータベースだけを使うと1つの保存方法だけしか使えない (つまりデータ特性ごとに最適な選択肢が取れない)  
  
逆に、データを統合する要因としては以下のようなものがある。  
  
- データ関係  
  - 密結合な外部キー等があるか？  
- トランザクション  
  - 単一のトランザクション単位が必要か？  
  
モノリスなデータベースを分解するには5段階のプロセスを踏むと良い。  
  
1. 分析し、ドメインを特定する  
2. ドメインごとにテーブルを割り当て、移動する  
3. コネクションをドメインごとに分離する  
4. スキーマをそれぞれのデータベースに移動する  
5. コネクションを切り替える

業務データの分解に関するトレードオフ


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

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

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


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

無難な味で結構使いやすい
安いし

モカシダモG4


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

ゼロ知識証明


計算モデルの一種で、同時期に提唱されていた他の計算モデルと同等の[計算可能性](/wiki/計算可能性)だった。

そのため、チャーチ＝チューリングのテーゼによってこれを計算可能であることの定義としよう、ということが提唱された。

チューリングマシン


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

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

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

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

Zero Knowledge - Succinct Non-interactive Argument of Knowledgeの略。

[ゼロ知識証明](/wiki/ゼロ知識証明)を用いて承認者が証明者に問いを出すことなく承認作業を短時間かつ少ない計算量で行うことができる手法のこと。

ZK-SNARK

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

[Optimistic_Rollup](/wiki/Optimistic_Rollup)を採用したもの。

Optimism


[機械学習](/wiki/機械学習)においては[中間層](/wiki/中間層)の変数のこととほぼ同義

中間層はだいたい入力より次元が低く、その次元で入力の特徴を捉えるようにチューニングするので、入力の特徴だけを捉えたものになる

関連：[潜在空間](/wiki/潜在空間)

潜在変数

<p>いかなる<a href="/wiki/%E3%83%81%E3%83%A5%E3%83%BC%E3%83%AA%E3%83%B3%E3%82%B0%E3%83%9E%E3%82%B7%E3%83%B3">チューリングマシン</a>もエミュレートできる<a href="/wiki/%E3%83%81%E3%83%A5%E3%83%BC%E3%83%AA%E3%83%B3%E3%82%B0%E3%83%9E%E3%82%B7%E3%83%B3">チューリングマシン</a>のこと</p>


万能チューリングマシン