[ブロックチェーン](/wiki/ブロックチェーン)を使ったアプリでdecenterlized Appの略。



DApp

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

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

ステーブルコイン


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

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

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

四次元主義

[飲んだコーヒー豆リスト](/wiki/飲んだコーヒー豆リスト)
フルーティー感あるのであんまり
すごい嫌いとかでもない

コスタリカフィデルス

グラフとは
- [頂点](/wiki/頂点)集合
- [頂点](/wiki/頂点)の組 ([辺](/wiki/辺)) の集合
の組である。

グラフ

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

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

Optimism

以下の様にプログラミングすること

- 問題を小さな塊に分解し、それらを縫い合わせる  
- 最初に実装してしまうと全体が見えなくなる

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

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

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


ゴール、シグナル、メトリクスを明確に区別する (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


あるデータのハッシュ値を次のデータの先頭に含めることで、連鎖的にデータが繋がりチェーンのようになる。

これにより過去のデータを改竄しようとすると連鎖的にハッシュ値が変わってしまうため、改竄が難しくなる。

ブロックチェーン


[Zettelkasten](/wiki/Zettelkasten)をデジタルでやるフレームワークらしい。

基本的には[Zettelkasten](/wiki/Zettelkasten)に従いつつ、以下の要素を加える。

- Map Of Contentsを作る。
	- ノートを繋ぐリンク集のようなノート。
	- ノートが100を超えたあたりから意識する。
- Homeノートを作る。

参考
https://www.linkingyourthinking.com/


Link_Your_Thinking

## 概要  
  
「ソフトウェアテストをカイゼンする50のアイデア」  
  
http://www.eijipress.co.jp/book/book.php?epcode=2085  
  
[Attribute_Component_Capability](/wiki/Attribute_Component_Capability)

ソフトウェアテストをカイゼンする50のアイデア


[ライトニングネットワーク](/wiki/ライトニングネットワーク)の[Ethereum](/wiki/Ethereum)版。

ライデンネットワーク


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

送金の問題を解決するため、事前にライトニングネットワーク上に[Bitcoin](/wiki/Bitcoin)をチャージし、その残高をライトニングネットワーク上でP2Pでやりとりするような仕組み。

送金はライトニングネットワーク内で仲介でき、送金者は新しくP2Pネットワークを繋げなくて済む一方、仲介者は手数料を受け取れる。

参考

https://coinpost.jp/?p=355637

ライトニングネットワーク

契約を自動履行するシステムやプログラムのこと。

[Ethereum](/wiki/Ethereum)のような[暗号通貨](/wiki/暗号通貨)では[ブロックチェーン](/wiki/ブロックチェーン)に記された台帳上の金額を動かす[チューリング完全](/wiki/チューリング完全)なプログラムを実装できるため、それを用いてスマートコントラクトも実現されている。



スマートコントラクト


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

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

意味の検証理論

<p>「そんなに好きならそいつにテスト付けときゃよかったのに」</p>


ビヨンセルール