Masaru Kada

著書「論理と集合から始める数学の基礎」(日本評論社)、「数理論理学」(森北出版) 訳書「論理学への数学的手引き(エンダートン)」(1月と7月)

2026-01-23

ZF集合論で自然数論を展開する話

2026-01-23

順路 を 釧路 に #空目

2026-01-23

本日すぎもとすりろん千秋楽

2026-01-22

良そうな予想を装うのはよそう

2026-01-22

はらへた

2026-01-22

(緩募)学部4年卒研セミナー講読を想定したモデル理論の教科書

2026-01-22

せみなぁわず

強制法の直観的説明をどんな言葉で語るべきか、学生を悩ませてしまってる(反省)

2026-01-21

スライド作ってみた

自分自身に著書を捧げていないすべての著作者に、本書を捧げる
2026-01-21

2週間後のあわじしま出張講義でHamkins氏のこのネタを使ってみる。床屋のヒゲよりはわかりやすいかな、、、?

2026-01-21

当時中学生の私はこの図で納得した。

2026-01-21

質量と重量の違いは高校の物理の先生が明快に説明してくれた。
月面では重量は1/6に変化するけど質量はどこに行っても変化しない。
バネ秤は重量を計るが天秤は質量を計る。

2026-01-21

ちなみに私は中学1年の理科でこの問題に出会った記憶が。当時は「ニュートン」なんて単位は知らなかったけど。

2026-01-20

インスタグラムでこの力学なぞなぞイラストが出回っていて、コメントにさまざまな答えも書き込まれてるけど、↓こういう根本的なツッコミをなぜか見かけない。

N (ニュートン)は力の単位であって質量の単位ではない、したがって、分銅そのものに「100N」と表示するのは、力学の問題の表現として著しく不適切である。分銅に備わる固有の物理量(すなわち質量)はたとえば「10kg」。それがこのイラストの状況でバネ秤のバネにどれだけの(何ニュートンの)張力を及ぼすかは重力加速度に依存して決まる。
(分銅の「100N」の表示を「重力加速度のもとで100Nの重力を生じる質量」と解釈するのは無理がある)

分銅の質量表示をkg、バネ秤の表示を kgf にしておけば、そういうツッコミを防げるのに。。。

最近は日本の学校理科教育で力の単位として kgf を使えなくなって N を使わねばならないらしいけど、こういう混乱があちこちで起こっているのでは。

2026-01-20

正答率 5/20=25% (泣)

2026-01-20

某中華料理チェーン店、しばらく行かなかった間に?定番メニューを大幅に整理縮小したみたいで、ちょい期待外れ。。。

2026-01-20

関数の適法性 #とは #空目 #何か見た

2026-01-20

じゅぎょわず

2026-01-20

もりのみやなう

2026-01-19

今年の確定深刻は還付なきまでに追加納税を食らうかも

2026-01-19

行列の対角化とか2変数関数の極値問題とか、スモールステップで誘導する形で出題したいけど、親亀コケたら、、、という心配も。

Client Info

Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst