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

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

意味の検証理論

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

グラフ


[閉路](/wiki/閉路)がない[グラフ](/wiki/グラフ)のこと


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

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

飲んだコーヒー豆リスト


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

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

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

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


Link_Your_Thinking


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

香り高いけど味は好みでは無い
苦味とかが薄い


キリマンジャロAA


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

ビヨンセルール


セラミックを使ったヒーターのこと。
即暖性に優れるが[カーボンヒーター](/wiki/カーボンヒーター)よりも電気代が高い。

セラミックヒーター


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

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

チューリングマシン


[ソフトウェアアーキテクチャ・ハードパーツ](/wiki/ソフトウェアアーキテクチャ・ハードパーツ)で定義されている概念。

アーキテクトの問題はそれぞれユニークなため、ベストプラクティスが存在しない。  

だからこそ「ハード」パーツである。  

- 難しい問題  
- 堅い、システムの土台となる部分

ハードパーツ


[Bitcoin](/wiki/Bitcoin)の論文を公開した人物。匿名であり誰なのかはわかっていない。

サトシナカモト

[暗号通貨](/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

大手取引所の[Binance](/wiki/Binance)が発行している[暗号通貨](/wiki/暗号通貨)。

[Binance_Smart_Chain](/wiki/Binance_Smart_Chain)という[Ethereum](/wiki/Ethereum)互換チェーンで使われる。




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

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

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

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

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

Optimism

<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>
