@egamich よかったです!
数学が不得意なChatGPT、果たして大学の1年生で学習する数学 (解析学) に出てくる、ε-δ論法を使う証明はできるのかやってみました。
(2月末頃です。今のはもっとすごいと思います。GPT-4出たし)
チャットAIに大学初年次の数学(解析学)をやらせてみる (ChatGPT, Bing)
https://zenn.dev/nyoho/articles/8e1c3c78ea17b6
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:
https://zenodo.org/record/7652771
Nature Correspondence:
https://www.nature.com/articles/d41586-023-00486-3
「交わる」の「じわる」の部分がじわる。 #数学ネタ
@mathmathniconico なるほど! あ、LaTeXで自分が使うときの好みは写像は \colon でコロンイコールのときは := です。
https://mathtod.online/@mathmathniconico/109907377312685431
こんなにたくさんのコロンのパターンを網羅したのを見たのは初めてです。便利!
わしの好みは
$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/
サーバのルール https://mathtod.online/about/more をもう少し明確にした方がいい気がする。
「数学が好きな人の集まる優しい世界」を構築すること
の真反対の考え方を開陳するとじゃあ違反なのかこれではわからない。
This Mastodon server #Mathtodon 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 #Mathtodon 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 https://www.youtube.com/watch?v=cm4KBkGBG-0
I'm hungry, and I'm foolish. Thank you for your loving mathematics. / Mathtodon はわしが育てた