dr4caena
https://www.facebook.com/m.umezome https://twit...
tmiya_
関数型言語と定理証明に興味があります。Formal Methods Forumに所属。
meshidenn
nagaet
最近は伊藤潤二の作品を好んで読んでいます。
torun1connpass
megumin
laplace
千葉大数情17/McEliece cryptography/NT会/ウルトラ/spm21th
べんき
便器
統計処理及び機械学習に基づくデータマイニング勉強会
powered by NaviPlus
お友達がイベントを開催したり、イベントを申し込んだりすると、メールで通知がきたり、トップページに表示されたりします。
詳しくはこちら