miminashi

362 Contribution

/ Following users

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

中学2年です!主にRuby on Railsをやっています!

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などによるプログラムの正しさの検証・証明に興味があります。