Category Archives: オーストリア

新型コロナウイルスの感染拡大のため、海外旅行は我慢の日々が続いていますね。 そこで、Google Earth VRを使ってIsabelle/HOLで有名な街へ行ってみました。

２０１８年はあまりブログを書けませんでしたが、例年通り月ごとに一年を振り返ります。後で時間があれば写真を追加しますした。 １月　真夜中に実家近くの神社へ初詣に行くが、すでに行列が出来ていた。少し離れた隣町の神社まで歩き、そこで初詣をする。神酒を頂いた時に「未成年？」と聞かれたけれど、最近は30過ぎの男性に年齢確認する程厳しく取り締まっているのだろうか。多分、この時に風邪をひいてしまい寝正月となる。友人女性と会う予定も変更し家で実家で寝続ける日々。なんとかオーストリア帰国前に回復するも、念のため受付窓口でビジネスクラスへ変更し快適な空の旅を楽しむ。１月末頃から、冬学期のみの留学だった寮の友達がオーストリアを去り始める。

しばらく更新出来ませんでしたが、チェコ・オーストリア留学生活を過ごしています。今年（２０１８年）の夏は移動が続きます。先日までの予定だと、 オックスフォードとロンドンに夏学校と国際会議と旅行で三週間弱滞在。 オーストリアの田舎町へ一週間ほど国際会議で滞在。 南仏の田舎町に４日ほど国際会議で滞在。 ブタペストに一週間弱作業部会で滞在。 主な活動拠点をインスブルックからプラハへ変更。

もう二ヶ月以上前の話ですが、オーストリアのInnsbruckという小さな町で理系博士留学をはじめました。一応チェコでも博士留学をしているのですが、最初の一年はInnsbruckに頻繁に訪れるので、Innsbruck大学でも学生になるのが良いだろうという判断です。 前回のブログ記事で書いていた論文は受託されず、改善してから別の学会へ提出しました。 最近はブログを書く時間がないのですが、そこそこ元気に過ごしています。…最近は日本に帰ったりフランスに学会で行ったりで、ドイツ語の勉強をサボり気味なのですが。

2018年もあっという間に３月ですね。年明けに体調を崩して、寝正月を過ごしてからAustriaへ戻り、１月末の学会提出用の論文〆切に向けて働いていました。今回は機械学習を定理証明に応用したソフトウェアを作成し、それについての論文を書きました。 しかし、Dataの抽出に予想以上に手間取ってしまい、「あと２日しかないのに２日以上かかる計算が残っているから、今回の〆切には間に合わないな」と悟り諦めかけた時に、会議の座長から連絡がありました。