Gaisi Takeuti – Proof Theory
One of the best works on proof theory finally is back in print – Gaisi Takeuti‘s Proof Theory. Originally published as Volume 81 in the series Studies in Logic and the Foundations of Mathematics...
Alpine sports climbing – Hohe Wand – Sag niemals nie
One of the pleasures of visiting Vienna is the chance to go alpine sport climbing with minimal access. The Hohe Wand can be reached in about 40min from Vienna, and offers a variety of...
jfontmaps release 20130418.0
This is a bug fix release: Fix for kanji-config-updmap-sys to call the right script fix for replacement setup for new families fix for wrong msgothic file name generate changelog from git For more details...
クライミング ラステンフェルド・オーストリア
石川県の外のクライミングスポットが少ないから、残念ながら、最近本当の岩を登る機会が少ないんだ。仕事のため少しウイーンに過ごしている僕は、最初の週末すぐ一日クライミング行ってきた。
Hyougo-ken – Kobe – Rokko – Arima Onsen
Finally I managed to upload some photos from our trip to Hyougo-ken, visiting the foreigners’ houses and China Town in Kobe, Mount Rokko, and Arima Onsen. A nice and relaxed three day trip to...
tlmgr user mode
Starting from tomorrow, tlpretest will contain an extension to the TeX Live Manager called User Mode. This one probably one of the most asked features in recent times, that one can use tlmgr to...
How to write spam
Recently I found a nice spammed comment on this blog. It gives long text with variations, things spammers use. Only that the variations were not selected, but all included in the text. That is...
jfontmaps release 20130410.0
After quite some time of development today I uploaded jfontmaps release 20130410.0 to the CTAN servers. This release finally brings a working support for JIS2004 glyph shapes.
TeX Live development: svn and git
TeX Live development has a long history. First we were using perforce for a long time, after which we changed to subversion which is still the main development platform and the main central repository....
Preparing for TeX Live 2013 release
As recently announced, TeX Live will soon be frozen in preparation for testing the release 2013. That of course means for me to think about what critical new features I want to get into...
ばかばかしい全国交通安全運動
来週平成２５年４月６日から４月１５日まで国際交通安全運動が行う。自分は今３年間石川県以内と以外よく車を運転しているけど、この交通安全運動の時いつも本当に変な感じになってしまう。なぜなら本当の安全とあの運動は関係が全然ない！
Multi-lingual blog – taxonomy – Tarski theme display II
An update to my about tagging post languages with the language used. Another thing I wanted is the display of flags instead of the short code of the language. In this post I explain...
クライミング 敦賀の岩場
残念ながら、冬既と共にスキー既設もそろそろが終わりそうな感じ。その代わりに暖かい日の数が増えているから、クライミングの既設だ。日曜日敦賀の岩場、素晴らしいクライミングスポットを教えてもらった。
Multi-lingual blog – taxonomy – Tarski theme display
As you might have seen, I am writing this blog in a few languages, mostly English of course, but also German (my mother tongue), Italian (where I lived for 2.5 years), and recently I...
Barbara Coudenhove-Kalergi: Zuhause ist überall
Die Autobiographie von Barabara Coudenhove-Kalergi birgt einen reichen Schatz an historisch interessanten und persönlichen Ereignissen einer Frau die wie wenige andere die österreichische Nachkriegsgeschichte durch Intelligenz und Humanität geprägt hat. Das Buch ist in...
