Proof Summit 2015
開催日2015-09-12
オンライン
このエントリーをはてなブックマークに追加
管理者 profile icony_taka_23
セキココ人数 17人
関連ページ http://http://proof-summit.connpass.com/event/16189/
イベントの説明 定理証明系に関するユーザーイベント Proof Summit 2015 の座席表です。
Ryo Ishigaki @risgk
2015-09-13 11:27:53
Programming, C/C++, Ruby, Make, Arduino, Synth, 0x07BA
Κeіsuke Νakanο @ksknac
2015-09-12 16:36:27
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)
Myu-Myu- ATS-tan! @masterq_mogumog
2015-09-12 15:56:13
Truly deliver safety-wise as well as performance-wise. - Hongwei Xi
Noriyuki OHKAWA @notogawa
2015-09-12 14:47:26
Agdaつらい
Masahiro Sakai @masahiro_sakai
2015-09-12 14:46:06
Engineer at @PreferredNet.『抽象によるソフトウェア設計』『型システム入門』共訳者。Haskeller。圏論。ねもい。https://t.co/8EmH3SyUru や https://t.co/vlB20UF7sE などにも書いています。 Ingress(緑)はmsakai。
Ktz @ktz_alias
2015-09-12 14:40:54
会社でdelphiのちC# おうちでphp(最近放置プレーぎみ) F#かわいいよF# 最近Haxeにご執心の模様(当局調べ) 音ゲーとシューティングとパズルゲーが好物(下手の横好き)
autotaker @autotaker1984
2015-09-12 13:46:54
サボり上手になりたい。 CS14er/IS12er/福井/藤島/UTMC/TRCC/Obj-C/Haskell/Java
きけんぴん @kikenpin
2015-09-12 13:40:37
λの国からやってきた研究員Lv.1。あんまり研究関連のことはつぶやかないけどね。
mzp @mzp
2015-09-12 13:38:20
SKK addict。Interested in input method of macOS/iOS. wishlist: https://t.co/4Bpx6bvUJg
コスモ @cosmo__
2015-09-12 13:34:45
ミドルウェア、コンテナ技術周りに興味。抽象は美しい。型付きの関数プログラミングやCIにも興味ありますよ。たまにお絵かき。
ざっきー dev@式木食べるマン @zakky_dev
2015-09-12 13:34:14
その辺の人。なんでもHaskellとかCoqとかF# とかやってるらしいですよ。最近はScalaを始めたという噂です。ホシイモノ - https://t.co/8r4IxHTWvy
Yoshihiro503 @yoshihiro503
2015-09-12 13:33:54
プログラムを証明してバグをなくす定理証明支援器の技術に興味があります。 Coq/OCaml/Haskell/SML#/Scala/F#/Haxe/トップSE
でこれき @dico_leque
2015-09-12 13:20:43
自然言語と計算機言語、ごはん
Takashi Miyamoto @tmiya_
2015-09-12 13:19:20
関数型言語/定理証明、機械学習、自然言語処理に興味があります。発言は所属する組織とは関係のない個人の見解です --- って書いておけばいいんだよね?
athos @athos0220
2015-09-12 13:19:02
Scheme/Clojureが好きな人。Clojureコントリビュータ。ニャンパス株式会社所属。Mastodonはじめました @athos@mstdn.jp wishlistはこちら→ https://t.co/TS83N3sztS
Sosuke MORIGUCHI @chiguri
2015-09-12 13:18:47
関西学院大学の契約助手 本アカウントの発言は個人の意見であり、所属する機関の意見を反映したものではありません。
チェシャ猫 @y_taka_23
2015-09-12 13:18:21
形式手法に興味があったりなかったり。同人誌『入門 LiquidHaskell』販売中です。https://t.co/D5kvg6BnV5
閉じる

みんなのコメント

コメントする
開く