かおるのブログ

YubiKey 導入で、セキュアで快適な GPG & SSH 運用を実現したよ

Sat, 14 Feb 2026 15:51:00 +0900

はじめに

みなさんは、GPG 鍵やSSH 鍵はどのように管理していますか？

Dropbox等のクラウドストレージに秘密鍵を保存している
全てのPC に同じ鍵をコピーして使い回している
PCごとに別々の鍵を作った結果、どの鍵がどのPCに入っているか把握できていない

これに当てはまる人、 弱いって。脆弱だって。

図1: ガチで危機感持った方が良いと思う

かくいう私も、passやsopsで必要になってくるGPGや、他のマシンの操作やコーヒーの注文に必須のSSHの鍵について、デバイスが増えるにつれて以下の問題に悩んでいました。

鍵管理の限界: 4台のPC、クラウドサーバー、研究室のサーバーを使い分けており、マシンごとに鍵を作るのは管理状況を覚えているのが辛いし、同じ秘密鍵を使い回すのはセキュリティ的に不安。
2段階認証の苦痛: macOSならPasskeyが使えるが、LinuxではGoogle やGitHub のログインのためにiPhoneのアプリを開く必要があり、これが地味にダルかった (最近こんなのもあるらしいけど)

これらをYubiKeyの導入で解決した記録です。

できるようになったこと

一元管理: YubiKey内にGPG鍵（署名・復号・認証）を閉じ込め、PC側には秘密鍵を置かない運用へ。
2FAの突破: GitHubやGoogle等のログイン時、YubiKeyのボタンをポンと触るだけで認証完了。
リモートでのシームレスな認証: 手元のPCにYubiKeyを挿しておけば、SSH先のサーバー（自宅のMac miniや研究室のPC）上でも、手元のYubiKeyを使って git fetch や commit の署名の認証が可能（Agent Forwarding）。

やったこと

YubiKey の購入

日本の代理店のサイトやAmazon でも購入可能ですが、自分が欲しかった YubiKey 5C Nano が売っていなかったため、本家のYubico Store から直接購入しました。

図2: YubiKey 3本とストラップで送料込み32,154円でした

なぜ3本も買ったのか？

①自宅のデスクトップ用、②外出用のノートPC用、③携帯用の予備、の3本体制にするためです。外出先でYubiKeyを忘れて数時間、場合によっては数日間作業できなくなるリスクを鑑みれば、追加の1万円は安い!

2026 Week 6 面白かった記事など

Sun, 08 Feb 2026 14:47:00 +0900

State of AI in 2026: LLMs, Coding, Scaling Laws, China, Agents, GPUs, AGI | Lex Fridman Podcast #490 - YouTube

RLVR（Reinforcement Learning with Verifiable Rewards)ではScaling Laws の限界がまだ見えていない
if you learn more, you forget more (No Free Lunch): LLMも新しいことを学習すればするほど、以前に学習したことを忘れてしまう傾向がある
Is the dream of AGI dying?: 単一モデルでAGIを実現するという夢は死につつあり、むしろ複数の専門特化したエージェントが協力し合う形でAGIを実現する方向に進んでいる
rasbt/LLMs-from-scratch: Implement a ChatGPT-like LLM in PyTorch from scratch, step by step

2026 Week 5 面白かった記事など

Sun, 01 Feb 2026 20:12:00 +0900

今週のハイライト: 前歯が欠けた(5年ぶり3回目)

Best Ways to Build Better Habits & Break Bad Ones | James Clear - Huberman Lab

良い習慣を形成し、悪い習慣を断ち切るための方法
基本的に聞いたことあるような話:
- 良い習慣を身につける: Make it obvious, attractive, easy, satisfying
- 悪い習慣を断ち切る: Make it invisible, unattractive, difficult, unsatisfying
自分は、ふとした時にLINE News を読んじゃう習慣を断ち切りたかったけど、LINEアプリはさすがに消せないので困ってた。このpodcast聞いたのを機にちょっと知らべたら、この方法でLINE Newsだけを非表示にできることがわかった。(感動)

Andrej Karpathy のツイート

A few random notes from claude coding quite a bit last few weeks.

Coding workflow. Given the latest lift in LLM coding capability, like many others I rapidly went from about 80% manual+autocomplete coding and 20% agents in November to 80% agent coding and 20% edits+touchups in…

2026 Week 4 面白かった記事など

Sun, 25 Jan 2026 18:58:00 +0900

The Best Way to Read a Book (That Nobody’s Doing)

Jeremy Howard がSolveit を使った精読(close reading)の方法を紹介している動画
「 読む前に関連情報をcontextに入れまくり、章ごとにcontextの引き継ぎをしながらAIと会話しながら読む 」という方法
論文とか教科書を読むときに gptel で前からやっていた方法に近いけど、contextの引き継ぎを章ごとにやるのはやったことがなかった
- (参考) 過去記事: gpt.el & mcp.el で整う emacs llm環境

2026 Week 3 面白かった記事など

Sun, 18 Jan 2026 18:58:00 +0900

忙しくてブログを更新してなかったから、リハビリも兼ねて今週読んで面白いと思ったサイトなどをメモしておく。

小野口スノードーム

スノードームのコレクターの方がコレクションを写真付きで紹介しているサイト。
サイトの平成初期感が味わい深い
スノードームをお土産で買ってくるような彼女が欲しい

The security paradox of local LLMs - Quesma Blog (HN)

Local LLMはCloud LLMよりもセキュリティ的に安全そうに見えて、実はそうでもないという話。
紹介されている攻撃プロンプトが面白い (特にAttack #2)

ラブジェネレーションロケ地情報・マップ

NetFlixで久々にハマったドラマ
正味Stranger Thingsとかよりも面白い
キムタクがかっこよすぎる

拝啓データサイエンティストがいらなくなると思っている君へ

Sun, 31 Aug 2025 20:31:00 +0900

図1: 二十七の僕には誰にも話せない悩みの種があるのです

はじめに: AIは専門家を不要にするという風潮の問題

ここ数年、専門的なホワイトカラーの仕事がAIに奪われるという話を至る所で耳にします。

私自身学部時代から、仕事でも研究でも趣味でもデータサイエンス(以下、DS)にどっぷり浸かってきたのですが、最近ではテクノロジーに疎い家族やプログラミング経験のない友人から、「まだプログラミングやってるの？」「AIで全部できるんじゃない？」と、悪気なく言われるようになりました。

こうした声は身内だけにとどまりません。驚くべきことに、名だたる大企業のマネージャーレベルの人や、コンサルティング業界で長年活躍されてきたような、いわゆるエリートの方々からも、

『DS領域でやっていこうとするのは勧めない』

『データサイエンティストが一番最初にAI に代替される職業なのではないか』

と言われてしまいました。

図2: それ、本当?

つい先日も、知り合いの優秀な大学院生が「データサイエンティストの将来は暗い」という周囲の声に惑わされ、大学院を中退しようと真剣に悩んでいました。

私は、 データサイエンティストの仕事を完全にAIで置き換える未来が数年以内に来る可能性は極めて低い と考えており、AIへの過度な期待が企業の判断を誤らせたり、「AIがなんでもやってくれるから自分は何も学ぶ必要がない」という極端な考えが若干広まりつつある現状に強い危機感を覚えています。

この状況に対し、データ分析をしている側の人間として立場を明確に示す責任があると感じ、「データサイエンティストがAIに代替される」論者の主張としてよく見られる以下の意見:

AI はコードを書けるから、データサイエンティストはいらない

今はまだ発展途上なだけで、AI の進化ですぐに自動化できるようになる

人間も失敗するから、ハルシネーションはLLMが人間に劣る理由にならない

AIで誰でも専門的な知識を得られるから、専門性の価値は下がるのでは？

なくならずとも、残るのはトップレベルの人だけで、需要は減るのでは？

ジュニアレベル専門家は、AIを使いこなす素人にすぐに追い越されるのでは？

のひとつひとつに対し、現場の者を(勝手に)レペゼン¹してアンサーしていこうと思います²。

図3: I’m not a rapper

現状のLLMの課題

AI はコードを書けるから、データサイエンティストは不要になる

これは、第一線で活躍されているコンサルの方から実際に私が言われたことです。

たしかにここ数年、特にコーディングの分野でのAIによる変化は凄まじく、そう思うのも無理はありません。 Tomlinson et al. (2025)が算出しているAI Applicability scores ³では"Data Scientist"はトップ30に入っており⁴、DSの業務と生成AIとの親和性が非常に高いことを示しています。過去ブログにも書きましたが、私自身も2022年の終わり頃から生成AIを使っており、コーディングやリサーチ、資料作成や勉強など、様々な場面で恩恵を受けています。

しかしこの「生成AIの登場でデータサイエンティストが不要になる」という考えは電動ノコギリの登場が大工を不要にすると言うのと同じくらい 的外れ なことだと思います。

(前提) “データサイエンティストの仕事=コーディング” ではない

組織やポジションによって様々ですが、一般的にデータサイエンティストと呼ばれる仕事には上の資料にあるような多様な役割が含まれます。そのため、LLM がコーディング作業を代替したとしてもデータサイエンティストの仕事がなくなるわけではありません。自分でコードを書く時間が減り、課題設定や分析設計、実装の監督と検証、ステークホルダーとのコミュニケーションなどの 付加価値が高いタスクにより多くの時間が割かれるような形に転換されていくだけ というのが現実的なシナリオだと思います。 (ていうか、多くの仕事で既にこの類の変化は始まっていると思いますが。)

gpt.el & mcp.el で整う emacs llm環境

Wed, 02 Jul 2025 11:16:00 +0900

はじめに

Emacs内での大規模言語モデル（LLM）との連携は、ここ数年で劇的な進化を遂げてきました。

私の最初のEmacs 内LLMとの出会いは2022年11月、copilot.el によるAI 自動補完でした。このときの感動は鮮明に覚えています。

その後間もなくChatGPT が登場し、ChatGPT.el 等でEmacs内でのAIとの対話ができるようになりましたが、当時は機能も少なく、EmacsでLLMを使うメリットはあまり感じられませんでした。

自分的ブレークスルーは、東京Emacs勉強会サマーフェスティバル2024 のTomoya さんの発表で ellama を知ったことでした。 ellamaでは従来の対話形式だけでなく、様々な関数を通じてLLMを利用でき、Emacs が何倍も強力な開発環境へと変貌しました。

そして最近では gptel が llm module として doom emacs に正式に組み込まれ、ツール連携やプロンプト/コンテクストエンジニアリング¹が非常にスムーズになりました。

これとmcp.el と組み合わせることで、LLM in emacs がある種のplateau に達したのではと感じている今、これを知らないEmacser (同胞) がもしいたら非常に勿体ないと思うので、この記事を書くことにしました。

gptel, mcp.el の設定方法や使う理由、ユースケースなどを紹介します。

  gantt
    title 私のEmacs 内LLM 遍歴
    todayMarker off
    dateFormat YYYY-MM
    axisFormat %Y-%m
    section 自動補完
        copilot.el :2022-11, 32M
    section 黎明期
        ChatGPT.el :2023-03, 17M
        org-ai :2023-12, 8M
    section 革命
        ellama/llm              :2024-08, 9M
    section 開拓期
        ai-org-chat :2024-11, 2M
        ob-llm :2025-01, 2M
        elisa :2025-03, 1M
        copilot-chat.el     :2025-03, 2M
    section 成熟期
        gptel+mcp.el              :2025-05, 2M
        claude-code.el              :2025-06, 1M

`gptel` とは

gptelは、Emacsのためのシンプルかつ強力な大規模言語モデル（LLM）クライアントです。 Emacs内のあらゆる場所から自由な形式でLLMと対話できる環境を提供します。このデモを見ると使用イメージが分かりやすいです。

NixOSのエラー: Could not start dynamically linked executable の対処法についてのメモ

Wed, 02 Jul 2025 11:16:00 +0900

別記事 gpt.el & mcp.el で整う emacs llm環境 -> mcp.el の設定例にあるようにmcp.el で使ういくつかの mcp server の起動で uvx を使用しているのですが、nixOS で最初に起動したときにエラーが出てしまいました。解決方法と原因を Gemini に調べさせたので、メモしておきます。

症状とエラーメッセージ

*Mcp-Hub* buffer で mcp-hub-view-log を確認すると、以下のエラーが出ていました:

[stderr]  Could not start dynamically linked executable: /home/bk/.cache/uv/archive-v0/unI5q9QapqXHm9fPXna4G/bin/python
[stderr]  NixOS cannot run dynamically linked executables intended for generic
[stderr]  linux environments out of the box. For more information, see:
[stderr]  https://nix.dev/permalink/stub-ld
[jsonrpc] D[14:56:49.461] Connection state change: `exited abnormally with code 127

解決策：nix-ld を有効にする

nix conifguration で、以下を足したら直りました。

ox-hugo で mermaid.js を使う方法

Sat, 21 Jun 2025 22:07:00 +0900

はじめに

このブログは、以下のワークフローで運用されています。

  graph LR
  org-mode -- <a href="https://ox-hugo.scripter.co/">ox-hugo</a> --> markdown -- <a href="https://gohugo.io/">Hugo</a> --> HTML

上のようなフローチャートなどのダイアグラムを載せようとすると、どのような方法が思い浮かぶでしょうか？

まさか、パワポ等で作ったダイアグラムを画像としてエクスポートして…なんて方法は考えていませんよね？

それ、Dティアです

図1: パワポはまじでDティア

それはさておき、私はダイアグラムを作る方法について詳しくなかったので、ox-hugo を使うという前提で Gemini 2.5 Pro に、Deep research してもらいました。結果、以下のようなTier Listができました。¹

表 1: ox-hugo でのダイアグラム作成方法のTier List by Gemini 2.5 Pro & me

HugoレンダーフックによるMermaid.js

Org Babel + Hugo Kroki

純粋なOrg Babel実行 (PlantUML/Ditaa)

GUIツール (Excalidraw等) で作成し、SVG/PNG画像として挿入

レガシーなHugoショートコード

iFrame埋め込み

アスキーアート (ditaa, GoAT)

🤮 M社製品 (PowerPoint, Visio)で作成+バイナリ挿入 🤮

表で示しているように、個人的にはmermaid.js を使うのがベストです。しかし、方法がそれほどシンプルではなく、少し面倒だったので、書き残しておきます。

Hoff解答例サイト、軽量化したら(?)検索順位が上がった話🚀

Sat, 03 May 2025 13:28:00 +0900

TL;DR (要約)

修士のときに作り、今もめちゃくちゃスローペースで更新している A First Course in Bayesian Statistical Methods/標準ベイズ統計学の章末問題解答サイト。

先日、サイトを少しアップデートだけで、 Google検索で全くヒットしなかった状態から上位に出てくるようになった ので、やったことをメモします📝

サイト改善のきっかけ: 「検索結果に全く出ない」

このサイト、修士時代に修士論文の次に力を入れて作ったもので、標準ベイズ統計学の読者からの需要はそこそこにあるんじゃないかと思っていました。

ところが

どんなキーワードで検索しても、全くヒットしませんでした😭 例えば…

hoff bayes exercise
標準ベイズ解答

などでGoogle検索しても、検索結果の 最後のページ にすら出てこない…。

図1: Google検索結果のナビゲーションバー。oの数がページ数を表すっぽい…知らなかった

順位が低いならまだしも、候補にすら挙がらないのは流石におかしいのでは？と思い、「もしかしてサイトが重すぎる…？」と仮説を立て、軽量化してみることにしました

やったことリスト🛠️

具体的にやったことは以下の通りです。

サイト構造の大幅変更 (軽量化)
- Before: トップページに全章(2~10章、当時54問！)の解答を掲載
- After: 各演習問題ごとにページを分割
SEO基本対策
- 各ページに keyword, description を追加
- robots.txt を設置 (クローラーに対する指示🤖)
- sitemap.xml を生成・設置 (サイトの地図🗺️)

結果発表！劇的ビフォーアフター✨

サイト改善の効果は、PageSpeed Insights のスコアに如実に現れました

指標	Before 😱	After 🚀	改善度
Performance	51	97	+46 ポイント
Largest Contentful Paint	1.4s	1.0s	-0.4s
Total Blocking Time	4,590ms	0ms	-4,590ms (!!)
Cumulative Layout Shift	0.195	0.011	-0.184
Speed Index	2.2s	1.0s	-1.2s
ユーザー補助 (Accessibility)	!	88	エラー解消！
SEO	!	100	インデックス可に！

Total Blocking Time が 4.5秒 もあったのが 0秒になったのはびっくりです

Doom Emacs & Mac へのSKK導入ガイド

Sat, 12 Apr 2025 13:52:00 +0900

この記事で分かること

SKKとは何か
AquaSKKのインストールと設定方法
Doom EmacsでのSKK（ddskk）の導入方法
SKK導入における障壁とその解決方法
SKKを長期間使用した感想と評価

SKKとは

SKK（Simple Kana to Kanji conversion program）は、日本語入力システムの一種です。一般的なIMEとは異なり、入力モードの切り替えが明示的で、変換候補を選ぶ際にも独特の操作方法を持っています。特徴として：

変換時に送り仮名を明示的に指定する
辞書が自己学習し、使うほど自分専用の辞書になっていく
キーボードから手を離さずに日本語入力ができる

が挙げられます。

SKKとわたし

昨年8月に参加した東京Emacs勉強会サマーフェスティバル2024 でSKKの存在を知り、そこでSKKをちょっと使ってみるも、何が良いのかわからず、いつのまにか存在を忘れる
約2ヶ月後の東京Emacs勉強会オクトーバーフェスティバル2024 で再度SKKの話題になる。参加者の過半数がSKKを使用しており、その空間ではSKKを使っていない方がマイノリティであることを知り、すぐにSKKを導入。全然思うように使えず、生産性が爆下がりする
しかし、日本のEmacser多くの方々が使っているからには、何かしら良いところがあるはずだと考え、キーボード自体の設定を変えたりしながら、徐々にSKKに適応していく
使い始めてから5ヶ月ほど経ち、SKK関連の設定も安定。試行錯誤の結果の設定を共有したいと思いこの記事を書くに至る

AquaSKKの導入

インストール

Homebrewを使って簡単にインストールできます：
```
brew install --cask aquaskk
```
です。

nix&flake&home-managerを使っている方は、以下を適切にimportするとインストールできます：
```
homebrew.casks = [
  "aquaskk"
];
```

基本設定

こういうのは基本的にデフォルトのままで使いたい派の自分ですが、日本語入力の切り替えキーだけは変えました。

AquaSKK/keymap.conf:
```
- SKK_JMODE		ctrl::j
+ SKK_JMODE		ctrl::shift::j
```
（理由は後述します）

設定の同期

複数のデバイス間で辞書やキーマップの設定を同期させるために、AquaSKKのディレクトリをDropboxに配置し、 ~/Library/Application Support/ 内にシンボリックリンクを作成しました：
```
ln -s ~/Dropbox/AquaSKK ~/Library/Application\ Support/AquaSKK
```

Macのデフォルト入力切替キー無効化

emacs の indirect buffer が便利だった

Fri, 28 Mar 2025 09:36:00 +0900

Emacsを使っていると、「このファイルの一部だけを別のウィンドウで編集したい…」「同じ内容だけど、表示モードを変えて見比べたい…」と思うことはありませんか？

自分は、よくありました。そんな時に発見して感動した機能が、 Indirect Buffer です！

この記事では、Indirect Bufferの基本的な概念から、使い方、注意点までを解説します。

Indirect Bufferとは？

Indirect Bufferは、Emacsの特殊なバッファの一種で、別のバッファ(ベースバッファ と呼ばれます)の内容を「共有」するものです。ファイルシステムのシンボリックリンクのようなもの、と言えばイメージしやすいかもしれません。

内容の共有: Indirect Bufferは、ベースバッファのテキスト内容（文字だけでなく、文字の色やフォントなどの テキストプロパティ も含む）を完全に共有します。一方での変更は、もう一方に即座に反映されます。
独立性: 内容は共有しますが、それ以外の点（バッファ名、カーソル位置、表示モードなど）は、Indirect Bufferとベースバッファでそれぞれ独立して設定できます。
ファイルとの関連: Indirect Buffer自体はファイルを直接開きませんが、ベースバッファはファイルを開くことができます。Indirect Bufferを保存しようとすると、実際にはベースバッファが保存されます。

Indirect Bufferの作り方

自分が調べた限りでは、 Indirect Bufferを作成する方法は、以下の3つでした。

M-x make-indirect-buffer:
- より汎用的な作成方法です。
- ミニバッファを使って、ベースバッファとIndirect Bufferの名前を指定します。
M-x clone-indirect-buffer またはdoom emacs で SPC B c (clone-indirect-buffer-other-window または SPC B c):
- 現在開いているバッファをベースバッファとするIndirect Bufferを、素早く作成する方法です。
- SPC B c は、新しいウィンドウでIndirect Bufferを開きます。
(org-mode内で) M-x org-tree-to-indirect-buffer (z n):
- 現在の subtree をIndirect Bufferとして開きます。
- M-x doom/widen-indirectly-narrowed-buffer (z N)で、元のバッファに戻る

個人的には、1の方法は全く使わず、 2と3をよく使います。手軽にIndirect Bufferを作れて、とても便利です！

最強のAnki用単語学習Cardを作った

Mon, 17 Mar 2025 10:30:00 +0900

はじめに

皆さん、Ankiは使っていますか？ Ankiは、間隔反復学習システム(SRS)を採用した、非常に強力な暗記ツールです。私も長年Ankiを愛用しており、特に語学学習には欠かせない存在となっています。

今回、私がAnkiで英語の語彙学習をするにあたり、「こんな機能があったら最高なのに…」と思う理想のカードタイプを形にし、 GitHubで公開しました。この記事では、そのカードタイプ「Super Vocab」の紹介と、開発の経緯、そしてAnki/Emacsユーザーには嬉しい、 anki-editor を使ったカード作成方法について解説します。

理想の単語カードに求める機能

私が単語学習用のフラッシュカードに求める機能は、以下の5点です。

双方向学習: 単語を見て意味を答えるだけでなく、意味を見て単語を答える、両方向の学習ができること。
意味→単語カードでの例文表示: 意味から単語を答えるカードでは、定義だけでなく、例文や用例も表示すること。
- 理由：
  - 単語は例文や構文とセットで覚えることで、記憶に定着しやすくなる。
  - 同義語の微妙なニュアンスの違いを理解し、区別して覚えられる。
- ただし、例文中のターゲット単語は隠したい (ここがポイント！)
  - 理由：答えが見えてしまうとフラッシュカードの意味がないからカードの意味がないから。
単語→意味はシンプルに: 単語から意味を答えるカードでは、単語以外の情報は極力表示しないこと。
- 理由: 例文などがあると、単語の意味を推測できてしまい、フラッシュカード本来の目的（想起訓練）が損なわれるため。
簡単に単語を追加でき、経験と結びつけられる: 読書などで出会った単語を、その文脈（例文）ごと簡単にカードに追加できること。
- 理由: 自分の経験と単語を結びつけることで、より深く記憶に刻み込むため。
柔軟な情報追加: 発音記号、品詞、関連語、語源、メモ、ヒント画像など、単語に関するあらゆる情報を簡単に追加できること。

既存のカードとの比較、そしてSuper Vocab誕生へ

AnkiWebを探しても、上記の機能を全て満たすカードタイプは見つかりませんでした。特に、2番目と3番目の要件（文脈付きの意味→単語カードで、ターゲット単語を自動的に隠す）を満たすものは皆無でした。

Ankiの標準機能であるクローズ削除（穴埋め問題）を使えば、この要件に近いものは作れます。しかし、例文が増えるほど手作業でのクローズ削除は大変です。

「JavaScriptなどを使って、自動的に単語を隠せないか？」

そう考えていた時、English vocab (note type) という素晴らしいカードタイプに出会いました。このカードタイプは、まさに私が求めていた自動クローズ削除機能を備えていました！しかし、惜しいことに、上記の要件を全て満たしているわけではありません。

そこで、私はこの「English vocab (note type)」をベースに、自分の理想とする機能を全て盛り込んだ、究極の単語カード「Super Vocab」を作ることにしました。

anki-editorとEmacs、立ちはだかる壁、そしてPull Requestへ

私は普段、Ankiのカード作成にanki-editorというEmacs packageを使っています。 org-modeで構造化されたノートをAnkiに簡単に取り込める、非常に便利なツールです。

Super Vocabのカードタイプも、anki-editorを使ってEmacsからAnkiに送信しようとしました。しかし、ここで問題が発生しました。

通常、anki-editorはorg-modeのノートをHTMLに変換してAnkiに送信します。しかし、HTMLに変換してしまうと、Super VocabのJavaScriptによる自動クローズ削除機能が動作しなくなってしまうのです。

anki-editorには :ANKI_FORMAT: nil というオプションがあり、これを使うとHTML変換を無効にできます。しかし、このオプションは全てのフィールドに適用されてしまい、カードの見た目（HTML/CSSによる装飾）も失われてしまいます。

「特定のフィールドだけ、HTML変換せずに生のテキストとしてAnkiに送りたい…」

しかし、anki-editorにはそのような機能はありませんでした。

emacs起動時の、 Project … cannot be read

Sun, 23 Feb 2025 18:41:00 +0900

問題

先日、いつものようにEmacsを起動すると、mini bufferに

Project <プロジェクト名> at <プロジェクトのパス> cannot be read.

と表示され、emacsがただの白い画面を写すソフトウェアになってしまいました。

少し前にこのプロジェクトのパスを変更したので、そのせいかと思い、 projectile-known-projects-file にあるプロジェクトのパスを変更/削除してみましたが、状況は変わりませんでした。 doom sync や doom upgrade なども試しても、解決しませんでした。

解決策

試行錯誤の結果、原因はなんと、treemacs にあることがわかりました。

treemacsは、セッション情報を、 treemacs-persist-file (通常は user-emacs-directory/.cache/treemacs-persist)に保存するのですが、その名の通り、treemacs_persistがpesistしていたのが原因だったようです。

そのため、

rm ~/.config/emacs/.cache/treemacs-persist # pathは環境によって異なる

で解決することができます。

自分はtreemacsを入れておきながら、全然使ってなかったので、treemacsをinitファイルから削除しました。

今回は以上です。

参考

Project .emacs.d at User/x.emacs.d cannot be read. · Issue #586 · Alexander-Miller/treemacs

Server julia-ls starting exited (check corresponding stderr buffer for details). Do you want to restart it? (y or n) の解決策

Wed, 29 Jan 2025 16:00:00 +0900

問題

先日久々にemacsでjuliaを使おうとしたら、

Server julia-ls:50759/starting exited (check corresponding stderr buffer for details). Do you want to restart it? (y or n)

のようなmessageが(y を押しても繰り返し)出てきて、lspが起動しませんでした。

これを直すのにそこそこ時間がかかったので、emacsでjuliaを使っている方 (果たして日本に何人いるのか…) のために解決策をメモしておきます。

解決策

lsp-julia のビルド済みファイルが格納されているディレクトリの中にある Project.toml (自分の環境では ~/.config/emacs/.local/straight/build-29.4/lsp-julia/languageserver/Project.toml ) が実体のあるファイルではなく、シンボリックリンクであることが原因でした。(理由はよくわからない)

そのため、シンボリックリンク先のファイル(自分の場合は /.config/emacs/.local/straight/repos/lsp-julia/languageserver/Project.toml)をコピーして、直接のファイルを同じ場所に作成することで解決しました。

参考

language server crashes · Issue #66 · gdkrmr/lsp-julia

Hoffの解答例のサイトのソースコードを公開しました

Tue, 28 Jan 2025 16:18:00 +0900

Hoffの演習問題の解答例のソースコードを公開しました:

GitHub

このサイトはちょうど2年前に公開し、少しずつアップデートしてきたものです

今までは、間違いやtypoを見つけたらメールで連絡して欲しいとサイトに書いていましたが、結局そのような連絡は2年間で1度も来たことがありませんでした😭

(海外の研究者の方から感謝のメールをいただいたことはあり、それはとても嬉しかったです)

なので、もしかしたらgithubのissueやPRだと気軽に連絡してもらえるかもしれないと思い、公開しました

これからは

11章以降の演習問題の解答例を追加
日本語と英語が混在しているので、英語版と日本語版をちゃんと分ける
julia で書いた教科書本文中のコードをrepoに追加

などをしていきたいと思います

Advent of Code 2023 1日目

Tue, 07 Jan 2025 12:07:00 +0900

明けましておめでとうございます。

昨年の年末、とある理由で2023 のAdvent of Code をちょっとずつ解いていたので、自分の解答や、ちょっとしたメモを残していこうと思います。

なお、全部pythonで書いています。

全部解き終わったタイミングで、まとめてgithubにあげようかなと考えていますが、いつになるかはわかりません。

それでは、早速Day 1 の解答を書いていきます。

Part a

問題の概要

数字と文字が混ざった文字列が与えられる。この文字列のそれぞれの行に含まれる最初の数字と最後の数字を取り出し、それらを結合した数値を求める。

例：
```
1abc2        → 12
pqr3stu8vwx  → 38
a1b2c3d4e5f  → 15
treb7uchet   → 77
```
課題は、与えられた入力ファイルの全ての行について、この方法で校正値を求めて合計することである。

この例では、4つの行の校正値（12 + 38 + 15 + 77）を合計すると142になる。

My solution

from fastcore.utils import L
from aocd import get_data, submit
import re, regex
from regex import findall

def get_calibration_value(x:str):
    digits = re.findall(r"\d", x)
    return int(digits[0]+digits[-1])

def solve1a(inp:str):
    lines = L(inp.splitlines())
    return lines.map(get_calibration_value).sum()

Part b

問題の概要

『Pythonではじめる時系列分析入門』のorg version repoを作ったよ

Sun, 22 Dec 2024 08:37:00 +0900

最近、馬場真哉 (著) 『Pythonではじめる時系列分析入門』という本を読みました。

この本はpythonのコードを手で動かしながら時系列分析の基礎を学ぶことができる本で、とてもためになりました。

特にsktimeという、トレンド・季節性の除去などの前処理や予測モデルをsklearnのように簡単にpipeline化できるライブラリを知ることができた点がよかったです。

馬場先生はこの本の公式リポジトリを公開されているのですが、pythonコードがjupyter notebook形式で書かれているため、heavy emacserの私としてはどうしてもorg-modeを使いたくなってしまいました。

そこで、この本のコードをorg-mode形式に変換したリポジトリを作成しました。

リポジトリのリンク

このリポジトリを使って、emacsユーザーの方々がこの本を読む際に、jupyter notebookを使わずにorg-modeでコードを実行できるようになればと思います。

特にないと思いますが、このリポジトリを使って何か問題が発生した場合は、pull requestやissueを送っていただけると助かります。

時系列分析勉強中のemacsユーザーは私に感謝したうえで今年のクリスマスは家族と過ごしてください。

読んでいただきありがとうございました。

emacsをupgradeしたらankiの数式が汚くなったので直した

Sun, 24 Nov 2024 15:41:00 +0900

導入

こんにちは。私は日頃からanki-editor を使ってAnkiのカードを作成しているのですが、 Emacsをupgradeすると、数式が汚く表示されるようになってしまいました。

症状としては、

デスクトップ版のAnkiのBrowserで各Fieldのプレビューで数式が数式として表示されない (plain latex codeとして表示される)
数式がpng画像として表示される (もともとはMathJax inlineで表示されていた)

というものでした。

デスクトップ版のAnkiでcardを編集することはほぼないので、1の症状についてはまだ許容範囲でしたが、 2のほうについては、数式の解像度だけ低くなったり、他の文字とのサイズが合わなくなったりして、かなり気になりました。

解決策

以下を config.org に追加することで解決しました。

(use-package! anki-editor
  :after org
  :init
  (setq-default anki-editor-latex-style 'mathjax))

この解決策に至った背景

anki-editor でpushされたカードは、HTMLに変換された状態でカードとして保存されます。うまく数式が表示されるカードのHTMLを見ると、数式は以下のように anki-mathjax というタグで囲まれていました。

<anki-mathjax block="true">1 + 1 = 3</anki-mathjax>

一方、今回の問題が発生したカードのHTMLを見ると、数式は以下のように p タグと [$$] で囲まれていました。

<p>[$$] 1 + 1 = 3 [/$$]</p>

したがって、anki-editorがorgテキストをHTMLに変換する部分で、問題が発生していることがわかりました。 anki-editor.el の中を見てみると、以下のように anki-editor-latex-style という変数によって、latexのスタイルを変更できるようになっており、今回の解決策に至りました。

(defun anki-editor--translate-latex-env (latex-code)
  (setq latex-code (replace-regexp-in-string "\n" "<br>" (org-html-encode-plain-text latex-code)))
  (cl-ecase anki-editor-latex-style
    (builtin (concat "[latex]<br>" latex-code "[/latex]"))
    (mathjax (concat "\\[<br>" latex-code "\\]"))))

読んでいただきありがとうございました。

Hoff/標準ベイズ演習問題 10-4 を更新しました

Tue, 19 Nov 2024 20:32:00 +0900

導入

Answers of exercises on Hoff, A first course in Bayesian statistical methods (標準ベイズ統計学の演習問題の解答例) を更新(10-4を追加)したので、このブログでもその内容をほんの少しだけ触れようと思います。

まず、この問題と教科書本文の関係について簡単に説明します。以前 Hoff/標準ベイズのM-Hアルゴリズムがworkすることの証明でつまずいた話という記事を書きましたが、Hoff (2009) では10章でM-Hアルゴリズムがうまくいくことの-証明を以下のステップで行っています。

M-Hアルゴリズムは、 irreducible (非可約), aperiodic (非周期的), positive recurrent (正再帰的) なマルコフ連鎖を生成する。

Ergodic Theoremより、$s \to \infty$で

$\mathrm{Pr}(x^{(s)} \in A) \to \pi(A)$ for any set $A$;

$\frac{1}{S} \sum g(x^{(s)}) \to \int g(x) \pi(x) dx$.

を満たす$\pi$が一意に存在する。

このような$\pi$は定常分布と呼ばれ、以下の性質を持つ

If $x^{(s)} \sim \pi$,
and $x^{(s+1)} $ is generated from the Markov chain starting at $x^{(s)}$,
then $\mathrm{Pr}(x^{(s+1)} \in A) = \pi(A)$. (一度定常分布からサンプリングされると、それ以降のサンプルも定常分布からサンプリングされる。)

ox-htmlで\bmなどのlatexマクロを使う方法

Mon, 18 Nov 2024 16:35:00 +0900

問題

\bm{a}

上の数式を書いたorg fileは、latex(pdf)へのexportであれば \usepackage{bm} とセットで斜体太字になるところ、 ox-html で単にHTMLとして exportしただけではlatexマクロとして認識されなかったので、その対処法を解説します。

latexによる数式をHTML上で表示する場合、MathJaxというライブラリを使うことが一般的であり、今回の問題も \bm をMathJaxでマクロとして認識させることで解決できます。このQiita記事がまさにそれをやっていたので、それを参考にまず以下の方法を試してみました。

最初に試した方法

以下のブロックをorg fileに追加しました。

#+BEGIN_EXPORT html
<script>
    MathJax = {
        tex: {
            macros: {
                bm: ["\\boldsymbol{#1}", 1],
            },
        }
    };
</script>
#+END_EXPORT

結果、 \bm はうまく斜体太字になったが、 \eqref{} など他のlatexマクロが逆にうまく表示されなくなってしまうという問題が発生しました。

解決策

よく調べてみると、 ox-html の変数に、 org-html-mathjax-template というものがあり、そこにMathJaxの設定を書き込むことで、latexマクロをHTML上で認識させることができることがわかりました。

テコちゃんのconfigを参考に、以下の設定config.orgに追加することで解決しました。

(setq org-html-mathjax-template
  "<script>
  window.MathJax = {
    loader: {
      load: ['[tex]/mathtools'],
    },
    tex: {
      ams: {
        multlineWidth: '%MULTLINEWIDTH'
      },
      tags: '%TAGS',
      tagSide: '%TAGSIDE',
      tagIndent: '%TAGINDENT',
      packages: {'[+]': ['mathtools']},
      macros: {
        RR: ['\\\\ifstrempty{#1}{\\\\mathbb{R}}{\\\\mathbb{R}^{#1}}', 1, ''],
        NN: ['\\\\ifstrempty{#1}{\\\\mathbb{N}}{\\\\mathbb{N}^{#1}}', 1, ''],
        ZZ: ['\\\\ifstrempty{#1}{\\\\mathbb{Z}}{\\\\mathbb{Z}^{#1}}', 1, ''],
        QQ: ['\\\\ifstrempty{#1}{\\\\mathbb{Q}}{\\\\mathbb{Q}^{#1}}', 1, ''],
        CC: ['\\\\ifstrempty{#1}{\\\\mathbb{C}}{\\\\mathbb{C}^{#1}}', 1, ''],
        bm: ['\\\\boldsymbol{#1}', 1], ;; <- ここに\bmの設定を追加
        EE: '\\\\mathbb{E}',
        Lap: '\\\\operatorname{\\\\mathcal{L}}',
        Var: '\\\\operatorname{Var}',
        Cor: '\\\\operatorname{Cor}',
        E: '\\\\operatorname{E}',
      },
      mathtools: {
        pairedDelimiters: {
          abs: ['\\\\lvert', '\\\\rvert'],
          norm: ['\\\\lVert', '\\\\rVert'],
          ceil: ['\\\\lceil', '\\\\rceil'],
          floor: ['\\\\lfloor', '\\\\rfloor'],
          round: ['\\\\lfloor', '\\\\rceil'],
        }
      }
    },
    chtml: {
      scale: %SCALE,
      displayAlign: '%ALIGN',
      displayIndent: '%INDENT'
    },
    svg: {
      scale: %SCALE,
      displayAlign: '%ALIGN',
      displayIndent: '%INDENT'
    },
    output: {
      font: '%FONT',
      displayOverflow: '%OVERFLOW'
    }
  };
</script>

<script
  id=\"MathJax-script\"
  async
  src=\"%PATH\">
</script>")

これでどんなlatexマクロもHTML上で認譫させることができますね!

ox-hugoのreferenceがうまく表示されない問題

Tue, 12 Nov 2024 14:40:00 +0900

問題

Org Cite Citationsを使って

#+print_bibliography:

でreferenceを表示しようとしたが、“References"というヘッダのみが表示され、referenceのリストが表示されなかった。 content/ の中のmdファイルを見ると、htmlとして、referenceのリストが書き出されていたが、 public/ の中のhtmlファイルを見ると、referenceのリストが表示されていなかった。よって、 org -> md -> html という変換の md -> html の部分で問題があると考え、調べてみると、同じ問題についてのissueが立っており、以下の解決策にたどり着いた。

解決策

config.tomlに

[markup.goldmark.renderer]
  unsafe = true

を追加することで解決できる

自分の場合はymlを使っていたので、以下のように設定した。

markup:
  goldmark:
    renderer:
      unsafe: true

解説

Goldmark — ox-hugo - Org to Hugo exporter で書かれているように、 Hugo v0.60.0以降、デフォルトのMarkdownパーサーはCommonMark準拠のGoldmarkに変更された。以前のデフォルトパーサーであるBlackfridayは、仕様に準拠しておらず、多くのバグを抱えていたらしく、ox-hugoを使い続ける場合は、特別な理由がない限り、Goldmarkに移行することが推奨されている。

ただし、Goldmark/Hugoには、Blackfridayと比較してMarkdownのパース方法にいくつかの問題があり、その一つが、今回の問題である、インラインHTMLがうまく表示されないというものっぽい。

この解決策によって、Markdown内でインラインHTML を使用できるようになるということらしい。

Hoff/標準ベイズのM-Hアルゴリズムがworkすることの証明でつまずいた話

Mon, 11 Nov 2024 00:00:00 +0000

はじめに

Hoff (2009)およびHoff et al. (2022) 10.4.2 Why does the Metropolis-Hastings algorithm work? (メトロポリス・ヘイスティングスアルゴリズムはなぜうまくいくのか) で行われている証明について、つまずいた点があったので自分の中の整理がてら書いてみます。

Hoffの証明の流れ

Hoff (2009)およびHoff et al. (2022)では、 M-Hアルゴリズムによって生成されたマルコフ連鎖が目標分布$p_0$を近似できる理由の証明が以下の流れで行われています。

M-Hアルゴリズムは、 irreducible (非可約), aperiodic (非周期的), positive recurrent (正再帰的) なマルコフ連鎖を生成する。
Ergodic Theoremより、$s \to \infty$で
- $\mathrm{Pr}(x^{(s)} \in A) \to \pi(A)$ for any set $A$;
- $\frac{1}{S} \sum g(x^{(s)}) \to \int g(x) \pi(x) dx$.
を満たす$\pi$が一意に存在する。
このような$\pi$は定常分布と呼ばれ、以下の性質を持つ

If $x^{(s)} \sim \pi$,
and $x^{(s+1)} $ is generated from the Markov chain starting at $x^{(s)}$,
then $\mathrm{Pr}(x^{(s+1)} \in A) = \pi(A)$.

修論+αの論文がarXivにアップロードされたよ

Sat, 05 Oct 2024 00:00:00 +0000

久しぶりの投稿です。(読んでくれてる人はおそらく一人ですが) 自分の修論にアップデートを加えたものが、arXivにアップロードされました。

論文: Babasaki, K., Sugasawa, S., McAlinn, K. and Takanashi, K. (2024). Ensemble doubly robust Bayesian inference via regression synthesis. (arXiv:2409.06288)

この論文では、マクリン先生が作ったBayesian Predictive Synthesis (BPS)というアンサンブル手法を因果推論、特に平均因果効果(ATE)推定の文脈で拡張し、doubly robust Bayesian regression synthesis という手法を提案してます。詳しくは論文を読んでもらえるとありがたいです。

この論文を読むうえでは以下の論文を読むことをお勧めします。

McAlinn, K. & West, M. (2019). Dynamic Bayesian Predictive Synthesis in Time Series Forecasting. (Journal of Econometrics 210: 155-169)
Sugasawa, S., McAlinn, K., Takanashi, K. and Airoldi, E. A. (2023). Bayesian causal synthesis for meta-inference on heterogeneous treatment effect. (arXiv:2304.07726)

この論文は慶應経済学研究科に設定されている計量経済学演習(マクリン先生)の授業を受けた際に書くことになりました。

ベイズの発表をしたよ

Sun, 23 Apr 2023 00:00:00 +0000

こんにちは。

大学のある授業で、中妻先生の名著『Pythonによるベイズ統計学入門 (実践Pythonライブラリー)』の 3.1 節までを友達のけいごくんと一緒にスライドにまとめて発表したので、そのスライドを公開します。

発表資料のリンク

この資料は emacs の org-mode で作りました。

発表の内容とは関係なく、reveal.js や org-re-reveal の使い方を調べながら試行錯誤するのにとても時間がかかりました。そのその甲斐あって、 1 番の目的であった、学部生に対してドヤ顔をかますことができました。

今度、暇なときに org-re-reveal の使い方や tips をまとめてみようと思います。

では、また今度。

Exercise 0.4.6

Wed, 05 Apr 2023 00:00:00 +0000

Prove Proposition 0.4.11 (Inverse image of intersection, union)

1 $ f^{-1} (A \cap B) = f^{-1} (A) \cap f^{-1} (B) $

Proof:

1 To show $f^{-1}(A \cap B) \subset f^{-1} (A) \cap f^{-1} (B)$

$x \in f^{-1}(A \cap B)$ を任意にとる。すると、

\begin{align*} & f(x) \in A \cap B \qquad (\because \text{逆像の定義})\\ \Leftrightarrow & f(x) \in A \text{ and } f(x) \in B \\ \Leftrightarrow & x \in f^{-1}(A) \text{ and } x \in f^{-1}(B) \qquad (\because \text{逆像の定義}) \\ \Leftrightarrow & x \in f^{-1}(A) \cap f^{-1}(B) \quad \square \end{align*}

Exercise 0.3.1

Fri, 17 Mar 2023 00:00:00 +0000

Question

$E$ を$A \subset E$ and $B \subset E$を満たす集合とし、演算子$\ast $ を以下で定義する。 \[ A \ast B = (E - A) \cap (E-B) \]

このとき、以下の a,b,c を、 $A, B$, and $\ast$を用いて表せ。

a: $A \cup B$
b: $A \cap B$
c: $E - A$

Answer

a

\begin{align*} A \cup B &= E - ( \bar{A} \cap \bar{B} ) \\ &= E - \left\{ ( E - A) \cap (E-B) \right\} \\ &= E - A \ast B \\ &= (E - A \ast B) \cap (E - A \ast B) \\ &= (A \ast B) \ast (A \ast B) \end{align*}

3 つの数の相加相乗平均の不等式の証明

Mon, 06 Mar 2023 00:00:00 +0000

はい、こんにちは。

今日は、3 つの正の数の相加相乗平均の不等式の証明をしていきます。

2 つの数の相加相乗平均の不等式の証明は、できているものとします。

ではやっていきましょう。

$G = \sqrt[3]{xyz}$、$A = \frac{x+y+z}{3}$とする。

$G \leq A$を示す。

1. $x = y = z$ の場合

\begin{align*} G &= \sqrt[3]{xyz} = \sqrt[3]{x^3} = x \\ A &= \frac{x+y+z}{3} = \frac{3x}{3} = x \\ \therefore G &= A \end{align*}

2. $x = y = z$ が成り立たない場合

一般性を失わず、

\begin{equation} \label{eq:1} z < A < y \end{equation}

とできる。

2 つの正の数$x$と$y+z-A$について、すでに証明済みの 2 数の相加相乗平均を考える。相乗平均(geometric mean) を$g$、相加平均(arithmetical mean) を$a$とすると、

かおるのブログ

YubiKey 導入で、セキュアで快適な GPG & SSH 運用を実現したよ

はじめに

できるようになったこと

やったこと

YubiKey の購入

2026 Week 6 面白かった記事など

State of AI in 2026: LLMs, Coding, Scaling Laws, China, Agents, GPUs, AGI | Lex Fridman Podcast #490 - YouTube

2026 Week 5 面白かった記事など

Best Ways to Build Better Habits & Break Bad Ones | James Clear - Huberman Lab

Andrej Karpathy のツイート

2026 Week 4 面白かった記事など

The Best Way to Read a Book (That Nobody’s Doing)

2026 Week 3 面白かった記事など

小野口スノードーム

The security paradox of local LLMs - Quesma Blog (HN)

ラブジェネレーション ロケ地情報・マップ

拝啓 データサイエンティストがいらなくなると思っている君へ

はじめに: AIは専門家を不要にするという風潮の問題

現状のLLMの課題

(前提) “データサイエンティストの仕事=コーディング” ではない

gpt.el & mcp.el で整う emacs llm環境

はじめに

gptel とは

NixOSのエラー: Could not start dynamically linked executable の対処法についてのメモ

症状とエラーメッセージ

解決策：nix-ld を有効にする

ox-hugo で mermaid.js を使う方法

はじめに

Hoff解答例サイト、軽量化したら(?)検索順位が上がった話🚀

TL;DR (要約)

サイト改善のきっかけ: 「検索結果に全く出ない」

やったことリスト🛠️

結果発表！劇的ビフォーアフター✨

Doom Emacs & Mac へのSKK導入ガイド

この記事で分かること

SKKとは

SKKとわたし

AquaSKKの導入

emacs の indirect buffer が便利だった

Indirect Bufferとは？

Indirect Bufferの作り方

最強のAnki用単語学習Cardを作った

はじめに

理想の単語カードに求める機能

既存のカードとの比較、そしてSuper Vocab誕生へ

anki-editorとEmacs、立ちはだかる壁、そしてPull Requestへ

emacs起動時の、 Project … cannot be read

問題

解決策

参考

Server julia-ls starting exited (check corresponding stderr buffer for details). Do you want to restart it? (y or n) の解決策

問題

解決策

参考

Hoffの解答例のサイトのソースコードを公開しました

Advent of Code 2023 1日目

Part a

Part b

『Pythonではじめる時系列分析入門』のorg version repoを作ったよ

emacsをupgradeしたらankiの数式が汚くなったので直した

導入

解決策

この解決策に至った背景

Hoff/標準ベイズ 演習問題 10-4 を更新しました

導入

ox-htmlで\bmなどのlatexマクロを使う方法

問題

最初に試した方法

解決策

ox-hugoのreferenceがうまく表示されない問題

問題

解決策

解説

Hoff/標準ベイズのM-Hアルゴリズムがworkすることの証明でつまずいた話

はじめに

Hoffの証明の流れ

修論+αの論文がarXivにアップロードされたよ

ベイズの発表をしたよ

Exercise 0.4.6

ラブジェネレーションロケ地情報・マップ

拝啓データサイエンティストがいらなくなると思っている君へ

`gptel` とは

Hoff/標準ベイズ演習問題 10-4 を更新しました