自分用のプロジェクト
Proj: デジタル・ガーデンを作ってみる
Proj: Zettelkastenのページを来た人が見やすい状態にする
Proj: 会社で構成管理(Git)ができる人を増やす
Proj: Natural number gameを解く
Proj: Lispを実装する
Proj: C言語を実装する
Proj: Org-roamを使ってみる
Proj: WSLでEmacsを問題なく使えるようにする
Proj: WindowsでEmacsを使えるようにする
Proj: ルーター選び
Proj: デバッグ情報を分離して最適化をしやすくする
Proj: C言語の一通りのコードの書き方をまとめる
Proj: 『Homotopy Type Theory Univalent Foundations of Mathematics』を理解する？
Proj: 1+1=2の証明(Lean 4)を理解する
Proj: C2カバレッジが複数条件網羅かどうか
Proj: ネットワーク図描画・編集アプリを作る
Proj: PFD用のエディタがほしい
#My_Project