TeX言語🤮でプログラミングすること自体はみんなが思うほど奇妙なことではないんですよね。実際、「TeX言語🤮で*実用的な*ソフトウェア（LaTeXのパッケージ）を実装している人」はそれなりにいます。 #TeX #TeX言語 ※CTANのcontributorの数は約3000人で、その大半がTeX言語🤮によるもの。

700

Nyoho · Oct 25, 2026 · 10:44 PM UTC

Linuxmetel retweeted

Nyoho@NeXTSTEP2OSXOct 25

PHPが史上最高にみんなに知られているので、何か数学用語でPHPと略されるものないかなと数学辞典を調べたら、なんと鳩の巣原理 (pigeon hole principle) がPHPだった! しかも下付きnを付けて PHPₙ で {1,2,…,n+1} から {1,2,…,n} への単射が存在しないことを命題論理で書いたトートロジーを

164

9,594

パジョカ (Pajoca) · Oct 26, 2026 · 9:44 AM UTC

Linuxmetel retweeted

パジョカ (Pajoca)@Pajoca_Oct 26

先日、ZFC が無矛盾なら n≧215 でビジービーバー関数 BB(n) の値が ZFC で決定不能になると記録更新報告があってびっくり ZFC が矛盾している場合に限り停止するような 215状態2記号チューリングマシンが構成された (画像の遷移表の物)

今回 Vladimir Reshetnikov により構成された、ZFC が矛盾している場合に限り停止するような215状態2記号チューリングマシンの状態遷移表

遷移表の出典：Vladimir Reshetnikov (2026)　GitHub：https://github.com/VladimirReshetnikov/ProveIt/blob/main/Computability/BusyBeaver/Research/ZFC/candidate-k215/k215.tm
※元データを表形式に整形し、停止状態215をHと表記。

ALT 今回 Vladimir Reshetnikov により構成された、ZFC が矛盾している場合に限り停止するような215状態2記号チューリングマシンの状態遷移表遷移表の出典：Vladimir Reshetnikov (2026)　GitHub：https://github.com/VladimirReshetnikov/ProveIt/blob/main/Computability/BusyBeaver/Research/ZFC/candidate-k215/k215.tm ※元データを表形式に整形し、停止状態215をHと表記。

パジョカ (Pajoca)@Pajoca_May 6

この n の記録は現在更新されていて、n≧432 ならビジービーバー関数 BB(n) の値が ZFC で決定不能という結果が得られているようです…! (現状最小で n≧6 になる余地すらある) ZFCに "任意に大きな subtle cardinal (精妙基数) が存在する" という公理を加えてすら、n≧493 で決定不能なんて結果も…

公理の強弱関係と、その公理(基数存在下)で現状判明している BB(n) が決定不能になる n の下界
https://wiki.bbchallenge.org/wiki/Logical_independence

<画像のライセンス表記>
上記画像は CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/) の下でユーザー Tlonuqbar により公表された
BusyBeaverWiki の画像「Independencechart.png」(https://wiki.bbchallenge.org/wiki/File:Independencechart.png)　です。

ALT 公理の強弱関係と、その公理(基数存在下)で現状判明している BB(n) が決定不能になる n の下界 https://wiki.bbchallenge.org/wiki/Logical_independence <画像のライセンス表記> 上記画像は CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/) の下でユーザー Tlonuqbar により公表された BusyBeaverWiki の画像「Independencechart.png」(https://wiki.bbchallenge.org/wiki/File:Independencechart.png)　です。

235

15,843

皮しばき · Oct 26, 2026 · 8:26 AM UTC

Linuxmetel retweeted

皮しばき@r315drOct 26

税務署: 「ここの金額おかしいので却下」わい: 「いくらが正しいの？」税務署: 「それはわからない」わい: 「正しい金額はわからないけど、今がおかしいことだけわかるってこと？」税務署: 「そう」なんなんハッシュ値で突合でもしとるんか？: 「わい」

281

2,437

469,669

にちか · Oct 25, 2026 · 2:03 PM UTC

Linuxmetel retweeted

にちか@lxacasOct 25

WHOPPER🍔WHOPPER🍔WHOPPER🍔WHOPPER🍔Junior👶🍔Double🍔🍔Triple WHOPPER🍔🍔🍔YOUR🫵 CERT📃 PRIVATE🤐 KEY🔑 IS 4

672

5,704

128,361

Amictica sal vitae.（新アカウント） · Nov 25, 2023 · 3:36 PM UTC

Linuxmetel retweeted

Amictica sal vitae.（新アカウント）@boots_fleck125 Nov 2023

まあ、これはありえないですね。通常考えて、半分腐ったような悪い肉を食わないために、塩漬けなどの手法があるわけで、塩や香辛料は単に味を誤魔化すために存在したわけではありません。もし、ヨーロッパ中世（ガバガバ定義）の一般的な人間が半分腐ったものか、それ以下のものを食べていたとした

トリ改@iYqjEPn1nSjjk3q24 Nov 2023

Replying to @kamisato_3 @Colonel_Rice

中世ヨーロッパでは、冬は腐った肉を食ってた。それしかないから。胡椒で誤魔化して食ってた。だから、胡椒が金と同じ価値があった。また、風呂に入ると病気になると信じられてて、風呂に入らないから「香水」が発達した。

905

3,533

1,199,849

ワヘイヘイ · Oct 24, 2026 · 1:19 PM UTC

Linuxmetel retweeted

ワヘイヘイ@waheyheyOct 24

こんな数学と全く関係がない、モールの一角の普通のお店で、Cartan-Eilenbergの教科書が無惨な姿に加工されてインテリアになってることあるんだ……

123

682

68,953

アニマ Anima ʚ💗ɞ 小悪魔系女神ラテン語Vtuber · Oct 24, 2026 · 8:05 AM UTC

Linuxmetel retweeted

アニマ Anima ʚ💗ɞ 小悪魔系女神ラテン語Vtuber@anima_divinaOct 24

実はラテン語のような古代印欧語の名詞曲用も究極的には名詞本体に格を表す後置詞(日本語の格助詞に当たる要素)が融合して誕生したものって解釈が有望なのそして「本来の名詞本体」が「語幹」、その直後に付加された「後置詞」が「曲用語尾」になったって感じだね

アニマ Anima ʚ💗ɞ 小悪魔系女神ラテン語Vtuber@anima_divinaOct 24

ラテン語の名詞には数や格による語形変化があって、anima「魂」の単数であれば主格anima「魂」、対格animam「魂を」、属格animae「魂の」のように形が変わるの格は名詞の文中での役割(特に他の語との関係)のこと日本語であれば「を」のような格助詞の付加で表す要素が名詞自体の語尾変化で示されるの

321