塾で教えてたことあるけど、中高等教育って受験テクニックを教えるだけになってるよね。

アブストラクトに簡単な間違いがあるよ。タイポだけど。

プレプリントを公開しました。一般的に定式化されたBussの限定算術の階層が完全に崩壊しないことを示しています。竹内外史の注意により、ここからP≠NPが帰結します。

arxiv.org/abs/1904.06782

数学系動画、英語ならいっぱいある気がする。

クルーグマンが数理ファイナンスのことケチャップエコノミストて罵ってたな。

数理ファイナンスの前提にランダムネスがあるのは、因果関係があったら誰かそれに気づいた人が利用しても大儲けするけどそれは起きてないから、ていうことなんでしょうね。でもそれならめちゃくちゃにジャンプしても良くてブラウン運動しなくていい気がするが。

7年前のMacBook Pro使ってるけど、TeXが遅いって思ったことないな。逆に職場のiMac Proでも別に速い気はしない。

もっとさかのぼるとフレーゲかな?

普通の数学の記法は暗黙のうちに匿名関数をたくさん使っているので、それを明示化するためにラムダ記法が生まれました。多分チャーチによる。

$\sum_k^\infty \frac{1}{k^2}$の$k$のことだったら、本当はラムダ記法を使って$\sum (\lambda k. \frac{1}{k^2})$のことだと理解できます。$\lambda k. \frac{1}{k^2}$はkを与えて$\frac{1}{k^2}$を与える関数。$\sum f$は関数fに0から始まる任意の整数を与えて、その和と取るオペーレーター。$k$はラムダ記法でいうところの束縛変数です。

コブリッツのこの本も最初の方しか読んでないけどいい本っぽい。

amazon.co.jp/dp/4431707271/

力学系も勉強したいよな…いい本ないかな。

同じ著者(Fomemko)の本で微分幾何とトポロジーていう本が出てる。知らなかった。面白そう。

amazon.co.jp/dp/4320015207/

ホモトピー論-幻想の世界から位相幾何学へ

g.co/kgs/xziGmk

この本は楽しい。球面のホモトピー群を計算するのがゴールですが、謎のイラストがついていて、理解を助けてくれる

昔のソ連の本だからちょっと間違えが多いけど。

論理学だったら、Boolosと誰かの"Computability and Logic"の後半(論理に関する部分)が良かったです。前半の計算論の部分は良くないらしい(ので読んでないです)。計算論の入門でいい本ありますかね… Aroraの"Computational Complexity: A Modern Approach"の最初の章に簡単にまとめてありますが。計算量理論だったらこの本がいまベスト、多分。

本より人が大事な気がするなあ。一緒に勉強できる友達といろいろ教えてくれる先輩。

この件、銀河ヒッチハイクガイドみたいだ。あらかじめ掲示してくれない分、余計悪質。

yoriyuki boosted

ある日突然自分の建物を他人がショベルカーで破壊しても「建造物損壊」にはならないのか? - GIGAZINE gigazine.net/news/20190329-gig

カッコ内は引用

(・いかなる方法であってもとにかく何もない更地にしてしまえば「滅失登記の申出」によって登記を書き換えることができる
・この更地にする方法は合法でも違法でもどっちでもいい、書類上はそういうのは一切問われないため
・手続きの書類さえちゃんとそろっていれば「滅失登記の申出」で登記簿の名義を書き換えることができてしまう)

(編集長「壊される前、つまり事前に破壊・解体を止める法的な方法はありますか?」
法務局「ありません」
編集長「つまり、警察に連絡しても、その場では解体を業者はやめてくれるが、警察がいなくなれば再び作業を再開することはでき、それを止める方法はない?」
法務局「ありません……」)

pandoc-citeprocというプログラムをフィルターとしてつかうと、pandocでもMarkdownから文献リストを自動生成してくれます…が。

日本語がするやり方がいまいちわからない。ドキュメントがない、例えば本家GithubにはManページしかなくて、Markdownやcitetaion styleの設定の仕方が書かれていない、などいろいろ辛かったです。

最初からTeXの方が楽だった。epubとかにするんだったらTeXは難しいかもしれませんが。

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の謎のリンクをご覧ください。