オーストリアの卵カップ

少し前はじめて赤ちゃんを連れてオーストリアの家族を訪ねてきた。そのとき、母から昔の卵カップをもらった。オーストリアでの朝食のときゆで卵を食べたかったら、頼むとき普通に何分を聞かれてる。という意味は柔らかくて、中身はまだちょっと温泉卵みたいない感じ(4−5分)、又は固い友語(10分)。もちろん、自分の希望のとおり何分を決められる。
austrian-egg-cups

特に柔らかい卵ならば、卵カップが必要なんだけど、なかなか日本にみたことない。母からもらったカップはめちゃ古くて、めちゃ懐かしい。兄弟の三人の一人ひとりの名前が書いていた。これから沢山の5分卵を食べよう!

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

Fixing packages for broken Gtk3

As mentioned on sunweaver’s blog Debian’s GTK-3+ v3.21 breaks Debian MATE 1.14, Gtk3 is breaking apps all around. But not only Mate, probably many other apps are broken, too, in particular Nemo (the file manager of Cinnamon desktop) has redraw issues (bug 836908), and regular crashes (bug 835043).

gtk-breakage

I have prepared packages for mate-terminal and nemo built from the most recent git sources. The new mate-terminal now does not crash anymore on profile changes (bug 835188), and the nemo redraw issues are gone. Unfortunately, the other crashes of nemo are still there. The apt-gettable repository with sources and amd64 binaries are here:

deb http://www.preining.info/debian/ gtk3fixes main
deb-src http://www.preining.info/debian/ gtk3fixes main

and are signed with my usual GPG key.

Last but not least, I quote from sunweaver’s blog:

Questions

  1. Isn’t GTK-3+ a shared library? This one was rhetorical… Yes, it is.
  2. One that breaks other application with every point release? Well, unfortunately, as experience over the past years has shown: Yes, this has happened several times, so far — and it happened again.
  3. Why is it that GTK-3+ uploads appear in Debian without going through a proper transition? This question is not rhetorical. If someone has an answer, please enlighten me.

(end of quote)

<rant>
My personal answer to this is: Gtk is strongly related to Gnome, Gnome is strongly related to SystemD, all this is pushed onto Debian users in the usual way of “we don’t care for breaking non-XXX apps” (for XXX in Gnome, SystemD). It is very sad to see this recklessness taking more and more space all over Debian.
</rant>

I finish with another quote from sunweaver’s blog:

already scared of the 3.22 GTK+ release, luckily the last development release of the GTK+ 3-series

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

Android 7.0 Nougat – Root – PokemonGo

UPDATE 20161008 This blog is outdated, please see the updated version: Reload: Android 7.0 Nougat – Root – Pokemon Go

Since my switch to Android my Nexus 6p is rooted and I have happily fixed the Android (<7) font errors with Japanese fonts in English environment (see this post). The recently released Android 7 Nougat finally fixes this problem, so it was high time to update.

In addition, a recent update to Pokemon Go excluded rooted devices, so I was searching for a solution that allows me to: update to Nougat, keep root, and run PokemonGo (as well as some bank security apps etc).

android-nougat-root-poke

After some playing around here are the steps I took: Continue reading

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

Farewell academics talk: Colloquium Logicum 2016 – Gödel Logics

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 we are now, it was a pleasure to have the opportunity to give an invited talk on this topic.

cl16-preining

It was also somehow a strange talk (slides are available here), as it was my last as “academic”. After the rejection of extension of contract by the JAIST (foundational research, where are you going? Foreign faculty, where?) I have been unemployed – not a funny state in Japan, but also not the first time I have been, my experiences span Austrian and Italian unemployment offices. This unemployment is going to end this weekend, and after 25 years in academics I say good-bye.

Considering that I had two invited talks, one teaching assignment for the ESSLLI, submitted three articles (another two forthcoming) this year, JAIST is missing out on quite a share of achievements in their faculty database. Not my problem anymore.

It was a good time in academics, and I will surely not stop doing research, but I am looking forward to new challenges and new ways of collaboration and development. I will surely miss academics, but for now I will dedicate my energy to different things in life.

Thanks to all the colleagues who did care, and for the rest, I have already forgotten you.

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

Yukio Mishima: Patriotism (憂国)

A masterpiece by Yukio Mishima – Patriotism – the story of love and dead. A short story about the double suicide of a Lieutenant and his wife following the Ni Ni Roku Incident where some parts of the military tried to overthrow government and military leaders. Although Lieutenant Takeyama wasn’t involved into the coup, because his friends wanted to safeguard him and his new wife, he found himself facing a fight and execution of his friends. Not being able to cope with this situation he commits suicide, followed by his wife.
mishima-patriotism

Written in 1960 by one of the most interesting writers of Japanese modern history, Yukio Mishima, this book and the movie made by Mishima himself, are very disturbing images of the relation between human and state. Continue reading

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

吉本ばなな:デッドエンドの思い出

吉本ばななの短編集「デッドエンドの思い出」は人間のつらさの話する。吉本氏は後書きに下記のとおりかいた:

私はばかみたいで、この小説集に関しては泣かずにゲラをみることができなかったですが、その涙は心の奥底のつらさをちょっと消してくれた気がします。

なるほどと思った。一人旅間にこの本を読んで、何回も悲しく寂しい夜を過ごした。人間のつらさ、とこのつらさを超える話を読んで喜んだ。素敵な本だと思う。
Deadend Omoide - Banana Yoshimoto

いずれにしても神様は何もしてくれやしない。

この短編集に5つの短編が含まれてる:「幽霊の家」、「おかあさーん!」、「あったかくなんかない」、「ともちゃんの幸せ」、と短編集の名前に与える「デッドエンドの思い出」。1つつ静かな話だ。話は早くないし、人間関係と人間感覚に集中してるし、とっても好きな本だった。昨日の晩友人と深夜まで話す時、パウロ・コエーリョの「アルケミスト」という本が出ていたけど、比べたら吉本の本は測れないほどの方がいいと思う。その考えの理由は吉本は教えたくない、教えていない。そのかわりにコエーリョの本は宗教的な教科書みたいだ。でも、「De gustibus non disputandum est!」

吉本の短編の中に一番好きなのは、「ともちゃんの幸せ」と「デッドエンドの思い出」かもしれないけど、本当に決めること難しい。この二つの短編のなか、人間関係のつらさとその解決・回復方法をすごく上手に書いてあると思う。男性の僕なのに、たまに涙でるほど感動した。

遠くに光る夕焼けみたいにきれいな、私の、一回しかないこの体に宿っている命のことを。

とってもおすすめの本だ。大好きなスタイル、大好きな話題(友川のつらさの歌!)、そのうえ、日本語の学生の僕のためちょうどいいレベルだった。

最後に吉本氏の後書きの言葉:

さらにばかみたいだけど、私はこの中の「デッドエンドの思い出」という小説が、これまで書いた自分の作品の中で、いちばん好きです。これが書けたので、小説家になってよかったと思いました。

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

ESSLLI 2016 Course: Algebraic Specification and Verification with CafeOBJ

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 bit and enjoy the beauty of the surrounding North Tyrol.
ESSLLI-2016-logo-darkblue-small

For those who couldn’t attend the ESSLLI or the course, here are the course materials:

Thanks to the participants for the interesting questions and participation.

What follows is the original description of the course. Continue reading

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

Gaming: Deus Ex Go

Long flights and lazy afternoons relaxing from teaching, I tried out another game on my Android device, Deus Ex Go. It is a turn based game in the style of the Deus Ex series (long years ago I was beta tester for the Deus Ex version of LGP). A turn based game where you have to pass through a series of levels, each one consisting of an hexagonal grid with an entry and exit point, and some nasty villains or machines trying to kill you.

Deus-ex-go

Without any explanations given you are thrown into the game and it takes a few iterations until you understand what kind of attacks you are facing, but once you have figured that out, it is a more or less simple game of combination how to manage to get to the exit. I played through the around 50 levels of the story mode and I think it was only in the last five that I once or twice had to actually try and think hard to find a solution.

I found the game quite amusing at the beginning, but soon it became repetitive. But since you can play through the whole story mode in probably one long afternoon, that is not so much of a problem. More a problem is the apparently incredible battery usage of this game. Playing without checking for some time leaves you soon with a near empty battery.

Graphically well done, with more or less interesting gameplay, it still does not stand up to Monument Valley.

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

イタリアのボーゼンの美しい山

今年の夏北イタリアのボーゼンで行うESSLLI 2016で教えって居る。毎日の午前中講義があるので、なかなか長いエクスカーションができなかったけど、一日の午後ボーゼンの近くのハイクをした。ボーゼン駅から出て、3時間のハイクだった。

The beautiful mountains surrounding Bozen, looks like a perfect place to live.

やっぱりヨーロッパがいいな〜と思ってる。ホテルから午後中そんな素敵なハイクをできるのは、なかなか珍しい。 Continue reading

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

Debian/TeX Live 2016.20160819-1

A new – and unplanned – release in quick succession. I have uploaded testing packages to experimental which incorporate tex4ht into the TeX Live packages, but somehow the tex4ht transitional updated slipped into sid, and made many packages uninstallable. Well, so after a bit more testing let’s ship the beast to sid, meaning that tex4ht will finally updated from the last 2009 version to what is the current status in TeX Live.

texlive2016-debian

From the list of new packages I want to pick out the group of phf* packages that seem from a quick reading over the package documentations as very interesting.

But most important is the incorporation of tex4ht into the TeX Live packages, so please report bugs and shortcomings to the BTS. Thanks.

New packages

aurl, bxjalipsum, cormorantgaramond, notespages, phffullpagefigure, phfnote, phfparen, phfqit, phfquotetext, phfsvnwatermark, phfthm, table-fct, tocdata.

Updated packages

acmart, acro, biblatex-abnt, biblatex-publist, bxdpx-beamer, bxjscls, bxnewfont, bxpdfver, dccpaper, etex-pkg, europasscv, exsheets, glossaries-extra, graphics-def, graphics-pln, guitarchordschemes, ijsra, kpathsea, latexpand, latex-veryshortguide, ledmac, libertinust1math, markdown, mcf2graph, menukeys, mfirstuc, mhchem, mweights, newpx, newtx, optidef, paralist, parnotes, pdflatexpicscale, pgfplots, philosophersimprint, pstricks-add, showexpl, tasks, tetex, tex4ht, texlive-docindex, udesoftec, xcolor-solarized.

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author