takaha.siの技術メモ

勉強したことをお伝えします。ちょっとでも誰かの役に立てればいいな…

しがないプログラマ。博士(情報理工学)。分散システム(特に合意プロトコル周り)、並列・並行プログラミング、オペレーティングシステム、仮想化技術、ネットワーク、形式的仕様記述言語とモデルチェッカー(TLC/TLA+、SPIN/Promela)、ブロックチェーン、言語処理系、ベイズ統計学、ポンチ絵描きなんかに興味をもって毎日生きてます。 日々勉強したことを書いてゆきます。
プロフィール
id:tkh86
リンク
ブログ投稿数
2 記事
ブログ日数
2 日
継続期間
2 日
読者
1 人 hitotakuchan