Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
コーディング・エージェントを動かす (macOS Lima 編) / Running Codi...
Search
Sponsored
·
Your Podcast. Everywhere. Effortlessly.
Share. Educate. Inspire. Entertain. You do you. We'll handle the rest.
→
Kenji Saito
PRO
April 11, 2026
Technology
150
0
Share
Embed
Copy iframe code
Copy JS code
Copy link
Start on current slide
コーディング・エージェントを動かす (macOS Lima 編) / Running Coding Agent (macOS Lima Edition)
早稲田大学大学院経営管理研究科「プロンプトエンジニアリング ─ 生成 AI の応用」2026春のオンデマンド教材 第4回で使用したスライドです。
Kenji Saito
PRO
April 11, 2026
More Decks by Kenji Saito
See All by Kenji Saito
エージェント化するAI:現在地とその先に起きる変化 / AI as Agents: The Current State and the Changes Ahead
ks91
PRO
0
19
文化的ループ (推論, エージェント) と思考プロセスの検証可能性 / Cultural Loops (Inference, Agents) and the Verifiability of Thought Processes
ks91
PRO
0
27
アカデミーキャンプ2026 夏 「ヤツらを究めろ!ウチらとヤツらの自由研究∼ シーズン2」DAY 3 / Academy Camp 2026 Summer: Master Them! Our Independent Research Project with Them—Season 2 DAY3
ks91
PRO
0
59
アカデミーキャンプ2026 夏 「ヤツらを究めろ!ウチらとヤツらの自由研究∼ シーズン2」DAY 1 / Academy Camp 2026 Summer: Master Them! Our Independent Research Project with Them—Season 2 DAY1
ks91
PRO
0
60
アカデミーキャンプ2026 夏 「ヤツらを究めろ!ウチらとヤツらの自由研究∼ シーズン2」DAY 2 / Academy Camp 2026 Summer: Master Them! Our Independent Research Project with Them—Season 2 DAY2
ks91
PRO
0
91
責任2.0 ∼ AI が主体となる世界で ∼ / Responsibility 2.0: In a World Where AI Takes Responsibilities
ks91
PRO
0
78
発表と総括 / Presentations and Summary
ks91
PRO
0
230
インシデントレスポンス演習II / Incident Response Exercise II
ks91
PRO
0
110
脱金融のフューチャー・デザイン / Future Design Beyond Finance
ks91
PRO
0
200
Other Decks in Technology
See All in Technology
tamachi.go 誕生の裏側
rymiyamoto
1
200
AIで変わるエンジニアの働き方(仮)
naoinaoi
0
480
なぜ Temporal の大小比較には compare しかないのか / Why Does Temporal Only Have compare() for Comparisons
kazukihayase
1
200
Kiro Crew で始める マルチエージェント開発
miu_crescent
PRO
0
170
:syncing_time:
sksat
2
650
Android skills に学ぶ
kokiko
0
160
トークンマネジメントでAIにとって働きやすい環境を実現する
hikaruegashira
0
150
型落ちシンクライアント端末のPoEモジュールを自作したかった話
logica0419
0
400
Genie Codeハンズオン応用編
taka_aki
0
140
【書籍出版記念】 10周回って、エージェント開発は RAGがすべてだった。〜RAGの歴史と開発現場で見えた実践知〜
akiratameto
20
7k
形式手法特論:Hyperproperty とモデル検査 #kernelvm / Kernel VM Study Tokyo 19th
ytaka23
0
750
平文パスワードはログに“残り” ── 肝心の侵入は“痕跡すら残らない”
kuroneko13
0
130
Featured
See All Featured
Into the Great Unknown - MozCon
thekraken
41
2.7k
Stop Working from a Prison Cell
hatefulcrawdad
274
21k
For a Future-Friendly Web
brad_frost
183
10k
How People are Using Generative and Agentic AI to Supercharge Their Products, Projects, Services and Value Streams Today
helenjbeal
1
280
Digital Projects Gone Horribly Wrong (And the UX Pros Who Still Save the Day) - Dean Schuster
uxyall
1
2.5k
Visualizing Your Data: Incorporating Mongo into Loggly Infrastructure
mongodb
49
10k
The Curious Case for Waylosing
cassininazir
1
480
Evolving SEO for Evolving Search Engines
ryanjones
0
260
[Rails World 2023 - Day 1 Closing Keynote] - The Magic of Rails
eileencodes
38
3k
Unlocking the hidden potential of vector embeddings in international SEO
frankvandijk
0
900
Docker and Python
trallard
47
4.1k
Become a Pro
speakerdeck
PRO
31
6.2k
Transcript
Generated by Stable Image Core × Nano Banana 2 —
AI 2026 4 (macOS Lima ) (WBS : ) 2026 4 (macOS Lima ) — 2026-04 – p.1/21
https://speakerdeck.com/ks91/collections/prompt-engineering-2026-spring 2026 4 (macOS Lima ) — 2026-04 – p.2/21
( 20 ) 1 • 2 • 3 (Windows WSL
) • 4 (macOS Lima ) • 5 (macOS ) 6 7 8 9 RPG 10 “September 12th” 11 12 13 ∼ 14 AGI (Artificial General Intelligence) 7 (4/27 ) / (2 ) OK / 2026 4 (macOS Lima ) — 2026-04 – p.3/21
AI (A ) AI ( ) 2026 4 (macOS Lima
) — 2026-04 – p.4/21
macOS Homebrew ( ) lima (Linux ) loglm ( AI
) GAMER PAT CLI ( as a ) ( ) npm (Javascript ) Codex / Claude Code / Gemini CLI ( ) TeX Live ( ) ( ) Skim (PDF ) ⇒ AI ChatGPT, Claude, Gemini 2026 4 (macOS Lima ) — 2026-04 – p.5/21
Linux UNIX (OS) ( ) Google OS android chromeOS Linux
Linux Linux ( ) Ubuntu 24.04 LTS LTS : Long-Term Support ( ) Linux 2026 4 (macOS Lima ) — 2026-04 – p.6/21
Linux Linux AI 2026 4 (macOS Lima ) — 2026-04
– p.7/21
macOS Lima macOS Tahoe 26.3.1/26.4 Apple (M1 ) (‘%’ )
% xcode-select --install 2026 4 (macOS Lima ) — 2026-04 – p.8/21
Homebrew Homebrew (Apple macOS ) UNIX macOS Lima Homebrew brew
Apple brew ( ) brew https://github.com/Homebrew/brew/releases pkg Path (brew ) “.zshrc” ( ) eval "$(/opt/homebrew/bin/brew shellenv)" 2026 4 (macOS Lima ) — 2026-04 – p.9/21
Lima (Linux Machines) Lima macOS Linux ( ) https://github.com/lima-vm/lima Linux
machine brew % brew install lima ( ) cd & RETURN/ENTER % cd < > cd change directory 2026 4 (macOS Lima ) — 2026-04 – p.10/21
Ubuntu 24.04 (ARM64) “arm.yaml” mounts: mounts: - location: "~" -
location: "/tmp/lima" writable: true - location: "< >" writable: true arch: aarch64 % limactl start arm.yaml 2026 4 (macOS Lima ) — 2026-04 – p.11/21
Lima Linux (Ubuntu) aarch64 % limactl list Linux (exit )
% limactl shell arm Linux limactl list STATUS Stopped limactl start arm “.lima” diffdisk 100GB 2026 4 (macOS Lima ) — 2026-04 – p.12/21
Ubuntu ( ) (‘$’ ) $ cd < > Python
$ python3 -V Python 3.12.3 ( ) R AI ( ) 2026 4 (macOS Lima ) — 2026-04 – p.13/21
loglm ( AI ) https://github.com/ks91/loglm loglm --new ( ) 2026
4 (macOS Lima ) — 2026-04 – p.14/21
loglm https://github.com/ks91/loglm ↑ Install $ curl -fsSL https://raw.githubusercontent.com/ks91/loglm/main/install.sh | bash
( OS ) $ exec $SHELL -l loglm ChatGPT Codex Claude Claude Code Gemini Gemini CLI AI ( ) 2026 4 (macOS Lima ) — 2026-04 – p.15/21
ChatGPT Codex, Claude Code, Gemini CLI AI lima AI ChatGPT
ChatGPT ( ) Codex ON 2026 4 (macOS Lima ) — 2026-04 – p.16/21
GAMER PAT CLI ( as a ) AI 2026 4
(macOS Lima ) — 2026-04 – p.17/21
GAMER PAT CLI ( ) $ mkdir < > #
make directory $ cd < > # change directory $ loglm agent install ks91/gamer-pat GAMER PAT 1 : codex 2 : claude 3 : gemini y npm y $ exec $SHELL -l 2026 4 (macOS Lima ) — 2026-04 – p.18/21
loglm $ loglm AI URL ( ) 1 GAMER PAT
( mkdir ) cd $ loglm $ loglm --agent 2026 4 (macOS Lima ) — 2026-04 – p.19/21
GAMER PAT (‘>’ ) > sudo lima Skim (PDF )
macOS PAT 2026 4 (macOS Lima ) — 2026-04 – p.20/21
L A TEX PDF L A TEX PDF Skim (macOS
) Skim → 2026 4 (macOS Lima ) — 2026-04 – p.21/21