dr4caena
https://www.facebook.com/m.umezome https://twit...
tmiya_
関数型言語と定理証明に興味があります。Formal Methods Forumに所属。
nagaet
最近は伊藤潤二の作品を好んで読んでいます。
橋本 英樹
統計処理及び機械学習に基づくデータマイニング勉強会
powered by NaviPlus
You can get notifications about events that your friends attend or organize via email or the highlight page.
Learn More (Japanese)