yf0fyf
(yf0fyf)

利用開始日: 2016/06/27

計算と論理が好きな院生。メタプログラミングのための型付きラムダ計算とか直観主義様相論理とか。最近は継続と古典論理についてもやってる。

所属グループ

2016

09/25

(日)

11:00〜

主催

申込済

Proof Summit 2016 終了

Proof Summit

Proof Summit 2016

tmiya_ tmiya_

35.027611, 135.783778

39/60