いい感じになんとかなれ

シンプルに日記

2023-05-05から1日間の記事一覧

5/5 GW3日目

日記49日目 5月5日 今日は短かったです。 朝起きるのもちょっと遅め、昼寝もして、一日が短くなってしまいました。まぁしゃーない。睡眠時間ちょっと足りてないような気もする。7時間寝てるし大丈夫だと思うんだけど、昼間眠すぎて困ります。布団に入るから…

5/4 GW2日目

日記48日目 5月4日 『数学ガール 秘密ノート 数を作ろう』を読み進めた。 集合を使って非負整数を作り、さらに順序対を用いて整数を構成するところまで。個人的にうまいなと思うのは足し算のルールを決めるときの「m + n' = m' + n」ですね。片方の数字の分だ…