週報 2026年11月1日〜2026年11月7日
今週は仕事の進捗が出ているというか、やることが明確になってきて仕事が楽しい時期に入っており、仕事がはかどった。
文化の日は文化的な昼寝をして過ごした。
会社の人から Orca という AI 時代の IDE 的なものについて勧められたので試してみた。
前から存在は知っていたけど、その存在を知ったときはまだ大量にエージェントを捌いていなかったので入れるメリットを感じにくく面倒さの方が大きそうだなあと思っていた。 しかしもう最近は AI を大量にしばいているので入れても良いかもと思い入れてみた。
VM や miniPC などメインのマシン以外にも複数マシンで開発とかも回しているが、そういう複数のマシンを 1 つの IDE に集約してサーバー経由で全部まとめて作業できるのが良い感じではある。
モバイルがあるのも使い勝手が良い。 Tailscale の VPN を使っていると VPN 越しにモバイルで指示を出せるので、出先から家のマシンたちに対して指示を出すことが可能である。
ワークツリーとかの扱いもしっかりしている感じはしていて、自分で worktree を管理しながら CLI でコマンドを叩いてターミナルのタブを大量に開いて管理するよりは便利かもしれない。 ワークスペースにワークツリーを紐づけるという考え方なので自由自在にワークツリーとワークスペースを切り離して使ったりはできないが、Orca の提示する開発方法を受け入れるならやりやすいと思う。
まだ使いこなせていない感あはるが……。
形式検証の入ったプログラミングに興味があることは先週書いた[1]が、今週は実際に Rust に形式証明を行うライブラリとして以下の 3 つを実際に触ってみたりした。
それぞれ特色があり面白かったので、実際に触ってみた様子を久々に Zenn などに技術記事として書いてみても良いかもしれない。 もう最近はめっきり技術記事を書かなくなっていたが、久々にね。
ゆるゆるシェーダー交流会 #2 というものに参加してきた。
「ゆるゆるシェーダー交流会」は、WebGL、Three.js、Unity、TouchDesigner、Processing、etc.. といった特定のツールにこだわらず、シェーダー（GLSL、HLSLなど）を使っている・興味のあるクリエイター同士の交流を目的としたイベントです。
約２年ぶりに第二回目を開催します！ 今回は土曜日14時スタートの昼開催。
軽食を食べながらワイワイ交流しましょう！
とのことです。
3DCG のプログラミングや技術をやっているとシェーダーは避けて通れるものではないし、シェーダーで色々作るのは好きだったので参加を決めました。 （最近は AI がシェーダーまで書くようになってしまったが）
シェーダーに興味がある人という括りだったので、興味範囲が重なるような人と色々交流できて楽しかった。 全体としては VJ やってるとかゲーム会社の人とかが多かったのかなあ。 レンダラーを書いているという人はちょっと少なかったかも。
こういうイベントがあるとふらっと 1~2 時間で東京に出ることのできる位置に住んでいるのは良いことだなあと思う。 東京に住むのは大変そうだけど、東京に出られる関東圏に住んでいるというだけでも十分東京のアドバンテージを受けることができる気はする。 まあ、それはそれとして東京への一極集中しているのが良いことなのかは微妙だが……。