hatsugai
並行システムのモデル化・検査ツール SyncStitch を開発しています.プロセス代数 CS...
Kuniwak
(~♥︎~)
TakeshiHori
秋津早苗
tkokamo
HPC周りをウロウロしている人
tacke_jp
takasek
iOSアプリエンジニア。Swiftが好き。PEAKS「iOSアプリ設計パターン入門」執筆。Gi...
PRINCIPIA
お友達がイベントを開催したり、イベントを申し込んだりすると、メールで通知がきたり、トップページに表示されたりします。
詳しくはこちら