ksknac
(ksknac)

利用開始日: 2015/06/10

Tree Transducers/Functional Programming/Coq/OCaml/Juggling/Code Golf;

94-97 NS1→MS (UT);
97-03 RIMS/KABA (KU);
03-08 MIST/IPL (UT);
08- IE/CS (UEC)

所属グループ

2016

09/25

(日)

11:00〜

申込済

Proof Summit 2016 終了

Proof Summit

Proof Summit 2016

tmiya_ tmiya_

35.027611, 135.783778

39/60

2015

09/12

(土)

13:00〜

申込済

Proof Summit 2015 終了

Proof Summit

Proof Summit 2015

tmiya_ tmiya_

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

56/72