メインコンテンツへスキップ
#構成的数学
関連タグ
#Ta (
447
)
#persona (
302
)
#じぶんの専門家 (
185
)
#アイデア (
49,944
)
#エゴグラム (
743
)
#クイズ (
29,374
)
人気
急上昇
新着
すべての記事
有料の記事
すべての記事
6件
人気の記事一覧
ITU を ITU 自身に適用する ― Tier 1 #44 数学的厳密化(メタ理論)、Pass-1 拡張第14 paper・★★★ Block E 1/2 OPENING ★★★（Phase 324-331、Pass-1 拡張 93.3%、Tomita-Takesaki から Lean Mathlib 10 万定理 ・ AlphaProof IMO 銀メダルまで）
ロボケンCEOの妄想ルーム
1か月前
ロボケンCEOの妄想ルーム
1か月前
正方形はいくつある？｜私は282個も発見！ 12年越しの自慢話、聞いてほしーっ♪
じぶんの専門家☆okamitsu
11か月前
じぶんの専門家☆okamitsu
11か月前
正方形はいくつある？｜図解入り解説書をつくりなおした、よ
じぶんの専門家☆okamitsu
11か月前
じぶんの専門家☆okamitsu
11か月前
正方形はいくつある？｜図解入り解説書をAIに検証してもらったら…
じぶんの専門家☆okamitsu
11か月前
じぶんの専門家☆okamitsu
11か月前
にゃんこ定数0.204、にゃんこ関数でリーマンゼータ関数をしばく
猫は泳ぐ魚の夢を見るのか
7か月前
猫は泳ぐ魚の夢を見るのか
7か月前
本日の朝飯＾＾#38ついにボスランクに着手する！難解数学空っぽ企画第二五弾 シックスボス ラスボス級でも普通ランクと変わらん。数学の基礎と論理: 決定不能性問題、公理系の研究。5/15 究極最終論文：「数学の基礎と論理：直観主義論理 vs 古典論理の数学的解析」
えでぃたん
4か月前
えでぃたん
4か月前
✕
