miminashi

380 Contribution

/ Following users

田舎のインフラ屋です。 Fukuoka City LoRaWAN 実証実験参加中。

あんはるです。来年からJKだ〜機械学習、Webをよくやってます

PeerCast実況用プレイヤー「PeerstPlayer」を開発しています。

http://twitter.com/ka2n

Maker, and agnostic. I love The Future,Internet and Energyful days. Facebook http://facebook.com/takasumasakazu Profile https://goo.gl/gskjzD

文系女子からの理系に憧れいろいろしている。電子工作は勉強中。printbotter。 http://interestor.tumblr.com/

Welcome to underground...

Coqなどによるプログラムの正しさの検証・証明に興味があります。