神奈川県横浜市中区不老町1-2-1 中央第6関内ビル3階
Registration is closed
ATS言語 のもくもく会です。ATS言語に関係することならなんでもやってみましょう。単順に「ここどーなってるの?」という質問するだけでもかまいません。主催者のわかる範囲内で答えられると思います。
主催者はATS/LFというATS言語に内蔵された証明器について興味があるので、主にその周りを探索しています。
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