Monthly Archive: September 2014

0

CafeOBJ 1.5.1 and binary builds

After recently, we released another version 1.5.1, which makes the Windows builds run on UNC path, too. We also improved our binary distribution mechanism and now provide ready built binaries for Windows, Mac, and...

0

A ghost at JAIST

Today I got the booklet: JAIST Outline 2014-2015, and I found a very interesting table at the end of the pamphlet, listing the international staff members. Reading through it, I wondered what has happened...

0

Laurent Binet – HHhH

Laurent Binet’s HHhH – Himmlers Hirn heißt Heydrich – a great book about one of the many dark chapters of the Second World War, diluted by the author’s affectation and self-infatuations. The book tells...

0

旅の辛さと中宮温泉

長い旅から、特に永年の機内の時間で疲れた僕は今日ウチの白山を訪ねた。スーパー林道の料金所の手前の中宮温泉へ行ってきた。

0

Happy from Teheran

A group of young people from Teheran have been convicted for producing the following nice video of them dancing to the song “Happy” by Pharrell Williams. Convicted to 91 lashes and six months in...

2

CafeOBJ 1.5.0 released

Yesterday we have finally released CafeOBJ 1.5.0. This marks a great step forward in a long development history of this algebraic specification and verification language. To quote from our README: CafeOBJ is a new...