『述語論理はJavaScriptを使うべきだった - 檜山正幸のキマイラ飼育記 (はてなBlog)』2026/2/27 10:52:00 https://m-hiyama.hatenablog.com/entry/20060411/1144747330
『プログラマのための述語論理 - 檜山正幸のキマイラ飼育記 (はてなBlog)』2026/2/27 10:52:00 https://m-hiyama.hatenablog.com/entry/20060411/1144727533