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