タスク : 2024
人生
未踏に採択される check.icon
未踏を成し遂げる
職を見つけるcheck.icon
SFCに合格する check.icon
春AO done.icon
一次選考 check.icon
二次選考 check.icon
Tech
A9N リリース
KOITO リリース
SAT Solverを書く
Hindley-Milner型推論を実装する
型理論を学ぶ (Working)
TaPL (2024-10-1 ~)
型推論を学ぶ
TaPL (2024-10-1 ~)
正規表現エンジンを書く
ECC (Elliptic-Curve Cryptography)を実装する
Art
レーベルで曲をリリース
Synthesizer Vで一曲作る
漫画を書いてみる
小説を書いてみる
Otaku
輝きの向こう側へ を劇場で見る check.icon
コミケ参戦 check.icon
もりくぼ ぬいぐるみを買う check.icon
リーリヤ ぬいぐるみを買う check.icon
四条最強ラーメンを食べる check.icon
ミリアニ再上映を見る
Outdoor
海外旅行に行く