TCP/IP とか、確率でしか確からしさを表現できないようなものは Coq で扱えるんだろうか。よく知らないで言ってるけど。

だるい。けど現状では必要な作業だよなぁ。こういうプログラムを書いたんだから「こう動きます」というのは、実際に確かめてみないとはっきりとは言えない。どこにどんなバグが潜んでいるか分からないし、場合によっては、プログラムは完全に正しいけど、処…

仕事は適度なペースで出来るようになってきた。勤務時間中に占める睡眠時間の割合もかなり少なかったし。途中で出来ることが無くなったので rui さんに紹介された論文を印刷して読んだり、社内で使われてるツール(Webアプリ)のCSSを弄ったりした。調子よくな…