シェア
りょうじ
2018年12月27日 00:40
12月26日水曜日、晴れ夜更かしが祟って起きられず。遅れて飛び乗った京王線は人身事故の影響で遅延。まさか各停だけになっていたとは……。水曜日、ノー残業デーを遵守しましょうと、ちょっとしたお祭りっぽくなっている。みんなギリギリまで席を立たないけれど、その間際、水が引くようにいなくなる。今日はチキンレースに負けて最終退室。2分遅れてしまった。(社内ホームページの違反者リスト掲載確定。なんの罰
2018年12月2日 02:37
12月1日土曜日、晴れタイトルのセミナーに参加してきた。これ。主催者はいろいろな意味で大きな人で、尊敬する憧れの大先輩、初谷さん。並行プロセス CSP の理論からはじめて、プロセスをいくつか定義し、それらの合成(組み合わせ)によって定義できる並行プロセスが「同じ」かどうかを確かめられる(=検証できる)ようになろう!そんな盛りだくさんの内容を6時間に詰め込んだ野心的なセミナー。(検証は、