draw.io(https://app.diagrams.net)はpng, jpeg, svg, pdf, vsdx, html, xml, url形式のエクスポートに対応しているが，eps形式には対応していない． そのため，まずsvg形式でエクスポートしてから，それをepsに変換する． draw.io → svg 「ファイル」→「形…

発生した問題 Docker Desktop(WSL2 backend)でUbuntuコンテナを立て，パッケージリストを更新するためにapt updateを行うと，パッケージミラーサーバへの接続が拒否されて(403 Forbidddenエラーが出て)更新に失敗する． Ubuntu20.04, 22.04のコンテナで問題…

1. はじめに 数ヶ月前から、Huawei P30 liteでリズムゲームをしていると勝手に音が下がる現象に遭遇するようになった。 原因は今のところ不明だが、現状起きていることについて書く。 2. 発生している問題 以下のアプリにおいて、リズムゲームが開始した数秒…