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

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

チューリングマシン


[VAE](/wiki/VAE)的なやつ

入力 -> エンコーダー -> 潜在空間 -> デコーダー -> 出力

という形のやつ

エンコーダーデコーダーモデル


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

無難な味で結構使いやすい
安いし

モカシダモG4

[Bitcoin](/wiki/Bitcoin)に代表される、[ブロックチェーン](/wiki/ブロックチェーン)を用いた分散台帳に記載されたデータ残高のこと。

2023年1月時点の上位2位から10位は以下。

- [Ethereum](/wiki/Ethereum)
- [Tether](/wiki/Tether)
- [BNB](/wiki/BNB)
- [XRP](/wiki/XRP)
- [USB_Coin](/wiki/USB_Coin)
- [Binance_USD](/wiki/Binance_USD)
- [Cardano](/wiki/Cardano)
- [Dogecoin](/wiki/Dogecoin)
- [Polygon](/wiki/Polygon)

暗号通貨

[暗号通貨](/wiki/暗号通貨)であり、[ステーブルコイン](/wiki/ステーブルコイン)の一種。

Tether Limited社が米ドルを担保に発行している。

シンボルはUSDT

Tether

[Rollup](/wiki/Rollup)手法の一つ。楽観的ロールアップとも呼ばれ、不正なブロックがめったに生成されないという前提の元、不正なブロックがあった場合には後から検証でブロックする方針。

Optimistic_Rollup


[飲んだコーヒー豆リスト](/wiki/飲んだコーヒー豆リスト)
かなり香りが良く酸味が強い印象がある。[エイジドマンデリン](/wiki/エイジドマンデリン)と比べるとブラックには全然向かず、砂糖やミルクと一緒に飲むと良い。
その前提であればリピしたいレベル。

ホンジュラスパトリアルカ


Variational Auto Encoder
変分オートエンコーダ

入力を[潜在変数](/wiki/潜在変数)に良い感じにするやつ

https://ai-kenkyujo.com/term/what-is-vae/
https://zero2one.jp/ai-word/variational-autoencoder/


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

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

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

参考

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

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


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

雑味多め、味薄め
ただし確かに超ビターコーヒーのような風味というか後味が少しある
ミルクを入れたらカフェモカっぽい風味になるかもしれない

ブラジルショコラ


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

ライデンネットワーク

[グラフ](/wiki/グラフ)に関する数学の理論のこと。

グラフ理論


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

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

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

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

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


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

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

意味の検証理論

[暗号通貨](/wiki/暗号通貨)の取引所で最近日本にも正式に参入してきた。

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

Binance

<p><a href="/wiki/%E3%82%B5%E3%83%88%E3%82%B7%E3%83%8A%E3%82%AB%E3%83%A2%E3%83%88">サトシナカモト</a>によって公開された以下の論文の仕組みによって分散的に運用されている世界で最初の<a href="/wiki/%E6%9A%97%E5%8F%B7%E9%80%9A%E8%B2%A8">暗号通貨</a>。</p>
<p><span class="embed-block zenn-embedded zenn-embedded-card"><iframe id="zenn-embedded__a411a3ca215f7" src="https://embed.zenn.studio/card#zenn-embedded__a411a3ca215f7" data-content="https%3A%2F%2Fbitcoin.org%2Fbitcoin.pdf" frameborder="0" scrolling="no" loading="lazy"></iframe></span><a href="https://bitcoin.org/bitcoin.pdf" style="display:none" target="_blank" rel="nofollow noopener noreferrer">https://bitcoin.org/bitcoin.pdf</a></p>
<p>論文の日本語訳</p>
<p><span class="embed-block zenn-embedded zenn-embedded-card"><iframe id="zenn-embedded__4f0007a3e7fac" src="https://embed.zenn.studio/card#zenn-embedded__4f0007a3e7fac" data-content="https%3A%2F%2Fwww.kk-kernel.co.jp%2Fqgis%2FHALTAK%2FFEBupload%2Fnakamotosatoshi-paper.pdf" frameborder="0" scrolling="no" loading="lazy"></iframe></span><a href="https://www.kk-kernel.co.jp/qgis/HALTAK/FEBupload/nakamotosatoshi-paper.pdf" style="display:none" target="_blank" rel="nofollow noopener noreferrer">https://www.kk-kernel.co.jp/qgis/HALTAK/FEBupload/nakamotosatoshi-paper.pdf</a></p>
<p>ざっくり言えば「誰が誰にいくら渡した」という事実が記録された台帳データを、<a href="/wiki/%E3%83%97%E3%83%AB%E3%83%BC%E3%83%95%E3%82%AA%E3%83%96%E3%83%AF%E3%83%BC%E3%82%AF">プルーフオブワーク</a>を付けて<a href="/wiki/%E3%83%96%E3%83%AD%E3%83%83%E3%82%AF%E3%83%81%E3%82%A7%E3%83%BC%E3%83%B3">ブロックチェーン</a>として繋げて記録することで、最も長いチェーンを信頼すれば<a href="/wiki/%E3%83%93%E3%82%B6%E3%83%B3%E3%83%81%E3%83%B3%E5%90%88%E6%84%8F">ビザンチン合意</a>ができる、という仕組み。</p>
<p><a href="/wiki/%E3%83%81%E3%83%A5%E3%83%BC%E3%83%AA%E3%83%B3%E3%82%B0%E5%AE%8C%E5%85%A8">チューリング完全</a>ではない等の欠点はあるが、一応簡易なスクリプトが使えるため、<a href="/wiki/%E3%82%B9%E3%83%9E%E3%83%BC%E3%83%88%E3%82%B3%E3%83%B3%E3%83%88%E3%83%A9%E3%82%AF%E3%83%88">スマートコントラクト</a>も作れるらしい。</p>
<p>この動画がわかりやすすぎた。</p>
<p><span class="embed-block embed-youtube"><iframe src="https://www.youtube-nocookie.com/embed/o-xhOBn4S60" allow="accelerometer; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen loading="lazy"></iframe></span><a href="https://youtu.be/o-xhOBn4S60" style="display:none" target="_blank" rel="nofollow noopener noreferrer">https://youtu.be/o-xhOBn4S60</a></p>
