hatsugai
並行システムのモデル化・検査ツール SyncStitch を開発しています.プロセス代数 CS...
niszet
elkel53930
千葉在住、多目的エンジニア。 ロボット・モノづくりサークル「からくり工房A:Mac」代表。A:...
TakeshiHori
tkokamo
HPC周りをウロウロしている人
murakami_motokazu_1213
tos
Kuniwak
(~♥︎~)
shigemi1014
組み込み園児にあ
tawashichan
Rustと設計をがんばる
tkob
Yusuke Kataoka
tacke_jp
bunji2
最近は相模大野にいることの多い、カレー好きなおっさん。 情報セキュリティ,リスクアセスメント,...
yoshihiro503
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel...
Ken Sonoda
(退会ユーザー)
kubota_junshi
エムスリー QAエンジニア
PRINCIPIA
お友達がイベントを開催したり、イベントを申し込んだりすると、メールで通知がきたり、トップページに表示されたりします。
詳しくはこちら