: モニタリングについて考えていた
やったこと シャドバWB なんだかんだグランプリは突破した。 それはそれとして2敗していたのはどちらもロイヤルに対する運負けなのでどうしようもない気がする。 スタチウム2連打は再現性がある動き。 なんだかなぁ。 研究 モニタリングについて色々考えていた。 どういう感じで広げると…
Post List [18/169]:
: CDCLに改造した
やったこと SAT 昨日書いたDPLLソルバをCDCLに改造していた。 CDCLについてはこのPDFを見るのが良いと思う。 とはいえresolutionを計算する部分をどう実装するかは考えどころ。 色々と実装を読んで考えていた。 シャドバWB グランプリの2幕目で相変わらずしょ…
: たこ焼き屋に行った
やったこと SAT DPLLを監視リテラル込みで実装していた。 意外と簡単に実装できるのだなぁ、という感じ。 監視リテラルについてちゃんと理解できているのを確認できた。 OCG 6月に予約したエクソシスターデュエルセットを受け取りに行った。 あとデッキビルドパックの発売日なので…
: グランプリ勝てた
やったこと 労働 そこまで体調が良くないのだけどはたらいていた。 大変ではないのだけど、ひたすら作業量の多いことをしていてしんどい。 シャドバWB なんかあっさりグランプリ4勝していた。 負けた一戦はバカみたいなリノセウスに運悪く負けただけなので気にならない。 ただただリノセウ…
: グランプリ勝てなすぎる
やったこと シャドバWB グランプリがはじまっていたのでやっているけど4勝できる気がしない。 アグロにイジめられている。 スペルウィッチの限界を感じる。
: SATソルバーを作っていた
やったこと SAT CDCLソルバを一通り形にした。 のだけど、微妙にバグっている気がする。 直すのがしんどい‥‥。
: まだまだ疲れてる
やったこと 日常 まだまだ疲れているなぁ、という印象。 さすがに数日ではどうにもならない部分もある。 休もう‥‥、と言って眠りすぎな 気もする。 がんばっていこう。 あとQuineを書こうと思っていた言語が、すでにQuineを書いていた言語だった。 そういうこともあるらしい。
: バナンザ100%クリアした
やったこと バナンザ 100%クリアした。 バナナ1000本にするためのバナチップ集めがただの作業だった。 普通にやってて集まらない量要求しないでくれ。 とはいえ、最後の一枚絵には満足感があった。 次は何やろうか。 MD シンクロフェス最終日だった。 ようやくDLv Maxに到…
: 日本に戻ってきた
やったこと 帰宅 飛行機の中ではバナンザをやっていた。 ボスラッシュっぽいのが妙に強化されたボスで、そこまでの経験があまり生きない形だったのが普通に残念だった。 何をさせたいんだ。 北京空港に着いたのは4時30分くらいだった。 予定よりもかなり早かった。 早く着いても暇なだけな…
: Marktoberdorf 11日目
やったこと Marktoberdorf 真の最終日。 朝食のあとバスで空港まで連れていってもらい、北京経由で日本へと帰る。 空港で色々お土産を買った。 アイスワインを見つけたけれど49ユーロで悩んだが、せっかくなので買っていくことにする。 あとはプレッツェルとか無駄にデカいハリ…
: Marktoberdorf 10日目
やったこと 終戦 平和を祈って。 Marktoberdorf 実質的な最終日。 講義よりも手元でCDCLについての理解を深めることに集中していた。 かなり理解できたと思う。 と同時に、よくできたアルゴリズムだなぁと感心していた。 最後のFarewell Partyで出た巻き寿司…
: Marktoberdorf 9日目
やったこと Marktoberdorf 昨日のexcursionであまりに消耗したため、完全にダメになっていた。 苦手なことはやるべきではない。 あと全体的に詳細すぎる話が多くてあまり学びがなかった。 しいて言うならsimplification orderingという言葉は覚え…
: Marktoberdorf 8日目
やったこと Marktoberdorf 今日はexcursionがあった。 バスで南の方まで移動して、そのあとは徒歩でここに向かった。 https://kaiserschmarrn-alm.de 結構遠くて1時間半くらいかかったのではないかと思う。 途中、川沿いに洞窟のようなと…
: Marktoberdorf 7日目
やったこと Marktoberdorf 2週目の2日目。 2週目の方が丁寧な講義が多くて分かりやすいような気がする。 久し振りにSAT Solverを作りたい気持ちになっている。 やってみるべきかもしれない。 Bolt Boltというプログラミング言語がある。 実行速度をウリに…
: Marktoberdorf 6日目
やったこと Marktoberdorf https://x.com/make_now_just/status/1954798283739529675 2週目 。 講師陣が入れ替わり内容が一新される。 個人的に興味深かったのは、コンパイラのテストをする話かもしれない。 わりと実践的…
: Marktoberdorf 5日目 (休日)
やったこと Marktoberdorf 日曜日なので休日。 どこかに行くか悩んでいたのだけど、32ユーロでバイエルン州内の周遊チケットがあることに気付いたので、ダッハウに行くことにした。 ミュンヘンから北に少し行ったところ。ダッハウには強制収容所の跡地がある。 多分それしかない…
: Marktoberdorf 4日目
やったこと Marktoberdorf LPに関する直感が足りてないときにそういう話を色々されても分からんなぁ、と思いながら聞き流していた。 大まかな流れはイメージできるのだが、細かい話は全く分からない。 諦めも肝心だろう。 NetKATに関しては、逆に予習しすぎてあまり講義で…
: Marktoberdorf 3日目
やったこと Marktoberdorf superpositionの気持ちが分かりそうで分かっていない。 とりあえず、first-orderならどうにかなるのが、higher-orderになるとすごく難しくなるということは分かった。 SAT関連というか、resolutionの話…
: Marktoberdorf 2日目
やったこと Marktoberdorf 引き続きSAT関連の話が多い。 ただ、より詳細に踏み込んできたので面白くなってきた 気がする。 とくに、グラフっぽい問題をSATにエンコードして解決する話は興味深かった。 点が何個あれば凸n角形 (-gon) が作れるかという問題や、逆に何…
: Marktoberdord 1日目
やったこと Marktoberdorf SAT関連の話が多かった気がする。 何にしても裏にSATが使われているので、意識せざるを得ないということなのかもしれない。 個人的にはクレカの決済プロトコルを検証した話が興味深かった。 Tamarinは本当に使われているんだなぁ、という気…