先週の火曜日から今週の月曜日まで、Agda Implementor's Meeting(通称AIM、エイム）というのに参加してきた。国際ワークショップ、とでも言うのだろうか参加者は海外からも来ていて、やりとりは英語オンリー。途中から慣れてはきたけど疲れた。自分の英語力…