Doorkeeper

ATS言語もくもく会@関東

Sat, 27 Jun 2015 14:00 - 18:00 JST

オフィスVIT横浜 11階の大会議室(A)

神奈川県横浜市中区不老町1-2-1 中央第6関内ビル3階

Register

Registration is closed

Get invited to future events

¥1,000 at the door
会場の費用を皆で分担することになりそうです

Description

ATS言語 のもくもく会です。ATS言語に関係することならなんでもやってみましょう。単順に「ここどーなってるの?」という質問するだけでもかまいません。主催者のわかる範囲内で答えられると思います。

主催者はATS/LFというATS言語に内蔵された証明器について興味があるので、主にその周りを探索しています。

About this community

Functional IoT

Functional IoT

http://fpiot.metasepi.org/ The Internet of Things (or IoT for short) refers to uniquely identifiable objects and their virtual representations in an Internet-like structure. Imagine IoT devices ar...

Join community