Proof Summit 2018
開催日2018-09-02
オンライン
このエントリーをはてなブックマークに追加
管理者 profile iconcutsea110
セキココ人数 13人
関連ページ https://proof-summit.connpass.com/event/91274/
イベントの説明 #proofsummit2018
チェシャ猫@技術書典5 か14 @y_taka_23
2018-09-02 14:00:51
著名ねこみみエンジニア。Kubernetes、Haskell、形式手法あたりが守備範囲。過去の活動は以下参照。https://t.co/KiUyD9qXXi https://t.co/tjDVGSueRU https://t.co/e67mrvtxij
@bd_gfngfn
2018-09-02 14:00:17
解釈をしたがらず手を動かす
keiichiro shikano λ♪ @golden_lucky
2018-09-02 13:59:21
鹿野桂一郎。抽象的なものが好き。計算機とネットワークと数学の本を作って売るお手伝いをする仕事。ラムダノート株式会社代表取締役。
ゆーちき @yuchiki1000yen
2018-09-02 13:34:51
プログラム検証 論理 C# .net ラテン語(@juticus) 言語学 散歩/Qui a modo severe separantur/ 欲しいものリスト: https://t.co/rPYn9OOn5L / 質問箱: https://t.co/fPcxGoYlAi
ろ ひ さ ま う と さ @jx7548469
2018-09-02 11:17:45
数学とジャニーズが好きです。この垢は数学関連のことやジャニーズ関連のことはあまりつぶやきません。別垢で
Noriyuki OHKAWA @notogawa
2018-09-02 11:17:23
Agdaつらい
Yoshihiro503 @yoshihiro503
2018-09-02 11:16:34
プログラムを証明してバグをなくす定理証明支援器の技術に興味があります。niconicoの基盤システムであるDMCを証明しています。 Coq/OCaml/Haskell/SML#/Scala/F#/Haxe/トップSE
Κeіsuke Νakanο @ksknac
2018-09-02 11:16:23
TreeTransducers/FunctionalProgramming/Coq/OCaml/Juggling/CodeGolf
ELD-R-ESH-2 @eldesh
2018-09-02 11:15:33
アレゲを目指すMLプログラマ
もっちぃ @tanimocchi
2018-09-02 11:13:15
発言は個人的なものであり、所属組織とは無関係です。「計算モデルと形式言語一式、形式的意味論を議論するための自相論理・様相論理含む論理学やプロセス代数、計算量に関する議論、離散最適化問題、などについて最新の国際学会レベル+もっと なレベルで理解してそれを実務で運用してるヒト」と最近誤解されているが、そんなわけない。
おく @OKU_K
2018-09-02 11:12:49
熊本/京都/神奈川/Coq/SSReflect/
SUHARA Hiromichi @suharahiromichi
2018-09-02 11:07:07
「リアルタイムだけど組込みじゃない」システムを仕事とする制御系アプリケーションのプログラマです。計算の理論的な側面にも興味があり、Coq、Agda、Prolog、それにPostscriptでコードを書いています。時々書く航空宇宙ねたは、ニュースサイトの情報に基づきます。
cutsea110は同型を除いて一意 @cutsea110
2018-09-02 11:05:20
ヒゲ生やしたハゲのおっさんです。 少し泳ぎます。 swimmer Haskell Agda Scheme Category Theory
閉じる

みんなのコメント

コメントする
開く