[SRE](/wiki/SRE)において繰り返しで何も生み出さない作業のこと。

トイルを削減していき人が運用できる状態に保つことがSREの目標の一つ。

トイル

Continuous Deliveryの略で、本番環境までのデプロイを自動化して安定かつ高速にリリースしようぜというやつ。

[CI](/wiki/CI)とセットでCI/CDと呼ばれる。

[DevOps](/wiki/DevOps)


モノリスからサービスベースアーキテクチャを経てマイクロサービスへ移行していくためのやり方のうちの一つで、以下の様な手法。

- まるっと別アプリケーションとしてコピーして立て、それぞれ1部の機能しか使っていない状態にする。  
- その後、不要な機能をリファクタリングによって削除していく。

戦術的フォーク


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

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

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

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

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


https://ja.m.wikipedia.org/wiki/マトロイド

[貪欲法](/wiki/貪欲法)で最適化できる性質を持つ集合のこと

- [空集合](/wiki/空集合)を含む
- [部分集合](/wiki/部分集合)は必ず含まれる
- 小さいものから大きいものへの遷移が可能

これであれば[貪欲法](/wiki/貪欲法)の[局所解](/wiki/局所解)が[最適解](/wiki/最適解)と一緒になるのでで解ける

[グラフ](/wiki/グラフ)の[辺](/wiki/辺)集合における[森](/wiki/森)の集合とかがマトロイドになるので、つまり[最小全域木問題](/wiki/最小全域木問題)が解けることになる

そういうマトロイドのことを[グラフマトロイド](/wiki/グラフマトロイド)とか[閉路マトロイド](/wiki/閉路マトロイド)とかいう

閉路マトロイドの[基](/wiki/基)は[全域木](/wiki/全域木)になる

マトロイド


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

あんまりだった
さすがに安定している味だったが

珈琲問屋冬のブレンド雪灯り

[サトシナカモト](/wiki/サトシナカモト)によって公開された以下の論文の仕組みによって分散的に運用されている世界で最初の[暗号通貨](/wiki/暗号通貨)。

https://bitcoin.org/bitcoin.pdf

論文の日本語訳

https://www.kk-kernel.co.jp/qgis/HALTAK/FEBupload/nakamotosatoshi-paper.pdf

ざっくり言えば「誰が誰にいくら渡した」という事実が記録された台帳データを、[プルーフオブワーク](/wiki/プルーフオブワーク)を付けて[ブロックチェーン](/wiki/ブロックチェーン)として繋げて記録することで、最も長いチェーンを信頼すれば[ビザンチン合意](/wiki/ビザンチン合意)ができる、という仕組み。

[チューリング完全](/wiki/チューリング完全)ではない等の欠点はあるが、一応簡易なスクリプトが使えるため、[スマートコントラクト](/wiki/スマートコントラクト)も作れるらしい。

この動画がわかりやすすぎた。

https://youtu.be/o-xhOBn4S60


Bitcoin


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

ゼロ知識証明


[Googleのソフトウェアエンジニアリング](/wiki/Googleのソフトウェアエンジニアリング)の定義では

> コードの挙動を変えずに整理された内容に書き直すこと

である。

つまり、最も重要なのは自動テストである。自動テストがないと挙動が変わってないことが担保できないからである。

参考
https://qiita.com/miketako3/items/3085e225a35cdf89cd55

リファクタリング


https://mickindex.sakura.ne.jp/schlick/schlick_MV_jp.html

ある命題が立てられているとき、この命題が有意味であるか無意味であるかという問いを立てるとしたならば、その命題が有意味であるための条件が問われている。
命題が有意味であるとはそれが検証可能であるということだ……という考え方が、意味の検証理論

意味の検証理論

https://www.amazon.co.jp/%E3%82%BD%E3%83%95%E3%83%88%E3%82%A6%E3%82%A7%E3%82%A2%E8%A6%8B%E7%A9%8D%E3%82%8A-%E4%BA%BA%E6%9C%88%E3%81%AE%E6%9A%97%E9%BB%99%E7%9F%A5%E3%82%92%E8%A7%A3%E3%81%8D%E6%98%8E%E3%81%8B%E3%81%99-%E3%82%B9%E3%83%86%E3%82%A3%E3%83%BC%E3%83%96-%E3%83%9E%E3%82%B3%E3%83%8D%E3%83%AB-ebook/dp/B00KR96M6K  

[見積もり](/wiki/見積もり)

ソフトウェア見積もり_人月の暗黙知を解き明かす

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

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

ZK-SNARK


https://en.wikipedia.org/wiki/Four-dimensionalism

時間的に連続なことが重要だから、三次元的に全く異なっている物体でも連続してるんじゃね？的な考え

[テセウスの船](/wiki/テセウスの船)とか[スワンプマン](/wiki/スワンプマン)の解決策

四次元主義


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

所有していないデータにサービスが読み取りアクセスするためには様々な方法があり、その間にもトレードオフがある。  
  
- サービス間通信パターン  
  - サービス間がWEB API等で通信してDBを隠蔽する  
- 列スキーマレプリケーションパターン  
  - 非正規化する  
- レプリケーションキャッシュパターン  
  - 分散キャッシュする  
- データドメインパターン  
  - 愚直に一緒にDBを見てしまう

分散データアクセスに関するトレードオフ


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

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

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

潜在変数

<p><a href="/wiki/%E9%A3%B2%E3%82%93%E3%81%A0%E3%82%B3%E3%83%BC%E3%83%92%E3%83%BC%E8%B1%86%E3%83%AA%E3%82%B9%E3%83%88">飲んだコーヒー豆リスト</a><br />
ちょっと味薄めかも？</p>


コロンビアスプレモ