Takaaki Seki

@SekiT

450Contributions

14
Posts 4
Followees 15
Followers

MailTakaaki.Seki@access-company.com

Organization

ACCESS CO., LTD

Participating Organizations(1)

Following Organizations

No Organizations you are following

Following tags(6)See all

lean4 数学 Idris Haskell purescript Scheme

Following Tags

Find Tags to follow