最近、AIが数学の定理を証明しまくっているが、その背景にある数学基礎論の話。かなりのハイペースで抽象的な議論が続くので難解。ペアノ算術、ZFC、対角線論法、不完全性定理の話から始まり、Haskellなどの代数的データ型と関数型プログラミング言語の根拠(call/ccとCPS変換、ラムダ計算、カリー・ハワード対応など)とも関連しているので、なんとか理解してみたいと思っていた分野。
いちど図書館で借りたが挫折して、今回は2度目に借りた。何度も往復して読むことでおぼろげながら理解できるようになってきた。
最近、情報漏洩の話をよく聞く。大半が、見過ごされていた甘いセキュリティにAIが広範囲無差別攻撃をかけたら穴が開いていたところから漏れた、という感じだが、AIの攻撃力が上がっていることは確か。また、漏れた情報を使われて重要アカウント(銀行・証券など)への攻撃がもっとも懸念される。
本記事は一般向けではなく、家族・知人向けに現代のセキュリティと対策を解説するもの。
帰国して半年ちょっと経ったが、仕事の都合でミネソタに出張。駐在時に設計していた製品が最終試験を行うことになったので、それの支援。週末を挟む日程でもあり、在米時の友人と遊んでもらったり。
写真はクリックすると拡大します
現代技術を用いたSFサスペンスが得意な筆者。『Gene Mapper』についで二冊目。本書は、マイナンバーと街角カメラによる国民監視、それを運営する権力、スマホやパソコンウイルス、多重下請けシステム開発などがテーマとなっている。中盤以降に物語が転回し謎が明らかになってくる感じは、サスペンスならでは。マイナンバーや街角カメラは現代的な舞台装置だが、Windows XPのウィルスは時代を感じる。
横浜に住むメリットの一つとして、東北地方に旅行に行きやすい、というのがある。昨年、ATA(Azuma To Adatara)トレイル開通ということで、何人かのYouTuberが吾妻・安達太良方面を歩いていて、この火山風景を見てみたいと思い、計画した。ちょうど台風と重なったが、安達太良の沼ノ平爆裂火口の絶景を楽しむことができた。
星景用レンズ。EマウントならFE 14mm F1.8 GMが鉄板と言われているのだが、サラリーマンには高すぎる。16mmなら小型軽量で前フィルタも付けられて約半額。GMではなくGグレードだが設計も新しい(2025年)。スターリーナイト+プロソフトンのフィルタも同時購入。
以前使っていたのがSIGMA 24/1.4(APS-Cなので36mm相当)で、画像には満足していたが、大きく重く、星景には狭さを感じた。現在の構成での改善を見込む。 16mm=107度、36mm=63度と画角で約倍、面積で約3倍。個々の星座は小さく写るがより広い範囲を取り込むことができる。36mmでは一つの星座という感じだが、16mmはオーロラや天の川、複数の星座、という感じの構図になる。
SONY ILCE-7CM2 ƒ/1.8 10s 16mm ISO 3200 RAWから現像。スターリーナイト+プロソフトンフィルタ使用。
中央が牡牛座、オリオン座が昇りつつある。16mmだとこれぐらいの範囲が写る。歪は補正されているが、周辺が流れているのがわかる。周辺減光もやや目立つ。
日本に戻ってきたし、子どもも手がかからなくなったので、ダイビングを再開したいと思い、盆休みにリフレッシュダイビング。今後は、そんな機会も減るだろうと、子どもたちも招待。GWに計画した時点で沖縄方面はほぼ満席、奄美も残席わずか、という状況。なんとか奄美大島の、ダイビングサービス、航空券、宿を押さえた。
これから、YouTube、Tiktok、SNS、芸能人たちが、憲法を変えると言い出すだろう、というときに読んでおきたい。現代の広告技術はゲッベルスの時代よりもはるかに理論的に進歩して洗練されている。注意していても、人の意思は簡単に操作される。それでも手法を理解して、そういった、早めに気付けるようになっていきたい。
日本のバブル期でJPOPシンガーだった大江千里が47歳でニューヨークの音楽大学に留学し、52歳で一人レーベルを立ち上げる。副題は「52歳から始めるひとりビジネス」。ジャンルとしては「渡米もの」だが「オジサンが蕎麦打つ」ような話でもある。
世代的に、昔からの友人と合うと「役職定年」「定年」「老後」みたいな話題になることが多い。そういったときに、自分がやりたいことは何かを考え直すきっかけになれば、と思って読んでみた。体力は衰えていくが、新しいことに対する好奇心と行動力は維持していきたいな。
