2006-01-16から1日間の記事一覧
utf8の表からdのソースに落としてみたりしてます。
なんか、2chで面白いなぁと思って書き込んでみてたら、間違えて名前を出してしまいました。 やっぱり、2chを見てると無駄に時間を食ってしまってやばいです。
北斗の圏論にコンパクト閉圏が登場です。 なんとなく、C式は関数に複数のカッコを使って標記できたりするから、圏論ってのに通ずるなにかがあるのかなぁとおもって、googleで圏論ってのを検索してみたら、コンパクト閉圏っていうのを見つけました。北斗神拳…
http://nemerle.org/Macros_tutorialid:moceanさんから教えてもらいました。なかなか強力です。しかし、ソース見ると、bnfで、cs用のyaccで展開されてて、800行くらいあったので、結構大変そうです。でクォートして、$でバッククォートってやつらしいです。 …