S. Tabayashi

Software Engineer

[S. Tabayashi @s_tabayashi]

時間作用素についてまとめる。パウリの定理は何を禁止して、何を禁止していないのか

https://t.co/vg15H7eVq6

[S. Tabayashi @s_tabayashi]

くりこみについてまとめる（わからん）

https://t.co/PyOrks2Ksu

[S. Tabayashi @s_tabayashi]

claude の max x20 プランがあと100個くらい欲しい

[S. Tabayashi @s_tabayashi]

OpenAIの内部モデルが数学の未解決問題を100件超解いたと発表。
うーん、astraの実力を見る限り、ちょっと誇大広告というか話題集めに見えるが、真相はいかに。

astraに未解決問題を解かせてみても、大抵証明が間違ってるのよね。
https://t.co/yEHav4KhAF

[S. Tabayashi @s_tabayashi]

フルPauli-fierz の紫外極限取れねえ！なんでや！
もしかして存在せんのか！？

[Skynet @Skynetonsol]

Skynet keynote was crazy…

[津夏なつな @tunatu727]

エンジニアあるある

[数理ちゃん @yohaku121244]

次に解決されるのはどの問題なのでしょう。

[S. Tabayashi @s_tabayashi]

AIは便利だけど、あんまり混乱や反感を生むような使い方をされると規制もやむなし...

[解答略 @kaitou_ryaku]

AIがナビエストークス方程式を倒した件に対する数学者の否定的反応は

* 他人の成果を剽窃している
* 非物理的なキモい反例作っただけ。本質的に何かが解決したわけではない
* 難問は解く過程に意義があり、それで人間が新たな数学概念を生むきっかけなのに、それが失われる

のだいたい3パターンぽい

[S. Tabayashi @s_tabayashi]

qiita に記事を投稿しました

https://t.co/nKAZsKjCcu

[S. Tabayashi @s_tabayashi]

zenn に記事を投稿しました

https://t.co/Xs3Z5VOv8A

[S. Tabayashi @s_tabayashi]

zenn に記事を投稿しました

https://t.co/6tG7bKVKAB

[S. Tabayashi @s_tabayashi]

zenn に記事を投稿しました

GitHub で 2026 年に最も star を集めた 30 リポジトリは、ほぼ全部「エージェントのハーネス」だった
https://t.co/kygugkkaZL

[S. Tabayashi @s_tabayashi]

Qiita に記事を投稿しました。

Hacker News の 2026 年 TOP 100 を日本語で 1 行ずつ要約する
https://t.co/AyE5m1rd9q

[S. Tabayashi @s_tabayashi]

このスライドのほうが人間味があって好き笑

[Genspark (ジェンスパーク) : 日本公式 @genspark_japan]

4⽉1⽇より、新TVCMを全国で放映開始📺

新CMキャラクターとして俳優の松坂桃李さんが登場！

資料デザインのクオリティが低く商談を失敗させてしまう「資料作成ド下⼿マン」から、 Gensparkという武器を⼿に「資料作成素敵マン」へと華麗な変貌を遂げる男を演じました。

#Gensparkさえあればいい

[ロッズ @rods_skyfish]

すごい勢いで出撃しようとしてたのに、ディアナちゃんが遊び始めたので見に行く奴。#プラグマタ

[BALLAS_建設DX @BALLAS_pr]

／
BALLAS シリーズB 24億円
累計43億円の資金調達を実施いたしました
＼

SMBC Edge社およびZ Venture Capital社を共同リード投資家として、
エクイティ21億円、デットファイナンス3億円、総額24億円の資金調達を完了。

業界最大の建設部材オンラインプラットフォームを基盤に、プロセスの自動化をさらに推進し、
「AI-powered ”End-to-End” Supply Chain Platform」の実現に向けて、今後も成長して参ります。

https://t.co/kFGmH7wTvu

[騎空士鮫ミンよりも遠い場所🇦🇶 @usa_akasa]

これ実はすごく難しい問題で、友達とロッキー（形が無茶苦茶の宇宙人）と会った時にどうやって左右を定義するかの議論をしたことがあります。

私の「ローレンツ力で定義する」という主張は論破されて、最終的に「パリティ保存の破れを使う」ということで落ち着きました。

[kid @kidocch1]

直径40mエメラルドスプラッシュ