tmiya_
(tmiya_)
利用開始日: 2013/05/10
関数型言語と定理証明に興味があります。Formal Methods Forumに所属。
2018
/
02/09
(金)19:00〜
申込済
2018
/
01/21
(日)13:00〜
キャンセル
2017
/
12/01
(金)19:00〜
キャンセル
Yahoo! JAPAN データ&サイエンス Workshop
D&S Data Night スピンオフ(一緒に働く仲間募集)
(退会ユーザー)
東京都千代田区紀尾井町1-3 (東京ガーデンテラス紀尾井町 紀尾井タワー)
25/60人
2017
/
11/08
(水)19:00〜
申込済
2017
/
11/02
(木)19:00〜
申込済
2017
/
10/20
(金)15:00〜
キャンセル
2017
/
10/14
(土)13:30〜
補欠
2017
/
10/12
(木)19:00〜
申込済
2017
/
09/27
(水)18:40〜
キャンセル
2017
/
09/23
(土)13:30〜
補欠