Show more

不連続関数を微分する方法ってあるんだろうか...いや色々あるのは知っているのだがgradient descentが使いたい。適当にsmoothな関数で近似すれば良いのかもしれないけど、例えば任意のプログラムとかの出力をsmoothにする方法とかあるのかな。

そこでメレオロジーですよ。

いや、公理が無数にあって沼だし、数学の基礎としては(他の述語を足さない限り)弱すぎる。

nksndでも作れるかも。時間ないけど。

素晴らしい!-> macOSで日本語入力本

yoriyuki boosted
yoriyuki boosted

いつもの
--
彼らが最初タバコを攻撃したとき、私は声をあげなかった。
私は喫煙者ではなかったから。

彼らがアルコールを攻撃したとき、私は声をあげなかった。
私は飲酒者ではなかったから。

そして、彼らが私を攻撃したとき
私のために声をあげる者は、誰一人残っていなかった。

あと、「勉強しなければ叱られる」が真として、その対偶で「叱られなければ勉強する」も真になるとか。

古典論理だと、「西から太陽が登るならば私は猫である」が真、というのは有名な話ですよね。これについては色々議論があります。

これからは直観主義数学の時代です(嘘)Coqとかとも相性がいいし。

yoriyuki boosted

衣食足りて手元に字があれば幸せなんじゃったら、活字については、青空文庫やら図書館やらで、充分足りてしまう。ついでにノートに計算などして、あれなにか合わないぞ、とかやっていると、いくらでも時間が経ってしまう。晴れていると散歩もしたい。

当たり前だが、その辺りに行ったことがあると地理的な認識が深まるよね。個人的にはマレーシアはシンガポールの北の方と言うイメージ。(怒られそう)

意図がなくて単に見た目を再現しちゃう場合もあるんじゃないかな。デジタルディバイドの向こう側の人って、まさに情報とかテキストとか抽象的なものの存在自体が考えられない気がする。

こちらにも一応貼っておく。「偶然性の必然性の不可能性についての試論」

- メイヤスーを読んでる
- 様相論理について知っている

の両方を満たすと言う大変ニッチな人にだけ受けそうな文章。数学と関係あるかどうかは微妙だけど、まあ様相論理使ってるし、メイヤスーは「哲学と数学の同盟」とか言ってるし。

dropbox.com/s/79rpxubtq2b2n42/

共通鍵暗号はそうでもないか。

Show more
Mathtodon

Post mathematical formulae on Mathtodon. / 数式が書けるSNS、ついに登場。

This is a Mastodon instance named Mathtodon, where you can post toots with mathematical formulae in TeX/LaTeX style. Let's enjoy mathematical talks, mathematical discussions, and mathematical jokes in Mathtodon! Please join us!

数式が書けるMastodon、その名もMathtodonです! (˃̵ᴗ˂̵ ζ) 数式は TeX, LaTeX 形式です。数学の情報発信や数学の議論や数学ギャグの投稿など、様々に楽しみましょう〜!

Donation / ご寄付について

Thankfully I'm getting many inquiries about donation. Although I of course spend some amount of my pocket money such as server fee and domain fee, I think that using your brains to create a gentle world of mathematics is very valuable and is the best donation. If you still want to make a donation, please use here 1BBUzdCuTRavJ5cjwAg6CoJrowDZfFTSgn (Bitcoin).

ありがたくも「寄付はどうすればいい?」というお言葉を数多くいただいています。 もちろんサーバ代・ドメイン代などポケット予算より費やしておりますが、今はそれよりも「数学が好きな人の集まる優しい世界」を構築することに、皆様の頭脳と貴重な時間とほんの少しずつ分けていただければそれが最高の donation だと思います。(←決まった!)

それでもなお donation をお考えという奇特な方は、 1AhmL4t7aqgQzs4ZG1PPcS2uY8Bz39DRQv (Bitcoin) か、あるいはAmazonの謎のリンクをご覧ください。