Kanrokoti
@kanrokoti.bsky.social
日本の巨大数論者
Japanese googologist
dom型表記が専門です
新しい表記を作成中
Japanese googologist
dom型表記が専門です
新しい表記を作成中
巨大数は基本ディスコで済ませちゃうからこっちに来て書かないんよなぁ
October 19, 2024 at 8:01 AM
巨大数は基本ディスコで済ませちゃうからこっちに来て書かないんよなぁ
添字が上昇しないアップグレードの新しい方法を思いついた！！
May 19, 2024 at 8:01 AM
添字が上昇しないアップグレードの新しい方法を思いついた！！
April 8, 2024 at 6:12 PM
オールドスクールな表記を考案中
ψ_0(ψ_1(0)[1]ψ_0(0)) ψ_0(ψ_1(1))
ψ_0(ψ_1(0)[1]ψ_0(0)[0]ψ_1(0)) ψ_0(ψ_1(1)+ψ_1(0))
ψ_0(ψ_1(0)[1]ψ_0(0)) ψ_0(ψ_1(1))
ψ_0(ψ_1(0)[1]ψ_0(0)[0]ψ_1(0)[1]ψ_0(0)) ψ_0(ψ_1(1)+ψ_1(1))
ψ_0(ψ_1(0)[1]ψ_0(0)[1]ψ_0(0)) ψ_0(ψ_1(2))
ψ_0(ψ_1(0)[1]ψ_0(ψ_0(0))) ψ_0(ψ_1(ω))
ψ_0(ψ_1(0)[1]ψ_0(0)) ψ_0(ψ_1(1))
ψ_0(ψ_1(0)[1]ψ_0(0)[0]ψ_1(0)) ψ_0(ψ_1(1)+ψ_1(0))
ψ_0(ψ_1(0)[1]ψ_0(0)) ψ_0(ψ_1(1))
ψ_0(ψ_1(0)[1]ψ_0(0)[0]ψ_1(0)[1]ψ_0(0)) ψ_0(ψ_1(1)+ψ_1(1))
ψ_0(ψ_1(0)[1]ψ_0(0)[1]ψ_0(0)) ψ_0(ψ_1(2))
ψ_0(ψ_1(0)[1]ψ_0(ψ_0(0))) ψ_0(ψ_1(ω))
February 21, 2024 at 3:43 PM
オールドスクールな表記を考案中
ψ_0(ψ_1(0)[1]ψ_0(0)) ψ_0(ψ_1(1))
ψ_0(ψ_1(0)[1]ψ_0(0)[0]ψ_1(0)) ψ_0(ψ_1(1)+ψ_1(0))
ψ_0(ψ_1(0)[1]ψ_0(0)) ψ_0(ψ_1(1))
ψ_0(ψ_1(0)[1]ψ_0(0)[0]ψ_1(0)[1]ψ_0(0)) ψ_0(ψ_1(1)+ψ_1(1))
ψ_0(ψ_1(0)[1]ψ_0(0)[1]ψ_0(0)) ψ_0(ψ_1(2))
ψ_0(ψ_1(0)[1]ψ_0(ψ_0(0))) ψ_0(ψ_1(ω))
ψ_0(ψ_1(0)[1]ψ_0(0)) ψ_0(ψ_1(1))
ψ_0(ψ_1(0)[1]ψ_0(0)[0]ψ_1(0)) ψ_0(ψ_1(1)+ψ_1(0))
ψ_0(ψ_1(0)[1]ψ_0(0)) ψ_0(ψ_1(1))
ψ_0(ψ_1(0)[1]ψ_0(0)[0]ψ_1(0)[1]ψ_0(0)) ψ_0(ψ_1(1)+ψ_1(1))
ψ_0(ψ_1(0)[1]ψ_0(0)[1]ψ_0(0)) ψ_0(ψ_1(2))
ψ_0(ψ_1(0)[1]ψ_0(ψ_0(0))) ψ_0(ψ_1(ω))
(名前ころころ変わるんだけど)海外勢のChipsさんが考えた数列を定式化しました。
Let S := (S_m)_{m=1}^n a sequence of natural numbers whose length is n∈ω, and (S_m)_{m=1}^n := () if n = 0. For each n > 0, we abbreviate (S_m)_{m=1}^n as (S_1,…,S_n).
Let ⊕ the concatenation operator of sequences.
Let S := (S_m)_{m=1}^n a sequence of natural numbers whose length is n∈ω, and (S_m)_{m=1}^n := () if n = 0. For each n > 0, we abbreviate (S_m)_{m=1}^n as (S_1,…,S_n).
Let ⊕ the concatenation operator of sequences.
February 12, 2024 at 1:31 AM
(名前ころころ変わるんだけど)海外勢のChipsさんが考えた数列を定式化しました。
Let S := (S_m)_{m=1}^n a sequence of natural numbers whose length is n∈ω, and (S_m)_{m=1}^n := () if n = 0. For each n > 0, we abbreviate (S_m)_{m=1}^n as (S_1,…,S_n).
Let ⊕ the concatenation operator of sequences.
Let S := (S_m)_{m=1}^n a sequence of natural numbers whose length is n∈ω, and (S_m)_{m=1}^n := () if n = 0. For each n > 0, we abbreviate (S_m)_{m=1}^n as (S_1,…,S_n).
Let ⊕ the concatenation operator of sequences.
メール認証してないと返信されない仕組みなのかな
!jazbot whereami
February 12, 2024 at 12:53 AM
メール認証してないと返信されない仕組みなのかな
私はポルチーニ
ポルチーニって聞いたことない
ポルチーニって聞いたことない
Your PDS is: boletus.us-west.host.bsky.network!
I hope you're enjoying your time there!🌎🌍🌏
I hope you're enjoying your time there!🌎🌍🌏
February 12, 2024 at 12:51 AM
私はポルチーニ
ポルチーニって聞いたことない
ポルチーニって聞いたことない
日本語で巨大数って検索しても巨大と数を含むポストが返ってきて、巨大数とは関係ないポストも表示されてしまう問題をこていたんさんが報告してくれています。
この問題、巨大数というワードに限らず起こると思うので、日本語の検索が使いやすくなるのは良いことですね。
この問題、巨大数というワードに限らず起こると思うので、日本語の検索が使いやすくなるのは良いことですね。
deck.blue 's search doesn't work very well for Japanese.
For example, when I search for "巨大数 (large number)", morphological analysis is invoked and the result is "巨大 AND 数". The word "巨大数(large number)" is a mathematical term, and it is should be searched as one idiom.
For example, when I search for "巨大数 (large number)", morphological analysis is invoked and the result is "巨大 AND 数". The word "巨大数(large number)" is a mathematical term, and it is should be searched as one idiom.
February 12, 2024 at 12:47 AM
日本語で巨大数って検索しても巨大と数を含むポストが返ってきて、巨大数とは関係ないポストも表示されてしまう問題をこていたんさんが報告してくれています。
この問題、巨大数というワードに限らず起こると思うので、日本語の検索が使いやすくなるのは良いことですね。
この問題、巨大数というワードに限らず起こると思うので、日本語の検索が使いやすくなるのは良いことですね。
集合が空の処理は後でやるとして
祖先を辿るアルゴリズムを考えてみる
P_0 := n
P_{a+1} := max {i | i < P_a ∧ S_i < S_{P_a}}
祖先を辿るアルゴリズムを考えてみる
P_0 := n
P_{a+1} := max {i | i < P_a ∧ S_i < S_{P_a}}
February 12, 2024 at 12:30 AM
集合が空の処理は後でやるとして
祖先を辿るアルゴリズムを考えてみる
P_0 := n
P_{a+1} := max {i | i < P_a ∧ S_i < S_{P_a}}
祖先を辿るアルゴリズムを考えてみる
P_0 := n
P_{a+1} := max {i | i < P_a ∧ S_i < S_{P_a}}
Reposted by Kanrokoti
February 11, 2024 at 7:09 AM
Reposted by Kanrokoti
February 10, 2024 at 1:37 PM
ブルスカは巨大数専用プラットフォームとして使う。
February 8, 2024 at 5:01 AM
ブルスカは巨大数専用プラットフォームとして使う。
February 8, 2024 at 4:38 AM