型レベルプログラミングの会
ここ読んでいる人で知らない人はいないと思いますが、 型レベルプログラミングの会 というものが開催される予定で、 既に満員で、場所も決まっていて、すごい感じです。 いろいろとすごい人とか一度会ってみたかった人とかPPLでお世話になった人とかがいらっしゃるのでドキドキしてます。私もしゃべるわけですが、これはちゃんと準備しないと駄目だな。
あと、結婚しました。 式は一昨日でした。(お礼のメールを投げる前にブログを更新しててすまんです＜来ていただいた方々)
ここ読んでいる人で知らない人はいないと思いますが、 型レベルプログラミングの会 というものが開催される予定で、 既に満員で、場所も決まっていて、すごい感じです。 いろいろとすごい人とか一度会ってみたかった人とかPPLでお世話になった人とかがいらっしゃるのでドキドキしてます。私もしゃべるわけですが、これはちゃんと準備しないと駄目だな。
あと、結婚しました。 式は一昨日でした。(お礼のメールを投げる前にブログを更新しててすまんです＜来ていただいた方々)