MASAHITO UWAMICHI

@yotabouya

53Contributions

32
Posts 1
Followees 0
Followers

Organization

Department of Basic Science, The University of Tokyo

Support user

About Supporter Service

Support on GitHub Sponsors

Following Organizations

No Organizations you are following

Following tags(33)See all

Contributions

article is Liked

Lean4で相加相乗平均の不等式を代数的に考えてみる

article is Liked

Lean4の証明をAlectryonで美しく可視化する

article is Liked

Lean4のセットアップ

article is Liked

Lean4で相加相乗平均の不等式を代数的に考えてみる

article is Liked

Lean4の証明をAlectryonで美しく可視化する

article is Liked

Lean4のセットアップ

article is Liked

Lean4アドベンドカレンダーことはじめ

posted an article

Lean4で相加相乗平均の不等式を代数的に考えてみる

article is Liked

Lean4の証明をAlectryonで美しく可視化する

posted an article

Lean4の証明をAlectryonで美しく可視化する