なんじゃくにっき

プログラミングの話題中心。

Google Antigravityのエラーと対処法メモ

Google Antigravityを使っていてエラーになってこまったときの対処法を備忘のためにメモ。

Rate Limit

Google AntigravityはデフォルトでLLMにGemini 3(High)が設定されていて、使い方にもよるが、 割とすぐにレート制限に達して何時間か待たないと使えなくなってしまう。

Google OneのGoogle AI Proのサブスクに入っているとこの制限が緩和されるらしいという情報もあるが、 Antigravityのパプリックプレビュー期間が終わったときの料金体系が今のGoogle AI Proとは別になるかもしれないということを考えると、 サブスク契約するのもためらってしまう。

とりあえずは無料で使える範囲内で対処方法を。

モデルを切り替える

モデルはGemini 3だけでもGemini 3 Pro(High)、Gemini 3(Low)、Gemini 3 Flashと3つ選べてそれぞれレート制限が別のようなので制限に達したらモデルを切り替えれば使い続けられる。

全部制限に達したらご愁傷さま。

チャットは適当なところで切る

1つのチャットでずっと作業しているとコンテキストが大きくなってきてしまう。

余り関係のない作業に切り替えるときなどに新規チャットを始めよう。

新規チャットはチャットウィンドウの上部の『+』の形をしたボタンから。

無限ループに陥らないようにする

AIにコードを書かせていると、コードを書く → テスト落ちる → コード修正 → テスト落ちる → コード修正 ・・みたいにテスト通せない状態で永遠に動き続けるときがある。

これを回避するためにテストが落ちたら中断するようにした。

.agent/rulesに

Stop tasks when test fails.

というのを書いている。

補完を効かせるファイルの種類を限定する

UserかWorkspaceの設定で

.vscode/setting.json

{
  "antigravity.tabCompletion.enabledLanguages": [
    "typescript",
    "typescriptreact",
  ]
}

のようにすると補完が効くファイルの種類を限定できる。拡張子ではなく種類で指定。

この例だとtsとjsxが対象になる。

ちなみにWeb版のGeminiに設定方法聞いたら"antigravity.languages"っていうありもしないキーを指定された。

Error loading webview

Error loading webview: Error: Could not register service workers: TypeError: Failed to register a ServiceWorker for scope

というエラーが通知欄に出る。これが出ると一部のファイルタイプで編集ができなくなってしまう(rulesのmarkdownとか)。

裏で別にantigravityのプロセスが残ってしまっているのが原因らしい。

$ killall antigravity

で解決。

参考:

visual studio code - Error loading webview: Error: Could not register service workers: TypeError: Failed to register a ServiceWorker for scope - Stack Overflow

このstackoverflowのはvscodeのエラーだが、antigravityはvscodeベースなのでantigravityのことで検索しても引っかからない場合vscodeのものを調べると適用できる場合がある。

トップバー、サイドパネルのAntigravityのアイコンの通知の数字が消えない

アプリ内で通知が見当たらないのに何故かアイコンに数字が出る。

apt install でantigravityを最新版にアップデートしたら通知が消えた。

これも裏に別プロセスが残っているとアップデートしても通知が消えないことがある。 そのときはやっぱり

$ killall antigravity

追記: アップデートで通知消えるときもあるが消えないときも出てきた。もう気にしないことにした。

最近読んだ本

ここ2ヶ月ほどで読んだ本。

恥ずかしながら今まであまり工学系の書籍を読んだことがなかったんですが、 江戸の町作りあたりに興味が湧いてきたのでそのあたりに関連するところから読み始めました。

都市計画の世界史

  • 著者: 日端 康雄
  • 発行: 講談社文庫

わかる都市計画

江戸の都市計画

江戸東京の路地

トコトンやさしい機械材料の本

基礎から学ぶ材料工学

Rustfinityの問題を全部解いた

https://www.rustfinity.com/

Rustfinityというサイトがあって、ここではサイト上でRustの問題を解いていくことができます。

ここの問題を全問解きました。(日替わり問題っぽいは除外)

やろうと思ったきっかけ

私はRust歴だけでいえば長い(0.6.0から触ってたはず。2013年からみたい。)ってことになるんですが、トイプログラミングみたいなことしかしていなくて永らく初心者レベルだったのでもうちょっと使えるようになろうと思ってその一環。

問題の構成

問題の並びはある程度Rust the Bookに準じているかなと感じました。多少の前後はありますが。

the Bookと並行して進めていくのも良いかもしれません。

the Bookで出てきた知識だけで解けるものが多いですが、たまにそれ以外のサイトで調べないと解けないようなものもでてきます。

The Rust Programming Language 日本語版 - The Rust Programming Language 日本語版

難易度

基礎が出来ていればそんなに難しいものはないと思います。

あくまで"Practice"レベル。競技プログラミングみたいにパフォーマンス求められたりするものはありません。

コード

解いたコードはgithub上に上げてありますがそのうちリポジトリ消すかもしれません。

https://github.com/nanjakkun/solve-rustfinity

令和7年分の所得税の予定納税(2期)

令和7年分の所得税の予定納税(2期)を行いました。

前回(1期)のときのことは↓

令和7年分の所得税の予定納税(1期) - なんじゃくにっき

etax

今年は、時期になるとetaxでメッセージが送られてきて納付番号がわかるようになっていました。

去年はメッセージも来ず、自分でetaxから申請して番号の発行申請からしないといけなかったのからすると随分楽になりました。

インターネットバンクでペイジー使って払込

で、さらにetaxのサイトからインターネットバンクへのリンクがあって、そこから飛ぶとペイジーの入力画面で各種番号(収納機関番号 、納付番号、納付区分)が入力されているのでそのまま払込実行で完了しました。

各種番号を自分で控えていなくてもさくっと終わりました。

すごい楽になった反面、楽なのに慣れてしまうとフィッシングとかに騙されやすくなりそうなのでサイトが正当なものであるかなど気をつけないといけないなーと思いました。

郵送

今回もetaxからペイジーで納付したんですが、なぜか払込用紙が郵送で届きました。

所得税の払込用紙見るのは初めてです。

当然不要なので破棄しますが。

Githubの通知が無くならない

Githubで全ての通知を既読にしたはずなのにバッジが消えない現象。

以前も起きてて気にはなっていたものの、以前は数日で消えたのが再発。

解消方法を調べたら見つかりました。

Bug: ghost notifications · community · Discussion #6874 · GitHub

通知ページで

https://github.com/notifications?query=is%3Aunread

developer console開いて

document.querySelector('.js-notifications-mark-all-actions').removeAttribute('hidden');
document.querySelector('.js-notifications-mark-all-actions form[action="/notifications/beta/archive"] button').removeAttribute('disabled');

を実行すると"done"ボタンが出現するので押す。

ちなみにfirefoxだとdeveloper consoleにコード貼り付けしようとすると "allow paste"って入力してからじゃないと受け付けないよ!って怒ってくるようになったんですね。

【読書】科博と科学

上野の科博(科学博物館)は好きで年何回か行くんですが、そこの館長の篠田謙一氏が書いた本。

日本の博物館事情などについて知ることができました。 特別展多いのって日本特有なんだってことを知ってへーってなりました。 2年前に9億円を集めて話題になった科博のクラウドファンディングの話も。

良くも悪くも軽めの内容なのでサクサクっと読み終えました。 深く知りたい人に詳しくと言うより一般向けですね。

氏は人類学の本も何冊か著していてそっちもおすすめです。 (むしろ学者としてはそっちのほうが専門)。

https://www.yodobashi.com/product/100000009003801345/

Kiroインストール

AmazonがリリースしたIDEであるKiroの招待が来たのでインストールしました。

WAITLISTに登録して使えるようになったらメールで招待が届きます。

ダウンロード

Downloads - Kiro

ダウンロード画面から自分のOSにあったファイルをダウンロードします。

自分の場合はOSはUbuntu

ちなみにまだWAITLISTに登録していない場合はこのダウンロード画面の右上の「JOIN WAITLIST」ボタンを押して登録します。

インストール

自分の場合は

sudo apt install ~/ダウンロード/202508110105-distro-linux-x64.deb 

これでシェルから

kiro

でKiroのIDEが起動するようになります。

アクティベート&ログイン

IDEを立ち上げて、IDE内でアクティベーションコードを入力します(招待メール本文内に記載されているコード)。

ログインはGoogleGitHubを選べるようになっていますが、どちらか選ぶとブラウザが立ち上がってブラウザでログインすることになります。

IDEに戻ってきて、初期設定(VSCodeから設定をインポートするかどうか選ぶ等)をポチポチ進めると使えるようになります。

恐らく約20年ぶりにシャープペンシルを買った

シャープペンシルを買った。

恐らく約20年ぶりだ。

ボールペンは何らかのノベルティで頂くことがあるのだが、シャープペンシルはそういうことはないので自分で買うものだけになる。

家にもシャープペンシルは何本かあるのだが、持ちづらさを感じて新調した流れ。

因みにボールペンは頂いたものでも数年放置しているとインクが固まってしまうと使えなくなる。

芯が市販のものと互換性があれば換えて使えるが、今度はプラスチック製のボディが劣化して割れるともうダメだ。

経緯

社会人になってから鉛筆ないしペンで文字を書く機会は激減して、PCか携帯端末で入力することが殆どになった。

なのだが、最近ちょっと数学をやろうと思ったら数式を書くのは電子的行うのは億劫で、紙と鉛筆(シャープペンシル)で行う方が楽だ。

ということで文字(と記号?)を書く機会が増えてシャープペンシル持つ時間が増えた。

だが手持ちのシャープペンシルが細くて使っていると指が痛くなってくる。

そこで握っていて指と手が痛くなりにくいものを慎重しようというのが経緯。

買ったもの

シャープペンシルを買ったと書いたのだが、正確にはボールペンとシャープペンシルが1つのボディに格納された多機能ペンというもの。

店頭で見かけると2+1、3+1、4+1とボールペンが何色か(黒、赤、青、緑) + シャープペンシルという組み合わせがあった。

買ったのは3+1のボールペン3色のもの。 青色は使わないので2+1でも良いということになるのだが、2+1では自分の好みの太さのものがなかったので3+1にした。

ところで、子供の頃はシャープペンの付いていない多色ボールペンはよくみかけたのが今日店頭に行くと大半がシャープペンシル付きだった。

ちょっと調べると当時既にシャープペンシル+ボールペンはあったとのこと。

しかしあまり見かけなかったのは当時値段が高かったのか、特許で守られて製造している会社が少なかったのかだろうか?

令和7年分の所得税の予定納税(1期)

今年もやって参りました。納税ラッシュの時期。

先週住民税払ったばかりなのにお財布がピンチです。

今週は所得税の予定納税です。去年の記事は↓

nanjakkun.hatenablog.jp

e-Taxで通知が届く

まずe-Taxのメッセージボックスにメッセージを送ったよというメールが届くので確認します。

これは所得税の確定申告時に「予定納税の通知をetaxで行う」にチェックを入れていないと届きません。

去年はこれをやっていなかったので手続きが面倒でしたが、今年は忘れずにやったので届きました。

e-Tax WEBでメッセージを確認

e-Tax WEBかスマホのマイナポータルアプリでメッセージを確認できます。以下はe-Tax WEBでの確認手順です。 (私はスマホアプリだと帳票が小さくて見づらいのでPCで見ています)

www.e-tax.nta.go.jp

e-Tax WEBにログインします。

スマホのマイナポータルアプリとマイナンバーカードを使ってログインするのが楽だと思います。

そういえばこの前マイナンバーカードの電子証明書も更新しました。

で、メッセージボックスを見ると予定納税の通知が来ていると思います。

なお、通知はe-Tax WEBホームから「お知らせ」と「通知書等一覧」の両方を確認しましょう。

(通知書等一覧に気づきにくいからお知らせでも送っているのでしょうか?)

払込み

今回も銀行口座からペイジーで行いました。

収納機関番号 、納付番号 (利用者識別番号)、納付区分はメッセージボックスに届くメッセージ内に乗っています。

確認番号は自分で覚えている必要があります。忘れたら再発行。

金融機関のペイジーの機能から上記4つの番号を入力して確認画面で金額がメッセージのものとあっていることを確認したら先へ進んで終わり。

今回は割と楽に終わりました。

注意

※個々人毎の状況、管轄税務署ごとに対応方法が若干異なる可能性があります。

2期は↓

令和7年分の所得税の予定納税(2期) - なんじゃくにっき

モトローラのスマホを修理に出した

モトローラスマートフォン、moto g64 5Gの具合が悪くなったので修理に出して返ってきた記録です。

症状

端末を購入してから約半年、 これまで高速充電で1時間に約50%充電できていたのが約5%に落ちた。 画面には高速充電中と表示されるが実際には低速充電並みの速度でしか充電されなくなりました。

夜寝てる間に充電すれば満充電されますが夜忘れているとしんどいです。

day0

公式の問い合わせフォームから問い合わせます。

修理に関するよくあるお問い合わせ l モトローラ サポート

なお、モト部リペアセンターというのも公式で、こちらからメールで問い合わせようとしても結局上の問い合わせフォームに飛ばされます。

moto-bu.motorola.co.jp

ちなみにmotorolaサポートのホームは数日間エラーになっていて一部機能が使えなくなっていましたが、 先述の問い合わせフォームは生きていたので問い合わせできました。

https://jp-jp.support.motorola.com/app/home

モトローラ スマホ 修理」なんかのワードで検索するとiCrackedが出てきますが、こちらは非公式で有償対応だと思うので、 保証期間が残っている人は公式に問い合わせましょう。

問い合わせにはIMEIの番号と正規販売店の領収書(レシート)が必要です。 保証書は必要ありませんでした。

IMEIは買ったときの外箱を見るか、スマホ本体の設定 -> 端末情報から確認します。 電話で#06#でも確認できるという情報もありましたが私の場合エラーになって取得できませんでした。

day1

1次回答は1営業日内と書いてありましたが、翌営業日の夕方に「郵便番号/住所/電話番号/氏名が上手く送信できていないのでメールで教えて」とメールが来ました。

メールの件名に氏名が入っていたので氏名が送れていないわけはないんはずなんですが、まあ住所でも文字化けしていたんでしょう。

というわけでメールに返信します。

day2

問い合わせを受理して輸送用の箱を送ったので着払いでスマホを送れとメールが来ます。

ちなみに配送業者は最初の問い合わせ時に佐川急便かクロネコヤマトを選べるんですが、デフォルトで佐川急便だったので佐川急便にしました。

ちょうどこの日クロネコヤマトがシステム障害起こしていたので巻き込まれなくてラッキーでした(?)

day3

佐川急便で小さい箱が届きます。

佐川急便は当日の集荷受付の期限は営業所によって違うらしく、12時から15時くらいまでらしいです。

私は15時過ぎに電話したら当日集荷は終わってました。また、集荷は大まかな希望は一応伝えられますが、配達ほど細かく時間指定できません。 (1日のうちできれば早目とか遅めとかは伝えられる)

佐川急便にはWEBでの集荷受付もあるんですが、すでに伝票持っている場合はそちらは無理で電話が必要でした。 motorolaから送られてきた注意書きにも電話で集荷を頼むよう指示されていました。

day4

梱包して集荷を待ちます。

SIMやアクセサリは外しておきます。また、修理の際に初期化を行うことがあるとのことなので無くしたら困るデータは別に保存しておく必要があります。

写真はGoogleフォトでバックアップしてあって、他、なくしたら困るのは二段階認証の情報くらいでしたが、それは前に使ってた端末に残ってました。

私の場合、修理に出した端末はeSIM利用だったのでそのままにしておきました。

day5

この日に修理工場に到達したと思われます。

day8

土日を挟んだので3日経っていますが到着の翌営業日。割と対応早い。

「症状の再現は出来なかったがバッテリーとサブ回路を交換しました。この内容で良ければ返送します。」

との旨のメールが来るのでOKの旨返信します。

ぼやき: 症状再現できないってことは壊れかけで高速充電が有効になったりならなかったりくらいの状況?サブ回路というのは電源系の回路でメイン回路がCPU乗ってる方なのかな?まあ対応は電源系の回路交換やろなあと予想はしていました。

day9

先方から発送されます。

day10

荷物を受取ります。 10日で返ってきました。

返ってきた端末の状況

保証期間内だったので修理は無料でした。

返ってきた端末は初期化されていました。なので再度旧端末から移行作業を行います。

eSIMの再発行も行います。

画面の保護フィルムはついたままにしてくれてました。

感想とか

motorolaスマホもう5台目ですが、保証期間内に修理に出したのは初めてです。

以前に新古品を買って(一応元の買い主の保証書付いてた)保証期間切れてからバッテリー交換見積もってもらったことはありますが。 でもそのとき新品の2/3以上の値段がしたので結局新品買ってしまいました。

やっぱり正規販売店で新品買うほうが良いですね。

あと、旧端末残しておくほうが良いですね。バックアップに使えるので。 今回修理に出したのはサブ端末の方で連絡などには使っていなかったので、修理に出している間さほど困ったわけではありませんでしたが。