Pinned Repositories
4CT_Haskell
四色定理を Haskell に移植したよ
4CT_Ruby
Ruby とオブジェクト指向による四色定理
collatzProof
コラッツ予想の証明（未検証）
collatzProof_DivSeq
割数列を用いたコラッツ予想の証明
divseq2
割数列を用いたコラッツ予想の証明Ⅱ
emehcs
へなちょこ逆向き Scheme
godel
Mathematical Girls
IshiiSan_Galois_Idris
『ガロア理論の頂を踏む』読書ノート
righ1113's Repositories
righ1113/4CT_Ruby
Ruby とオブジェクト指向による四色定理
righ1113/collatzProof
コラッツ予想の証明（未検証）
righ1113/divseq2
割数列を用いたコラッツ予想の証明Ⅱ
righ1113/IshiiSan_Galois_Idris
『ガロア理論の頂を踏む』読書ノート
righ1113/4CT_Haskell
四色定理を Haskell に移植したよ
righ1113/collatzProof_DivSeq
割数列を用いたコラッツ予想の証明
righ1113/emehcs
へなちょこ逆向き Scheme
righ1113/esty
Enjoy one-liner programming!
righ1113/godel
Mathematical Girls
righ1113/4CT_D
D言語 による四色定理
righ1113/4CT_FSharp
四色定理を F# に移植したよ
righ1113/4ct_scala
righ1113/Agda
righ1113/collatzLongLoop
コラッツのループはあるとしてもとても長い
righ1113/CollatzMod
righ1113/IshiiSan_Relativity_Egison
『一般相対性理論を一歩一歩数式で理解する』読書ノート
righ1113/j-bob
righ1113/mwfled
righ1113/ruby_test
righ1113/scala_test
righ1113/segregation
水平回転シリンダーにおける二成分粉体混合物の分離