#ProofSummit2016
開催日2016-09-25
オンライン
このエントリーをはてなブックマークに追加
管理者 profile iconyoshihiro503
セキココ人数 15人
関連ページ http://proof-summit.connpass.com/event/34848/
イベントの説明 定理証明系に関するユーザーイベントです。
lion @2015fuj
2016-09-25 14:33:46
数学やCoqに興味があります
Κeіsuke Νakanο @ksknac
2016-09-25 13:36:17
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)
でこれき @dico_leque
2016-09-25 13:20:09
自然言語と計算機言語、ごはん
カーペットのぬくもり @kdxu
2016-09-25 13:10:12
はい!!がんばります!!!
Keigo IMAI @keigoi
2016-09-25 12:50:20
Software engineer working at a university. Loves Haskell/OCaml and concurrency theory. PhD.
κeen @blackenedgold
2016-09-25 11:30:38
LispとかRustとかMLとか書きます。EmacsとかLinuxとか使います。仕事はScalaです。コンパイラとかに興味があります。因みにκeenのκはギリシャ文字のkappaです。
Masaki⊣Hara @qnighy
2016-09-25 11:22:04
@ipc_bot の開発者で、計算機科学を専攻する大学院生で、美少女です。
えいとす)))))))) @athos0220
2016-09-25 11:18:17
Scheme/Clojureが好きな人。Clojureコントリビュータ。ニャンパス株式会社所属。wishlistはこちら→ https://t.co/TS83N3sztS
おく @OKU_K
2016-09-25 11:15:35
熊本/京都/Coq/SSReflect/
チェシャ猫 @y_taka_23
2016-09-25 11:14:30
形式手法に興味があったりなかったり。
ELD-R-ESH-2@3日目F-30b @eldesh
2016-09-25 11:12:27
アレゲを目指して転職活動中
アローラよんた @keita44_f4
2016-09-25 11:08:16
よんたったー。プログラミング言語を学んだ金属・樹脂・回路・マイコン系社会人。気づいたら色々学んでる。SML# ちょっとできる。気胸3度もうやだ。宮城→愛知に生息。訳あって製麺機男子。RO:Iris→Olrun。ほしい物リスト:https://t.co/yb6js5MUhV…
Sosuke MORIGUCHI @chiguri
2016-09-25 10:45:54
関西学院大学の契約助手 本アカウントの発言は個人の意見であり、所属する機関の意見を反映したものではありません。
Takashi Miyamoto @tmiya_
2016-09-25 10:28:44
関数型言語/定理証明、機械学習、自然言語処理に興味があります。発言は所属する組織とは関係のない個人の見解です --- って書いておけばいいんだよね?
Yoshihiro503 @yoshihiro503
2016-09-25 10:10:06
ITプランニング勤務、 プログラムを証明してバグをなくす定理証明支援器の技術に興味があります。 Coq/OCaml/Haskell/SML#/Scala/F#/Haxe/トップSE
閉じる

みんなのコメント

コメントする
開く