Masaru KADA
@masarutheremin.bsky.social
著書「論理と集合から始める数学の基礎」（日本評論社）、「数理論理学」（森北出版） 訳書「論理学への数学的手引き（エンダートン）」（1月と7月）
今年8月に関西〜ヘルシンキ乗りましたが、関西→ヘルシンキが北極回り、ヘルシンキ→関西が南回りでした
December 18, 2025 at 3:47 AM
今年8月に関西〜ヘルシンキ乗りましたが、関西→ヘルシンキが北極回り、ヘルシンキ→関西が南回りでした
最初に使ったのは1989年頃のPC98用一太郎www
December 11, 2025 at 3:41 AM
最初に使ったのは1989年頃のPC98用一太郎www
