Misskey を始めました。 https://misskey.io/@seasawher 数学の話はあまりしてなくて「おはよー！」とか「にゃんぷっぷー❤️」とか言ってることが多いです。たのしいよ。 Misskey ですが、 世間ではTwitter（Xと書くとわかりにくいのでこう書きます）からの避…

NNG4 全クリしました

Lean4 の勉強をしています

自分が中学生だった頃，クラスに『数学ガール』を読んで数学が好きになったという人がいたんですよ．*1 その人とはたまに数学の話をしたりしてました． 高校が違った *2 ので高校以降は会ってなかったんですが，一度だけ電車で乗り合わせたことがあります．*…

圏論について

集合についてのくだらない疑問

LeetCodeの布教記事です

CS50Web修了しました

数学は論理の学問だと思わないで欲しいという話．

何かの技術・学問を学びたい社会人へのアドバイス．実はプログラミングの話が大半です．