: trail savingについて学んでいた
やったこと SATソルバ trail savingについて学んでいた。 アイディア自体は単純なのだな、と思う。 やはりリスタート以降は劇的に高速化しそうなアイディアは無いのかもなぁと感じていた。
Post List [10/162]:
: ミリシタが便利になっていた
やったこと 遊戯王 海外 (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。苦しい。 ディスカバリー スターリーを全回収して、ラスボスを倒すところまで…
: 気圧が苦しかった
やったこと 日常 労働をしていた。 が、気圧のせいで全くはかどらなかった。 苦しい‥‥。 ディスカバリー 着々と進めている。 最終面のところまで進めた。 とりあえず雪だるまのあたまを落とさずに完成をミッションに入れた社員はクビにしていいと思う。 そんなに労せずクリアできたけど、…
: 8番出口を観た
やったこと 8番出口 観てきた。 国宝とか近畿地方とか不思議の国でアリスととか、色々観たいのはあったのだけど、時間的に一番都合がよかったのが8番出口だったので。 ピカデリーの1番シアターだった。箱がデカい。 期待していたよりも面白かった。 8番出口のゲーム性を、化物語のまよいマ…
: スターリーワールドを買った
やったこと 日常 あまりに異常に疲れているので休み休み生活している。 無理はしない方がいい。 MD やれていなかったギャンブルイベントをやった。 レンタルデッキで、コイントスの方とダイスの方どちらも使ってみた。 相手も大体レンタルっぽくて、それなりに楽しくやれた気がする。 ディ…
: 本当に休みたい
やったこと 日常 あまりに疲れている。 本当に限界に思う。 研究 色々やれてはいるのだけど、休まないの根本的には進められない気がする。 あまりに辛い。
: compositional learningについてまとめていた
やったこと 日常 昨日、MDで無理矢理マスターに滑り込んだせいで非常に疲れている。 そもそも限界寄りだったのでかなりしんどい。 一旦休みが欲しい。 研究 compositional learningについてまとめていた。 これを発表するのか‥‥。うーむ。
: MOS最後のリリイベだった
やったこと ミリオンライブ MOS最後のリリイベ。 参加者は、07 (All Alone) から山崎はるかさん、平山笑美さん、08 (涙を知ること)から稲川英里さん、原嶋あかりさん、09 (I.V.) から阿部里果さん、伊藤美来さん、中村温姫さん、田所あずささん、山口立花子さん…
: RubyKaigi 2025 follow upイベントだった
やったこと RubyKaigi 2025 follow up 発表してきた。 発表スライドは以下の通り。 前日に気合いで作った。 https://speakerdeck.com/makenowjust/recent-my-study-and-ruby-contributions…
: SATソルバを公開した
やったこと rosylilly祝わNight 日程が変わっていることに気付いたので参加する。 https://x.com/make_now_just/status/1961189542100439184 行くぞ！ YAPC::Fukuoka プロポーザルを出した。 こういう話を…
: SATソルバを実装していた
やったこと SATソルバ RubyでCDCLソルバを実装した。 Scalaで実装したときよりも細かく実装したので、かなりちゃんとしたSATソルバになった。 具体的に実装した機能は以下の通り。 DPLL 監視リテラル CDCL VSIDS LBDによるリスタート・学習節の削除 現…
: テーマクロニクルを終えた
やったこと 日常 相当疲れている気がする。 先週そこまで休めなかったのが問題だったのかもしれない。 しっかりと休みたいけど、色々と余裕がない。 MD テーマクロニクルの石を回収した。 結局最後までレンタルのジュラックを使っていた。 途中、2連続でニビルを投げられたあとにミラーが…
: グランプリの決勝だった
やったこと シャドバWB グランプリの決勝だった。 ウィッチに運負けしたのと、ロイヤルに運負けしたので敗退。 ウィッチミラーで勝敗を決めるのは明確に運だと思うし、ロイヤル相手は最低限の運が無いとどう足掻いても負ける。 そして、ランクを少しやっていたらダイヤになった。 やはりグラ…