: 京都に来た
やったこと 研究 諸事情により京都に来た。 朝7時に家を出て京都に着いたのは12時頃だった。 東京駅に30分くらい居たので余裕はあるのだけど、そこそこつらい。 なんだかんだ色々と学びはある。
Post List [12/164]:
: WPPや烙印ストラクを予約した
やったこと OCG WORLD PREMIERE PACK 2025と烙印ストラクの予約をした。 烙印ストラクには期待している。 WPPも巳剣が楽しみ。 日常 餃子の王将に麻婆ラーメンがあったので食べてみた。 意外と悪くないかもしれない。 ご飯が一緒にあるといい感じ。
: ジャンクのまぜそばを食べた
やったこと 日常 ひさしぶりにジャンクガレッジのまぜそばを食べた。 やはりジャンクはまぜそばだと思った。 日曜と祝日に挟まれた日なのでなかなかやる気が出ない。 仕方ない。
: BBQだった
やったこと BBQ Discord鯖の面々でBBQをやった。 場所は舎人公園。絶妙にアクセスが悪く、1駅2駅の電車とバスを乗り継いでいくことになった。 なんだかんだで議長と久し振りに会えたのが嬉しい。 10年振りくらいなのではないかと思う。 年末の忘年会などもやっていきたい。 …
: Ruby::Boxにコメントした
やったこと Ruby Ruby::Box という名称について引っ掛かりが残っていたので、一応指摘しておいた。 https://bugs.ruby-lang.org/issues/21385#note-30 とりあえず、見える形で議論が残ってほしいという願い。
: Cookie Clickerに飽きた
やったこと 日常 労働をしていた。 朝が雨だったせいで、一日を通してかなり体調が悪かった気がする。 Cookie Clicker 飽きてきたのでJavaScriptを使ってクリックを自動化していた。 あとは転生を何度か繰り返していたら、とりあえず最後のやつまで買うことはできた。…
: OD3枚使ってアスタロトの宣告を引けなかった
やったこと シャドバWB 手札が0コスのOD3枚とアングレだけのときにサタンを使って、そこからODを3回打ったのに、アスタロトの宣告が底にあって負けるゲームがあった。 神がお前だけは絶対に勝たせないと言っているようだった。どういうことやねん。 アングレが無ければ理論値負けだった…
: 大逆転裁判1&2をクリアした
やったこと 大逆転裁判 ついにエンディングまで辿り着いた。 ヴォルテックスをしぶとい奴だなと思いつつ、証拠とかが綺麗につながっていくのでとくに詰まることなくテンポ良く進んでいき、とても気持ちよかった。 あとアイリス、ワトソン関連の真相には脱帽。面白いミスリードの連続だった。 1…
: 大逆転裁判をやっていた
やったこと 研究 ひさしぶりにnominalについて考えていた。 あとは雑務を色々。 京都行きの新幹線を取るなどしていた。 大逆転裁判 そろそろ終わらせたいので最終話をやっていく。 御琴羽とホームズの共同推理がとても楽しかった。 あともうちょいな気がするので、今週中には終わらせ…
: 研究をしている
やったこと 研究 やるべきことをやっている。 他人の論文をちゃんと読むのも悪いことではない。 学んでいこう。 SATソルバ LRB (learning rate branching) について勉強していた。 あとGNNベース のアプローチについても。 今の時代でも、普通に実装する…
: trail savingについて学んでいた
やったこと SATソルバ trail savingについて学んでいた。 アイディア自体は単純なのだな、と思う。 やはりリスタート以降は劇的に高速化しそうなアイディアは無いのかもなぁと感じていた。
: ミリシタが便利になっていた
やったこと 遊戯王 海外 (TCG) でサロスナンナが禁止になっていた。 そういう方向で禁止を出すのか。うーん。 あとオシリスレッドのスリーブの発売日だったのだけど、のんびりしていたら買いそびれた。 まあいいか‥‥。 ミリシタ まとめてオファーが実装されていた。 結構期待してい…
: ライゼオルを組んだ
やったこと MD なんとなくライゼオルも組んでいた。組めたので。 展開を考えるほどではないけど、持ってるカードとかラグに対してどういう盤面にするのかは考えておかないとなぁと思った。 とはいえ今の環境はM∀LICEだとも思う。
: 真実ウィッチで遊んでいた
やったこと SATソルバ 何をやっても高速化につながらず悲しい。 そろそろ別のことをやった方がいいかもなぁ。 シャドバWB ライオウィッチ (真実ウィッチ) を組んで遊んでいた。 ライオを引ければそこそこ面白いが、そうでないとあまりにどうにもならなくて苦しいデッキだと思った。 …
: YAPC::Fukuokaに採用された
やったこと MD 新弾が来た。 M∀LICE一強時代のはじまり。 本当にM∀LICE一強になると思う。 どうすればいいんだ‥‥。 YAPC::Fukuoka 採択された。 やったー。去年のリベンジに成功した。 https://x.com/make_now_just/status…
: lubyシーケンスを実装していた
やったこと 日常 先週から引き続き疲労感がある。 休みたい‥‥。 MD あまりやっていなかったので少しだけやってダイヤ4にはした。 この段階だったらライゼオルに閃刀天盃で抗えるんだけどなぁ。 SATソルバ lubyシーケンスにリスタートを実装してみていた。 なぜか実装がバグって…
: 現代的なSATソルバについて考えていた
やったこと SATソルバ 一旦、開発を進めるのではなく色々なSATソルバ実装の詳細を学んでいた。 CaDiCaLとかすごい実装だと思うのだが、中々詳細が理解できない。MiniSATと比べると難しいなぁ。 CaDiCaL辺りから現代的なSATソルバと呼べるものになっているのだとい…
: SATソルバのベンチマークの仕組みを作った
やったこと SATソルバー SATLIB Benchmark ProblemにあるUniform 3-SATのuf250-1065/uuf250-1065を全部実行して時間を計測した り、実行時間を比較したりするスクリプトを書いた。 ついでにこれまでのバージョンのスナップショット…
: ディスカバリーをクリアした
やったこと MD WCS優勝デッキのトライアルをやっていた。 ライゼオルを使ったのだけど、やたらと増Gとフワロスを投げられて苦戦していた。 7戦中7戦投げられたのでつらい。コイントス3-4で勝率も3-4。苦しい。 ディスカバリー スターリーを全回収して、ラスボスを倒すところまで…
: 気圧が苦しかった
やったこと 日常 労働をしていた。 が、気圧のせいで全くはかどらなかった。 苦しい‥‥。 ディスカバリー 着々と進めている。 最終面のところまで進めた。 とりあえず雪だるまのあたまを落とさずに完成をミッションに入れた社員はクビにしていいと思う。 そんなに労せずクリアできたけど、…