記事タイトル訂正について 16日に日付が変わってすぐにこの記事を投稿したのですが、投稿前後に次のpr3が公開されていました。そのため、pr2からpr3にタイトルを変えました。 pr2公開の後に、 「ポケットコンピュータ関連のデータ消失バグを自分で発見して修…