2009-08-06

論理表示


大西先生の論文の一部ですが、この論理表示というのは学会では一般的なんでしょうか。コンピュータでprolog を経験されている大西先生ならではと思いますけど。

2 comments:

白うさぎ said...

なんか忘れたけど、prolog やったなぁ。
やってることは
簡単そうなんだけれども
えらい難しかった。

そうか論理学やったんや!

三羽四郎二郎 said...

prolog は流行でしたからね。今は廃れてしまった。