℘ make now just

℘ make now just

if you wanna break free you better listen to me

DecJanFebMarAprMayJunJulAugSepOctNov/post/2024-11-24-diary//post/2024-11-25-diary//post/2024-11-26-diary//post/2024-11-27-diary//post/2024-11-28-diary//post/2024-11-29-diary//post/2024-11-30-diary//post/2024-12-01-diary//post/2024-12-02-diary//post/2024-12-03-diary//post/2024-12-04-diary//post/2024-12-05-diary//post/2024-12-06-diary//post/2024-12-07-diary//post/2024-12-08-diary//post/2024-12-09-diary//post/2024-12-10-diary//post/2024-12-11-diary//post/2024-12-12-diary//post/2024-12-13-diary//post/2024-12-14-diary//post/2024-12-15-diary//post/2024-12-16-diary//post/2024-12-17-diary//post/2024-12-18-diary//post/2024-12-19-diary//post/2024-12-20-diary//post/2024-12-21-diary//post/2024-12-22-diary//post/2024-12-23-diary//post/2024-12-24-diary//post/2024-12-25-diary//post/2024-12-26-diary//post/2024-12-27-diary//post/2024-12-28-diary//post/2024-12-29-diary//post/2024-12-30-diary//post/2024-12-31-diary//post/2025-01-01-diary//post/2025-01-02-diary//post/2025-01-03-diary//post/2025-01-04-diary//post/2025-01-05-diary//post/2025-01-06-diary//post/2025-01-07-diary//post/2025-01-08-diary//post/2025-01-09-diary//post/2025-01-10-diary//post/2025-01-11-diary//post/2025-01-12-diary//post/2025-01-13-diary//post/2025-01-14-diary//post/2025-01-15-diary//post/2025-01-16-diary//post/2025-01-17-diary//post/2025-01-18-diary//post/2025-01-19-diary//post/2025-01-20-diary//post/2025-01-21-diary//post/2025-01-22-diary//post/2025-01-23-diary//post/2025-01-24-diary//post/2025-01-25-diary//post/2025-01-26-diary//post/2025-01-27-diary//post/2025-01-28-diary//post/2025-01-29-diary//post/2025-01-30-diary//post/2025-01-31-diary//post/2025-02-01-diary//post/2025-02-02-diary//post/2025-02-03-diary//post/2025-02-04-diary//post/2025-02-05-diary//post/2025-02-06-diary//post/2025-02-07-diary//post/2025-02-08-diary//post/2025-02-09-diary//post/2025-02-10-diary//post/2025-02-11-diary//post/2025-02-12-diary//post/2025-02-13-diary//post/2025-02-14-diary//post/2025-02-15-diary//post/2025-02-16-diary//post/2025-02-17-diary//post/2025-02-18-diary//post/2025-02-19-diary//post/2025-02-20-diary//post/2025-02-21-diary//post/2025-02-22-diary//post/2025-02-23-diary//post/2025-02-24-diary//post/2025-02-25-diary//post/2025-02-26-diary//post/2025-02-27-diary//post/2025-02-28-diary//post/2025-03-01-diary//post/2025-03-02-diary//post/2025-03-03-diary//post/2025-03-04-diary//post/2025-03-05-diary//post/2025-03-06-diary//post/2025-03-07-diary//post/2025-03-08-diary//post/2025-03-09-diary//post/2025-03-10-diary//post/2025-03-11-diary//post/2025-03-12-diary//post/2025-03-13-diary//post/2025-03-14-diary//post/2025-03-15-diary//post/2025-03-16-diary//post/2025-03-17-diary//post/2025-03-18-diary//post/2025-03-19-diary//post/2025-03-20-diary//post/2025-03-21-diary//post/2025-03-22-diary//post/2025-03-23-diary//post/2025-03-24-diary//post/2025-03-25-diary//post/2025-03-26-diary//post/2025-03-27-diary//post/2025-03-28-diary//post/2025-03-29-diary//post/2025-03-30-diary//post/2025-03-31-diary//post/2025-04-01-diary//post/2025-04-02-diary//post/2025-04-03-diary//post/2025-04-04-diary//post/2025-04-05-diary//post/2025-04-06-diary//post/2025-04-07-diary//post/2025-04-08-diary//post/2025-04-09-diary//post/2025-04-10-diary//post/2025-04-11-diary//post/2025-04-12-diary//post/2025-04-13-diary//post/2025-04-14-diary//post/2025-04-15-diary//post/2025-04-16-diary//post/2025-04-17-diary//post/2025-04-18-diary//post/2025-04-19-diary//post/2025-04-20-diary//post/2025-04-21-diary//post/2025-04-22-diary//post/2025-04-23-diary//post/2025-04-24-diary//post/2025-04-25-diary//post/2025-04-26-diary//post/2025-04-27-diary//post/2025-04-28-diary//post/2025-04-29-diary//post/2025-04-30-diary//post/2025-05-01-diary//post/2025-05-02-diary//post/2025-05-03-diary//post/2025-05-04-diary//post/2025-05-05-diary//post/2025-05-06-diary//post/2025-05-07-diary//post/2025-05-08-diary//post/2025-05-09-diary//post/2025-05-10-diary//post/2025-05-11-diary//post/2025-05-12-diary//post/2025-05-13-diary//post/2025-05-14-diary//post/2025-05-15-diary//post/2025-05-16-diary//post/2025-05-17-diary//post/2025-05-18-diary//post/2025-05-19-diary//post/2025-05-20-diary//post/2025-05-21-diary//post/2025-05-22-diary//post/2025-05-23-diary//post/2025-05-24-diary//post/2025-05-25-diary//post/2025-05-26-diary//post/2025-05-27-diary//post/2025-05-28-diary//post/2025-05-29-diary//post/2025-05-30-diary//post/2025-05-31-diary//post/2025-06-01-diary//post/2025-06-02-diary//post/2025-06-03-diary//post/2025-06-04-diary//post/2025-06-05-diary//post/2025-06-06-diary//post/2025-06-07-diary//post/2025-06-08-diary//post/2025-06-09-diary//post/2025-06-10-diary//post/2025-06-11-diary//post/2025-06-12-diary//post/2025-06-13-diary//post/2025-06-14-diary//post/2025-06-15-diary//post/2025-06-16-diary//post/2025-06-17-diary//post/2025-06-18-diary//post/2025-06-19-diary//post/2025-06-20-diary//post/2025-06-21-diary//post/2025-06-22-diary//post/2025-06-23-diary//post/2025-06-24-diary//post/2025-06-25-diary//post/2025-06-26-diary//post/2025-06-27-diary//post/2025-06-28-diary//post/2025-06-29-diary//post/2025-06-30-diary//post/2025-07-01-diary//post/2025-07-02-diary//post/2025-07-03-diary//post/2025-07-04-diary//post/2025-07-05-diary//post/2025-07-06-diary//post/2025-07-07-diary//post/2025-07-08-diary//post/2025-07-09-diary//post/2025-07-10-diary//post/2025-07-11-diary//post/2025-07-12-diary//post/2025-07-13-diary//post/2025-07-14-diary//post/2025-07-15-diary//post/2025-07-16-diary//post/2025-07-17-diary//post/2025-07-18-diary//post/2025-07-19-diary//post/2025-07-20-diary//post/2025-07-21-diary//post/2025-07-22-diary//post/2025-07-23-diary//post/2025-07-24-diary//post/2025-07-25-diary//post/2025-07-26-diary//post/2025-07-27-diary//post/2025-07-28-diary//post/2025-07-29-diary//post/2025-07-30-diary//post/2025-07-31-diary//post/2025-08-01-diary//post/2025-08-02-diary//post/2025-08-03-diary//post/2025-08-04-diary//post/2025-08-05-diary//post/2025-08-06-diary//post/2025-08-07-diary//post/2025-08-08-diary//post/2025-08-09-diary//post/2025-08-10-diary//post/2025-08-11-diary//post/2025-08-12-diary//post/2025-08-13-diary//post/2025-08-14-diary//post/2025-08-15-diary//post/2025-08-16-diary//post/2025-08-17-diary//post/2025-08-18-diary//post/2025-08-19-diary//post/2025-08-20-diary//post/2025-08-21-diary//post/2025-08-22-diary//post/2025-08-23-diary//post/2025-08-24-diary//post/2025-08-25-diary//post/2025-08-26-diary//post/2025-08-27-diary//post/2025-08-28-diary//post/2025-08-29-diary//post/2025-08-30-diary//post/2025-08-31-diary//post/2025-09-01-diary//post/2025-09-02-diary//post/2025-09-03-diary//post/2025-09-04-diary//post/2025-09-05-diary//post/2025-09-06-diary//post/2025-09-07-diary//post/2025-09-08-diary//post/2025-09-09-diary//post/2025-09-10-diary//post/2025-09-11-diary//post/2025-09-12-diary//post/2025-09-13-diary//post/2025-09-14-diary//post/2025-09-15-diary//post/2025-09-16-diary//post/2025-09-17-diary//post/2025-09-18-diary//post/2025-09-19-diary//post/2025-09-20-diary//post/2025-09-21-diary//post/2025-09-22-diary//post/2025-09-23-diary//post/2025-09-24-diary//post/2025-09-25-diary//post/2025-09-26-diary//post/2025-09-27-diary//post/2025-09-28-diary//post/2025-09-29-diary//post/2025-09-30-diary//post/2025-10-01-diary//post/2025-10-02-diary//post/2025-10-03-diary//post/2025-10-04-diary//post/2025-10-05-diary//post/2025-10-06-diary//post/2025-10-07-diary//post/2025-10-08-diary//post/2025-10-09-diary//post/2025-10-10-diary//post/2025-10-11-diary//post/2025-10-12-diary//post/2025-10-13-diary//post/2025-10-14-diary//post/2025-10-15-diary//post/2025-10-16-diary//post/2025-10-17-diary//post/2025-10-18-diary//post/2025-10-19-diary//post/2025-10-20-diary//post/2025-10-21-diary//post/2025-10-22-diary//post/2025-10-23-diary//post/2025-10-24-diary//post/2025-10-25-diary//post/2025-10-26-diary//post/2025-10-27-diary//post/2025-10-28-diary//post/2025-10-29-diary//post/2025-10-30-diary//post/2025-10-31-diary//post/2025-11-01-diary//post/2025-11-02-diary//post/2025-11-03-diary//post/2025-11-04-diary//post/2025-11-05-diary//post/2025-11-06-diary//post/2025-11-07-diary//post/2025-11-08-diary//post/2025-11-09-diary//post/2025-11-10-diary//post/2025-11-11-diary//post/2025-11-12-diary//post/2025-11-13-diary//post/2025-11-14-diary//post/2025-11-15-diary//post/2025-11-16-diary//post/2025-11-17-diary//post/2025-11-18-diary//post/2025-11-19-diary//post/2025-11-20-diary//post/2025-11-21-diary//post/2025-11-22-diary//post/2025-11-23-diary//post/2025-11-24-diary//post/2025-11-25-diary//post/2025-11-26-diary//post/2025-11-27-diary//post/2025-11-28-diary/
  • Less
  • More

Post List [5/157]:

prev|next

  • : 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.) から阿部里果さん、伊藤美来さん、中村温姫さん、田所あずささん、山口立花子さん…

  • : 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 グランプリの決勝だった。 ウィッチに運負けしたのと、ロイヤルに運負けしたので敗退。 ウィッチミラーで勝敗を決めるのは明確に運だと思うし、ロイヤル相手は最低限の運が無いとどう足掻いても負ける。 そして、ランクを少しやっていたらダイヤになった。 やはりグラ…

  • : モニタリングについて考えていた

    やったこと シャドバWB なんだかんだグランプリは突破した。 それはそれとして2敗していたのはどちらもロイヤルに対する運負けなのでどうしようもない気がする。 スタチウム2連打は再現性がある動き。 なんだかなぁ。 研究 モニタリングについて色々考えていた。 どういう感じで広げると…

  • : CDCLに改造した

    やったこと SAT 昨日書いたDPLLソルバをCDCLに改造していた。 CDCLについてはこのPDFを見るのが良いと思う。 とはいえresolutionを計算する部分をどう実装するかは考えどころ。 色々と実装を読んで考えていた。 シャドバWB グランプリの2幕目で相変わらずしょ…

  • : たこ焼き屋に行った

    やったこと SAT DPLLを監視リテラル込みで実装していた。 意外と簡単に実装できるのだなぁ、という感じ。 監視リテラルについてちゃんと理解できているのを確認できた。 OCG 6月に予約したエクソシスターデュエルセットを受け取りに行った。 あとデッキビルドパックの発売日なので…

  • : グランプリ勝てた

    やったこと 労働 そこまで体調が良くないのだけどはたらいていた。 大変ではないのだけど、ひたすら作業量の多いことをしていてしんどい。 シャドバWB なんかあっさりグランプリ4勝していた。 負けた一戦はバカみたいなリノセウスに運悪く負けただけなので気にならない。 ただただリノセウ…

  • : グランプリ勝てなすぎる

    やったこと シャドバWB グランプリがはじまっていたのでやっているけど4勝できる気がしない。 アグロにイジめられている。 スペルウィッチの限界を感じる。

prev|next