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

ゼロ知識証明


飲んだコーヒー豆を記録しておく

- [カルディリッチブレンド](/wiki/カルディリッチブレンド)
- [エイジドマンデリン](/wiki/エイジドマンデリン)
- [コスタリカエルアルコン](/wiki/コスタリカエルアルコン)
- [ホンジュラスパトリアルカ](/wiki/ホンジュラスパトリアルカ)
- [コスタリカフィデルス](/wiki/コスタリカフィデルス)
- [珈琲問屋冬のブレンド雪灯り](/wiki/珈琲問屋冬のブレンド雪灯り)
- [モカシダモG4](/wiki/モカシダモG4)
- [ニカラグアリンダビスタ農園](/wiki/ニカラグアリンダビスタ農園)
- [ブラジルショコラ](/wiki/ブラジルショコラ)
- [コロンビアスプレモ](/wiki/コロンビアスプレモ)
- [エメラルドマウンテン](/wiki/エメラルドマウンテン)
- [クリスタルマウンテン](/wiki/クリスタルマウンテン)
- [ソルデラマニャーナウォッシュド](/wiki/ソルデラマニャーナウォッシュド)
- [キリマンジャロAA](/wiki/キリマンジャロAA)

飲んだコーヒー豆リスト

[暗号通貨](/wiki/暗号通貨)の一種で、[Ethereum](/wiki/Ethereum)の[L2ソリューション](/wiki/L2ソリューション)として開発、運用されている。

昔はMATICという名称だったため、トークンの名前は今でもMATICとなっている。

[コンセンサスアルゴリズム](/wiki/コンセンサスアルゴリズム)は[プルーフオブステーク](/wiki/プルーフオブステーク)で、他にも様々な違いにより取引速度が速く手数料も安い。

[Rollup](/wiki/Rollup)としては定期的にマークルツリーのルートハッシュを[Ethereum](/wiki/Ethereum)に記録する方式となっているらしく、[サイドチェーン](/wiki/サイドチェーン)とか[Plasma](/wiki/Plasma)感もあるが本家の人いわく[L2ソリューション](/wiki/L2ソリューション)とのこと。

https://www.neweconomy.jp/posts/113665


Polygon

システムのテストすべき重要な箇所を洗い出す手法。

[Google](/wiki/Google)でも使われているらしい。

こちらを参照
https://code.google.com/archive/p/test-analytics/wikis/AccExplained.wiki

Attribute_Component_Capability


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

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

ブロックチェーン

[サトシナカモト](/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


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

マンデリン


[ソフトウェア見積もり_人月の暗黙知を解き明かす](/wiki/ソフトウェア見積もり_人月の暗黙知を解き明かす)の内容が書かれている。

## 第1部 見積もりの考え方  
### 第1章 見積もりとは  
  
- 「見積もり」「ターゲット」「コミットメント」の違いを意識する  
  - 見積もり：そのままの意味  
    - 「この機能の実装は何人日」  
  - ターゲット：実現したいビジネス上の目標  
    - 「何日までにこの機能を提供したい」  
  - コミットメント：機能を一定のレベルで期日までに納品するという約束  
    - 「何日までにこの機能を提供します」  
- 見積もりと計画の違いを意識する  
  - 見積もりは正確性が重要  
  - 計画は結果が重要  
  - 偉い人にターゲットを達成するための計画を聞かれているのに見積もりを単に答えてはいけない  
    - 「このプロジェクトは何人月？期限は３ヶ月なんだ」  
    - 「見積もってみたところ５ヶ月かかります」  
    - 「ふざけるな！」  
  - 開発と期日どちらが優先かどうか尋ねる  
- 良い見積もりとは偉い人の意思決定に寄与する見積もりのこと  
  
### 第2章 見積もり能力のチェック  
  
- 直感で「90％確か」な見積もりは、実際には「30%確か」  
  - なので直感で90%とか言ってはいけない  
- 見積もりなんて幅があって当然。無理に狭めようとしない  
  
### 第3章 正確な見積もりの価値  
  
- 意図的に過小に見積もることはすべきではない  
  - 過大見積もりよりも深刻な被害が起きる  
  - では過大にすれば良いかというとそうでもなく、それなりに大きくしてあとは計画とコントロールで対処せよ  
  
### 第4章 見積もり誤差はなぜ起きる？  
  
- 見積もり期間を増やしても見積もりの不確実性は上がらない  
  - プロジェクト自体があやふやなのではどんなに頑張っても上がらない  
  - 見積もり期間を増やすのではなく、要件定義や設計を固めることでしか上がらない  
- 休暇、病欠、トレーニング、ミーティング等は必ず発生する。そのためのゆとりをもたせる  
- 開発者の見積もりはすでに必ず楽観的であるので削ってはいけない  
- 見積もりに「コントロールノブ」を持たせてはいけない  
  - コントロールノブとは見積もりに入れる主観的判断のこと  
  - 見積もりの客観性と共に正確性も落ちる  
- 即興の見積もりはしない  
  - たった15分の見積もりでさえもっと正確になる  
  
## 第2部 見積もりの技法の基礎  
  
### 第7章 数えて、計算して、判断する  
  
- できるときはまず何かを数える  
- 数えられない場合にのみ計算する  
- 計算すらしないのは最終手段  
  
### 第9章 専門家の判断  
  
- タスクで分解して見積もるときは長くても2日程度の粒度にする  
  
  
## 感想  
  
「技術者の見積もりは常に楽観的」というのはその通りだと思った。  
幅がある見積もりの中で最小の部分を提出する傾向があるような気がしているし、  
実際過小に見積もる圧力があるということも書かれていた。  
  
一方で、数えるだけの方がよほど正確に見積もれるというのは不思議だった。さすがにコード行数で数えるのはどうかと思うが。  
  
過去の開発にかかった工数と関連データの保存および可視化が出来ていないと不可能な手法ではあるので、これらの重要性はかなり高い。  
  
生産性向上とか言っておいて生産性を測る指標を可視化していないなんてことがザラにある状態では正確な見積もりなんて望めないということかもしれない。

見積もり


[飲んだコーヒー豆リスト](/wiki/飲んだコーヒー豆リスト)
https://www.kaldi.co.jp/ec/pro/disp/1/4515996015083
まあなかなかおいしい。エスプレッソ風味な豆ではあるがドリップコーヒーの味がする。そりゃそう。

カルディリッチブレンド


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

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

クリスタルマウンテン


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

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

意味の検証理論

初期の[暗号通貨](/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/暗号通貨)の取引所で最近日本にも正式に参入してきた。

[Binance_Smart_Chain](/wiki/Binance_Smart_Chain)を運営している。

Binance


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

ちょっと豆が細かい気がする

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


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

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

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

四次元主義

<p>グラフとは</p>
<ul>
<li><a href="/wiki/%E9%A0%82%E7%82%B9">頂点</a>集合</li>
<li><a href="/wiki/%E9%A0%82%E7%82%B9">頂点</a>の組 (<a href="/wiki/%E8%BE%BA">辺</a>) の集合<br />
の組である。</li>
</ul>
