情報系の学生です。人工知能を考えるために、数学基礎論、論理学、計算論などに注目しています。強化学習が好き。
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億超ほどの規模になってます。 実験仲間を大募集中
1 / 1