Help us understand the problem. What are the problem?
Masahiro Sakai
@masahiro_sakai

Kawasaki, Kanagawa, Japan

Participating Organizations

No Organizations you are following

Following tags

No tags you are following

Followers
  • Hirosato Hano
    @hanohrs

    強く型づけされた static おじさん。Statically typed なプログラミング言語が好き。

  • @piacerex

    福岡でプログラマしながらIT商社とIT企業を経営してます。Elixir/Kerasをよく使う。Elixirコミュ#fukuokaex、福岡理学部#FukuokaScienceを主催。プログラマ歴36年/XPer歴19年/デジタルマーケッター/経営者/CTO/技術顧問数社。 シボと重力子放射線射出装置は別腹(^^)

  • Dr. Kiyoshi Ogawa
    @kaizen_nagoya

    I'm a network designer.I work on TOPPERS SmallestSetProfile Kernel,MISRA-C/C++, STARC RTL Design StyleGuide (Verilog-HDL), and HAZOP.I was an editor of ISO/IEC 15504.

  • Tatsuya Hirose
    @lotz

    凝った記事は Zenn <https://zenn.dev/lotz> に書いていきます

  • Keigo Imai
    @keigoi

    大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士(情報科学)。

  • @supermomonga

    ヾ(  l   _   l  〃)ノ゙ドン☆

  • Kei Hibino
    @khibino

    http://profile.hatena.ne.jp/khibino0/ http://www.haskellers.com/user/khibino Haskell で RBD query を記述するライブラリを作りました http://khibino.github.io/haskell-relational-record

  • shiatsumat
    @shiatsumat

    音楽 https://goo.gl/abY3NE : 開発 http://github.com/shiatsumat : 雑記 http://shiatsumat.hatenablog.com

  • @yoshihiro503

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

  • 須原 浩道
    @suharahiromichi

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

  • @naoya_t
    @naoya_t

    自然言語処理とか機械学習とか競技プログラミングとか

  • 1 / 1