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