hatsugai
並行システムのモデル化・検査ツール SyncStitch を開発しています.プロセス代数 CS...
asya-kawai
がんばりたい asya-kawai / Pokemon / 情報科学研究科修了 / JAIST...
takumi-kato
asinus
niszet
tacke_jp
Kuniwak
(~♥︎~)
tkokamo
HPC周りをウロウロしている人
PRINCIPIA
お友達がイベントを開催したり、イベントを申し込んだりすると、メールで通知がきたり、トップページに表示されたりします。
詳しくはこちら