There and back again

生も死もひとつのブランコの分岐点においてゆらゆらそのゆれをほほえんで見ているしかないのですね。

Yearly Archive: 2016

4

Gaming: Monument Valley

With a small baby invading your lifestyle, not much time for other activities is left over, especially for gaming. Most of the times even using my computer is a one-hand-action. In these times mobile...

1

TeX Live 2016 pretest and Debian packages

Preparation for the release of TeX Live 2016 have started some time ago with the freeze of updates in TeX Live 2015. Yesterday we announced the official start of the pretest period. That means...

0

就職活動

昨日僕の大学の契約が切れてしまった。これまで６年半北陸先端科学技術大学院大学で准教授として務めていたが、新年度から延長されないことになった。従って、新しい勤め先を探しているー僕の年齢を見るとあまりよろしくない。５年の件を潜脱した先端大学へ感謝！

4

Searching for a job

Yesterday my contract with my university JAIST ended. I was working there as Associate Professor for 6.5 years, but the university decided not to extend my contract (financial problems, foreigner in Japan). That means,...

1

Debian/TeX Live full update 20160223

Only one week has passed since the update, and there is already a new one? The explanation is simple: consolidation of packages and preparation for 2016. The update comprises of uploads of texlive-base, texlive-lang,...

14

Switching from iOS to Android

This article starts a series of blogs on my ventures into Android land after having used iOS devices for 6 years. I have never been a strong believer in the Apple ecosystem, and my...

1

Debian/TeX Live 2015.20160215-1

About one month has passed and here is the usual updated of TeX Live packages for Debian. While I am not really calling for testers at the moment, building of preliminary packages for TeX...

1

OpenPHT 1.5.1 for Debian/sid

I have updated the openpht repository with builds of OpenPHT 1.5.1 for Debian/sid for both amd64 and i386 architecture. For those who have forgotten it, OpenPHT is the open source fork of Plex Home...

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

草津温泉への小旅

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