takaha.siの技術メモスマートフォン用の表示で見るtakaha.siの技術メモ勉強したことをお伝えします。誰かの役に立てればいいな...しがないプログラマ。モデルチェッカー(TLC/TLA+、SPIN/Promela)、ブロックチェーン、言語処理系、ベイズ統計学、ポンチ絵描きなんかに興味をもって毎日生きてます。日々勉強したことを書いてゆきます。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。