: 誕生日だった
やったこと 日常 誕生日だった。 今年も一年がんばろう。 それはそうとめっちゃ疲れている。 休もう‥‥。 デュエマ いきなりつよいデッキとドラゴン娘の構築済みが届いたので対戦をしていた。 ドラゴン娘のデッキが結構面白い気がする。 それにしてもいきなりつよいデッキはつよい。 火単…
if you wanna break free you better listen to me
やったこと 日常 誕生日だった。 今年も一年がんばろう。 それはそうとめっちゃ疲れている。 休もう‥‥。 デュエマ いきなりつよいデッキとドラゴン娘の構築済みが届いたので対戦をしていた。 ドラゴン娘のデッキが結構面白い気がする。 それにしてもいきなりつよいデッキはつよい。 火単…
やったこと 帰国 帰国した。 そんなにお土産とかを買ったわけじゃなかったのでとくに税関とかも何事もなく帰国。 やはり13時間のフライトは長かった。 おつかれさまでした。 明日は誕生日。一旦休もう。
やったこと ルクセンブルク 帰国する。 乗り継ぎでアムステルダ ム空港に行ったら席がSBYになっていてビビった。 どうにか席が用意されたので帰ることができた。 なんか真ん中の席が用意されたのだけど、なぜかACで2席のペアの人がいたので席を譲ったりした。 帰りの飛行機は暇すぎて数独…
やったこと ドイツ 実質的にヨーロッパ最終日。 ルクセンブルクを離れてドイツへ。 とはいっても端の方だけど。 ザールラント大学のBernd先生のところへ。 RTLolaの本家。 モチベーションを色々聞けて面白かった。 そしてディナーでいい感じのレストランに連れていってもらった。…
やったこと ETAPS カンファレンス最終日。 なんだかんだESOPを見ていることが多かった。 あと途中で抜け出してルクセンブルク市内のマックに行っていた。 目的はハッピーセット。 ちょうど遊戯王とサンリオのコラボがやっていたので。 無事手に入れられたのでちょっと嬉しい。 思っ…
やったこと ETAPS 発表をした。 どうにかやれたのではないかと思う。 言葉のチョイスが微妙なところはあったけど、意味は伝わったのかな、という感じ。 そのあとはやりきった気持ちで放心していた。 Banquetも楽しかった。 ワインもビールも美味しい。
やったこと ETAPS 4日目。 発表が明日なので準備に明け暮れていた。 スライドをいくつか追加したけれど、これでいいのか不安が大きい。 今日はあまり発表を聞いている余裕も無かった。 yと4869にオンラインで発表練習に付き合ってもらって、どうにかやれそうな気がしてきた。 感謝。
やったこと OCGとMD 天盃龍の新規の罠がかなりしんどい。 簡単にメイン1をスキップしないで欲しい。 MDにもレスキューとか色々くるらしい。 レスキューさすがにつよいと思うんだけどなぁ。 ETAPS 3日目。 カンファレンス本番。 面白い話を色々聴けた。 SATソルバーを使っ…
やったこと オートマトン カンファレンスの暇な時間に何かアルゴリズムの復習をしようと思ってGlushkov構成を実装した。 https://gist.github.com/makenowjust/0651fe23a694a22e3de92df4f2cbdd68 もう少し周辺の知…
やったこと 日常 ありえん疲れている。 休みつつETAPSに参加していこう。 ETAPS というわけで一日目。 午前中はMARSに、午後はCMCSに参加していた。 Runtime VerificationとかLearningとか。 Toposをもうちょい分かった方が気がしている。
やったこと ルクセンブルク いざルクセンブルクへ。 成田空港から11時に出発して、ホテルに着いたのは現地時間24時だった。 時差が7時間あるので20時間近くかかっていることになる。ヤバい。 最初に成田からアムステルダムまで。 ここが14時間だった。 あまりに暇だったので2x2x…
やったこと 日常 力尽きていた。 ある程度の発表の練習をしつつ、限界を感じている。 まあ荷造りもしてあるしどうにかなるだろう。
やったこと 日常 体調があまり良くなさげ。 休んだ方がいいかもしれない。 OCG スターチップのやつのパックを申し込んだ。 全部で11パック。 何かしらシク出るといいなぁ。 ミリアニ 3巻を受け取ってきた。 ついに3巻。時間があるときに観たい。 ついでにミリラジの曲のCDも買っ…
やったこと 日常 リュックを買った。 持っていく用。 内容量がそこそこあるので普通に便利そう。 使っていく。
やったこと ミリ エイプリルフールでスライドパズルが実装されていた。 なんとなく理解できるのだけど、最後の方の詰めがよく分かっていない。 理解する前に終わってしまった‥‥。 バニーの世界 を広げたのは伏線だったか。 シャニ クッキークリッカーが実装されていた。 甜花ちゃんとデビ太…
やったこと 気候 突然夏になっていた。 それにしても暑すぎる。 日常 靴が壊れて困ったので、新しい靴を買った。 大切にしたい。 とりあえずルクセンブルクはこの靴で行こう。 MD 篝火を楽しむために罪宝スネークアイを回していた。 なぜか勝率8割を越えて一気にマスター2まで上がった…
やったこと OCG yと遊戯王をした。 こっちはようやく完成した宝玉を、yはヴォルカニックを使った。 謎にGX対決。 思ったよりいい感じの戦いになった。 他にもセンチュリオンとか天盃龍と戦ったりした。 超重は誘発の受け方難しいな。 昼は焼肉を、夜はパスタ (五右衛門) を食べた…
やったこと MD 突然篝火が実装された。 環境が壊れる‥‥。 OCG 宝玉に入れるためおろかな副葬のSRを買ってきた。 ついでに心の架け橋のシクも2枚買って、シク3枚を揃えた。 宝玉の最初のノーパラありえないくらい高いなぁ。 Quine Effektというプログラミング言語があ…
やったこと 日常 やることが飽和している感をどうにかやって いく。 やっていけているのだろうか‥‥。 研究 地道に発表練習。 時間をどうにかしなければ‥‥。
やったこと MD DCは無事銅アイコンだった。 6454位。 やはり銅アイコンくらいなら労せず取れるらしい。 かといって銀を目標にするのは大変そうだなぁ。1000位くらいを目標にすべきか。 OCG 宝玉を組もうとしたら虹の架け橋が紛失していた。 魔法カードのストレージをソートし…