na4zagin3 さんが Facebook / GitHub で連携している友達一覧です。
yoshihiro503
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskell、SML#、Scala、F#などの関数型言語も好きです。
...
na2hiro
Web dev. 22夏札幌移住。将棋とショスタコ/ロシア文化とTypeScript/Remix。Indeed Japan. JCP. 東工大/院/東海高...
khibino
仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明器、プログラミング言語処理系まわりに興味があります。
型検...
吉村 優
Programming, Cryptography, Quantum information, LaTeX
hakatashi
綯い交ぜの感情が平らかになって
いつかこの長い昼が閉じる時
表の泥濘に君を飾ろうと思う
蔑みと憎しみと
少しの同情を込めて
hsjoihs
はすじょい。JavaScriptやHaskellや言語学;Ever17、直交三部作。RT魔でRT≠同意。ss16→東大既仏初韓朝;英検1級iBT105;J...
shiatsumat
音楽 https://t.co/3OMHkejFdO… : 開発 https://t.co/pwnhDC0fuP : ブログ https://t.co/k...