http://atnd.org/events/1507twitterで#proofpartyを付けて事前活動をもそもそやった結果9人に！！ありがとうございます。定員を一応10人としていて後1人大丈夫です、ので画面の前のキミ。そうキmry 来てください。今週土曜日に下のエントリでC++使ってした…

ちゅらいね。この流れは...? //はてなのC++カラーリング指定子がcppになってるのどうにかしてくだち /* 取りあえずNat */ struct zero{}; template<typename>struct succ{}; template<typename N1,typename N2>struct add{}; template<typename N2> struct add<zero,N2> { typedef N2 val; }; template<typename N1,typename N2> struct add<succ<N1>,N2> </succ<n1></typename></zero,n2></typename></typename></typename>…