Proof Summit 2016

Sosuke MORIGUCHI @chiguri

入り口開きません。 #ProofSummit2016

Yoshihiro Imai @yoshihiro503

中野先生「ネタ元はITP2016です」 #ProofSummit2016

Sosuke MORIGUCHI @chiguri

1からnまでの最小公倍数の近似と下限 #ProofSummit2016

Yoshihiro Imai @yoshihiro503

「...この話は桁数に対して多項式時間で素数判定をする話で使われている」 #ProofSummit2016

Sosuke MORIGUCHI @chiguri

あれ、-1が抜けてる #ProofSummit2016

よんた @keita44_f4

「#ProofSummit2016」にセキココしました！ sekico.co/zaseki/729 #sekicoco

おく @OKU_K

eduroam使えます #ProofSummit2016

Keigo Imai @keigoi

何人か到着したので開けていただきたいです #ProofSummit2016

Yoshihiro Imai @yoshihiro503

「パスカルの三角形の類似としてライプニッツの調和三角系というのがある。」 #ProofSummit2016

Sosuke MORIGUCHI @chiguri

ライプニッツの調和三角形 #ProofSummit2016 これ使って下限を計算するのかな。

ELD-R-ESH-2 @eldesh

「#ProofSummit2016」にセキココしました！ sekico.co/zaseki/729 #sekicoco

チェシャ猫 @y_taka_23

「#ProofSummit2016」にセキココしました！ sekico.co/zaseki/729 #sekicoco

κeen @blackenedgold

入れない… #ProofSummit2016

I moved to Mastodon. @masterq_mogumog

なんと！ / eldesh さん : VerifastでCプログラムの証明の話 proof-summit.connpass.com/event/34848/ fb.me/5t8RmtQU5

おく @OKU_K

「#ProofSummit2016」にセキココしました！ sekico.co/zaseki/729 #sekicoco

athos)))))))) @athos0220

「#ProofSummit2016」にセキココしました！ sekico.co/zaseki/729 #sekicoco

Yoshihiro Imai @yoshihiro503

ksknacさんの発表は盛りだくさんで2本立て！ #ProofSummit2016

Sosuke MORIGUCHI @chiguri

B項に関して？ #ProofSummit2016

Yoshihiro Imai @yoshihiro503

「B f g x = f (g x)というコンビネータを考える」 #ProofSummit2016

Sosuke MORIGUCHI @chiguri

Bコンビネータ B f g x = f (g x) #ProofSummit2016

Masaki Hara @qnighy

「#ProofSummit2016」にセキココしました！ sekico.co/zaseki/729 #sekicoco

Yoshihiro Imai @yoshihiro503

「B^n f g x1 ... xn = f (g x1 ... xn) となる」 #ProofSummit2016

hashtagsjp @hashtagsjp

#ProofSummit2016 を登録しました。 bit.ly/2cvuYPN

Yoshihiro Imai @yoshihiro503

「ロウpropertyとは X_m = X_n となるm,nがあるということ」 #ProofSummit2016

I moved to Mastodon. @masterq_mogumog

これは、、、マジキチのにおいがしますね。。。 / eldesh さん: 「VerifastによるPOSIX正規表現マッチングの検証に向けて」 proof-summit.connpass.com/event/34848/ fb.me/7B2JL2ECe