2025年8月7日

さっそくリトルKが起こしにくる。2度目で起きる。昨晩はKに『じゅえきくん むしあつまれ！』を何度も読んでもらったとのこと。気に入ったようでよかった。上半身に汗疹が多く出ている。いつもより厚めに薬を塗る。保育園へ送って出社。マンションの玄関にコガネムシがいたのを、リトルKが拾って外に出してあげた。

新規事業の参考になるかなと思って、岡野原大輔氏のメルマガで紹介されていたFuture of Work with AI Agents: Auditing Automation and Augmentation Potential across the U.S. Workforceを読む。AIエージェントの業務への導入は思いのほか難しい印象がある。この論文では、技術的に可能なことだけでなく、実際に業務に携わっている人がAIで置き換えてほしいと思っているかどうかという軸も含めて分析している。現時点ではこれだという切り口を得られなかったのだが、フレームは参考になる。

有志でやっている『ことばの意味を計算するしくみ』読書会の第3回目。記号論理学の導入まで。命題論理と述語論理の統語論、意味論までさらって、ようやく「ことばの意味を計算するしくみ」の全体像がおぼろげに見えてきたところ。ゲンツェンのシーケント計算はやっぱり慣れないが、他の本で復習するようにしよう。しかし、なんでこういう教科書ってボトムアップ一本槍で書くんだろうなあ。特にこの本は工学書なのだから、まずは全体像や意義を説明してから書いたっていいと思うのだが。

リトルKが顔にチューしたりなめたりするのだが、保育園で友達にもしていて、口にしたりもして、Kが先生からそう伝えられたそうな。あんまりガミガミとがめたてるのもなあと思いつつ、自分がされそうな時は「やめて〜」とはいっている。今日も「ままとねんね」といっていたが、リトルKが選んだ『ゆびでたどる進化のえほん』をひととおり眺めたあと、一緒に寝る。

丸山宗利『カラー版 昆虫こわい』の続きを読み、読了。さらにでんか『海のあかちゃん』も眺める。書店で見ていいなと思っていたのだが、同僚が言及していたので購入した。

虫の撮影にα7IIIとTAMRONの70-180mmの望遠レンズを使えるかなあと思って、収納箱から取り出してみる。ピント合わせるの難しそうだけど、場合によってはうまくいけばいい感じに撮れるかもしれない。トンボなどはTG-7だと撮れないので（少なくとも自分は）、週末にこれで試してみよう。