2024 年
主な目標
もう少し Haskell と AtCoder をやり込みたい。
- AtCoder
- アルゴリズム: 青
- ヒューリスティック: 青
- アルゴリズム: 青
- 『AtCoder ガチ言語 Haskell 🔥』の加筆修正
- 動的計画法 (EDPC の図解解説)
- グラフ探索 (検討中)
- 動的計画法 (EDPC の図解解説)
より具体的には PAST 過去問、 Thunder 本、 AHC 過去問、 〜黄 diff DP, TDPC などを全問解きたい。マスター・オブ・場合の数やマスター・オブ・整数も全問解きたい。パラグラフ・ライティングなどの文章作法を身に付けて『ガチ言語 Haskell』をブラッシュアップしたい。
その他の興味
趣味
- SKK, org-agenda, org-calender, elfeed, ..
org-babel でコードを評価すれば手順書になるとか、どこにでもジャンプできるような環境 - 30% キーボード、 CharaChorder One
キーボード操作のアクション性を高める方向性の追求 - Flakes の利用、 Nix へのパッケージ追加 (
verification-helper
など)
NixOS ユーザとしての成長
必要に応じて
- Web 開発、 ISUCON
開発力 - CS / 英語
2025 年を目処に活かせるように
最終目標へ向けて
- toylisp (tlp) の開発再開
break
,continue
,printf
, ジェネリック関数、構文レベルマクロ、コルーチン - シェーダ
tantan の動画 のシェーダを読むなど