数学を愛する会

【本が出ます！】 『数学クラスタが集まって本気で大喜利してみた』 会長の著書がKADOKAWAより発売！あのヨビノリたくみさんが認めた爆笑不可避の数学選手権と、会長の書き下ろしネタを多数掲載しています。ぜひご一読ください！ 8/16(月) 発売 ↓限定特典付きAmazon予約↓ amazon.co.jp/dp/4046048883

断りのない記号の濫用をなくそう

「多重ゼータ値」の面白さが伝わるようにと、自分なりにまとめた記事を書いてみました！ ぜひ読んでみてください！ 多重ゼータ値入門の入門 - tsujimotterのノートブック tsujimotter.hatenablog.com/entry/introduc…

これ動かすDiscord鯖作りたいな

米国国防総省のDARPAが数学の研究をAIで自動化する OpenGaussをリリースした

Today, at the @DARPA expMath kickoff, we launched 𝗢𝗽𝗲𝗻𝗚𝗮𝘂𝘀𝘀, an open source and state of the art autoformalization agent harness for developers and practitioners to accelerate progress at the frontier. It is stronger, faster, and more cost-efficient than off-the-shelf alternatives. On FormalQualBench, running with a 4-hour timeout, it beats @HarmonicMath's Aristotle agent with no time limit. Users of OpenGauss can interact with it as much or as little as they want, can easily manage many subagents working in parallel, and can extend / modify / introspect OpenGauss because it is permissively open-source. OpenGauss was developed in close collaboration with maintainers of leading open-source AI tooling for Lean. Read the report and try it out:

@mathlava 同様に確からしいサイコロステーキ

サンクトペテルブルクのドリンク 1/2 の確率で 1 杯、1/4 の確率で 2 杯、1/8 の確率で 4 杯・・・（以下略）飲むことができる。 料金は無限

食べたら病気になりそう

高木曲線のことをブランマンジェ曲線ということをこのツイートで初めて知りました。 至る所で微分不可のくせに、なめらかプリンみたいな見た目してるな

@Pajoca_ @TomandJerry_Key 既出ネタでしたか…！ 流石パジョカさんです🙇‍♂️

@TomandJerry_Key そうにゃんです…!!😹 なめらかでないプリンの元ネタはブラマンジェです笑 (なめらかプリンが存在するから勝手にプリン化しちゃってました🍮)

美味しそう〜🤤

なめらかプリンの対極、連続だが至る所で微分不可能な なめらかでないプリン™　(※原材料：高木関数)

ドリンクに氷が入っているのは自明ではない(選択氷)

@nosiika ちなみにどんなサラダですか

@mathlava 超元気農法の野菜サラダ

【募】 数学コラボカフェのメニュー名を募集します

デデキット・カット（割ったキットカット） メビウスのきしめん ピーマン装う（パプリカ） ルーローの三角形おにぎり（魯肉飯風）

@iryuu1729 ピーマン装う好き

ZFC -ゼンタッキーフライドチキン-

クレープ生地に ┌→┐ ↑　↑ └→┘ と買いて、これはドーナツだと言い張る。

@9375M9372M カラテってなんだよ

@mathlava カラテ踊り喰い

@mathlava ε-δ籠包