Atomでlatexをコンパイルするとlatexmkの設定ファイル見てない気がする。(自信なし)

逆の人が捕まっていたような。

yoriyuki boosted

セブンのセルフコーヒーは出始めの頃にサイズを間違えて押して50円払ったことがあってから利用していない。

LとRの区別は理解していたが、Rを押そうとしてLを押していた。何を言っているのか(略

自分のミスだが、本当に原因は自分だけなのだろうかと未だに自問し続けている。

論文はパソコン画面上でさっと読む程度ですね。数学系の難しい論文ならiPadでノートを取りながら読みます。紙には印刷しないかな。場所取るしスキャンをするにしても扱いが面倒なので。

マーカーは引いても内容が頭に入らないので引かないですね。本だと、何かの議論で使った部分を後で探せるように付箋をつけることはあります。でも基本は考えながら読んで、内容を頭に入れてしまいます。

beamerposterで日本語使おうとして七転八倒してた。わかれば簡単なんだけどね。ネットには断片的にしか買いてないし、奥村先生の本は難しいし。単にヒラギノ使いたかっただけなんだけど。

Twitterにも書いたけど、グラフ構造を書くのにいいテキスト表現てあるのかな。

表現論も勉強したかったな…数学的に面白いと言う他になにか応用とかあるのかな。

数学書を読む、という感覚がない。つまり、最後まで読み通したことがほとんど無い😅

トポスと論理や集合との関係ならこの本がおすすめかな。

springer.com/jp/book/978038797

トポスと層をごっちゃにしてる感

トポスとかまあそうなんだろうなあ。離散位相上のトポスはブール値による集合だし、直観主義論理の上の集合はもっとべたっとした位相の上のトポスになる。

yoriyuki boosted

漠然と抱き続けてること

集合と2値論理(ブール代数?)は密接な関係にあると思う。$\cup, \cap$や$\subset$とか、補集合による双対性とか。

こういう方向で、他の代数や論理に対する「集合のようなもの」を考えたものはあるのだろうか?

cupyにコレスキー分解が実装されていることに気がついた。考えている行列はそのままでは大きすぎてGPUに乗らないけど、ちょっと計算すると分割してコレスキー分解できるようなので、時間ができたらやってみよう。

私は圏論完全分からん民だな。大学院の時の先生は圏論マスターみたいな人だったけど、やってることが難しすぎて分からなかった。関手の冪級数展開とかしてた。

私が圏論苦手なのは、圏論の人がこれは自然性から明らか、て言うところを1時間くらいダイアグラムチェイシングしないと分からない、て言うところにあると思う。

コレスキー分解て掃き出し法の一種で計算するらしいけど、どの程度並列化できるんだろう。マルチコアマシンだと速くできるかな。

逆ポーランド記法ですね。$x_1, x_2, \ldots, x_n, f$とか書く。$y_1, y_2, y_3, \ldots, y_m, x_1, x_2, \ldots, x_n, f, g$が$g(f(x_1, \ldots, x_n), y_1, \ldots, y_m)$を意味するとか。HaskellやOCamlでもこういう関数適用のチェインを作る演算子が有ったりしますね。

今主流の記法はトップダウンなツリーとして読むときに便利かも。

ああそうか、求めたいのは80000x80000なんですが、今はテストのため40000x40000でやっています。80000だと手元の計算機のメモリ(仮想メモリ含む)があふれるので。

80000x80000の正定値行列の平方根が求めたいんですが、良い方法ないでしょうか。ナイーブでDenman-Beaver法はNaNになっているようです。というか私の実装では小さい行列でも結構NaNになるんですね。数値的に安定なアルゴリズムだといろいろな論文に書いてあるのですが。

確か特許庁がシステムを作り直してオープン化しようとして50億円位溶かしたうえで諦めたんじゃなかったっけ。最近どうかはよく知らないけど。

個人的にはソフトウェアを一から作り直すことはしません。

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