参加枠
参加者
yoshihiro503
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel...
|
|
参加枠
参加者
hatsugai
並行システムのモデル化・検査ツール SyncStitch を開発しています.プロセス代数 CS...
|
|
|
|
参加枠
参加者
khibino
仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明...
|
|
|
|
参加枠
参加者
tanimocchi
http://www.slideshare.net/mocchi_
|
|
参加枠
参加者
na4zagin3
しゃくゎいじん。 古典ギリシャ語を現代に復活させたい。最近はラテン語, アラビア語休止中。 k...
|
|
参加枠
参加者
てぴか✨
ホームページの管理人ですが、更新が停滞していてすみません……学問(数学・物理・言語学)・天体観...
|
|
|
|
参加枠
参加者
cedretaber
Ruby / Scala / OCaml / Erlang / D language
|
|
|
|
参加枠
参加者
eldesh
アレゲを目指すC++, ML, VeriFastプログラマ
|
|
|
|
参加枠
参加者
t_uchida
ソフトウェア開発者です。興味:Coq/Isabelle/Rust/FPGA/SoC https...
|
|
参加枠
参加者
takarakasai
https://t.co/mczBRVf8MB 組込SWエンジニアだけど、見えてるのはユーザ...
|
|
|
|
|
|
|
|
|
|
|
|
参加枠
参加者
ポリモニー
自然言語の拡張を模索。 最近はGraph Neural Networkに注力。 よろしくです。
|
|
参加枠
参加者
OKU_K
熊本/京都/神奈川/Coq/SSReflect/
|
|
参加枠
参加者
objectx
You'll never learn if you don't see the dark si...
|
|
|
|
|
|
|
|
|
|
|
|
|
|
参加枠
参加者
よんた
よんたったー. プログラミング言語を学んだ新社会人. SML#しか使えません. 気胸によくなる...
|
|
参加枠
参加者
びしょ〜じょ
https://nymphium.github.io
|
|
|
|
|
|
参加枠
参加者
nagaet
最近は伊藤潤二の作品を好んで読んでいます。
|
|
参加枠
参加者
giantneco
うちの猫がかわいいだけで特に猫に関するつぶやきはありません。プログラミングしたりボードゲームし...
|
|
|
|
|
|
参加枠
参加者
haiju
The mofs-cats without borders. I love gothic cu...
|
|
|
|
|
|
|
|
|
|
|
|
参加枠
参加者
ruicc
エンジニア。Haskell, Vim, Classical musicを好む。Violin少々...
|
|
|
|
|
|
|
|
|
|
|
|
参加枠
参加者
saitouena
斉藤恵那 ブログ日記を書き始めた https://t.co/RewNdlESnW
|
|
|
|
|
|
|
|
|
|
参加枠
参加者
(退会ユーザー)
A software enginner. Learning Haskell to escape...
|
|
|
|
参加枠
参加者
(退会ユーザー)
|
|
|
|
参加枠
参加者
mzp
気づいたらSKKを作ってた。
|
|
|
|
|
|
|
|