Public
- Public
- Network
- Groups
- Featured
- Popular
- People

Conversation

Notices

Embed this notice
きばん (kivantium@mstdn.poyo.me)'s status on Sunday, 02-Jul-2023 22:46:24 JST きばん

Coq勉強記録 https://hackmd.io/@kivantium/B1Y8Ehlfn
In conversation Sunday, 02-Jul-2023 22:46:24 JST from mstdn.poyo.me permalink
Attachments
1. Domain not in remote thumbnail source whitelist: uploads-public.hackmd.io
  
  Coq勉強記録 - HackMD
  
  # Coq勉強記録 LLMが書いたプログラムの正当性を証明することが必要になる時代が来ることを見越してCoqの勉強をはじめることにした。 ## 開始時のスペック - 学部で記号論理学（Iのみ）や情報
- Masanori Ogino 𓀁 repeated this.
- Embed this notice
  きばん (kivantium@mstdn.poyo.me)'s status on Sunday, 02-Jul-2023 22:46:24 JST きばん
  in reply to
  
  LLMで定理証明する時代が来るという読みは正しかった。勉強は間に合わなかったが。 https://twitter.com/KaiyuYang4/status/1673882824158613504
  In conversation Sunday, 02-Jul-2023 22:46:24 JST permalink
  Attachments
  1. Untitled attachment

Feeds