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

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

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

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


Link_Your_Thinking


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

ゼロ知識証明


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

まあ普通
リピートはしないかなあってくらい
[コロンビアスプレモ](/wiki/コロンビアスプレモ)よりも下だった

ニカラグアリンダビスタ農園


[グラフ](/wiki/グラフ)において、最小で何個の頂点を取り除くと[非連結グラフ](/wiki/非連結グラフ)になるか、という数。

連結度


[Bitcoin](/wiki/Bitcoin)等の[暗号通貨](/wiki/暗号通貨)に使われている[コンセンサスアルゴリズム](/wiki/コンセンサスアルゴリズム)の一つ、およびそこで計算される値。

具体的には、与えられたデータに対して、加えるとハッシュ値の先頭数十桁が0になるような値のこと、およびそれを計算する行為。

プルーフオブワーク


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

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

意味の検証理論


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

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

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

参考

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

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


昔の人が編み出したノート術。
Atomicなノートをリンクで繋げる。

1. カード1枚につき1アイデアを記入
2.  カードの内容を完結させる
3.  カードは常に他のカードとリンクさせる
4.  カードのリンクが何を意味するかを説明する
5.  自分の言葉を使う
6.  参考文献を残しておく
7.  自分の考えを加える
8.  構造を気にしない
9.  続カードを追加する
10.  アウトラインカードを追加する
11.  カードを削除しない
12.  恐れずにカードを追加する

参考
https://gigazine.net/news/20200604-zettelkasten-note/

Zettelkasten


いかなる[チューリングマシン](/wiki/チューリングマシン)もエミュレートできる[チューリングマシン](/wiki/チューリングマシン)のこと

万能チューリングマシン


うまくカプセル化されたソフトウェアは[アウトサイドインプログラミング](/wiki/アウトサイドインプログラミング)することによって得られる。  
  
「知らぬが仏」という言葉はソフトウェアにおいては常に真である。 

CLEANなコードを目指すべき。

- C: Cohesive (凝集性)  
- L: Loosely coupled (疎結合)  
- E: Encapsulated (カプセル化)  
- A: Assertive (断定的)  
- N: Nonredundant (非冗長)


CLEAN

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

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

Optimism

裏切り者がいるかもしれない時に、どのように分散的に合意するかという問題。

転じて、間違う可能性のある分散システム上でどのようにデータに合意するか、という問題の基本的なバージョンと考えられる。

かの有名なLamport先生を含む3人が1980年の論文で合意問題として定式化したらしい。

https://dl.acm.org/doi/10.1145/322186.322188

最初の解決策も1982年にLamport先生たちが論文を出した。

https://dl.acm.org/doi/10.1145/357172.357176

この問題は裏切り者が1/3以上いる場合は解決出来ないことが知られている。

この合意が取れるシステムはビザンチン障害耐性 (Byzantine Fault Tolerance) があると言う。

分散システムの問題なので[暗号通貨](/wiki/暗号通貨)でもよく語られる問題である。

ビザンチン合意

Ripple社が開発している[暗号通貨](/wiki/暗号通貨)。

他の[暗号通貨](/wiki/暗号通貨)と違い、Ripple社が管理している承認者による多数決で合意を取っており、[ブロックチェーン](/wiki/ブロックチェーン)を使っていないという特徴がある。

そのため非中央集権的にはなっていないが、送金に特化しておりそのスピードは非常に早い模様。



[エイジドマンデリン](/wiki/エイジドマンデリン)とは違うのかな？

マンデリン


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

アーキテクチャの分解には[コンポーネントベース分解](/wiki/コンポーネントベース分解)と[戦術的フォーク](/wiki/戦術的フォーク)という2種類のやり方があり、それぞれメリットとデメリットがある。

[戦術的フォーク](/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></p>
<p>ちょっと豆が細かい気がする</p>


ソルデラマニャーウォッシュ