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