広告
tmiya_
関数型言語と定理証明に興味があります。Formal Methods Forumに所属。
dr4caena
https://www.facebook.com/m.umezome https://twit...
Takeru Kameda
https://sites.google.com/view/kamedapon
tomoyataue
nagaet
数学の本を主に読んでます。また、最近は物理の本も読むようになってきました。
taka92
yukiyama1329
統計処理及び機械学習に基づくデータマイニング勉強会
powered by DGビジネステクノロジー
お友達がイベントを開催したり、イベントを申し込んだりすると、メールで通知がきたり、トップページに表示されたりします。
詳しくはこちら