無常

競プロ

数時間かけてB問題全部解くやつをやった (虚無埋めだけど).
最小費用流(MCF) を知った. スニペット を書き, ABC 195 D をMCFで解いた.

Unity

PUN2 の記事やドキュメントとにらめっこしていました.

趣味開発

• relay-novel
  • 物語にメタデータを提供して時系列とか提供人物を構造化したい
  • 文章を多段構造にしてあらずじだけよめるようにするとか?

週次LT

射影極限, $p$ 進整数について(さわり).
友人は Injective Trapdoor Functionsについて(続き) や NP Problem $\leq_{p}$ 3-SAT の証明(ざっくり) をしてた.
Cool-Levin theorem や

• n-SAT → 3-SAT の仕方
  • 減らす a or b or c or d → ... (z1 or a or !z1) and …
  • 増やす a or b → a or b or b …

を知れた.

知見

• Pluto.jl よい
• Extensible Effect って何
  • https://scrapbox.io/LugendrePublic/Extensible_Effect
  • モナドトランスフォーマーって何
    • https://bicycle1885.hatenablog.com/entry/2012/12/08/165236
• 多項式階層って何(これ を読んで)
  • https://scrapbox.io/mrsekut-p/%E5%A4%9A%E9%A0%85%E5%BC%8F%E9%9A%8E%E5%B1%A4
  • 算術的階層って何

月報中のひとこと抜粋

• タスクの時間推定が出来ているとそのギリギリまで先延ばしにする事象
• (提出したレポートに対して)ゴ・ミレポ
• やろうとしていることDFSするのやめたい
• (自分の研究に対して)課題解決に直結することをやれ

娯楽

• #watch/youtube えぺまつり
  • DIDあつすぎた
• #watch/anime 不滅のあなたへ
• #game ピクトセンス
• #game Gartic Phone
• #watch/anime NEW GAME
• #watch/anime のんのんびより1~3期
• #watch/v 鈴原るるラスト配信