Posts

ハイゼンバグ（Heisenbug）とは、デバッグしようとすると挙動が変わり、バグが消えてしまう現象を指す。追跡しづらいバグの一種。ハイゼンベルクの不確定性原理が由来らしい。 ...

divタグ内で数式がレンダリングできなくて、いろいろと調べた。エスケープが処理される順序の問題だった。 まずは普通にMarkdownに記述する: \\(\pi\\) → \(\pi\) ...

命題とは、真か偽かのどちらかの値を持つ文。お堅くいうと、真偽が確定し得る数学的な主張のこと。その命題を表すための記号を命題変数といって、\(A,,B,C,…\)と表す。これ以上分解できない最も基本的な命題を原始的命題という。 ...

Github ActionからPull Requestを作るCI（メモ）、いくつかのパターンを踏んでも問題なさそうなのと、簡単な確認テストも設定できたので、そのまま自動でマージしてしまうことにした。 自動マージは peter-evans/enable-pull-request-automerge@v3 を使えば良い。 - name: Auto-merge if bot PR and CI passes if: github.event.pull_request.head.ref == 'auto-update-related-posts' && contains(github.event.pull_request.title, '🤖 Auto-update related posts') uses: peter-evans/enable-pull-request-automerge@v3 with: token: ${{ secrets.GITHUB_TOKEN }} pull-request-number: ${{ github.event.pull_request.number }} merge-method: squash 条件に、"auto-update-related-posts" イベントかつ固定のPRタイトルを設定している。前者だけでいい気がするけど、いろんなExampleを見ると、こうしている人が多かった。 ...

CloudflareのWorkers AIという、グローバルネットワーク上でサーバーレスGPUを使い、各種生成AIモデルを実行できるサービスに、インド、日本、東南アジアのモデルが追加された。日本代表(?)のモデルはplamo-embedding-1bとなっている。 ...

LLMのAPI SchemaではJSON Schemaがよく使用されている。例えばFunction CallingのAPI定義（バリデーション）は、JSON Schemaを使って送受信するデータを定義する。 ...

先日本屋で買ってしまった「地球の歩き方 オルカン」(メモ)の隣に置いてあって、つい手に取ってしまい、つい買ってしまった。ちなみにムー本誌は買ったことはない。本書が発売されたのは去年の4月。 地球の歩き方 ムーJAPAN: ~神秘の国の歩き方~ 地球の歩き方編集室 ピラミッド、UFO、怨霊、神話、妖怪と、いろいろな切り口がある。真面目な観光案内の中に、「ムー」というコラムが挟まる形式で、現実の話と作り話想像力を刺激する話で読み分けられる。UFOの里で知られる福島県千貫森は実はピラミッド（人工物）で、山頂の地下にある空洞は異世界につながる亜空間ゲートらしい(p145)。 ...

2025 DORA State of AI Assisted Software Developmentが公開されていた。DORAをメモしたとき、「コーディングエージェントの影響も知りたい」みたいなことを書いていたので、とてもありがたいレポート。全部で142ページあって、まだちゃんと読んではいない。 Announcing the 2025 DORA Report | Google Cloud Blog The 2025 DORA Report, State of AI-Assisted Software Development, is now available to download.  cloud.google.com Key findingによると、確かにソフトウェア開発能力の向上にはつながっているが、AIを管理する部分がまだ青樹尽くしていないため、安定度や安全性の面で、課題が残る、というデータ。 ...

常務（当時）に寄せられたメールがきっかけでできた本らしい1。本屋で見かけて買ってしまった。1ページにあった標語「投資で世界を旅しよう」が意味深。 地球の歩き方 オルカン: eMAXIS Slim 全世界株式(オール・カントリー)の歩き方 地球の歩き方編集室 各国2ページで、シリコンバレーやケンブリッジなどピックアップ観光地が追加2ページ。読んでて世界を旅した気分になるかは微妙だけど、ノボノルディスクはデンマークだったのか、とかそういうのは知れる。 ...

先々週あたりから、ポストの下に"Related Posts"という見出しを設定した。MarkdownのFrontmatterに ...