JTDでTagged Union

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

September 28, 2025 · 5 min (1168 tokens) · disktnk
JTDでTagged Union

感想: 地球の歩き方 ムーJAPAN

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

September 27, 2025 · 2 min (497 tokens) · disktnk
感想: 地球の歩き方 ムーJAPAN

DORAレポートにおけるAI支援の現状

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を管理する部分がまだ青樹尽くしていないため、安定度や安全性の面で、課題が残る、というデータ。 ...

September 26, 2025 · 1 min (248 tokens) · disktnk
DORAレポートにおけるAI支援の現状

感想: 地球の歩き方 オルカン

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

September 25, 2025 · 2 min (368 tokens) · disktnk
感想: 地球の歩き方 オルカン

Github ActionからPull Request

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

September 24, 2025 · 4 min (972 tokens) · disktnk
Github ActionからPull Request

actでローカルGithub Action

一連のワークフロー開発はますますGithub Actionに任せるようになりそうなので(Agentic Workflowのメモ)、そのGithub Actionをローカルで実行できるactで遊んでいた。 ...

September 23, 2025 · 4 min (868 tokens) · disktnk
actでローカルGithub Action

F1 2025 Azerbaijan GP

バクーは過去2回しか、Pole to winを決めていないらしい1。なのでフェルスタッペンが栄えある3回目。 顔ぶれを見ると、ルクレールかフェラーリが情けなかった説もある 予選 計6回の赤旗中断という大荒れの予選。ピアストリが優しく(?)壁に突っ込んだ時は、自分も画面に映っていた観客と同じリアクションをしていた気がする。 ...

September 22, 2025 · 4 min (950 tokens) · disktnk
F1 2025 Azerbaijan GP

ベーシスシフト節税

日経新聞が報じていた、アメリカで注目されているベーシスシフトなる節税手法が面白い。ベーシスとは税務上の取得簿価のこと。資産は基本的には年々償却されていくが、グループ会社に対象の資産を移管する=シフトすることで、取得簿価が復活し、また償却できるようになる。そして損金として処理して、税負担が軽くする。 ...

September 21, 2025 · 3 min (563 tokens) · disktnk
ベーシスシフト節税

メモの類似度グラフ

LLMのEmbeddingモデルで遊んでみたくなったので、これまで書いたメモ同士の類似度計算に使ってみた。 Markdownの前処理 LLMでテキスト埋め込み(Embedding) 最近傍法(Nearest Neighbor)で類似度を計算 可視化 グラフにして可視化したものこちら (新規ウィンドウが開きます) ...

September 19, 2025 · 6 min (1319 tokens) · disktnk
メモの類似度グラフ

リマニファクチャリング

リマニファクチャリングとは、使用済み製品を回収し、分解→洗浄→部品交換→再組立→性能検査を経て、新品同様の品質に復元するプロセスのこと1。修理する権利(メモ)が広まることと、リマニファクチャリングの実現性は大きく関係する。 日経ビジネスが「リマニファクチャリング」特集を組んでいた。1回目はiPhoneで、新素材の接着剤や取り外し前提のカバー、内部の保護板などが紹介されている。また記事の最後には、フランスで導入されている「修理しやすさ指標」が解説されている。 ...

September 17, 2025 · 3 min (614 tokens) · disktnk
リマニファクチャリング