2024-05-07

ベイズの定理を面積と計算グラフで表す

機械学習の基礎として確立・統計を学ぶ中で、ベイズの定理を扱いました。

マセマの参考書は非常に分かりやすかったのですが、図があるとさらに理解が深まると思ったので、自作しました。

確率統計キャンパス・ゼミ改訂8

作者:馬場敬之
マセマ出版社

Amazon

注意: 筆者は講義などで大学数学を学んだわけではないので、誤っている可能性があります。（その場合はぜひご一報ください）

ベイズの定理を面積と計算グラフで表す

ベイズの定理で、事象A・事象Aに依存する事象Bの発生確率がそれぞれ分かっているとき、逆に事象Bを前提として事象Aが起きていた確率を求めます。

次の例題を考えます。

- 赤玉と白玉が入った袋Aと袋Bがあります。
- 倉庫から運び出した袋が袋Aである確率は2/3、袋Bである確率は1/3です。
- 袋Aには赤玉が1つと白玉が4つ、袋Bには赤玉が1つと白玉が1つ入っています。
- いま目をつぶって袋を運び出し、そこから1つ選んだ玉が赤玉だった場合、赤玉が袋A由来である可能性はいくらでしょうか？

面積で表す

あとはセルの数を数えれば良いようになっています。赤玉を引く可能性のセルが9つあるうち、袋A由来のセルは4つなので、赤玉が袋A由来である可能性は4/9となります。

計算グラフ

直感的な理解の後は、言語化をします。その補助として計算グラフで表しました。

次の前提があります（時間があったらTeX記法にします）

事象X: 袋Aが運び出される（余事象ハットX: 袋Bが運び出される）
事象Y: 選んだ玉が赤玉である

ベイズの定理による事後確率計算の計算グラフ。図中の?(1)は9/30、?(2)は4/9となる

求めたい事後確率「赤玉が袋A由来である可能性」について、次のことが言えます。

袋Aを運び出し、かつ赤玉を引く確率は、「袋Aを選ぶ確率×袋Aから赤玉を引く確率」でも、「赤玉を引く確率×赤玉が袋A由来の可能性」としても求められる。

だから、袋Aを運び出し、かつ赤玉を引く確率を求め、それを赤玉を引く確率で割ってあげれば、赤玉が袋A由来の可能性が求められるんですね。

まとめ

面積と計算グラフで、ベイズの定理を直感的に理解し、かつ言語化する補助ができました。

参考

2024-05-03

ParavoとSYNCROOMでお手軽にずんだもんになる

友達とDiscordで会話していて、お手軽にずんだもんボイスになれたので、方法をメモしておきます。

youtu.be

※見た目はWebcamMotionCaptureを利用しています。

TL;DR

ボイチェンにParavoを使う
Paravo自体には仮想マイクとしての機能はないので、キャプチャした音声を仮想マイクとして出力できるSyncroomを使う
Syncroomではデフォルトでマイク自体の音声も拾うので、地声とずんだもんの二重音声にならないよう、SyncroomのInputはミュートする

なお、Paravo公式のブログもご覧ください。そちらではSyncroomの代わりにVB-Cableが利用されています。

インストール

公式からインストールしてください。特にParavoは、2024年5月時点で2023年末より格段に性能が良くなっているようなので、2023年末に一度インストールした人はぜひ入れなおしてみてください。

設定

Paravo

出力先にYamahaのSyncroomを設定しています。

Syncroom

インプットをミュートしています。これにより、地声とずんだもんの二重音声になることを防げます。

まとめ

ボイスチェンジャーのParavoと、仮想オーディオデバイスのSyncroomで、簡単にずんだもんになれました。

2024-04-29

ブラウザで英文・論文を読む際の便利検索ツール：Selection Searchの活用方法

ブラウザで英文を読んでいて、分からない単語や、語源や例文が気になる単語に遭遇することがあると思います。

範囲選択と1クリックのみで該当の単語を検索するための設定を行いました。

Selection Searchを用いる

選択したテキストを更にクリックして、語源や例文を検索できます。

youtu.be

選択肢にConnected PapersやPapers With Code等があることから分かるように、論文の検索にも便利に使っていく予定です。

私の設定ファイルはアップロードしてあるので、よかったらご参考にして下さい。

gist.github.com

ボツ案

ブックマークレットを活用する

検索のためのブックマークレットを作っておき、キーボードショートカットで呼び出します。

私がSelection Searchの導入以前に利用していた方法で、それらのブックマークレットも公開しています。

アイコンの設定が面倒なのと、ブックマークバーをずらっと埋めてしまうことから諦めました。

Vivaldiのクイックコマンドを用いる

メインブラウザがEdgeなので諦めました。これまではChromeやBraveを使ってきました。Copilotの成長を見守りたいので、2023年ごろからEdgeに切り替えています。

まとめ

選択したテキストを、Selection Searchを使ってサクッと検索できました。

2023-07-09

Cognito UserPool ユーザー移行入門 / Amplify Console 実践入門更新終了に伴う無償公開のお知らせ

技術書点マーケットおよびBOOTHで販売していた、Cognito UserPool ユーザー移行入門、Amplify Console 実践入門の更新を終了し、無償公開に切り替えたのでお知らせします。

これまでご購入いただいた皆様、本当にありがとうございます。

hiroga.booth.pm

経緯

2019年当時、私は業務でCognito UserPoolのユーザー移行に取り組んでいました（ビジネス上の優先順位を読み違えたことで、結局移行した意味はなかったのですが...）

Cognito UserPoolは、メールアドレスや電話番号でログインできるようにするための設定（エイリアス属性）を後から変更することができません。

これが後から変更できるなら、そもそも苦労して移行プロセスを検討することもなかったのに...そうしたつらい思いを他の人に経験してほしくなくて書いた本でした。

また、最初の技術同人誌でもありました。

2020年には、業務でAmplify Consoleの利用を始めました。CloudFormationで構築を行うなど、AWSが想定しているライトなユーザーとは異なった使い方をしていたと思います。そうした観点から提供できる知見もあると思って書きました。

いずれも大変勉強になり、また多くの方に手にとっていただき、本当に嬉しく思いました。その一方で、業務ではAuth0やVercelといった技術スタックを選択することが増え、私がCognitoやAmplify Consoleにキャッチアップすることが難しくなっていきました。

書籍自体は平均して月に1~2件程度のお買い求めがありました。そうした中で、書籍の情報が古いことでお客様からコメントをいただくことがありました。

オンライン書籍である以上、明らかに誤解を招く情報はベストエフォートで情報を更新するべきかもしれません。一方、公私共に利用していない知識のキャッチアップは難しいものがあります。実際、本書は公開以降、ほとんど更新を行うことができませんでした。

そこで、本書をオンラインで公開してIssueやPRなどを立てていただけるようにするとともに、書籍は無償公開することにしました。

悩んだ点

本書の売上は公開直後、特に技術書典の会期中に集中しています。ですが、月に1~2件とはいえ、いまでもお買い求めがあるのは事実です。

本書を無償で公開するのは、特に直近で有償でお買い求めいただいた方に対して不誠実ではないかと考えました。

結論としては、私にできることはなく、技術書典やSNSで今後やり取りさせていただく際に改めてお礼を言うことしかできません。と言うのも、技術書典オンラインマーケットでは購入した方の連絡先は分からないのです。また、私自身新刊をいつ出すかも分かりません。なので、例えば有償で購入いただいた方に公平に次回作の割引を...というのが現実的に不可能なのです。

もし今後、購入者と直接繋がれるようなプラットフォームが出てきたら、そちらを優先的に利用することを検討しようと思います。

リポジトリ

書籍のリポジトリは次のとおりです。IssueやPRはもちろん、（やや古いですが）Re:Viewでの書籍作成のご参考になれば幸いです。

github.com

おわりに

皆さんのおかげで同人誌の出版経験を積むことができ、それにより新たなつながりを作る機会にもなりました。本当にありがとうございました！

更新終了ではありますが、GitHubのIssueやPRベースではコンテンツを修正いたしますし、今後はインターネットで検索した方にとって何かしらのお役に立てば幸いです。

2022-07-30

書評 - ヤフーの1ON1

会社でチームのマネジメントに関わるようになり、人事の方にオススメしてもらって読みました。

ヤフーの１ｏｎ１―――部下を成長させるコミュニケーションの技法

作者:本間浩輔
ダイヤモンド社

Amazon

内容について

ヤフーで1ON1をどう捉えているか（WHY&WHAT）、どのように実践しているか（HOW）に加え、全社的な導入時の工夫が書かれた本でした。
教科書というより先輩のノートといった感じの本です。

簡単にまとめると、ヤフーでは1ON1を「経験学習の加速」「キャリア支援」の2つの目的で使っており、そのために「アクティブリスニング」「繰り返し」などのテクニックも活用して相手の考えを引き出すようにしているそうです。

1つだけどうしても気になったのが、「上司」「部下」という表現。マネージャーは役割であり上下関係はないと思っているので私は使わない言葉なのですが、ヤフーでは使うんだぁ...と思いました。

学んだこと

この本を読む前に何人かのチームメンバーと1ON1の機会を持ったのですが、全員が「フィードバックは社会人になって以来、一番もらっている」「チームは仕事しやすい」という意見でした。

なので「もしかして、うちのチームはスクラムの仕組みでマネジメントを担保できている可能性があるな」（つまり1ON1は重要ではない？）と思っていたのですが、読むと発見がありました。

経験学習の加速について

私のいるチームではスクラムで開発しているので、チームの問題はふりかえりで担保できます。

しかし「PRを出すまでに時間がかかってしまった」「レビューより自分の実装を優先してしまった」といった個人の問題は、ふりかえりでは話されません。

ここでコーチングが登場するのは悪くないかもしれないと考えています。また、スクラムの文脈では個人の力量についてどう考えているかも気になりますね。

キャリア支援について

Connecting The Dots という言葉があるように、私を含めて周りのエンジニアは興味があることをつなげていって結果的にキャリアを築いている人が多いように感じました。

一方で将来設計がしっかりしている人もいますので、そうした人とは目標を共有しやすいと思いました。例えばテストの分野に興味があるなら @t_wada さんのように、メンバーが目標にできる人を抑え、その人のビジョンについて語れたら自然とキャリア支援がし易そうです。

それ以外に

1ON1にはコーチング以外にティーチングの役割もあり、これは「自分が解を持っていない問題を、誰かに尋ねる」が本質です。こういった意味のmtgはマネージャー - メンバーに限定されず、また定期的に持つ必要もなく、突発的に必要なメンバーで開けるような仕組みにしたいですね。
スクラムではチームの仕組みをふりかえれますが、スクラム以外（例えば営業支援）でのふりかえりの場はどうすべきか。非公式に1ON1から始めて制度化するのはアリだと思いました。
1ON1のドキュメントはプライベートにすべきです。マネージャーのマネージャーと言えど共有すべきではなく、共有すべきものがあるなら「連絡帳」的な名前にすべきだと思います。