: ETAPS 3日目
やったこと OCGとMD 天盃龍の新規の罠がかなりしんどい。 簡単にメイン1をスキップしないで欲しい。 MDにもレスキューとか色々くるらしい。 レスキューさすがにつよいと思うんだけどなぁ。 ETAPS 3日目。 カンファレンス本番。 面白い話を色々聴けた。 SATソルバーを使っ…
Post List [30/154]:
: ETAPS 2日目
やったこと オートマトン カンファレンスの暇な時間に何かアルゴリズムの復習をしようと思ってGlushkov構成を実装した。 https://gist.github.com/makenowjust/0651fe23a694a22e3de92df4f2cbdd68 もう少し周辺の知…
: ETAPS 1日目
やったこと 日常 ありえん疲れている。 休みつつETAPSに参加していこう。 ETAPS というわけで一日目。 午前中はMARSに、午後はCMCSに参加していた。 Runtime VerificationとかLearningとか。 Toposをもうちょい分かった方が気がしている。
: ルクセンブルクに着いた
やったこと ルクセンブルク いざルクセンブルクへ。 成田空港から11時に出発して、ホテルに着いたのは現地時間24時だった。 時差が7時間あるので20時間近くかかっていることになる。ヤバい。 最初に成田からアムステルダムまで。 ここが14時間だった。 あまりに暇だったので2x2x…
: 力尽きていた
やったこと 日常 力尽きていた。 ある程度の発表の練習をしつつ、限界を感じている。 まあ荷造りもしてあるしどうにかなるだろう。
: ミリアニ3巻を受け取った
やったこと 日常 体調があまり良くなさげ。 休んだ方がいいかもしれない。 OCG スターチップのやつのパックを申し込んだ。 全部で11パック。 何かしらシク出るといいなぁ。 ミリアニ 3巻を受け取ってきた。 ついに3巻。時間があるときに観たい。 ついでにミリラジの曲のCDも買っ…
: リュックを買った
やったこと 日常 リュックを買った。 持っていく用。 内容量がそこそこあるので普通に便利そう。 使っていく。
: エイプリルフールだった
やったこと ミリ エイプリルフールでスライドパズルが実装されていた。 なんとなく理解できるのだけど、最後の方の詰めがよく分かっていない。 理解する前に終わってしまった‥‥。 バニーの世界を広げたのは伏線だったか。 シャニ クッキークリッカーが実装されていた。 甜花ちゃんとデビ太…
: 靴を買った
やったこと 気候 突然夏になっていた。 それにしても暑すぎる。 日常 靴が壊れて困ったので、新しい靴を買った。 大切にしたい。 とりあえずルクセンブルクはこの靴で行こう。 MD 篝火を楽しむために罪宝スネークアイを回していた。 なぜか勝率8割を越えて一気にマスター2まで上がった…
: yと遊戯王をした
やったこと OCG yと遊戯王をした。 こっちはようやく完成した宝玉を、yはヴォルカニックを使った。 謎にGX対決。 思ったよりいい感じの戦いになった。 他にもセンチュリオンとか天盃龍と戦ったりした。 超重は誘発の受け方難しいな。 昼は焼肉を、夜はパスタ (五右衛門) を食べた…
: 篝火が突然実装された
やったこと MD 突然篝火が実装された。 環境が壊れる‥‥。 OCG 宝玉に入れるためおろかな副葬のSRを買ってきた。 ついでに心の架け橋のシクも2枚買って、シク3枚を揃えた。 宝玉の最初のノーパラありえないくらい高いなぁ。 Quine Effektというプログラミング言語があ…
: やることが飽和している
やったこと 日常 やることが飽和している感をどうにかやっていく。 やっていけているのだろうか‥‥。 研究 地道に発表練習。 時間をどうにかしなければ‥‥。
: デデデデを観た
やったこと MD DCは無事銅アイコンだった。 6454位。 やはり銅アイコンくらいなら労せず取れるらしい。 かといって銀を目標にするのは大変そうだなぁ。1000位くらいを目標にすべきか。 OCG 宝玉を組もうとしたら虹の架け橋が紛失していた。 魔法カードのストレージをソートし…
: 発表練習をした
やったこと 研究 発表練習をした。 意識していないと言葉が出てこないことがあるのに注意したい。 もうちょい練習しないとなぁ。
: パワーツールドラゴンを買った
やったこと OCG 宝玉を組もうと思ってパワーツールドラゴンを探しに行った。 新テキストのホロが微妙に高かったので旧テキストのウルトラで妥協。 それでも500円くらいした。 ついでに武神帝カグツチのレリーフも見つけたので買っておいた。 2枚目を手に入れたらティアラメンツに入れた…
: 遊戯王の日に参加した
やったこと OCG side: PRIDE発売の遊戯王の日に参加してきた。 参加のために買ったAGE OF OVERLORDでS:P リトルナイトが出たのでそこ そこ運が良い。 ティアラメンツを使ったら3戦とも時間が足りなくなった。 ゴブリンライダー相手にいい感じのデュエルになっ…
: side: PRIDEの発売日
やったこと OCG side: PRIDEの発売日だった。 一応一箱開封。 相変わらず微妙な箱だけど、篝火は出たので嬉しい。 MD 引き続きDC。 15000ptを越えた辺りまで貯めた。 これで銅かな。
: DCを少しだけやった
やったこと 労働 時間が空いたのでタイポを直す仕事していた。 やることが複雑でなかなか進まない。 MD DCを少しだけやっていた。 とりあえず10000pt程度。
: スライドが完成した
やったこと 研究 スライドがひとまず完成した。 ここからスクリプトを入れなければ。 とりあえず一段落。
: data-reifyを実装していた
やったこと diary そろそろsrc/postsディレクトリのファイル数が多くなりすぎて微妙な気がしているので、階層を入れられるようにしたい。 当初はこんなに続けると思わなかったしなぁ。 Miranda そういえばPPLでakrさんに「Mirandaには昔unfree alg…