: _whyについて僕が知っていること
はじめに whywaita Advent Calendar 2025 12日目担当のmakenowjustです。 whywaita Advent Calendar 10周年 Party に参加してしまったばかりに、今日こうして記事を書くことになっています。 10日目と11日目は…
if you wanna break free you better listen to me
はじめに whywaita Advent Calendar 2025 12日目担当のmakenowjustです。 whywaita Advent Calendar 10周年 Party に参加してしまったばかりに、今日こうして記事を書くことになっています。 10日目と11日目は…
やったこと whywaita Advent Calendar 2025 12日目の記事を書いた。 https://x.com/make_now_just/status/1999279287032336567 diaryで日記以外の記事を書くことは稀なのだけど、blogの内容でも…
やったこと ZA DLCを続けている。 ボックスが溢れないかだけ心配。捕まえるたびに逃がしている気がする。 研究 実験のセクションをとりあえず書いた。 完成版というわけじゃないけど、悪くない内容になったのではないかと思う。 日常 過去に治療した歯の詰めものが外れて異常に痛かった…
やったこと 研究 ようやく実験を完全に終えた。 パラメータの調整とか色々やっていたので永遠に終わらないかと思った。 これも全てNλが遅すぎるのが悪い。本当にそう思う。 とりあえず一段落したので、論文を書き進めなければいけない。しんどい。 ZA 実験結果が出るまで暇だったのでZA…
やったこと ZA ボックスに図鑑順に並べるのをようやく完遂した。 ダンバルがなかなか捕まらなかったのと、雨の日しか出ないヌメラが鬼門だった。 DLCに間に合ってよかった。 あとはDLCのために適度にボックスを空けなければ‥‥。 研究 DFAのランダム生成をequality sy…
やったこと 研究 実験の結果が出るまでにどうしても時間がかかるので、その間にIntroductionの内容を整理していた。 実際Introductionを書ける段階にあるような気がするので、やっていった方がいいのだろう。 実験結果の待ち時間の大半がNλなのはしんどいところ。 ど…
やったこと 研究 実験も一区切り付いてきた。 というか、どういう感じでまとめるのか方向性が定まってきたので論文を書き始めている。 実験自体はまだまだ時間がかかる。Nλが遅いだけなのだが‥‥。 ZA ボックスに図鑑順に並べていた。 微妙に足りない御三家をがんばって集めたりしていた…
やったこと 研究 実装を色々やっている。 様々な言語に対して学習できるようにするために、先行研究の実装も弄ったりしていた。 C++が分からなすぎてつらい。
やったこと 研究 minimizeの実験の結果を眺めている。 どうやってまとめればいいんだろうな。 マリカワ アプデがきたのでフレンドと遊んでいた。 青こうらが大量に飛んでくる中をパワフルキノコで駆け抜けていくのが絶妙に面白い。 あと一応プレイングがあるのが面白いところかもしれ…
やったこと 研究 minimizeの実装をしている。 そのためにnominal DFAを書き出したり読み込んだりする必要があるっぽい。 とりあえずequality symmetry版の形式も考えて、Nλの実装とかにも反映させた。 既存実装を大きく弄った気がする。 実験を走らせは…
やったこと 研究 実験を走り切った。 実行時間は1593分かかっていたらしい。26時間か‥‥。 もう一度実行するのは厳しいなぁ。 次はminimizeか‥‥。 一応やらねばなぁ。 マリカワ サバイバルを全て☆3にした。 セクション1で1位取れるかは運ゲーだと思う。 差がつくポイ…
やったこと 研究 実験をはじめている。 プロセス周りは相変わらずよく分からないが、調整していたらいい感じに動くようになったのでこれで行く。 でもRubyとかで管理した方がいいんじゃないかという気もしている。IO.pipe を使いたい。 実験の結果が出るのは明日になりそう。何時間…
やったこと 研究 実験をするためのコードを整理している。 様々なプログラムを安定して動くようにするのは難しい。 とりあえずlearningの実験からやっていきたい。 外部プロセスの入出力を教師にしたいのでいい感じに名前付きパイプを使う必要がある。 なんかロックされたりしてよく分…
やったこと ZA 一晩放置していたらミニリュウの色違いを手に入れた。 ついでにエモンガの色違いとかも手に入ったのでいい感じ。 イーブイは手に入らなかった。晴れている昼間にしたスポーンしないので、そもそもの抽選回数が少ないっぽい。 次はチルタリスとかフォッコの出る場所でベンチ放置…
やったこと 研究 実装についてとオートマトン学習についての部分を書き終えた。 分量以上に、何を書けばいいのかが難しい部分だった。 あとは実験。やっていくぞ。 ZA 連射コンを使って無限にベンチで時間を切り替えて、色違いを出すやつをやっている。 意外と色違いは出るもので、ラルトス…
やったこと 日常 労働をしていた。 実は昨日もやっていたが。 二日連続でやると色々分かってきて良かった。 とりあえず、エラーメッセージが虚空に吸い込まれていくとしんどいということを久し振りに感じた。 エラーはちゃんとログに出した方が良い。 OCG K9アルトメギアのスリーブを神…
やったこと Recheck Scala 3へと切り替えるPRを作った。 https://github.com/makenowjust-labs/recheck/pull/1651 scoverage が Scala.js + Scala 3 のときに問題があるっぽいので、その場…
やったこと Recheck Valibotに報告していた脆弱性のCVEが発行されて、無事新バージョンが公開された。 https://x.com/FabianHiller/status/1993418274110153103 せっかくなので eslint-plugin-redos…
やったこと Recheck Valibotに送っていた脆弱性の関係でGitHub Sponsorsを通して$20貰った。 感謝! 本当にありがとうございます。 https://x.com/make_now_just/status/1993138322819236092 脆弱性報…
やったこと ZA ZAロワイヤル∞15周を終えて、ようやくえいえんのはなフラエッテを手に入れた。 あとメガゲッコウガを使いたかったのでランクマッチも少しやっていた。 ゼルネアス堅すぎだろ。 あとはトレーナー戦1000回‥‥。 道程は長いな。 ミリシタ ロコ新規の存在を見落として…