広告
κeen
プログラミング言語に興味がある人。
インターネットの闇
コンパイラ
notogawa
Agda つらい
KSaka
zakurozakuro
giantneco
うちの猫がかわいいだけで特に猫に関するつぶやきはありません。プログラミングしたりボードゲームし...
coord_e
久木田 圭亮 / FinTech / SREs
FinTech関連事業会社(ブロックチェーン関連事業会社)にて SRE(Site Reliab...
ymyzk
Ryota Kameoka
higashino
tkatsu
tanaka_akr
bd_gfngfn
mod_poppo
Haskellと数学とTeX
lion
yamagc
khibino
仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明...
hatsugai
fetburner
MLしか書けない
Xx_ann_pin_xX
音楽やったりプログラムやったりしながら生物/情報を勉強するまったり大学院生('・ω・´)バイオ...
cedretaber
Ruby / Scala / OCaml / Erlang / D language
Aggelos Biboudis
Postdoc at LAMP/@EPFL working on Scala 3/Dotty....
ishikuro yoko
起業家。データ分析と関数型プログラミング言語と機械学習と数学でできることに興味あり。 日本語ま...
sautedepoivrons
yoshihiro503
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel...
hogeyama
NaOHaq
プログラミング言語, 画像処理, 2D/3Dグラフィクス, フォント, 数値シミュレーション,...
wat_aro
Haskell楽しすなあ
Jun Furuse
Formal verification. Functional programming. ...
Takahisa Watanabe
maton
fetastein
バイト探してます。自宅勤務可希望。 量子計算、量子情報、定理証明支援系、関数型プログラミングに...
Nobuyuki Tomizawa
kayhide
eldesh
アレゲを目指すC++, ML, VeriFastプログラマ
sm0kym0nkey
Scala / Haskell
ML勉強会
お友達がイベントを開催したり、イベントを申し込んだりすると、メールで通知がきたり、トップページに表示されたりします。
詳しくはこちら