: DCを少しだけやった
やったこと 労働 時間が空いたのでタイポを直す仕事していた。 やることが複雑でなかなか進まない。 MD DCを少しだけやっていた。 とりあえず10000pt程度。
Post List [28/152]:
: スライドが完成した
やったこと 研究 スライドがひとまず完成した。 ここからスクリプトを入れなければ。 とりあえず一段落。
: data-reifyを実装していた
やったこと diary そろそろsrc/postsディレクトリのファイル数が多くなりすぎて微妙な気がしているので、階層を入れられるようにしたい。 当初はこんなに続けると思わなかったしなぁ。 Miranda そういえばPPLでakrさんに「Mirandaには昔unfree alg…
: スライドを作っていた
やったこと 研究 スライドを作り続けていた。 完成にかなり近付いた気がする。 完 成度も高くなってきたので、早く仕上げて発表の練習をしたい。 やることが多いけどどうにかなるはず。
: 麺屋はるかに行った
やったこと 日常 麺屋はるかに行った。 やはり東京都内ではトップクラスの台湾まぜそばの店なのではないかと思う。 今日は坦々まぜそばを食べた。 正直何が違うのか分からん。 八潮にはなびがあるということに気付いたので今度行きたい。
: P3Rをすすめていた
やったこと ぷよぷよ momokenが出るというので公式の大会を見ていた。 ゆうき君つよい。 成長したら一体どうなってしまうのだろうか‥‥。 P3R ようやく12月が終わった。 ほとんどの時間はタルタロスだった気がするけど。 かなり終わりが近付いてきた。 寂しくなってきたな。
: DLv20にした
やったこと MD DC 1st stageをやっていた。 とりあえずDLv20まで。 超重カラミティを使っていた。 やはりデッキがつよいのだと思う。 一度全持ち相剣に負けたのが相当堪えた。 相手がこちらの想像の100倍下手で10000倍運が良いことを想定しなければいけないならま…
: スライドを作っていた
やったこと 研究 昨日に引き続き発表スライドを作っていた。 一山越えた気がする。 やっていくぞ。
: マスターになった
やったこと 研究 スライドを作り続けている。 とりあえず中盤辺りまで。 やることが多い‥‥。 MD 超重をカラミティ型にしてランクをやっていた。 かなり順調にランクを上げてマスター5になった。 デッキがつよい。 ここまでやっても展開が良く分からなかった。 後手の打点の作り方はな…
: スライドを作り始めた
やったこと 研究 中々手が動かなかったスライドをどうにか作り始めた。 間に合わせなければ‥‥。
: Lensを考えていた
やったこと Lens なんかGrateについての記事を見て面白そうだなぁと思ったので色々実装してみた。 https://gist.github.com/makenowjust/73feb8d1752b7861f4dc50e91f8870e6 ((S => A) => B) =>…
: P3Rを進めていた
やったこと P3R 11月・12月辺りをやっていた。 コミュが間に合うのか不安すぎる。 体調 花粉のせいなのかかなり体調が悪い。 限界っぽい。
: 中本に行った
やったこと 中本 y、navitake、らのひーと中本に行った。 五目冷やしタンメンという名前のつけ麺を食べた。 つけ麺だからなのか分からないけど、スープ自体はかなり辛い。ただ、麺との絡ませ方を調整でき るので食べ切ることができた。 その後はらのひーがyからPS5を受け取るのを眺…
: 時相論理のモニタリングについての記事を書いた
やったこと blog 記事を公開した。 時相論理を使ったモニタリングについて。 https://makenowjust-labs.github.io/blog/post/2024-03-09-temporal-logic-monitoring/ https://twitter.…
: はたらいていた
やったこと 労働 はたらいていた。 概念の整理が難しい。 追加していっていいものか。
: PPL最終日
やったこと PPL 最終日。 事前に少し聞いていたけれど新屋先生の話が興味深かった。 どれくらい効率的に実装できるものなのだろうか。 論文を読んで考えてみたい。 あとはおみやげを買ったり。 こっそりお酒を1カップいただいてきたりした。 おつかれさまでした。
: PPL 2日目
やったこと PPL 研究 Past-MTLを実装しながら、効率的な IntervalSet の実装が欲しい気持ちになったので、とりあえず赤黒木を再実装していた。 過去にも実装したことがありそうな気がしなくもない。 https://gist.github.com/makenowj…
: PPL 1日目
やったこと PPL 朝早くないか‥‥？ 今日は全体的に分からない話が多く て困った。 PDR分からんなぁ。あとLLM系はやってみた感がつよいのが難しい。
: 新潟にきた
やったこと 新潟 PPLのために新潟にきた。 やっていくぞ。 なんとなくカードラボでうららを買ったりしていた。 新潟はうららが謎に安い。 シャニ なんか二期が決まっていたり色々あった。 がんばってくれ。 それはそうと灯織の誕生日。 おめでとう！
: P3Rを進めていた
やったこと 日常 世間的にはひなまつり。 まあとくに何ということはないが。 P3R タルタロスを攻略して11月のボスを倒すところまで進めた。 ようやく話が大きく動き出すところまできた気がする。 一部のコミュが全然進んでいないのでちょっとまずい。 他校の運動部のやつは始めてすらい…