Monthly Archive: January 2016

1

Debian/TeX Live 2015.20160117-1 and biber 2.3-1

About one month has passed and here is the usual updated of TeX Live packages for Debian, this time also with an update to biber to accompany the updated version of biblatex. Nothing spectacular...

石川県の元旦 0

石川県の元旦

今年の元旦を久しぶりに石川に過ごした。休みがあまりない日本人の妻はいつも冬休みの時どこかの旅行したいけど、今回の年末年始はちょっと特別なので石川になった。

5

Gaming: Portal Stories: Mel

The last days, after about 20 hours of gameplay, I have finally finished Portal Stories: Mel, the single player mod for Portal 2. After having played and , I have to say this one...

草津温泉への小旅 0

草津温泉への小旅

年末の前2泊3日群馬県の草津温泉へ行ってきた。昔々、本当に大昔、11年前論理学のセミナーのためはじめて草津温泉へ訪ねた後3回行った事があるけど、妻は行った事ない。だから去年末石川県の悪天候から逃げて、晴れてる草津温泉の観光を楽しんでいってきた。

3

Ian Buruma: Wages of Guilt

Since moving to Japan, I got more and more interested in history, especially the recent history of the 20th century. The book I just finished, Ian Buruma (Wiki, home page) Wages of Guilt –...

0

筒井康隆の家族八景

家族八景を読み終えた。長い時間がかかった。僕に対して、筒井康隆氏の日本語は難しい(ちょっと古い?)。複雑な漢字単語が多いし、文の形も非常な形だし、内容も結構複雑なので、僕の日本語のチェレンジになった。

6

10 years TeX Live in Debian

I recently dug through my history of involvement with TeX (Live), and found out that in January there are a lot of “anniversaries” I should celebrate: 14 years ago I started building binaries for...

4

Fighting with IPv6

During the last weeks I finally got my hands dirty with IPv6. A comment on my blog and an email informed me that my server (hosting this blog) is not reachable via IPv6, albeit...

シエナのチェルトサ・ディ・ポンティニャノ(Certosa di Pontignano, Siena) 0

シエナのチェルトサ・ディ・ポンティニャノ(Certosa di Pontignano, Siena)

12月は出張ばかり:最初いつものスウォンジーだったけど、その後久しぶりに昔住んでいたシエナへ。シエナの近くにあるチェルトサ・ディ・ポンティニャノ(Certosa di Pontignano)において去年なくなったシエナの先生の記念学会が行った。

1

TeX Live security improvements

Today I committed a set of changes to the TeX Live subversion repository that should pave the way for better security handling in the future. Work is underway to use strong cryptographic signatures to...

0

Best Wishes for 2016

Happy New Year 2016. I wish all the readers of this blog, and everyone else, a good start into 2016, may some of your wishes and hopes become true! あけましておめでとうございます。このブログの読者の皆様も他の人も、皆に良い2016年になり、いくつかの希望と望みが実現しますように祈っています。