yoshihiro503

Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskell、SML#、Scala、F#などの関数型言語も好きです。 ...

hashrock

SVG芸人

msakai

『抽象によるソフトウェア設計』『型システム入門』共訳者。Haskeller。圏論。ねもい。http://t.co/8EmH3SR3FC や http://...

kento

梅崎直也

https://umezakinaoya.com/

うたもく

shnarazk

CDCL SAT solver, Answer Set Programming, Rust, NixOS, BQN, Godot, Blender, Sm...

ho-oto

gaxiiiiiiiiiiii

Mako

SnO₂WMaN

任意の活動

furea2

Genki Sato

sou7

Shohei Ueda

Shiro

262144

mr_konn

小人閑居為不貞寝 keybase: https://t.co/UoZp1Y8mZ1 mastodon: @[email protected] Bluesky: h...

Jesse Alama

Kazumi Kasaura