テクノロジーブログ - 認知科学

型推論と人間の認知特性の関係を考察し、AIによるコーディング支援時代においても変わらない、明示的な型宣言の価値を探ります。趣味と商業プログラミングの本質的な違いから、真のエンジニアリングの姿を見つめ直します。