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