本棚さらしの第二弾。 机周り、書類はファイルボックスとキャビネットの中。

以前、一度MacBookAirのAgdaをインストールしたのだが、間違えてインストールした際のユーザアカウントを消してしまい、新しいユーザアカウントで再インストールをしなければいけなくなった。この一週間というもの悪戦苦闘していたのだが、本日昼間にやっと…

晴れていて湿度も高め。梅雨も近い。朝からAgdaのインストールの続き、昼には完了する。また洗濯と食器洗い、他にケーブルテレビのインターネットモデムの交換。非常勤授業の準備をしてから夕食、ミートソースパスタ。