Similar to Mizar
デジタル物理学
Digital physics
ファジィ論理
Fuzzy logic
二人の将軍問題
Two Generals' Problem
部分観測マルコフ決定過程
Partially observable Markov decision process閉世界仮説
Closed-world assumption
ホーン節
Horn clause
マルコフ決定過程
Markov decision process
ヨセフスの問題
Josephus problem
ラフ集合
Rough setCoq
Rocq
Lean (証明アシスタント)
Lean (proof assistant)
Wolfram Alpha
WolframAlpha
暗算カードバトル メキメキモンスターズ
グレコからの挑戦状!計算の城とオバケたち
けいさんゲーム
Keisan Game
スーパーボーイ・アラン
Super Boy Allan
タシテン +たして10にする物語+
Make 10: A Journey of Numbers
Desmos
Desmos動的幾何学ソフトウエア
ドンキーコングJR.の算数遊び
Donkey Kong Jr. MathMicrosoft Math Solver
Microsoft Math Solver
数学
Mathematics
0.999...
0.999...▼-1 trends
0次元
Zero-dimensional space
0の0乗
Zero to the power of zero
1次元
One-dimensional space
1+1
1+1+1+1+…
1 + 1 + 1 + 1 + ⋯
