ブログ


大学では計算機科学の特にロジック周り (定理自動証明法を考案したり,関数型プログラミングで実装したり,......) を研究しています.めちゃおもろい.

1.代表会議

2019年10月07日

第22回新潟県学生ウインドアンサンブル(以下ウインド)のブログを担当することになりました、副代表の伊藤菜々子と申します。

今回は新潟県学生ウインドアンサンブル演奏会がどういうものなのかを紹介したいと思います。

無料でホームページを作成しよう! このサイトはWebnodeで作成されました。 あなたも無料で自分で作成してみませんか? さあ、はじめよう