数学やCoqに興味があります

Tree Transducers/Functional Programming/Coq/OCaml/Juggling/Code Golf; 94-97 NS1→MS@UT; 97-03 RIMS/KABA@KU; 03-08 MIST/IPL@UT; 08- IE/CS@UEC

自然言語と計算機言語、ごはん

はい！！がんばります！！！

Software engineer working at a university. Loves Haskell/OCaml and concurrency theory. PhD.

RustやLisp、MLなどのプログラミング言語が好きです。言語処理系技術のGC、CPS変換、線形型あたりに興味があります。κはギリシャ文字のkappaです。⸜( ¯⌓¯ )⸝ 。DMは相互フォローでなくても受け付けてます https://t.co/uHC2I4tPTh

@ipc_bot の開発者で、計算機科学を専攻する大学院生で、美少女です。

Scheme/Clojureが好きな人。Clojureコントリビュータ。ニャンパス株式会社所属。Mastodonはじめました @athos@mstdn.jp wishlistはこちら→ https://t.co/TS83N3sztS

熊本/京都/神奈川/Coq/SSReflect/

形式手法に興味があったりなかったり。同人誌『入門 LiquidHaskell』販売中です。https://t.co/D5kvg6BnV5

アレゲを目指すMLプログラマ

よんたったー。からあげからから からあげのうか、です。プログラミング言語を学んだ金属・樹脂・回路・マイコン系社会人。気づいたら色々学んでる。SML# ちょっとできる。気胸3度もうやだ。宮城→愛知に生息。スプラトゥーン２楽しい、SW-4829-1564-3688。 https://t.co/P4ekKSvFfS

関西学院大学の契約助手 本アカウントの発言は個人の意見であり、所属する機関の意見を反映したものではありません。

関数型言語/定理証明、機械学習、自然言語処理に興味があります。発言は所属する組織とは関係のない個人の見解です --- って書いておけばいいんだよね？

プログラムを証明してバグをなくす定理証明支援器の技術に興味があります。niconicoの基盤システムであるDMCを証明しています。 Coq/OCaml/Haskell/SML#/Scala/F#/Haxe/トップSE