#ProofSummit 2019まとめ

ProofSummitに参加した人、参加できなかった人の様々な実況
テクノロジー 学問
1
ProofSummit 2019

https://proof-summit.connpass.com/event/141191/

lion @2015fuj
タイムテーブルを更新しました proof-summit.connpass.com/event/141191/ #proofsummit
2019-09-25 07:43:16

1.「Idrisの話とIdris2のウワサ」 by @blackenedgold
2.「300行で作るproof assistant」by @___yuni
3.「ProofIrrelevance」 by @2015fuj
4.「Mathcompで文字列を使う」by @suharahiromichi
5.「人工知能によるIsabelle/HOLの証明支援」 by YutakaNg
6.「Coqのベース体系の無矛盾性について（仮題）」 by @yf0fyf

Yoshihiro503 @yoshihiro503
歌舞伎座7F に長蛇の列！ どうやらアパレル系のイベントも今日歌舞伎座で開催されるらしい。 #proofsummit
2019-09-29 09:52:14
Yoshihiro503 @yoshihiro503
今日は東銀座駅の歌舞伎座タワー21階で #proofsummit です。
2019-09-29 09:53:45
おいのりがいこつ @pxfnc
Proof Summit 2019に参加を申し込みました！ proof-summit.connpass.com/event/141191/?… #proofsummit
2019-09-29 10:13:22
tkr @kgtkr
向かってる #proofsummit
2019-09-29 10:18:49
lion @2015fuj
#proofsummit 入場できます
2019-09-29 10:35:33
κeen @blackenedgold
めっちゃギリギリに着きそう #proofsummit
2019-09-29 10:37:49
Yoshihiro503 @yoshihiro503
こんにちは、形式証明が好きすぎてCoqをする会社を作ったyoshihiro503です。今回は @2015fuj さんが実行委員長として準備をしてくれました。みなさん今日はよろしくお願いします。 proof-summit.connpass.com/event/141191/ #ProofSummit
2019-09-29 10:41:31
よんた @keita44_f4
歌舞伎座タワー、17階混んでる #proofsummit
2019-09-29 10:47:27
よんた @keita44_f4
#proofsummit 歌舞伎座タワーは正面左側にオフィス入り口があって、1-7Fエレベータのち7-21Fエレベータ経由で会場入りできた。
2019-09-29 10:51:23
(* sakamoto *) @sakamoto_desu
#proofsummit 到着 (@ 歌舞伎座 in 中央区, 東京都) swarmapp.com/c/fNdljMmAJrp
2019-09-29 10:51:50
眼力 玉壱號 @objectxplosive
17階が何かのセール会場になっている… #ProofSummit
2019-09-29 10:53:13
眼力 玉壱號 @objectxplosive
はじまた #ProofSummit
2019-09-29 11:00:56
Yoshihiro503 @yoshihiro503
今回、株式会社朝日ネットさんが会場のセミナールームとWIFIを無償でお貸しくださいました。 #ProofSummit
2019-09-29 11:03:45
よんた @keita44_f4
朝日ネットさんすごい！ #proofsummit
2019-09-29 11:04:04
tkr @kgtkr
きた #proofsummit
2019-09-29 11:06:33
Idrisの話とIdris2のウワサ

by @blackenedgold

κeen @blackenedgold
本日の資料です #proofsummit keens.github.io/slide/idrisnoh…
2019-09-29 11:42:06
Yoshihiro503 @yoshihiro503
keenさんによる入門よりのおはなし #Idris #ProofSummit
2019-09-29 11:07:06
tkr @kgtkr
idris名前しか知らないア #proofsummit
2019-09-29 11:07:07
keiichiro shikano λ♪ @golden_lucky
Wi-Fi難民化した #proofsummit
2019-09-29 11:07:18
よんた @keita44_f4
#proofsummit κeenさん「働いてます」、つまり学生におごる覚悟があるという主張ですかｗ
2019-09-29 11:07:42
Yoshihiro503 @yoshihiro503
JavaScriptバックエンドもある #Idris #ProofSummit
2019-09-29 11:08:25
残りを読む(216)
テクノロジー 学問

あわせて読みたい

いま話題のタグ

杉田智和88 ハンドメイド898 緊急事態宣言68 現金給付32 大学2194 学級会23 100日後に死ぬワニ92 ギャルと恐竜4 ポカホンタス5 LGBT764 大村秀章152 浦沢直樹56 江頭2:5020 チェーンメール15 COVID-191342

コメント

コメントがまだありません。感想を最初に伝えてみませんか？

いまツイッターで話題の記事

ログインして広告を非表示にする
今月は14282はてブされました!あなたはもうチェックした?
blackenedgold
κeen@blackenedgold
それ、kappaだよ ⸜( ¯⌓¯ )⸝ 。 https://t.co/uHC2I4tPTh
ログインして広告を非表示にする