週記 2023/01/02~2023/01/08

2023/01/02

14時ごろに起きる。

晦日三日目・・・・・・

「餅を食え!」と叩き起こされた。もちたべる~

特にやる事も無く、Cookie Clickerで時間を溶かしていく。人間は適度な暇がないとダメになってしまう。後期の授業が終わって1か月近く経ち、長い暇によって自分もダメになりつつある...。こうやってダメになった頃に、狙ったようなタイミングで後期試験が設定されているから恐ろしい。

Joplinの設定をいじる。フォントが見づらかったのでいろいろいじってみた。Markdownを書く部分のフォントは設定画面から変える事ができたのだけど、レンダリングされた部分のフォントは変えられなった(設定画面にあっても良くない?)。所謂カスタムCSSを書くことになりそう。やーん

基本フォントをBIZ UDGothicにして、コードブロックのフォントをVSCodeで使っているFira Codeにした。

CSVからPostgreSQLにデータをぶち込めるツール(pgloader)があることがわかったので、これを使って公開されているAtCoerProblemsの提出データをぶち込むことにした。実際のデータを使ってより実態に即した環境を作ることで、処理に時間がかかっている部分を炙り出して高速化したい。

ローカル環境にpgloaderをインストールするのはめんどうくさそうだったので、公式から提供されているDockerイメージを使ってみた。Docker初心者なので、どうやってホスト側にあるCSVファイルを参照するのか?から始まってなんとかデータをぶち込むことができた。

ランキングのデータを構築する時はAC判定された提出のみを使うので、事前にripgrepでAC提出を抽出して、データ量を小さくした。2.6GB近くあったCSVが1.8GB程度になった。本来の目的(本番に近い環境を作る)から外れているし、やらなくて良かった気がする。

pgloaderを実行してみると、データ量が多いだけあって結構時間がかかる。14分程度でデータぶち込みが完了した。

次はランキングを構築するのだけど、夜も深くなっていたのでここで終わり。

2023/01/03

16時ごろに起きる。

JoplinのカスタムCSSをいじる。Markdownを編集する部分と同じフォントを使うように設定した。PC版アプリはElectronを使って作られているので、Chromeと同じような開発者ツールが使える。ツールにCSSを入力すると即座に反映されるので便利。いいかんじ

妖怪データベースいじり。昨日はpgloaderでAC提出のデータのみをぶち込んだけど、気が変わって全提出をぶち込む事にした。データをぶち込んで、インデックスを貼ったりすると10GBもストレージを食ってしまった。でけ〜

データベースは奥が深いわね…。昔作ったDiscordのbotで、データを永続化するために使いたくなったけどSQLがわからなくて断念したのよね…。今なら霧も晴れている感じがするし、またやってみても良いかもな。

2023/01/04

16時ごろに起きる。

久しぶりにトーストを食べることにした。たまに食べるとうまいわね......

昨日に続いてAtCoderProblemsのデータベースをいじろうと思ったら、昨日までのデータが消えていた!!docker-compose.ymlを確認してみると、PostgreSQLを起動する度に新しいVolumeを作成&使用するようになっていた。DockerのVolumes一覧を確認してみると、昨日までのデータが入ったVolumeが残っていたので、それを使うようにして解決。

英語しばき。感嘆文をいじいじする……。ようわからん……。

2023/01/06

16時ごろに起きる。

妖怪PCいじいじ。iPadで編集したPDFがやたらデカくて腹が立ったので、良い感じにダイエットさせるツールを作ってみる事にした。普通のテキストボックスを追加するだけで100MBを超えるのは嫌なので、良い感じにしたい。当該PDFの内部構造を覗いてみると、テキストボックスな割には情報量が多いように見えた。何がどんなものなのかまだ分からないので、少しずつ解明していきたい。

期末テストが迫っているのに何も復讐していないぜ!!!ヤバい(ヤバい)

2023/01/07

16時ごろに起きる。

去年の10月ごろに買ってから放置しているカップ麺がある。そろそろ食べようかと思ったけど、餅があったのでそっちを食べた。

久しぶりのABC。4完できて嬉しいわね。E問題ときたかった……

スプラのフェスをやる。100倍マッチに勝利することができてうれしい。100倍マッチに勝利すると、すりみ連合が乗っているアレ(アレ)に乗って写真を取れるようになったようで、試してみると良すぎた。

2022/01/08

17時ごろに起きる。

フェスが二日目になり、トリカラバトルが始まった。前回までのフェスでは、トリカラバトルはランダムに発生していたのだけど、今回からはトリカラバトルだけが発生するようになった。とても良い。

今回のトリカラバトルのステージはマテガイ放水路で、実際にやってみると別ステージレベルに回収が入っていて面白い。高所が潰されていたり、守備陣営用に中央が広くなっていたり......。守備側が厳しいと言われがちなトリカラバトルだけど、自分的には攻守関係なく楽しむことができたと思う。中央が陥落して、スーパーシグナルを取られてしまうと厳しくなるな~という感じ。まあ守備ってそういうもんだし。

今回初めて知ったのだけど、スーパーシグナルを獲得するとき、もし失敗しても次回以降から獲得までにかかる時間が短くなるという費用があるらしい。一回目は3秒で、7回目には0.3秒になってしまう。今思えばやり得だったのかもしれんな......。

マクドナルドのダブルチーズバーガーを食べる。ただのダブルチーズバーガーじゃあなくて、謎のキャンペーンによってパティが二倍になっている。つまり"ダブル"チーズバーガーは嘘で、クアドラブルチーズバーガー(???)になっている。

食べた所感として、トマトやレタス等の野菜が全く無い(ピクルスはある)からか、1/3程度食べたところからペースが一気に落ちてくる。オプションでトマトやレタスを追加したら好きかもしれないけど、何事もほどほどにという気持ちになった。