このサイトは何？

Obsidianで書いている日々の学習メモを元にして作ったデジタルガーデンです。完成された記事だけでなく学びの過程をそのまま公開しているため学習中のメモや断片的な思考も含まれています。

コンパイラ、型システム、プログラミング言語理論、コンピュータサイエンスの基礎など、技術的な探求の記録を中心に公開しています。

📚 主要なカテゴリ

コンパイラの設計と実装に関するメモ。型システム、中間表現、最適化、バックエンドなど、コンパイラの各フェーズについて学んだことをまとめています。

様々なプログラミング言語に関するメモ。Haskell、JavaScript、MoonBit、Rustなど、言語の特徴や実装についての考察。

コンピュータサイエンスの理論的な側面。アルゴリズム、論理、数学、オートマタ理論など、基礎理論に関する学習ノート。

技術的な話題から開発哲学まで、様々なテーマについて書いた記事。

フロントエンド、バックエンド、アーキテクチャ、テストなど、実践的な開発に関するメモ。

大学の講義やオンラインコースの学習ノート。Theory of Computation、Nand2Tetris、分散システムなど。

個人的なプロジェクトやアプリケーション開発に関するメモ。

読んだ本や論文のメモ。

このサイトはQuartzで構築されています。