2024.01.31
https://gyazo.com/845b2e9f2693242384119c9882f37bac
前:
2024.01.30
後:
2024.02.01
#日報
思った
「作りながら考えましょう」ベースの思考が純粋関数型プログラミングのパラダイムと相性が悪い気がしてきた
メモ
A. Berarducci, R. Verbrugge; "On the provability logic of Bounded Arithmetic"
https://core.ac.uk/download/pdf/82422158.pdf
A. Visser; "The Second Incompleteness Theoren and Bounded Interpretations"
The_Second_Incompleteness_Theorem_and_Bo.pdf
思った
やったー全部終わった.
フリーだ.
メモ
Scrapboxは異常にSEO対策が強いので適当にGoogle Mapの経度緯度をページとして作っておけば場所の領有権を主張できるのではないか?と思い したところ できた
35.8016714, 139.7171612