Giters
righ1113

righ1113

Geek Repo

3

followers

10

following

34

stars

Home Page:https://blog.hatena.ne.jp/righ1113/

Twitter:@righ1113

Github PK Tool:Github PK Tool

righ1113's repositories

4CT_Ruby

Ruby とオブジェクト指向による四色定理

Language:RubyLicense:MITStargazers:1Issues:1Issues:1

collatzProof

コラッツ予想の証明（未検証）

Language:AgdaLicense:MITStargazers:1Issues:0Issues:0

divseq2

割数列を用いたコラッツ予想の証明Ⅱ

Language:LeanLicense:MITStargazers:1Issues:0Issues:0

IshiiSan_Galois_Idris

『ガロア理論の頂を踏む』読書ノート

Language:IdrisLicense:MITStargazers:1Issues:0Issues:0

4CT_Haskell

四色定理を Haskell に移植したよ

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

collatzProof_DivSeq

割数列を用いたコラッツ予想の証明

Language:IdrisLicense:MITStargazers:0Issues:0Issues:0

emehcs

へなちょこ逆向き Scheme

Language:RubyLicense:MITStargazers:0Issues:0Issues:0

esty

Enjoy one-liner programming!

Language:CrystalLicense:MITStargazers:0Issues:1Issues:0

godel

Mathematical Girls

Language:IdrisLicense:MITStargazers:0Issues:1Issues:0

4CT_D

D言語 による四色定理

Language:DLicense:MITStargazers:0Issues:0Issues:0

4CT_FSharp

四色定理を F# に移植したよ

Language:F#License:MITStargazers:0Issues:0Issues:0

4ct_scala

Language:ScalaLicense:MITStargazers:0Issues:0Issues:0

Agda

Language:AgdaLicense:MITStargazers:0Issues:1Issues:0

collatzLongLoop

コラッツのループはあるとしてもとても長い

Language:CoqLicense:MITStargazers:0Issues:0Issues:0

CollatzMod

Language:HaskellStargazers:0Issues:0Issues:0

IshiiSan_Relativity_Egison

『一般相対性理論を一歩一歩数式で理解する』読書ノート

Language:Jupyter NotebookLicense:MITStargazers:0Issues:1Issues:0

j-bob

Language:SchemeLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

mwfled

Language:RustLicense:MITStargazers:0Issues:0Issues:0

ruby_test

Language:RubyStargazers:0Issues:0Issues:0

scala_test

Stargazers:0Issues:0Issues:0

segregation

水平回転シリンダーにおける二成分粉体混合物の分離

Language:ElmLicense:MITStargazers:0Issues:2Issues:0