Lean4 の勉強をしています
自分が中学生だった頃,クラスに『数学ガール』を読んで数学が好きになったという人がいたんですよ.*1 その人とはたまに数学の話をしたりしてました. 高校が違った *2 ので高校以降は会ってなかったんですが,一度だけ電車で乗り合わせたことがあります.*…
圏論について
集合についてのくだらない疑問
LeetCodeの布教記事です
CS50Web修了しました
数学は論理の学問だと思わないで欲しいという話.
何かの技術・学問を学びたい社会人へのアドバイス.実はプログラミングの話が大半です.
またお礼のコメントをいただきました
お礼の!コメントを!いただいた!
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。