fetastein
(fetastein)

利用開始日: 11/17/2014

バイト探してます。自宅勤務可希望。
量子計算、量子情報、定理証明支援系、関数型プログラミングに興味があります。Interested in Quantum Computation, Quantum Information, Proof Assistant, FP and so on.

2019

07/06

(Sat)

13:00〜

Cancel

Anil/Oleg先生と学ぶML Day Ended

ML勉強会

Anil/Oleg先生と学ぶML Day

κeen κeen

東京都中央区銀座 4-12-15 歌舞伎座タワー21階

24/31

2017

07/22

(Sat)

13:00〜

Attending

ML勉強会 #2 Ended

ML勉強会

ML勉強会 #2

インターネットの闇 インターネットの闇

東京都中央区築地1丁目13−1 ADK松竹スクエア

59/108

2015

09/12

(Sat)

13:00〜

Attending

Proof Summit 2015 Ended

Proof Summit

Proof Summit 2015

tmiya_ tmiya_

東京都中央区銀座 4-12-15 歌舞伎座タワー21階

56/72

2015

08/08

(Sat)

13:30〜

Cancel

2014

12/02

(Tue)

18:30〜

Attending

coinsLT #1 Ended

coinsLT #1

sic sic

筑波大学 第三エリア 3A402

47/120