生も死もひとつのブランコの分岐点においてゆらゆらそのゆれをほほえんで見ているしかないのですね。
We have released version 1.6.0 of CafeOBJ, an algebraic specification and verification language. This release incorporates the following changes: CITP is officially renamed to PTCalc documents are not updated yet PTCalc(CITP) enhancements :init defined...
Yesterday we released CafeOBJ 1.5.9 with several new feature, bug fixes, and optimizations. Changes from the previous version: improved memoization higher heap allocation on 64bit systems fixes to .cafeobj file handling new switch ‘show...
Some time ago we released CafeOBJ 1.5.8 with some new features and bugfixes for the inductive theorem prover CITP. We are still struggling with SBCL builds on Windows, which suddendly started to produce corrupt...
This blog continues Part 1, Part 2, and Part 3 of our series on software specification and verification with CafeOBJ. In the last part we have made our first steps with CafeOBJ, learned how...
After quite some years of research, my colleague Arnold Beckmann and my paper on Hyper Natural Deduction has finally been published in the Journal of Logic and Computation. This paper was the difficult but...
This blog continues Part 1 and Part 2 of our series on software specification and verification with CafeOBJ. We will go through basic operations like starting and stopping the CafeOBJ interpreter, getting help, doing...
This blog continues Part 1 of our series on software specification and verification with CafeOBJ. Availability of CafeOBJ CafeOBJ can be obtained from the website cafeobj.org. The site provides binary packages built from Linux,...
Software bugs are everywhere – the feared Blue Screen of Death, the mobile phone rebooting at the most inconvenient moment, games crashing. Most of these bugs are not serious problems, but there are other...
Yesterday we released CafeOBJ 1.5.7 with lots of changes concerning the inductive theorem prover CITP, as well as fixes to make CafeOBJ work with current SBCL. The documentation has gained a few more documents...
Two days ago one of the most influential logician of the 20th century has passed away, Gaisi Takeuti (竹内 外史). I had the pleasure to meet this excellent man, teacher, writer, thinker several times...
Today I had my invited talk at the Colloquium Logicum 2016, where I gave an introduction to and overview of the state of the art of Gödel Logics. Having contributed considerably to the state...
During this year’s ESSLLI (European Summer School in Logic, Language and Information) I was teaching a course on Algebraic Specification and Verification with CafeOBJ. Now that the course is over I can relax a...
Yesterday we have released CafeOBJ 1.5.5 with a long list of changes, and many more internal changes. Documentation pages have been updated with the latest reference manual (PDF, Html) as well as some new...
Yesterday we have released CafeOBJ 1.5.4 with a long list of changes, and many more internal changes. Documentation pages have been updated with the latest reference manual (PDF, Html) as well as some new...
If you wonder why it was so silent here over the last weeks, there is a simple explanation: I am on scientific freak weeks 😉 As you might know, in my main profession I...
After my last post on , there was a sale of The Talos Principle, so I got it and started playing. And soon I got stuck at these kind of puzzles where one has...
