まずはここから：Overleaf共同執筆・CopilotでAIコーディング入門・Codespacesで独立環境

MVA 2025 サテライト特別チュートリアル：大学・企業研究所PIのためのAI活用入門
2025/7/25
＠京都大学 学術情報メディアセンター 南館（オンサイト開催＆オンライン配信）
https://sites.google.com/view/mva2025-ai-tutorial/home

松井 勇佑（東京大学）https://yusukematsui.me/

Transcript

1. まずはここから：Overleaf共同執筆・ CopilotでAIコーディング入門・ Codespacesで独立環境 松井勇佑 東京大学 情報理工学系研究科 講師 http://yusukematsui.me 2025/7/25, MVA 2025 サテライト特別チュートリアル 大学・企業研究所PIのためのAI活用入門 1
2. 2 松井勇佑 ✓ コンピュータビジョン・データ構造・機械学習 ✓ 高速・大規模なAIシステム http://yusukematsui.me 講師（東京大学 情報理工学系研究科 電子情報学専攻） @utokyo_bunny @matsui528 漫画画像のみから漫画意味理解 [Li+, ACMMM 24] 多様な近傍探索 [Matsui, CVPR 25] 機械学習により強化された ブルームフィルタ [Sato & Matsui, NeurIPS 23]
3. 3 ➢ 大流行している、「エージェントを用いたAIコーディング」の話 ➢ 新しい技術なので、キャッチアップが必要（なのでこのイベントがある） ➢ 「エージェントを用いたAIコーディング」以前の話 ➢ PIであれば必ずおさえておきたい基本技術の復習
4. 4 ➢ 大流行している、「エージェントを用いたAIコーディング」の話 ➢ 新しい技術なので、キャッチアップが必要（なのでこのイベントがある） ➢ 「エージェントを用いたAIコーディング」以前の話 ➢ PIであれば必ずおさえておきたい基本技術の復習
5. 5 Overleaf共同執筆 CopilotでAIコーディング Codespacesで独立環境
6. 6 Overleaf共同執筆 CopilotでAIコーディング Codespacesで独立環境
8. 8 オンライン上でTeXの管理、コンパイル、共同執筆 「最新の原稿」を著者全員がリアルタイムにシェア出来る 世界中で使われる 論文執筆の事実上のデファクトツール 人気会議の締切直前などは混んで落ちることがある ローカルでTeXをコンパイルしなくなってしまいがち バックアップと履歴管理は強くない
9. 9 （２）コメント を書ける （１）部分を指定して （３）学生がコメント返し出来る （４）Overleafだけでコメントと議論が出来る （５）議論終了したコメはresolve（削除）出来る コメント機能が強い
10. 10 （１）ここを押すと （２）resolveしたコメ一覧も見えるので安心 （３）積極的にresolveして画面を綺麗にすると良い コメント機能が強い
11. 11 Dropboxバックアップ Gitバックアップ（CUI） GitHubバックアップ（GUI） ➢ DropboxやGitHubにバックアップしておくと安心。簡単。 ➢ 複雑なことをしたい、細かくコントロールしたい、という場合はGitを推奨 ➢ 参考：OverleafのGit連携でGitHub上にバックアップ（松井研ブログ） 標準の履歴機能は弱いので、Dropbox/Git/GitHub連携を推奨 標準の履歴機能は弱い 外部サービス連携
12. 12 非Overleaf（学生視点）：pdfを先生に渡して先生が添削など 先生からのコメントがいつまでたってもこない 先生からコメントがつく版は古い版 複数人の先生がいると崩壊しがち。しわ寄せは学生に。。。 Overleaf（学生視点） 先生からのコメントがリアルタイムにつく 複数人の先生からのコメントも非同期に勝手につく Overleaf（先生視点） 自分で最新版の原稿をコンパイルできる 結論：Overleafは必須のインフラ。使いましょう！
13. 13 非Overleaf（学生視点）：pdfを先生に渡して先生が添削など 先生からのコメントがいつまでたってもこない 先生からコメントがつく版は古い版 複数人の先生がいると崩壊しがち。しわ寄せは学生に。。。 Overleaf（学生視点） 先生からのコメントがリアルタイムにつく 複数人の先生からのコメントも非同期に勝手につく Overleaf（先生視点） 自分で最新版の原稿をコンパイルできる 結論：Overleafは必須のインフラ。使いましょう！
14. 14 Overleaf共同執筆 CopilotでAIコーディング Codespacesで独立環境
15. 15 ・・・の前にまずGitHub https://github.com/logos ➢ Gitリポジトリをホストするウェブサービス ➢ SNS的でもある ➢ 様々なサービスを提供（CopilotやCodespaces） ➢ Microsoftが運営 ➢ 大学学生・教職員であれば Educationプラン申込を推奨 ✓ https://github.com/education/students ➢ 有料のPro版相当の機能を 無料で使用可能に
16. 16 https://en.m.wikipedia.org/wiki/File:GitHub_Copilot_logo.svg ➢ 意味 ✓ 狭義：vscodeのプラグインのAIコーディング機能 ✓ 広義：MSの色々なAIサービス ➢ 歴史 ✓ 元々vscodeのAI補助機能として「Copilot」が出来た ✓ その後様々なMSのAIサービス（LLMを背景に何か するもの）が全部「Copilot」になった ✓ windowsバーの右のものもCopilot ➢ AIコーディング入門のためにまず狭義GitHub Copilot（基本無料） 本講演で扱うもの
17. 17 インストール （１）vscodeをインストール （２）拡張機能でGitHub Copilotを選択 （３）インストール。 GitHubアカウントを用いて認証
18. 18 機能１：AIコード補完 ➢ いわゆるIntelliSenseが超賢くなったもの ➢ 一般的な補完もするし、自分のコードを元にした補完もする ➢ この機能だけでもあると無いとでは大きく違う コーディングを進めると・・ “vals”まで書くと、上記がサジェスト TABを押して確定
19. 19 機能１：AIコード補完 ➢ マークダウンなども対応 ➢ バチバチにハルシーネションもする ➢ 個人的感想：日本語の補完は思考を 先取りされるようで怖い ➢ 空気をものすごく読む ➢ この例では、日英対応関係を 判断し、自動で翻訳
20. 20 機能２：インラインチャット 対象箇所を選択 ➢ もう少し高度な指示を自然言語で “Ctrl + I” でインラインチャットを展開 自然言語（日本語OK）で指示 ➢ 編集してくれる ➢ この場合、numpyのfor表現 を書き換えてくれた
21. 21 機能３：Chatウインドウ （１）copilotボタンを押す （２）Chatウインドウが出現 （３）モードを切り替える （Ask, Edit, Agent）
22. 22 機能３-１：Chatウインドウ・Askモード ChatGPTのようなQA機能 ここでは関数機能 を解説してくれる ➢ 見に行くファイルをここで指定 ➢ デフォルトでは、現在開かれている ファイルを見る コードを 書き換えない
23. 23 機能３-２：Chatウインドウ・Editモード 先程のインラインチャットの グローバル版のようなもの コードを 書き換える ここではコードが自動編集
24. 24 機能３-３：Chatウインドウ・Agentモード よりハイレベルな指示 Copilotがコマンドを実行する
25. 25 ➢ Chatモード ✓ ChatGPT的なものをvscode上で実行。相談・解析・説明 ✓ コードを変更しない ➢ Editモード ✓ すごいIntelliSenseやコード修正を自然言語で実行 ✓ コードを変更する ➢ Agentモード ✓ より高度な編集 ✓ 「Editモード」「コマンド実行」などを、Copilotが実行 ３モードの比較
26. 26 ➢ Chatモード ✓ ChatGPT的なものをvscode上で実行。相談・解析・説明 ✓ コードを変更しない ➢ Editモード ✓ すごいIntelliSenseやコード修正を自然言語で実行 ✓ コードを変更する ➢ Agentモード ✓ より高度な編集 ✓ 「Editモード」「コマンド実行」などを、Copilotが実行 ３モードの比較 ➢ Chat/Editモードはあくまでプログラマである自分の補助ツール ➢ GitHub Copilotは、最強シェアのvscodeを背景にこれらを実装 ➢ 超便利で、市場を支配するかに思えた
27. 27 ➢ Chatモード ✓ ChatGPT的なものをvscode上で実行。相談・解析・説明 ✓ コードを変更しない ➢ Editモード ✓ すごいIntelliSenseやコード修正を自然言語で実行 ✓ コードを変更する ➢ Agentモード ✓ より高度な編集 ✓ 「Editモード」「コマンド実行」などを、Copilotが実行 ３モードの比較 ➢ Chat/Editモードはあくまでプログラマである自分の補助ツール ➢ GitHub Copilotは、最強シェアのvscodeを背景にこれらを実装 ➢ 超便利で、市場を支配するかに思えた ➢ ところが、さらに高度なAgent機能が大流行（Cursor, Cline, Devin, Claude code, etc） ➢ Agent機能はCopilotの設計思想よりもう１段ハイレベルに、全作業をAIに任せる ➢ 自分はプログラマではなくマネージャー ➢ Copilotはまさかの後追いの立場に。Agentモードを実装し必死に追従 ➢ Copilotが追い付くか、新サービスが勝つか、AIコーディングは大戦国時代 ➢ 本講演の企画から講演当日までの間にも新サービスが続々登場 （Codex, Gemini CLI, Grok CLI, Qwen Code, etc….） ➢ 我々はどうすべき？：とりあえずCopilotの基本機能は使えるようになっておこう
29. 29 Overleaf共同執筆 CopilotでAIコーディング Codespacesで独立環境
30. 30 GitHub Codespaces ➢ クラウド上で起動する、使い捨て出来るVM ➢ ブラウザからアクセス。インタフェースはvscode ➢ リポジトリに紐づく。「codespace」ボタンを押すと起動 ➢ 独立した環境を簡単に作れる ターミナルもついている クラウド上で走るvscodeを ブラウザからアクセス
31. 31 何故codespaceが必要か？ ➢ 他人のコードを実行する機会がある ✓ 既存研究のリポジトリ ✓ 学生の実験コード ➢ 「実行環境を整える」は難しく時間がかかる ➢ codespaceを知っていると、 ✓ 既存研究リポは、ワンクリックでcodespace ✓ 学生には「codespaceで実行できるように」と指示。 そこを環境構築の線引きにできる ➢ 今日の米谷さんの講演で使います
32. 32 Overleaf共同執筆 CopilotでAIコーディング Codespacesで独立環境 ➢ 論文の共同執筆のデファクト。使いましょう。 ➢ AIコーディングの「Agent以前」のまとめ。知らないではすまされない ➢ 基本的に無料。ここまでは使えるようになっておきたい ➢ 隔離した仮想環境。使えるようになっておくと便利