可解でない群は、もちろん

不可解群

先週Conwayの数の話を聞いて昨日もConwayの数の話を聞いて面白かった。

Conwayの数

• あるゲームから作れる。
• 無限大+1が無限大とは異なるようにちゃんとある
• 和だけではなく引き算もできる
• 掛け算も定義できる
• しかも割り算もできる
• というわけで体になっている
• しかも無限大の逆元があるということなので、無限小もある。0とはちゃんと異なる。
• ただ、その体は、集合になっていない。

アメリカ軍のニュースを聞いて

アメリカ軍の加群の部分

に気付いた。

数学が不得意なChatGPT、果たして大学の1年生で学習する数学 (解析学) に出てくる、ε-δ論法を使う証明はできるのかやってみました。

(2月末頃です。今のはもっとすごいと思います。GPT-4出たし)

チャットAIに大学初年次の数学(解析学)をやらせてみる (ChatGPT, Bing)
zenn.dev/nyoho/articles/8e1c3c

日本数学会はじめ数学の集会では講演後の質疑で「発言者が最初に所属と名前を名乗る」という習慣はない。名乗るのが学会のルールとなっている分野の人々にはカルチャーショックらしい。
数学の集会では一般的に質疑の時間が短く名乗る時間も惜しいという理由もあるけど、数学の議論は主張内容の成否がすべてであって個人や組織の権威にとらわれるべきでないというリベラリズムも影響してるのかも。

アカデミアにマストドンの時代来てる?>BTs

Nature has just put out correspondence that calls for scholarly institutes to join the #fediverse, and start their own #mastodon instances.

Together with that, the writers put out a longer article, 'Mastodon over Mammon', that explains the argument in greater detail, and is worth reading.

Great work by @brembs et al, which points to the core issue: the private ownership of public commons.

Full version:
zenodo.org/record/7652771
Nature Correspondence:
nature.com/articles/d41586-023

「交わる」の「じわる」の部分がじわる。

数学/物理/化学/PC/linux/プログラミング/電子工作を趣味とする理数系の高等学生です。
GRAPESで関数グラフでお絵描きをしたりしますが、素人なので、このサーバーの人達には今のところ敵わないと思います。
どうぞ宜しくお願いします。

あinlineの横長には対応していなかったわけか。

Show thread

あらら右が切れてもスクロールするようにしていたつもりが……

実験

inline

$\det\begin{pmatrix}
F_k & F_{k+1} & F_{k+2} \\
F_{k+1} & F_{k+2} & F_{k+3}\\
F_{k+2} & F_{k+3} & 0
\end{pmatrix} =(-1)^k F_{k+4}$

display

$$\det\begin{pmatrix}
F_k & F_{k+1} & F_{k+2} \\
F_{k+1} & F_{k+2} & F_{k+3}\\
F_{k+2} & F_{k+3} & 0
\end{pmatrix} =(-1)^k F_{k+4}$$

@mathmathniconico なるほど! あ、LaTeXで自分が使うときの好みは写像は \colon でコロンイコールのときは := です。

mathtod.online/@mathmathniconi
こんなにたくさんのコロンのパターンを網羅したのを見たのは初めてです。便利!

わしの好みは

$f\colon A\to B$ (\colonを使う)

$B:=f(A)$ (:=を使う)

です。

2020年代前半のLaTeXプロジェクトはAdobeの援助を受けつつ文書構造をタグ付けしたPDFを出力できるように改修を進めている。
これはLaTeX2eが設計された1990年前半の環境にあわせてメモリ節約のために文書構造の情報はなるべく早く捨てていたアーキテクチャを改める一大プロジェクト。また、hyperrefなどがLaTeX本体にアドホックなモンキーパッチを当てて実現してきたハイパーリンクなどの機能がLaTeX本体に統合される予定。

このプロジェクトの成果は出力されるPDFに機械可読なメタデータをより多く組み込むだけでなく、LaTeXからHTMLに変換するプログラムにも大きな利益をもたらすと期待できる。世の中に流通する多くの文書のアクセシビリティを高める可能性がある。

https://www.latex-project.org/publications/indexbytopic/pdf/

サーバのルール mathtod.online/about/more をもう少し明確にした方がいい気がする。

「数学が好きな人の集まる優しい世界」を構築すること

の真反対の考え方を開陳するとじゃあ違反なのかこれではわからない。

This Mastodon server has many Japanese users on site, but of course we welcome any language speakers. Math topics, math-related gags, and chit-chat are all welcome.

Ce serveur Mastodon compte de nombreux utilisateurs japonais, mais nous accueillons bien sûr tous les locuteurs de langues. Les sujets mathématiques, les gags liés aux mathématiques et le bavardage sont tous les bienvenus.

そういえばMathtodonでYouTube動画が埋め込まれたままでは再生できないのは直そうと思っています。(そんなんすぐ直せるだろうにやってなくてサーセン)

というわけで貼っておいてテスト

群論:群の半直積の構成 - YouTube youtube.com/watch?v=cm4KBkGBG-

Show older
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.