昔なんかの書籍でArray#all?で書いたコードをany?に変換しましょう(逆だったかも)というのがあって結構苦手だったんだけど、これだたの論理式では？と思い直したら楽になったので記しておく。 最近(数理)論理学の学び直しをしてるのにプログラミングと全然結…

2023年の年末を振り返ったときに、やっぱり月ごとのふりかえりがあると振り返りやすいと気づいたため、なんとか記録として残しておきたい。振り返るためのふりかえり。 1月は運動の習慣化と格闘していた1ヶ月だったように思う。 おしごと 1月から新しいプロ…