@gaby 昔,中国のある都市に二週間弱ほど学会で滞在したときに,鳥の鳴き声が全く聞こえないのに気づきました.ネットで調べたら,四川州では農薬駆除のため蜂を含む昆虫がいなくなって,農作物の受粉を人手でやっている,という記事を見つけました.
今見つかるものでは,たとえば: https://www.nearbees.de/blog/sichuan-wo-sind-die-bienen
鳥がいなくなるのも当然です.@gaby さんはそういうことも含めてコミカルに書いてらっしゃるのだとは思いますが,葡萄を食べてしまう鳥やねずみがいるのは素晴らしいことだと思います.まあ,ちょっとは残してくれたらいいとは思いますが.
@minna_iiko これが「本件に関する無責任な発信等」tw**t の成果なのだとしたら笑っちゃうしかない.https://fedibird.com/@sakaefchn/109626088939127319 [参照]
Aを集合とする。このとき、A×A∩A=空集合であることを示すにはどうすれば良いですか?
という Quora での質問に,
(𝐴 × 𝐴) ∩ 𝐴 = Ø は一般には成り立ちません
と始まる答えを書いてみました.こういう初心者の質問に答える (ふりをして啓蒙活動のようなことをしてしまう) のは時間の無駄だと批判されてしまうかもしれませんが,年をとると,だんだん当たり前のことを説明する能力が失せてしまう傾向があるような気がするので,これは,自分にとっては,そうならないためのトレーニングのようなものでもあります.
arXiv に日本語 LaTeX で作った論文を (調節して) post する話なので,僕の日本語の instance にも link しておくことにします.
It took me almost two hours to make the \( \LaTeX \) source file of my joint paper with Hiroshi
https://fuchino.ddo.jp/papers/weakly-extendible-x.pdf
acceptable for #arXiv's LaTeX engine. I think next time I will write a #emacslisp utility for the conversion.
https://twitter.com/SakaeFuchino/status/1608387410559369216?s=20&t=RuxR8CU0MfHgqDuth5_ouQ
As far as I remember this is the first paper of mine on small large cardinals --- there is no fixed definition of a large cardinal to be small but a reasonable definition is that a large cardinal is said to be small if its existence is compatible with V=L.
https://twitter.com/SakaeFuchino/status/1608143170440941570?s=20&t=cvLsaVJnrNC2vDTECQxYRw
僕の別人格 https://mathstodon.xyz/@sakaefuchino でとは違い,こちらでは toots の再編集が出来ないため再編集をする時には頂いた comments 等へのリンクをバッサリと切断して書き直します.悪しからず.
Since I cannot reedit toots at #fedibird, when necessary, I shall simply cut all links to favorites/boosts/comments from a toot to edit and repost it. This does not (nec.) mean that I don't appreciate your reactions. If you (dis)like my reedit please favor/boost/comment it again.
#多言語 #settheory #数学 #emacs #音楽 #selfreferential #集合論 #logic #multiverse #数学の基礎づけ #latex