2022
https://scrapbox.io/api/pages/sno2wman/後藤ひとり_glitch/icon#.png
前：
2021
後：
2023
#年報
講評
今年は諦めの年だったので来年も諦めの年になるだろう
いいね
1.
麻雀
を
hikage
に教わった
2.
@intsuc
に会って色々話した
3.
AnimeMusicQuiz
観た
2022年に観たアニメ雑記
やった
思い出せないので
GitHub
見てください
deno2nix
satyxin
OTOMADB
本と本の関連性を表示するサービス
（途中で放棄）
聴いた
Spotify 2022
soundcloud Your 2022 Playback
読んだ
色々読んだ気がするけど，もう何を読んだのかすら覚えていない
学術書
基本的に読破したものは無い
論理と計算のしくみ(本)
大西琢朗『論理学 3STEPシリーズ』
戸次 大介; "数理論理学"
R.Smullyan『不完全性定理』改訂版
小野寛晰『情報科学における論理』
鹿島 亮; "コンピュータサイエンスにおける様相論理"
はじめてのヴィトゲンシュタイン(本)
はじめての動物倫理学(本)
哲学入門(和田山和久の本)
悪い言語哲学入門(本)
現代認識論入門 ゲティア問題から徳認識論(本)
生まれてきたことが苦しいあなたに 最強のペシミスト・シオランの思想 (本)
現代思想入門(本)
フェイクニュースを科学する 拡散するデマ、陰謀論、プロパガンダの仕組み
多数決を疑う 社会的選択理論とは何か(本)
計算理論と数理論理学(本)
そうしないことはありえたか？自由論入門(本)
型理論(本)
プログラミング言語の基礎概念(本)
TaPL
圏論による論理学(本)
Awodey 圏論(本)
ZERRO
数学のロジックと集合論(本)
数学基礎論序論(本)
定理証明手習い(本)
逆数学 定理から公理を証明する(本)
大西琢朗 - 様相論理の完全性定理（及びその他論理への応用）(外部記事)
数理論理学 合理的エージェントへの応用に向けて(本)
数理議論学(本)
マンガ
潮が舞い子が舞い
ぼっち・ざ・ろっく！
天国大魔境
火遊び同盟
へのへのもへじと棒人間とパンツ
小説など
ツインスター・サイクロン・ランナウェイ
新しい世界を生きるための14のSF(本)
知った
Nix
Lean
Coq
SATySFi
Astro
Deno
かなりいろいろなところで使った
思った
来年こそは働くぞー！
以上．