Public
- Public
- Network
- Groups
- Popular
- People

Conversation

Notices

きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Monday, 19-Jul-2021 09:51:02 JST きゅーけー

ACL2 で回文に関する定理を証明した。ACL2 で定理を書くのがうまくなってきている気がする。
https://git.tojo.tokyo/acl2-theorems.git/commit/palindrome-sandwich.lisp?id=658812d37e3be083623a63c9839ac056451df1cd

In conversation Monday, 19-Jul-2021 09:51:02 JST from mastodon.tojo.tokyo permalink
- きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Monday, 19-Jul-2021 09:54:02 JST きゅーけー
  in reply to
  
  これを証明するのすごく大変だったんだけど後から見返すと全然大変じゃなさそうなの困る。
  
  In conversation Monday, 19-Jul-2021 09:54:02 JST permalink
- きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Monday, 19-Jul-2021 10:05:13 JST きゅーけー
  in reply to
  
  やっぱ、ACL2 は自動証明なので後からコードだけ読んでもそれがどうしたって感じになるなー。
  
  In conversation Monday, 19-Jul-2021 10:05:13 JST permalink
- きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Monday, 19-Jul-2021 11:44:30 JST きゅーけー
  in reply to
  
  大変だったアピールするためには解説記事書くしかないな
  
  In conversation Monday, 19-Jul-2021 11:44:30 JST permalink

Feeds