参考文献 1 では, 高木貞治氏の書いた解析概論の緒言として示されている三角関数の古典的な導入法の問題点と, それに対する合理的な導入, 定義に関する記述があり, 興味深かったので読んでいたのだが, ふと高校数学 Ⅲ の「普通な」加法定理や積和, 和積の公式, 導関数の導出などが頭から抜けていたので, 復習がてら書くことにした. 一応, このエントリで言う三角関数 $\cos\theta,\sin\theta$ の定義は高校数学の範囲で言われる定義と同様であり, 次のとおりである.

よくよく考えてみれば, この定義では, 孤 $A P$ の長さおよび実数 $0\lt\theta\leq\frac{\pi}{2}$ に対し孤 $A P$ の長さが $\theta$ となる $C_{+}$ 上の点 $P$ が存在することについて, 特に説明しておらず, 定義としては不十分な点があることが考えられる. 参考文献 1 にはこの問題に対する考察が綴られており, 読みやすい文体で書かれているので興味があれば読んでみることを勧める. 本エントリはそのような意味で, 特に面白みもなくただ単に高校数学 Ⅲ までの三角関数の内容を復習しているだけのものとなっているので, その点は悪しからず.

D-Bus とはメッセージバスシステムであり, アプリケーション間で互いにやりとりを行うためのプロセス間通信実装の 1 つである. システムデーモン(新しいハードウェアデバイスの追加やプリンタキューの変更などのイベント等)と, ユーザー単位のログインセッションデーモン(ユーザーアプリケーション間の一般的なIPC)を提供する¹.

現代的な Linux カーネルの init プロセスにて起動される systemd デーモンおよびその補助デーモンは, D-Bus にいくつかの API を公開している. 私の観測範囲内において, C や Python, Go 等でこれらを利用する例はそこそこ見たことがあるのだが, Haskell での取り組みは一切見たことがなかったので, 少々これらで遊んで見た日記として本エントリに記す.

クラウド上でなにか作れというような大学の課題で, 入力パラメータに応じて AWS EC2 インスタンス及びネットワーク周辺と distcc の環境構築を実行して, その上で分散コンパイルをして S3 へアップロードできれば, そこそこクラウドでやった意味があるといえるのかななどと思いつき, 軽い気持ちで作ってみた記録.

ウェブアプリケーションが EC2 上で動作していて, そのコンテンツ内容を S3 バケットによって管理しているシチュエーションにおいて, S3 バケットの状態を即座にそのウェブアプリケーションに反映させたいという事例はよくあると思う(ステージング云々は, 一旦置いておくとして). 本エントリは, AWS SNS による HTTP リクエストをトリガーに, S3 バケットの状態を EC2 上のコンテンツへ即座に反映するための構造と簡単な実装について取り上げる.

ベイズの定理の導出から, モンティ・ホール問題への応用まで.

ベイズの定理の導出

事象 $A$ が発生する確率を「$P(A) = A$ が発生する確率 $\div$ すべての事象の数」と書くとき, ベイズの定理は

と定義される. 以下ベイズの定理を導出する. 例として, 起こり得る全ての事象の数を $200$, 事象 $A$, 事象 $B$(以下単に $A$, $B$ と書く)が発生した回数をそれぞれ $60,\ 40$ とし, $A$ および $B$ が発生した確率を $10$ とする. 簡単のために, この事象関係を表すベン図を次に示す¹.