andante

妻が急に家を買いたいと言い出したので（別に言い出したこと自体は急ではないのだが、急に熱量が上がった）、いくつかマンションを内見に行った。まあ、ネット上で見つかるベストプラクティス的なものによれば、いきなり物件に的を絞るのは適切ではなさそうだが、実際どんなものなのか知ることができたのは意義深かったと言える。しかしなー。

夜はまたChatGPTと小説を書いていた。今日は実際のエピソードを描写するところをすこしやった。なんか、こういう文章を書くとき、どうしても照れてしまって書き進められないのだが、ChatGPTに先にタタキを作ってもらうと、それよりは多少上手に書けそうな気がするので、わりと精神的な負荷が低いという発見があった。文字数は1666字だった。長編だから、少なくともこれの50倍くらいは書かねばなるまい。
あとはまあ、設定の壁打ち相手とかをやってもらっている。プログラミング未経験からChatGPTにアプリを作らせたりするのもこういう感じなんだろうか。まあ、もちろん僕は日本語の文章が未経験ってわけではないけれども（とはいえ、ちゃんとしたプロットのある長文となるとやっぱり未経験みたいなものか）。

そろそろ寝る。

なんだっけ。PHP8.2でPHPUnitを動かすとPHP8.0のときとテストカバレッジがぜんぜん違うという問題に立ち向かった。pcovでもxdebugでも結果は変わらないようなので、PHPのほうに理由がある気がするが、どうしたものかわからない。PHPUnitのバージョンを上げたら改善するだろうか？そのあたりは来週に試す。

あいかわらずTwitterではChatGPTが話題になっている。実際すごい。ちょっとやそっとの質問に対しては（内容的に怪しい場合もあるが）人間らしい回答をしてくる。
生まれたときからChatGPTがある子供たちに、これは人間ではないのだと教えるのは難しいかもしれない。なぜ人間ではないのか、と言われても、人間ではないと知っているから、としか答えられない。人間ではないと覚えてくれとしか言えない。もっと悪いことに、人間はChatGPTではない（ことになっている）のだと教えるのはもっと難しいかもしれない。共感能力を活用してくれとしか言えない。他人が心を持つとはどういうことか、を理屈ではなく慣れとして覚えていかなければならない時期に、ほぼ人間のように振る舞うチャットAIの存在は、混乱を生むかもしれない。

夜はすこしだけ小説を書くことについて準備をした。ChatGPTとアイデアについて話し合ったり、書き出しを考えてもらったりした。しかし、このままではあまりにも自伝的になりすぎるのではないだろうか？なっても構わないかもしれないが。いや、どうかな……。

寝不足。仕事はわりと充実していた。作業ゲーみたいな仕事よりは、困難を乗り越える仕事をやりたいよね、誰しも。

今日はそれ以外には特に何もしていない。サイゼリヤに行ったり野球を観たりした。日本代表、点を取りすぎでは？

寝ます。明日は午前休で歯医者に行きます。

なんか眠い。

GPT-4がリリースされ、ChatGPT Plusに課金すると利用できると聞いたので即課金した。実際、性能向上というか、だいぶしっかりした印象がある。画像認識を使って試験問題に回答できたりもするらしい。いよいよ世界が変わってきたなという雰囲気。

2012年だかに始まったディープラーニング旋風だけど、大規模言語モデルの衝撃の前ではちっぽけな話に思える。この10年のAI技術の発展を「ディープラーニング」と特徴づけてきたけれど、後世にはその名前は残らず、「大規模言語モデル」と呼ばれる流れに位置づけられるのかもしれない。

また夜更かしだ。はー。

朝起きて普通に仕事を始めるのは久々だった。昨日も金曜日も出かけていたから。だからって特段何か感慨があるでもない。

なんだか寝不足だった。あとちょっとしたトラブルで夕方から夜にかけてバタバタしていた。こういう誤りを許容できない場面で不具合を起こさないようにするには、やはり形式手法とかそういうのを使うのがよいのだろうか。なんとはなしに「形式手法」で検索したら、「流行らない」がサジェストされてきたのでフームと思った。

眠い。寝ます。

朝起きて渋谷で会議。渋谷には新宿にはない苦手意識があるのだが、それは単に慣れの問題なのだろうか。新宿にそれほど慣れているつもりもないのだけど、でも渋谷よりは行くこと多いしな。
会議はそれなりに有意義だったと思う。少なくとも事態が良く整理されたように思われる。でも、別にやることが減るわけではない。

夜は妻に統計の計算を教えていた。数学の問題を国語みたいに解こうとするのですこし呆れた。いや、国語の問題をパターン認識で解いているのは僕だけなのかもしれないけれど。

寝ます。そういえば、ブルーアーカイブを始めてしまった。こういうゲーム、もうやらないと思っていたのだけれど。

起きて、昼過ぎに妻の祖母と初めて会ったりした。元気な人だった。僕も父方の祖母はこのくらい元気だったかもしれない。

夜はまた野球を観た。今日は序盤で大差がついたので、あんまりハラハラするところがなくそれほど面白くなかった。贅沢な悩みではある。

寝ます。明日も午前中はなんかオフラインで会議。そろそろこういうのが増えてくるご時世なのかな。あまり多いと煩わしいな。

朝起きて眼科に行き、目薬を抗生物質を処方された。順調であれば数日でよくなるだろうというようなことだった。ふむ。
午後は何をしていたのだったか。なんかやる気が出なくてボンヤリしていた気がする。すこしだけallegroを書いた。投稿の可視性をActivityPubからうまく読み取る部分は難産だったが形になってきそうだ。実際に可視性制御をするロジックは未検討だが。

夜はWBCの試合を観た。最近の野球選手はぜんぜんわからん（昔のがわかっていたわけではない）が、Twitterとかでもよく名前を目にするスター選手が活躍しており、見応えがあった。サッカーとかもそうだけど、友人とLINEで話しながら観ているとけっこう楽しい。それにしても佐々木はすごい。普通に160km/h台が出ているのもすごいし、3回2/3までで8Kて。

そろそろ寝ます。明日は妻の祖母と会う。

業務体験ふたたび。今日は立ち仕事ではなかったのでそれほど疲れることはなかった。かわりに現行システムの限界というか、全然イケてなさに直面することが多く、不甲斐ない気分。というかこれはもっと抜本的に優先度を変えて対応すべきなのでは？そこまで行くと僕にどうこう言える話ではなくなってしまうが……。

寝ます。明日眼科にいったほうがいいのかなあ……。

グニャーン。

肩を痛めている。何だろう？ギター弾くときの姿勢が良くないのかな？それとも単に加齢の可能性もある。やれやれ。
そういえば父は肩が上がらなくてキャッチボールができなかったなと思う。本当なのかは知らないが。

allegroの実装を少しだけ進めたが、悩んでいる。toとccにPublicが来る場合とアカウントIDが来る場合はそれでいいのだけど、followersみたいなコレクションが来る場合にそれを判定するのが難しい。うーむ。

寝ます。明日はまた業務体験で外出する。前回みたいな立ち仕事ではない、と思っているのだが……？