あるソフトウェアをcvsを通じてダウンロードしようとしたらエラーが生じたので何かと思えばauxというディレクトリ(フォルダ)が作れないと。MS-DOSの時代から現代のWindowsXPに至るまでauxは特殊な名前(デバイスファイル)として予約されているのでそういう名…

ある論理パズルを見掛けた。難解ではあっても表を作って根気よく試行錯誤すれば解決できるパズルなのだが、これこそ述語論理を使うべき問題ではないかとprologで遊んでみたりしている。以前に知識工学の教科書を開いたのはもう7年以上も前のことだし、当時は…