℘ make now just

℘ make now just

if you wanna break free you better listen to me

NovDecJanFebMarAprMayJunJulAugSepOct/post/2024-10-13-diary//post/2024-10-14-diary//post/2024-10-15-diary//post/2024-10-16-diary//post/2024-10-17-diary//post/2024-10-18-diary//post/2024-10-19-diary//post/2024-10-20-diary//post/2024-10-21-diary//post/2024-10-22-diary//post/2024-10-23-diary//post/2024-10-24-diary//post/2024-10-25-diary//post/2024-10-26-diary//post/2024-10-27-diary//post/2024-10-28-diary//post/2024-10-29-diary//post/2024-10-30-diary//post/2024-10-31-diary//post/2024-11-01-diary//post/2024-11-02-diary//post/2024-11-03-diary//post/2024-11-04-diary//post/2024-11-05-diary//post/2024-11-06-diary//post/2024-11-07-diary//post/2024-11-08-diary//post/2024-11-09-diary//post/2024-11-10-diary//post/2024-11-11-diary//post/2024-11-12-diary//post/2024-11-13-diary//post/2024-11-14-diary//post/2024-11-15-diary//post/2024-11-16-diary//post/2024-11-17-diary//post/2024-11-18-diary//post/2024-11-19-diary//post/2024-11-20-diary//post/2024-11-21-diary//post/2024-11-22-diary//post/2024-11-23-diary//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/
  • Less
  • More

Post List [3/154]:

prev|next

  • : 本当に休みたい

    やったこと 日常 あまりに疲れている。 本当に限界に思う。 研究 色々やれてはいるのだけど、休まないの根本的には進められない気がする。 あまりに辛い。

  • : 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勝できる気がしない。 アグロにイジめられている。 スペルウィッチの限界を感じる。

  • : まだまだ疲れてる

    やったこと 日常 まだまだ疲れているなぁ、という印象。 さすがに数日ではどうにもならない部分もある。 休もう‥‥、と言って眠りすぎな気もする。 がんばっていこう。 あと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という言葉は覚え…

prev|next