なんとかキャンプ

のネタを考えないといけない。

ネタ考えても出すかどうかわかんねーけどまぁそんな所で。
既に使ってる言語disるのは疲れるのと、まぁそういうのやってももう無駄なのでしない事にして、話すのとしてはやっぱりHaskellとかLispとかFactorとかLazy_KとかPCASTLとかでやろうかなーとか思っているのです。

言語ばっかっていうのもアレだけど、これだと多分被んないと思うので。

あ、後はAgdaとかCoqとかもなのかなー。←は全くわかんねーから調べる良い機会だな。