私は、どうも、フレームワークやインターフェースのことを考えるのは得意だけれど、アルゴリズムは苦手なのではないかと思うようになってきた。 しかし、アルゴリズムは、数学の計算問題のようなもので、反復練習で身に付けるものだとも思う。 だから、これ…

学生のころ（今となってはだいぶ前）には、あたりまえのように感じていて、取り立てて考えたこともなかったけれど、学生は、勉強するには理想的な環境にいる。何か勉強したければ、一週間ぶっ通しでテキストを読んでいてもよい。 仕事をしている身だと、その…

昨日、何年前かに買ったPrologの本を開いてみた。 Prologへの入門 (PrologとAI) AIプログラミング (PrologとAI) 買ったときは、見たこともない言語だというだけの理由で買って、読んでは見たものの、結局あまり理解できないままでいたのだ。 しかし、Concurr…

Prologのキーワードをたどって下のエントリを見つけました。 [id:bonotake:20051125] そういえば、Concurrent Cleanにも定理証明系がくっついていたような。 Sparkle : http://www.cs.ru.nl/Sparkle/ ここっすね・・・って、重いよこのページ。 - ところで、…