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