昨日開催された米田祭に、主に写真と野次担当で参加しました。 Google グループとか第一回層圏トポス米田フェスティバル@矢上祭 | Flickr。 10分で説明する圏、関手、自然変換 セミコロンをオーバーロード(C++的な意味で) など、とても面白い集まりでした。 …