℘ make now just

℘ make now just

if you wanna break free you better listen to me

FebMarAprMayJunJulAugSepOctNovDecJan/post/2024-01-07-diary//post/2024-01-08-diary//post/2024-01-09-diary//post/2024-01-10-diary//post/2024-01-11-diary//post/2024-01-12-diary//post/2024-01-13-diary//post/2024-01-14-diary//post/2024-01-15-diary//post/2024-01-16-diary//post/2024-01-17-diary//post/2024-01-18-diary//post/2024-01-19-diary//post/2024-01-20-diary//post/2024-01-21-diary//post/2024-01-22-diary//post/2024-01-23-diary//post/2024-01-24-diary//post/2024-01-25-diary//post/2024-01-26-diary//post/2024-01-27-diary//post/2024-01-28-diary//post/2024-01-29-diary//post/2024-01-30-diary//post/2024-01-31-diary//post/2024-02-01-diary//post/2024-02-02-diary//post/2024-02-03-diary//post/2024-02-04-diary//post/2024-02-05-diary//post/2024-02-06-diary//post/2024-02-07-diary//post/2024-02-08-diary//post/2024-02-09-diary//post/2024-02-10-diary//post/2024-02-11-diary//post/2024-02-12-diary//post/2024-02-13-diary//post/2024-02-14-diary//post/2024-02-15-diary//post/2024-02-16-diary//post/2024-02-17-diary//post/2024-02-18-diary//post/2024-02-19-diary//post/2024-02-20-diary//post/2024-02-21-diary//post/2024-02-22-diary//post/2024-02-23-diary//post/2024-02-24-diary//post/2024-02-25-diary//post/2024-02-26-diary//post/2024-02-27-diary//post/2024-02-28-diary//post/2024-02-29-diary//post/2024-03-01-diary//post/2024-03-02-diary//post/2024-03-03-diary//post/2024-03-04-diary//post/2024-03-05-diary//post/2024-03-06-diary//post/2024-03-07-diary//post/2024-03-08-diary//post/2024-03-09-diary//post/2024-03-10-diary//post/2024-03-11-diary//post/2024-03-12-diary//post/2024-03-13-diary//post/2024-03-14-diary//post/2024-03-15-diary//post/2024-03-16-diary//post/2024-03-17-diary//post/2024-03-18-diary//post/2024-03-19-diary//post/2024-03-20-diary//post/2024-03-21-diary//post/2024-03-22-diary//post/2024-03-23-diary//post/2024-03-24-diary//post/2024-03-25-diary//post/2024-03-26-diary//post/2024-03-27-diary//post/2024-03-28-diary//post/2024-03-29-diary//post/2024-03-30-diary//post/2024-03-31-diary//post/2024-04-01-diary//post/2024-04-02-diary//post/2024-04-03-diary//post/2024-04-04-diary//post/2024-04-05-diary//post/2024-04-06-diary//post/2024-04-07-diary//post/2024-04-08-diary//post/2024-04-09-diary//post/2024-04-10-diary//post/2024-04-11-diary//post/2024-04-12-diary//post/2024-04-13-diary//post/2024-04-14-diary//post/2024-04-15-diary//post/2024-04-16-diary//post/2024-04-17-diary//post/2024-04-18-diary//post/2024-04-19-diary//post/2024-04-20-diary//post/2024-04-21-diary//post/2024-04-22-diary//post/2024-04-23-diary//post/2024-04-24-diary//post/2024-04-25-diary//post/2024-04-26-diary//post/2024-04-27-diary//post/2024-04-28-diary//post/2024-04-29-diary//post/2024-04-30-diary//post/2024-05-01-diary//post/2024-05-02-diary//post/2024-05-03-diary//post/2024-05-04-diary//post/2024-05-05-diary//post/2024-05-06-diary//post/2024-05-07-diary//post/2024-05-08-diary//post/2024-05-09-diary//post/2024-05-10-diary//post/2024-05-11-diary//post/2024-05-12-diary//post/2024-05-13-diary//post/2024-05-14-diary//post/2024-05-15-diary//post/2024-05-16-diary//post/2024-05-17-diary//post/2024-05-18-diary//post/2024-05-19-diary//post/2024-05-20-diary//post/2024-05-21-diary//post/2024-05-22-diary//post/2024-05-23-diary//post/2024-05-24-diary//post/2024-05-25-diary//post/2024-05-26-diary//post/2024-05-27-diary//post/2024-05-28-diary//post/2024-05-29-diary//post/2024-05-30-diary//post/2024-05-31-diary//post/2024-06-01-diary//post/2024-06-02-diary//post/2024-06-03-diary//post/2024-06-04-diary//post/2024-06-05-diary//post/2024-06-06-diary//post/2024-06-07-diary//post/2024-06-08-diary//post/2024-06-09-diary//post/2024-06-10-diary//post/2024-06-11-diary//post/2024-06-12-diary//post/2024-06-13-diary//post/2024-06-14-diary//post/2024-06-15-diary//post/2024-06-16-diary//post/2024-06-17-diary//post/2024-06-18-diary//post/2024-06-19-diary//post/2024-06-20-diary//post/2024-06-21-diary//post/2024-06-22-diary//post/2024-06-23-diary//post/2024-06-24-diary//post/2024-06-25-diary//post/2024-06-26-diary//post/2024-06-27-diary//post/2024-06-28-diary//post/2024-06-29-diary//post/2024-06-30-diary//post/2024-07-01-diary//post/2024-07-02-diary//post/2024-07-03-diary//post/2024-07-04-diary//post/2024-07-05-diary//post/2024-07-06-diary//post/2024-07-07-diary//post/2024-07-08-diary//post/2024-07-09-diary//post/2024-07-10-diary//post/2024-07-11-diary//post/2024-07-12-diary//post/2024-07-13-diary//post/2024-07-14-diary//post/2024-07-15-diary//post/2024-07-16-diary//post/2024-07-17-diary//post/2024-07-18-diary//post/2024-07-19-diary//post/2024-07-20-diary//post/2024-07-21-diary//post/2024-07-22-diary//post/2024-07-23-diary//post/2024-07-24-diary//post/2024-07-25-diary//post/2024-07-26-diary//post/2024-07-27-diary//post/2024-07-28-diary//post/2024-07-29-diary//post/2024-07-30-diary//post/2024-07-31-diary//post/2024-08-01-diary//post/2024-08-02-diary//post/2024-08-03-diary//post/2024-08-04-diary//post/2024-08-05-diary//post/2024-08-06-diary//post/2024-08-07-diary//post/2024-08-08-diary//post/2024-08-09-diary//post/2024-08-10-diary//post/2024-08-11-diary//post/2024-08-12-diary//post/2024-08-13-diary//post/2024-08-14-diary//post/2024-08-15-diary//post/2024-08-16-diary//post/2024-08-17-diary//post/2024-08-18-diary//post/2024-08-19-diary//post/2024-08-20-diary//post/2024-08-21-diary//post/2024-08-22-diary//post/2024-08-23-diary//post/2024-08-24-diary//post/2024-08-25-diary//post/2024-08-26-diary//post/2024-08-27-diary//post/2024-08-28-diary//post/2024-08-29-diary//post/2024-08-30-diary//post/2024-08-31-diary//post/2024-09-01-diary//post/2024-09-02-diary//post/2024-09-03-diary//post/2024-09-04-diary//post/2024-09-05-diary//post/2024-09-06-diary//post/2024-09-07-diary//post/2024-09-08-diary//post/2024-09-09-diary//post/2024-09-10-diary//post/2024-09-11-diary//post/2024-09-12-diary//post/2024-09-13-diary//post/2024-09-14-diary//post/2024-09-15-diary//post/2024-09-16-diary//post/2024-09-17-diary//post/2024-09-18-diary//post/2024-09-19-diary//post/2024-09-20-diary//post/2024-09-21-diary//post/2024-09-22-diary//post/2024-09-23-diary//post/2024-09-24-diary//post/2024-09-25-diary//post/2024-09-26-diary//post/2024-09-27-diary//post/2024-09-28-diary//post/2024-09-29-diary//post/2024-09-30-diary//post/2024-10-01-diary//post/2024-10-02-diary//post/2024-10-03-diary//post/2024-10-04-diary//post/2024-10-05-diary//post/2024-10-06-diary//post/2024-10-07-diary//post/2024-10-08-diary//post/2024-10-09-diary//post/2024-10-10-diary//post/2024-10-11-diary//post/2024-10-12-diary//post/2024-10-13-diary//post/2024-10-14-diary//post/2024-10-15-diary//post/2024-10-16-diary//post/2024-10-17-diary//post/2024-10-18-diary//post/2024-10-19-diary//post/2024-10-20-diary//post/2024-10-21-diary//post/2024-10-22-diary//post/2024-10-23-diary//post/2024-10-24-diary//post/2024-10-25-diary//post/2024-10-26-diary//post/2024-10-27-diary//post/2024-10-28-diary//post/2024-10-29-diary//post/2024-10-30-diary//post/2024-10-31-diary//post/2024-11-01-diary//post/2024-11-02-diary//post/2024-11-03-diary//post/2024-11-04-diary//post/2024-11-05-diary//post/2024-11-06-diary//post/2024-11-07-diary//post/2024-11-08-diary//post/2024-11-09-diary//post/2024-11-10-diary//post/2024-11-11-diary//post/2024-11-12-diary//post/2024-11-13-diary//post/2024-11-14-diary//post/2024-11-15-diary//post/2024-11-16-diary//post/2024-11-17-diary//post/2024-11-18-diary//post/2024-11-19-diary//post/2024-11-20-diary//post/2024-11-21-diary//post/2024-11-22-diary//post/2024-11-23-diary//post/2024-11-24-diary//post/2024-11-25-diary//post/2024-11-26-diary//post/2024-11-27-diary//post/2024-11-28-diary//post/2024-11-29-diary//post/2024-11-30-diary//post/2024-12-01-diary//post/2024-12-02-diary//post/2024-12-03-diary//post/2024-12-04-diary//post/2024-12-05-diary//post/2024-12-06-diary//post/2024-12-07-diary//post/2024-12-08-diary//post/2024-12-09-diary//post/2024-12-10-diary//post/2024-12-11-diary//post/2024-12-12-diary//post/2024-12-13-diary//post/2024-12-14-diary//post/2024-12-15-diary//post/2024-12-16-diary//post/2024-12-17-diary//post/2024-12-18-diary//post/2024-12-19-diary//post/2024-12-20-diary//post/2024-12-21-diary//post/2024-12-22-diary//post/2024-12-23-diary//post/2024-12-24-diary//post/2024-12-25-diary//post/2024-12-26-diary//post/2024-12-27-diary//post/2024-12-28-diary//post/2024-12-29-diary//post/2024-12-30-diary//post/2024-12-31-diary//post/2025-01-01-diary//post/2025-01-02-diary//post/2025-01-03-diary//post/2025-01-04-diary//post/2025-01-05-diary/
  • Less
  • More

2024-12-04: 定理証明支援系と向き合っている

やったこと

Quine AC 2024

今日はBallerinaでQuineを書いた。
Homebrewでインストールできる言語で数を稼いでいきたい。

研究

久し振りに定理証明支援系と向き合っている。
やはり難しい。
というか難しいことに取り組みすぎな気がする。
うーん。

2024-12-04: DAY 4 - Ballerina (Quine AC 2024)

2024-12-04: 定理証明支援系と向き合っている

2024-12-03: DAY 3 - Arturo (Quine AC 2024)