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