@kencoba

数学愛好家

Location

Tokyo, Japan

Following Organizations

No Organizations you are following

Following tags(4)See all

Followers

  • @seahal

    んha-

  • Yuji Ueki@unhappychoice

    Full-stack Software Engineer

  • 気が向いたら 書くかも@selious

    横浜好きのPythonistaでありPHPerです。次くらいにObjective-Cが好きです。でも仕事ではJSやJavaも使っています。Windows使いですがLinuxもMacも使っています。エグゼクティブ・フェロー&フルスタックエンジニアを目指しています。今は特にSwift、Bootstrap4、Electron、Grunt、CentOS7、Docker、Vagrantに興味津々です

  • 須原 浩道@suharahiromichi

    定理証明系や論理プログラミングに興味をもっています。

  • @yoshihiro503

    A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.