A Haskell, Maxima lover, PhD in physics. About to leave qiita, perhaps.
Following Organizations
No Organizations you are following
Followers
- みなと @Prologの鬼！？@DrqYuto
(SWIPL)について、うるさい人です。
- 須原 浩道@suharahiromichi
定理証明系や論理プログラミングに興味をもっています。
- @norkron
記事に対して疑問や不明があればコメントやツイッターへお気軽にどうぞ。
Kaiko@kaiko_mathHaskellとAgdaを学び始めた大学院生
- Daisuke Emura@EmuraDaisuke
コンピューターの性能を引き出せば、エネルギー効率が良くなり、ユーザーのストレスも軽減できる、そんな夢と浪漫があってもいいじゃない
- 岡崎 心一@johnny-shaman
稚拙ですが、関数型プログラミングをするためのライブラリを公開しています。 https://www.npmjs.com/package/cte https://www.npmjs.com/package/dsand 日曜プログラミングのお供にでもいかがですか？（笑） プログラミングカフェ 札幌 主催
- けんちょん (Otsuki)@drken
株式会社NTTデータ数理システム (顧問)。アルゴリズムをはじめとしたコンピュータサイエンスの諸分野の啓蒙活動に従事。機械学習やアルゴリズムに関して面白いと思ったことを記事にしていきたいと思います。記事へのリンク等についてはお気軽にしていただいて大丈夫です。よろしくお願いします。
- 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.
- @akkey2475
メインはPHPですが、とりあえずなんでも手を出します。 今はReact勉強中。
