Top Tweets for #proofsummit

12 months ago

JupyterNotebookのカーネル、Lean4あった。 https://t.co/XGgobgqxzg https://t.co/iJ16YqUqGe #ProofSummit

0

2

0

218

12 months ago

https://t.co/un5tLZfTMF こんなのあんだなー #ProofSummit

0

2

0

170

12 months ago

ocamlのウェブフレームワークでDreamっていうやつを教えてもらった。https://t.co/HnxVj8t5vJ #ProofSummit

0

7

1

0

590

12 months ago

懇親会16→18名に変更できました！ @YutakangJ #proofsummit

0

2

0

270

12 months ago

「計算機科学の正規表現とソフトウェアとしてのそれはだいぶ違うもの」 #proofsummit

0

4

2

0

506

12 months ago

「定理を証明するためのいい感じの補題を設定することを abductive reasoning と呼ぶ」 #proofsummit

0

3

0

263

日比野啓 (Kei Hibino) @khibino

12 months ago

定理証明器、何にも分からんけど、思ったより楽しく聞けてる。こっち方面、10年ぶりぐらいだけど、来て良かった。 #ProofSummit

0

2

0

177

12 months ago

#ProofSummit に参加中。発表内容に関係ないけど、 conceptual mathematics の演習問題の証明を以前に Agda で書いた https://t.co/ECJyFFX3JS

0

5

0

422

12 months ago

#ProofSummit 常微分方程式を含むシステム、いったいどんなシステムなんだ

0

2

0

210

12 months ago

#ProofSummit 証明補完、役に立つ機会が少ないとのこと。3～5割使えればいいと。

0

2

0

203

12 months ago

エージェントモードで丸投げしてどこまで証明できるかとか気になるな。Vibe Proofing。 #ProofSummit

1

2

3

0

436

12 months ago

#ProofSummit AWSの非同期処理の検証にもTLA+が使われてるものもあるとのこと。AWSのIAMロールの動作にはLeanで証明がついてるとこの前聞いたし、Amazonって検証・証明にめっちゃコスト払ってるんだな。

0

2

0

199

12 months ago

ノベルゲームのシナリオから自動でモデル作ってLTSAで検証（デッドロックがないとか）できるのは昔作った。 https://t.co/vQHQ0tiA4n #ProofSummit

1

3

0

225

12 months ago

「飛行機が落ちないのは徹底的に同期システムでくんでいるから」 #ProofSummit

0

9

0

367

12 months ago

#ProofSummit 凡例のDSLをclaude sonnetとかに食わせると見やすい図を作ってくれる、AIのいい使い方だ！

1

2

0

212

12 months ago

数理システムさん、Rocqでの形式証明できる人がたくさんいて驚きました。 #Rocq #ProofSummit

0

7

0

402