: シャニのリリイベだった
やったこと シャニ リリイベとシャニラジの動画回。 なんか色々あった感じ。 シャニのソロ曲も悪くはないんだけどなー。 そういえば2ndは今週末。 どうしたものか。 APEX ようやくゴールドになった。 相当このゲームが下手っぽい。
if you wanna break free you better listen to me
やったこと シャニ リリイベとシャニラジの動画回。 なんか色々あった感じ。 シャニのソロ曲も悪くはないんだけどなー。 そういえば2ndは今週末。 どうしたものか。 APEX ようやくゴールドになった。 相当このゲームが下手っぽい。
やったこと シャニ ソロCDを買ってきた。 聞かなきゃ‥‥。 というかリリイベが近いな。明日かよ。 やる気 異次元にいったまま帰ってこない。 助けてくれ〜。
やったこと Introducing Crystal きていた0.36.1対応の PR をマージした。 @kachick さんありがとうございます。 それと GitHub Actions で CI するようにした。 CircleCI の時代は終わったのだ、多分。
やったこと ReDoS やっていきな気持ちになったので、新しい VM を作っている。 基本ブロックを持つようにしたので解析がしやすいはず。 まあまだ実行部分を作ってないんだけど。
やったこと 風邪気味 風邪っぽさがある。 単純に花粉症な気もするけど。 ともかくしんどい。うーん。 雀魂 思い付きでやってみたらなんか裏ドラ6載ってさすがに笑った。 ヤバすぎる。
やったこと APEX Switch 版をやってみている。 これはこれで面白いけど、別ゲーなのではないかという気持ちがある。 DFA Hopcroft のアルゴリズムと Moore のアルゴリズムを実装した。 partition refinement を使ってちゃんと実装したこと…
やったこと DFA DFA の最小化のアルゴリズムの際に partition refinement というデータ構造を使う。 これは n 個の要素の集合の細分の計算が、細分をする集合の大きさでできるもの。 つまり、{1, 2, 3 | 4, 5} に対して {2, 3, 4} …
やったこと diary なんか NPM でインストールすると gatsby develop できるけど、Yarn だとダメみたいな訳分からんことになっている。 どうしたらいいんだこの場合‥‥。 そろそろ様々な設定周りを含め てどうにかした方がいいかもしれない。
やったこと Scala base.g8 のメンテナンスをした。 g8 にすると使うのは楽だけど、バージョンアップの確認が面倒だな‥‥。 どうしたものか。 エヴァ シン・エヴァンゲリオン(終端記号)を観てきた。 2時間30分。長いようで一瞬だった。 色々思うことはあるのだけど、何…
やったこと Brzozowski のアルゴリズム 数日悩み続けて一応理解できたと思う。 完全に理解したとは言い難いが。 概念が多くて証明が謎に複雑な気がする。 わりと積年の仕事って感じもするし、間の文脈が抜けてるんだろうな、とは思うのだけど。 (Brzozowski は des…
やったこと エヴァ なんとなく初日のチケットが買えたので買った。 楽しみ。 APEX ひさしぶりなのでダメになってる。 やはり毎日やらないとダメだな。 ウマ娘 アグネスタキオンつよいなぁって言ってる。 スキルゲーすぎる。 キャラ的にも良い。 固有衣装欲しいな。
やったこと ウマ娘 オグリキャップっつよいなぁって言いながらやってる。 スキルがありえんつよい。 学び ここ最近 Brzozowski のアルゴリズム の一般化について考えてる。 アトミックな NFA というやつだと、リバースして決定化したときに最小になるらしい。 しかしよく分か…
やったこと ウマ娘 キングヘイローでがんばってるけどURAファイナル勝てん。 中距離に焦点を合わせつつ途中で短距離も勝たなきゃいけないのがしんどい。 シャニ 灯織の誕生日。 誕生日おめでとう! ミリシタ イベントやっていき。 曲は好きなのでやっていきたいが時間がない‥‥。
やったこと ひな祭り ひな祭りです。 だからといってどうということはないが。 プリコネ 300連プリンセス若月した。 スクリーンショットは略。 https://twitter.com/make_now_just/status/1367055553260781573
やったこと 可算 NonEmptySet とか NonEmptyMap に対応した。 なんで cats の NonEmptySet とかは SortedSet を要求するんだろう‥‥。 仕方ないので Universe の indexOf を使った Ordering の実装を追加…
やったこと ロコ 誕生日おめでとう! 今年も彼女にとって良き一年でありますように。 ミリオン 秋葉原に行ってミリオンの色々見てきた。 いい衣装だな。 可算 IndexOf と Map を組み合わせる MapFunction を追加して、関数の引数の部分に関数が来るようなものでも…
やったこと 可算 Universe に imap メソッドを追加した。 変換系のメソッドはあった方が良さげ。 そして cats のデータ構造に対する実装を追加した uchu-cats モジュールを作った。 今のところは Ior とか Chain に対応してる感じ。 あと Uni…
やったこと ミリオンライブ 8周年おめでとうございます。 3.9周年のやつも行かなきゃな……。 プリンセスプリンシパル 劇場版を見てきた。 ストーリーも作画も良かった。 が、この調子だと完結にどれくらいかかるのか。 何部作予定なんだろう‥‥。そして予定通りに公開してくれるのか。…
やったこと 知識 SOA (Single-Occurrence Automaton) から SORE (Single-Occurrence Regular-Expression) を構築する方法を学んでいた。 これは忘れないうちに実装したい。 あと、もっと体系立った知識を付けよ…
やったこと 知識 ひたすら整理するぞという気持ちで Scrapbox のワークスペースを作った。 今年は知識を整理することに力を入れていきたい。 記事も書いていくかな。 ウマ娘 やってみている。 結構むずいが。 マチカネフクキタルで勝ちたい‥‥が、そのためには 他のウマ娘を育てた…