: nominalの成果をまとめている
やったこと 研究 nominal setの論文を修正していっている。 成果をちゃんとまとめておきたい。 いい研究になりそうだ。
Post List [4/157]:
: DCのやる気が無い
やったこと MD DCのやる気が無さすぎてDLv17で止まっている。 今月はランクも流石に無理かもしれない。
: WORLD PREMIERE PACK 2025の発売日だった
やったこと OCG WORLD PREMIERE PACK 2025の発売日。 巳剣がおそろしい価格になっていて震えている。 天叢雲之巳剣のプリシクが出たので池袋に 売りに行った。 8000円で売れたのでかなり高く売ったのではないかと思う。 その後はyと池袋の銀だこ酒場に行ったり…
: 塩ラーメンを食べた
やったこと 日常 労働をしていた。 昨日まで京都だったので疲れていてしんどい。 あと、父親と二人でラーメン屋に行った。 おいしい塩ラーメンだった。覚えておこう。 研究 nominal setについてさらに考察を深めていた。 思ったよりもこれは面白い問題かもしれない。
: nominal setについて考えていた
やったこと 研究 京都2日目。 18時発の新幹線で帰るつもりだったがさすがにスケジュール的に厳しかった。 おみやげに、前に来たとき (関西Ruby会議のとき) に買った漬け物を買って帰った。 nominal setについてかなりの時間考えていて、相当議論が深まったのではないかと…
: 京都に来た
やったこと 研究 諸事情により京都に来た。 朝7時に家を出て京都に着いたのは12時頃だった。 東京駅に30分くらい居たので余裕はあるのだけど、そこそこつらい。 なんだかんだ色々と学びはある。
: 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…