#MathCOMP - Twitter Hashtag

Nigerian Tulip International Colleges @nticedung

over 1 year ago

🚀 ANMC Online Registration is Here! 🌐 ✨ Easy & Fast! Ready to simplify your registration process? ANMC Online Registration is now available, making it quicker and easier than ever to get started. Visit: https://t.co/schDDMuboc #anmc #mathcomp #math #competition #scholarship

0

4

3

0

200

Yoshihiro Imai @yoshihiro503

almost 2 years ago

Coq関連の文書を自動翻訳して読んでいるときに「三値化される」とか見たときは「trivialになる」の訳の可能性が結構あるぞ、ご注意。 #CoqTokyo #mathcomp #trivial

1

16

5

2

1K

Yoshihiro Imai @yoshihiro503

over 2 years ago

PPL2024 カテ3で採択されました！ありがとうございます！ coq2html の改造の話をします！ #Coq #coq2html #mathcomp

0

22

11

4

9K

Yoshihiro Imai @yoshihiro503

over 2 years ago

CoqTokyoでは mathcomp bookを読んで簡単なまとめを作っています。 #coqtokyo #mathcomp #ssreflect #coq https://t.co/jPD9mTxBXf

0

5

2

0

515

Yoshihiro Imai @yoshihiro503

over 2 years ago

* ssreflectで %coq_nat は %nat のこと、 * ssreflectで %nat, %N はssreflectでのnat記法使うときのもの、 * 素のcoqで %N はまた違った表現のnatの記法 #Coq #mathcomp #nat

0

2

1

0

348

Yoshihiro Imai @yoshihiro503

almost 3 years ago

ssreflectでinductionは elim: x. とかでできるぜ。独自機能法oreore_ind使いたいときは、 elim/oreore_ind: x. みたいにやるんだぜ #coq #CoqTokyo #ssreflect #mathcomp #数学的帰納法 #形式手法

0

3

1

0

296

Yoshihiro Imai @yoshihiro503

almost 3 years ago

mathcompで環での式中の足し算と引き算をキャンセルする便利補題まとめです addrK : (x + y) - y = x addKr : -x + (x + y) = y addrKA : x + z - (z + y) = x - y addrNK : (x - y) + y = x addNKr : x + (-x + y) = y #Coq #mathcomp #GRing

1

4

0

357

Yoshihiro Imai @yoshihiro503

about 3 years ago

最新のCoqでのニンジャパターンマッチングは let: Point a _ _ := p in ... みたいにかけるのか！ #coqtokyo #Coq #mathcomp

0

3

0

221

Yoshihiro Imai @yoshihiro503

over 3 years ago

Coqの数学ライブラリMathCompで確率論を実現する話やで！ #ppl2023 #coq #mathcomp #aist #probability

0

5

0

451

Yoshihiro Imai @yoshihiro503

over 3 years ago

自然数 1 を実数Rに変換するには: 1 %:R : R と書くぞ！一個目のRは環Ringの意味で、2個目はその中でも実数Rなんやぞという意味。ややこしな #Coq #mathcomp #real #ring

0

4

1

0

428

Yoshihiro Imai @yoshihiro503

over 3 years ago

Coqで今見えているscopeやそこでのNotationsがわけわからんことになったときに使えるコマンドが: Print Visibility. scopeごとの記法が一覧できるぞ！ #Coq #notation #scope #mathcomp

0

8

4

0

884

Yoshihiro Imai @yoshihiro503

over 3 years ago

良い子のみんな！mathcompで行列の row i M って言ったら行ベクトルのことだけど row' i M って言ったらi行を除いた残りの行列のことだぜ！ #mathcomp #初見殺し #線形代数

0

2

1

0

Yoshihiro Imai @yoshihiro503

over 4 years ago

mathcomp の Hierarchy Builderというやつを使えばモナドに関する MonadPlus拡張とかのクラス設計拡張がたったの4行で実装できるとのこと。すごいぞ #Coq #PPL2022 #mathcomp #Monad #Monae

0

9

0

Yoshihiro Imai @yoshihiro503

over 4 years ago

Affeldt先生の証明が短すぎてすごい #tpp2021 #coq #mathcomp

0

3

0

José A. Alonso @Jose_A_Alonso

over 4 years ago

Programs and proofs (Mechanizing mathematics with dependent types). ~ Ilya Sergey (@ilyasergey). https://t.co/cbe04auMmm #ITP #Coq #MathComp #SSReflect #Math

0

6

2

3

0

José A. Alonso @Jose_A_Alonso

over 4 years ago

Coq Winter School 2018-2019 (SSReflect & MathComp). ~ Yves Bertot, Cyril Cohen, Laurence Rideau, Enrico Tassi and Laurent Thery. https://t.co/pSoTmepDY2 #ITP #Coq #MathComp #SSReflect

0

4

1

0

UCI Math @ucimath

over 5 years ago

Grad students! Be sure to join us TONIGHT @ the COMP Seminar for a game night! This will be a great way to socialize, de-stress, and betray your peers in a round of #AmongUs. The event starts @ 5PM. For more info, visit https://t.co/yYWwYvLXpE #uci #ucimath #MathCOMP #zotzotzot

ucimath's tweet photo. Grad students! Be sure to join us TONIGHT @ the COMP Seminar for a game night! This will be a great way to socialize, de-stress, and betray your peers in a round of #AmongUs.

The event starts @ 5PM. For more info, visit https://t.co/yYWwYvLXpE

#uci #ucimath #MathCOMP #zotzotzot https://t.co/OFBaQoBrO9

0

4

0

Michelle Contreras @VMHS_MContreras

over 6 years ago

This is awesome! #proudcoach #CCISDProud #EaglePride #VMHSMuAlphaTheta #mathcomp

VMHS Mu Alpha Theta @VMHS_MuAlpha

over 6 years ago

This past weekend, ΜΑΘ members Brandon Cayce & Ibrahim Al-Akash, along with Julian Figueroa Jr. from Ray HS, competed nationally in the M3 Challenge. They had 14 hours to analyze a problem and come up with a solution. How did you spend your weekend? https://t.co/3dJlKcmEkE

0

7

3

1

0

2

0

Eneri Martinez M.Ed @eneri_martinez

over 6 years ago

A sweet reward for these mathematicians today! @CorneliusElem #levelup #mathcomp

0

1

0

Maths | Raffles World Academy @RWA_Maths

over 6 years ago

RWA hosting the Innoventures Math Competition - well done to all contestants for representing their schools and making it such a fun event! Some serious mathletes across all of the schools. Well done everyone💪🏼 #rwa #mathcomp #rwamath #innovents

RWA_Maths's tweet photo. RWA hosting the Innoventures Math Competition - well done to all contestants for representing their schools and making it such a fun event! Some serious mathletes across all of the schools. Well done everyone💪🏼 #rwa #mathcomp #rwamath #innovents https://t.co/sNaYCkoVsq

0

1

0

Top Tweets for #MathCOMP

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users