Coqで圏論の会

takeo @bonotake

Coqで圏論の会、こんないい加減な予定だけど、いいでしょか＞参加者の皆様 http://atnd.org/events/15000 #concat

ω･`)にべべb @2bbb

5/4行きたいけど厳しいな... #concat

takeo @bonotake

【急募】Coqで圏論の会 http://atnd.org/events/15000 後に2次会で入ってヨサゲな新宿のお店 #concat

takeo @bonotake

Coqで圏論の会 2次会 http://atnd.org/events/15402 #concat

takeo @bonotake

2次会来たい人とかおすすめの店とか募集中 http://atnd.org/events/15402 #concat

takeo @bonotake

2次会の店決めました http://atnd.org/events/15402 #concat

upmeetup.info bot @upmeetup

05/04(水) [新着][参加5人/定員12人]http://atnd.org/events/15402【Coqで圏論の会 2次会】#concat

ω･`)にべべb @2bbb

取り敢えずその間こっちは今日の#concatの準備.

ω･`)にべべb @2bbb

ConCaTをmake中

ω･`)にべべb @2bbb

make installじゃうまく行かない？ |: make installしたConCaTが動かない - einblickerの日記 - http://j.mp/llox9W :|

Masahiro Sakai @masahiro_sakai

Coqで圏論の会 http://t.co/Ob7M5xP に向けて出発。今日こそはAgdaを捨てて、Coqに移行したい。 #concat

hiratara @hiratara

新宿着いたが野暮用があるので会場着は遅れるかなあ。 #concat

ω･`)にべべb @2bbb

着いた。 #concat

kikx @kikx

ついたー

hiratara @hiratara

#concat な人のつぶやきが少ないので、まだそんなには焦っていないっていうか、今から向かいますすみません＞＜

Masahiro Sakai @masahiro_sakai

そういえば、ときどき耳にする Omegaというタクティックは、Omega Test のタクティック？ 話を聞いていると、なんだか違う気がするけど。 #concat

ヽ|・∀・|ノ @i_am_a_youkan

@masahiro_sakai Presburger算術で証明できる式を自動で証明してくれるtacticだと思います。なんかバグってると以前pirapiraさんが言ってました

Masahiro Sakai @masahiro_sakai

Coq'art http://t.co/L6aKCri 持って来るの忘れた。 #concat

Masahiro Sakai @masahiro_sakai

.@maophilia とすると、Omega Test っぽいですね。まあ、これも中身は他の方法(Cooperのアルゴリズムとか、オートマトンを使う方法とか)かもしれないけれど。 #concat

ω･`)にべべb @2bbb

mobilepoint来てた. 良かった.

Masahiro Sakai @masahiro_sakai

Coqで圏論の会 http://atnd.org/events/15000 の会場着いた。 #concat (@ 喫茶室ルノアール 新宿3丁目ビッグスビル店) http://4sq.com/kIPCrq

kikx @kikx

ほげ #concat

ω･`)にべべb @2bbb

すっごい初歩的なところだけども :> って何なの？

ω･`)にべべb @2bbb

"Structure > Map" の意味もよく分からない. つうかそもそもStructureが

Masahiro Sakai @masahiro_sakai

とりあえず、ConCaTをコンパイル。 e-mobile の電波は入らず。残念無念。#concat