hatsugai
並行システムのモデル化・検査ツール SyncStitch を開発しています.プロセス代数 CS...
Kuniwak
(~♥︎~)
TakeshiHori
PRINCIPIA
You can get notifications about events that your friends attend or organize via email or the highlight page.
Learn More (Japanese)