最近のPypyのセットアップ方法をメモしておこうと思う。 pyenv pyenvがなければ以下のコマンドでセットアップ。 $ curl https://pyenv.run | bash $ echo 'export PYENV_ROOT="$HOME/.pyenv"' >> ~/.bash_profile $ echo 'export PATH="$PYENV_ROOT/bin:$PAT…

オフラインで経緯度から住所地名(そこまで正確でなくともよい)に変換するシステムを作るための調査記録。国土地理院が公開する街区レベル位置参照情報を調べた。2023年度のものを使用する。 お約束 利用規約 利用規約 提供形式 提供されているのは都道府県別…

TbskModemをAndroidで使えるようにしたアプリTBSKIOを作りました。しかし、テスターさん20人以上集めて２週間テストしないと公開することができません。そんなわけで、しばらくの間アプリをしばき倒してくれるテスターさんを募集しています。うっかりGoogleP…

kotlinでシリアライズするクラスにデフォルト値をつけると、頭のいいコンパイラが余計なことをして設定値を書き出さないことがある。次のコードを実行すると、a,bは意図したとおりになるが、それ以降は値が書き出されない。 @Serializable data class HasDef…