新規に考案した形式言語（XX-calculus の類）が特許提案されていて、操作的意味論の規則一つ一つがクレーム（請求項）になってました。いやぁそんな事もできるのね。考えてみれば、建前上操作的意味論って抽象機械の操作だから、「○○の様な操作をする機能を…