【Lean】コンパイラの型チェックで、証明を検証したことになるカラクリ 2026-03-282026-03-27 by chiilabo #関数型プログラミング（15） #コンパイラ（7） #型推論（6） #カーネル（4） #シンボルテーブル（4）
K&R CとANSI Cを比較する：プログラミング言語の哲学的変遷 2026-02-212025-04-19 by chiilabo #C言語（16） #プログラミング言語（13） #ポインタ（9） #関数定義（6） #エラー処理（5）