hatsugai
並行システムのモデル化・検査ツール SyncStitch を開発しています.プロセス代数 CS...
tacke_jp
bunji2
最近は相模大野にいることの多い、カレー好きなおっさん。 情報セキュリティ,リスクアセスメント,...
PRINCIPIA
お友達がイベントを開催したり、イベントを申し込んだりすると、メールで通知がきたり、トップページに表示されたりします。
詳しくはこちら