メタ

@kyogoku_meta

人工知能、数学基礎論、論理学、計算論などが好きです。

Following Organizations

No Organizations you are following

Followees

  • 須原 浩道@suharahiromichi

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

  • ヤギの さくらちゃん@arowM

    さくらちゃんはアーティストやぎぃ フリーランスUXハッカー プログラマー(Elm, Haskell) プログラミングElm訳者 http://amzn.to/3IOR4bF ヤギ語翻訳 ARoW代表 http://arow.info http://sakurachan.info/

  • @lotz

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

  • ゆば屋 宗次郎@yuba

    全然わからない 俺たちは雰囲気でコードを書いている

  • 山田 佑亮@yamad07

    機械学習の研究をしています。

  • 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.

  • Kazuki Tanaka@gogotanaka

    20台前半までRubyのコミッターになるくらいには死ぬほどエンジニアをした後、https://aisaac.jp/ を創業しました。「実験」をテーマに資金調達をせずにメンバー80人、売上10億超ほどの規模になってます。 実験仲間を大募集中