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
EduToolsについて調べてみた
Search
Hodaka Suzuki
September 09, 2019
Technology
2
7.7k
EduToolsについて調べてみた
Kotlin Fest Reject Conference 2019[非公式](
https://dena.connpass.com/event/139147/
) で登壇した際に使った資料です。
Hodaka Suzuki
September 09, 2019
Tweet
Share
More Decks by Hodaka Suzuki
See All by Hodaka Suzuki
Isar勉強会
hoddy3190
0
5.8k
形式手法を使って、 発見しにくいバグを一網打尽にしよう
hoddy3190
11
20k
TDDチュートリアル
hoddy3190
1
5.3k
なぜテストを書くのか
hoddy3190
5
5.7k
形式手法について調べてみた
hoddy3190
5
7.1k
Other Decks in Technology
See All in Technology
ADK + Gemini Enterprise で 外部 API 連携エージェント作るなら OAuth の仕組みを理解しておこう
kaz1437
0
200
君はジョシュアツリーを知っているか?名前をつけて事象を正しく認識しよう / Do you know Joshua Tree?
ykanoh
4
130
Amazon Qはアマコネで頑張っています〜 Amazon Q in Connectについて〜
yama3133
1
130
【PHPerKaigi2026】OpenTelemetry SDKを使ってPHPでAPMを自作する
fendo181
1
190
Phase04_ターミナル基礎
overflowinc
0
2.3k
欠陥分析(ODC分析)における生成AIの活用プロセスと実践事例 / 20260320 Suguru Ishii & Naoki Yamakoshi & Mayu Yoshizawa
shift_evolve
PRO
0
400
Phase10_組織浸透_データ活用
overflowinc
0
1.7k
Astro Islandsの 内部実装を 「日本で一番わかりやすく」 ざっくり解説!
knj
1
280
Phase11_戦略的AI経営
overflowinc
0
1.6k
形式手法特論:SMT ソルバで解く認可ポリシの静的解析 #kernelvm / Kernel VM Study Tsukuba No3
ytaka23
1
790
VSCode中心だった自分がターミナル沼に入門した話
sanogemaru
0
670
The Rise of Browser Automation: AI-Powered Web Interaction in 2026
marcthompson_seo
0
310
Featured
See All Featured
The Art of Delivering Value - GDevCon NA Keynote
reverentgeek
16
1.9k
[RailsConf 2023 Opening Keynote] The Magic of Rails
eileencodes
31
10k
Designing for humans not robots
tammielis
254
26k
Odyssey Design
rkendrick25
PRO
2
560
The Curse of the Amulet
leimatthew05
1
10k
DBのスキルで生き残る技術 - AI時代におけるテーブル設計の勘所
soudai
PRO
64
52k
Paper Plane (Part 1)
katiecoart
PRO
0
5.9k
Conquering PDFs: document understanding beyond plain text
inesmontani
PRO
4
2.5k
Design and Strategy: How to Deal with People Who Don’t "Get" Design
morganepeng
133
19k
30 Presentation Tips
portentint
PRO
1
260
For a Future-Friendly Web
brad_frost
183
10k
KATA
mclloyd
PRO
35
15k
Transcript
非公式 について 調べてみた
鈴木穂高( ) • 年 新卒入社 • アプリゲーム開発・運用( 〜 ) ◦
サーバー、クライアント、マスター管理ツール、インフラ整備、 マネジメントなど • テスト技術チーム - ( 〜) ◦ テストチーム ◦ ( )チーム
チームではテスト教育の取り組みとして 社内ハンズオン を定期的に開催している 詳細は のこちらの記事
ある日
前回のハンズオンの振り返りをしていると...
ハンズオンは、丁寧に教育ができて良い反面 展開力が乏しい面もある • 部屋の大きさや講師の数に起因した受講者数の制限 • 受講者と講師の予定調整 • 長時間拘束
テスト技術教育をもっと効率よく行える 別のコンテンツも作りたいよね • あまり工数がかからずに作れて • 学習者もいつでも手軽に取り組める • みたいなコンテンツ
やっぱりないよね そんな都合の良いもの・・・
おとなしくこの合わせ技にしよう • スライドをベースに の作成 • ハンズオンの様子を動画に収めて公開
あるよ せんぱい
None
None
None
について 調べてみた
とは プログラミング言語の学習活動や教育活動を 補助する 社製のプラグイン。 ベースの に組み込める。
• 対応しているプログラミング言語 ◦ • 対応している ◦ 参考
簡単に言うとこんなことができる • 教育者 ◦ 課題を作成する ▪ ソースコード上に「穴埋め問題」をつくる ▪ 「穴埋め」の答えをテストコードで用意する •
学習者 ◦ 課題に取り組む ▪ コードにある穴を埋めていく ▪ (内部的にはテストを実行することで)答え合わせをする
つまりどういうこと?
デモ動画
None
簡単に言うとこんなことができる(再掲) • 教育者 ◦ 課題を作成する ▪ ソースコード上に「穴埋め問題」をつくる ▪ 「穴埋め」の答えをテストコードで用意する •
学習者 ◦ 課題に取り組む ▪ コードにある穴を埋めていく ▪ (内部的にはテストを実行することで)答え合わせをする
None
プロダクトに適用することはできるの?
プロダクトに適用することはできるの? できます
チェックをつける では外れています
に が出るようになる
ただし 答え合わせ時には、すべてのテストが走ってしまうので 実用的ではないように思う の を編集して振る舞いを変えるしかないとのこと (公式へのお問い合わせより)
作った教育用コースは配布できるの?
作った教育用コースは配布できるの? できます
自分の作った教育用コースの配布や 他の人が作ったコースを受講することが可能 https://stepik.org/course/4222/promo もここで配布されている
結局このプラグイン使いましたか?
いいえ
触ってみてわかったこと • メリット ◦ ヒントを見ながら課題をこなせるので学習者にとっては親切 ◦ 断片的なコードに対して適用していくのは向いていると思う • デメリット ◦
学習者にとって、学習環境構築の手間が軽減することにはつながらない ◦ 答え合わせは、結局テストを回しているに他ならず、テストコードの穴埋めを 学習者にやってもらう場合には、 の恩恵を受けられない ◦ ヒントとコードとの親和性がない。例えば、ヒントから該当コードへリンクを 貼ることができない
【再掲】 おとなしくこの合わせ技にしよう • スライドをベースに の作成 • ハンズオンの様子を動画に収めて公開
参考にしたドキュメント • 公式ドキュメント ◦ • (公式 チャンネル) ◦ ◦ ◦
◦ ◦ ◦ ◦
まとめ • というプログラミング言語の教育と学習を 補助するプラグインがある • 目的によって、使える使えないがはっきり分かれそう