この記事はcoins20 Advent Calendar 2020の2日目の記事ですが、12/3 に投稿されました。
自分についての振り返りをするだけの記事です。
1月
年越しの瞬間は中学校の友達とお寺に行っていた。
https://twitter.com/public_yusuke/status/1212025625256480773
1/2 は箱根駅伝に筑波大学が26年ぶりに出場する日だったので見に行った。
https://twitter.com/public_yusuke/status/1212518746192891905
PCK 本選の成績書が来た。
https://twitter.com/public_yusuke/status/1217648304365830149
2月
弐寺のコントローラを自作した。
はてなブログに投稿しました #はてなブログ
— pyusuke (@public_yusuke) 2020年2月2日
弐寺とBMS練習のための7鍵コントローラーを作った - private_yusuke’s diaryhttps://t.co/ReLHw8lvxM
3月
一般入試に合格した人が 3/7 からツイッターで合格ツイートをし始めたので捕捉していた。その3日後には Minecraft を一緒にやっていた。
WORD 編集部の部屋に興味があったので、3/13 に初めて大学に行く。確かその日はつけめん・まぜそばむじゃきに先輩と行った。
コロナ禍におけるコミュニティ
3/8 に coins20 のための Discord サーバーが建つ。その後、有志の手によってcoins20 であることを証明できた人のみがサーバーで十分な権限を与えられるような環境が整備される。これのおかげでコロナ禍の中でもオタクとのコミュニケーションができるようになってとても良かった。
また、プライベートな Scrapbox に履修の方法や科目の内容などを有志がまとめてくれた。これのおかげで、何か大学に関連して気になることがあればそこを覗けばだいたい載っているという状況ができた。
4月
5月
某最大勢力の日本人向け Mastodon インスタンスの運営が終わるかもみたいな話が一瞬流れて、エェ～あのインスタンスの人間が外に流出したらカオスなことになるじゃん……と心配してたけど、確か社長が女装してる会社？に移管されてそうならなくなったと聞き安心した記憶がある*1。
情報科学類には情報科学特別演習という、自分でやりたいテーマに関連する分野を専門としている教員の方にアドバイザとして9ヶ月ぐらい面倒をみてもらうことができる科目がある。私はここで「自作 SAT ソルバーの制作」をテーマとした。理由としては、それなりに大きいプログラムを書いてみる経験や、英語の論文を読解して実装に落としてみる経験をしてみたかったとか、数学と計算機が関係しあうようなものに挑戦してみたかったという気持ち他2件があったため*2。
大学に申請を出すと G Suite for Education*3 のアカウントが貰えることを知り、その日に手続きをした。それからはこいつをヘビーに利用させてもらっている。
6月
Oculus Rift S を購入した。VRChat に連日ログインすることもあったが、基本的には Beat Saber にドハマリし、今も一週間に一度以上は継続してプレイしている。VRChat で日本人に話しかけるのはちょっと苦手だったので、英語で別の国の人と会話することが多かったかも*4。VRC 沼にはハマらなかったものの仮想空間であれこれ触ったり動いたりするのは楽しかった。
8月
coins20 Discord が過疎る。
Bob's 系の MOD が導入された Factorio 鯖を建てて友達と一日中遊んだりした。ロケットを待機時間なしで連続して飛ばせるようになった途端飽きた。
大学のオープンキャンパス（夏の大学説明会）がオンラインで開催されたので質問に答える係として参加した。
午後10時から4時間半ぐらい Beat Saber を連続プレイした日があった（何？）。
春ABC モジュールの期末試験が終わり、様々な科目の成績が発表された。いい感じでよかった。
9月
3年前の coins のオープンキャンパスのときに前で喋っていた先輩に会い、初めて大学にある研究室に足を運んだ。その後に情報科学特別演習でお世話になっている教員の研究室にも行ったりした。Thinkpad と HHKB が好きな人が多いんだなと思った。
video2asciis というものを作った。これで手元にある好きな動画を変換してみたら楽しかった。詳細はこちら。
github.com
11月
19歳になった。たくさんのオタクにプレゼントを頂き、今では自分のアパートで新しいサーバーや RTX1200 が動いていたり、BS アンテナが置いてあったりする。他にも技術書や野菜ジュース、ポッキー、DEOCO、火打ち石と火吹き棒、新書、気象計測キット、チャイナドレス、猫耳なども貰った。お返しを考えないとね……。
ここでCoq/SSReflect/MathCompによる定理証明を貰い、定理証明に興味が出た。以前にも Coq を少しだけ触ったことがあるが証明図との対応などは全然わかっていなかったので諸々の概念を理解しながら実践を続けた。久々に夢中になれるものを見つけられた。
情報科学類誌 WORD で SAT ソルバーについての記事を書いた*6。WORD に寄稿することが大学に入る前からの夢だったので嬉しかった。
12月
これを記述しているのが 12/3 で、まだ何も起きていない。
まとめ
コロナ禍の中でもたくさんの人々とやりとりができて刺激的な一年だった。高校までとは違ってコンピュータをカタカタするのが大好きな人ばかりが集まっているために変な文脈を共有できることが多くて楽しかった。また、自分が深く掘り下げたことのなかった分野に詳しい人もいて、そういった方々の影響を受けて本格的に始めたこともいくつかあった。大学っていいな！
最後に、coins20 の人はぜひ下記のアドベントカレンダーに参加しようね！
adventar.org
