かつて、次のURLsで書いた短い記事群をまとめてみた。文章はそのまま。 HoareRules 記述構文 - 檜山正幸のキマイラ飼育記 (はてなBlog) HoareRulesのラベル - 檜山正幸のキマイラ飼育記 (はてなBlog) HoareRulesの関数構文、その意味的区別 - 檜山正幸のキマ…

「プログラマの常識」ってなによ？ - 檜山正幸のキマイラ飼育記 (はてなBlog) 「常識」というよりは「理解の基盤」と「説明の方法」 - 檜山正幸のキマイラ飼育記 (はてなBlog)