ロンドン留学記
はじめに
7/22-8/20の約1か月間,ロンドンの研究所のサマースクールに参加してきました.サマースクールでは離散トモグラフィーについてちょっとした研究をしていました.大変楽しかったです.この記事では僕の備忘録も兼ねて,何があって何を考えていたかまとめていこうと思います.
ところで突然ですが,留学体験記というとどうせ次のような話をするんでしょという先入観がありませんか? 少なくとも僕はあります.
- 英語力があがる.
- 色々なバックグラウンドの人と知り合えて視野が広がる.
- 海外から自国がどう見られているかが分かる.
- 圧倒的成長
まあ実際そういう側面はありました.ただ,散々言われていることを書いてもしょうがないし,自分自身の性格的にもこういうのは何か合わないなと思っています.そこで,この記事では自分のような以下の性格の人に,意外と大丈夫だし楽しかったという一例を伝えるのを目標とします.
- 人見知り.
- 自分のコンフォータブルゾーンから出たくない.
- 留学中人間関係でどういうひどい目に会うか50通りぐらい想像できる(してしまう).
- 英語力に自信がない.
- 別に英語じゃなくてもコミュニケーションに自信がない.
- 人生がどちらかというと無理.
百合ミステリーノベル『SeaBed』(paleontology)が面白かった話 (感想・考察)
タイトルの通りだけど,paleontologyさん製作の『SeaBed』というノベルゲームが大変良かった.
販売サイト:
www.dlsite.com
公式サイト:
middle-tail.sakura.ne.jp
何を語ってもネタバレだし,販売サイトのあらすじですらネタバレ気味なので(少なくとも僕はそう思う),どう面白かったのか説明するのは難しい.ネタバレで面白さが損なわれる作品ではないと思うし,気にしすぎかもしれないが.ただ面白かったのは確かなので,騙されたと思って前情報なしでプレイして欲しい.体験版があるし,買うにしても650円で手を出しやすいので.
この記事の前半ではネタバレなしの感想を,後半ではネタバレありで感想とか考察を書いていく.前半は購入しようか悩んでいる人の参考になればと思っている.僕の力量でこのゲームの独特の雰囲気を伝え切れてるかはわからないし,体験版をプレイするほうが早いかも知れないが.後半はクリア済みの人とオタクコミュニケーションをするのが目的.お前の考察はおかしいとかマサカリ投げてくれるのは大歓迎です.
続きを読むRaspberry Pi3で自動ノート取り装置を作った
はじめに
数理情報工学実験第二という演習で、Raspberry Piをつかって何かを作ることになりました。そこでAMATERASUという自動ノート取り装置を作ったので紹介します。
そもそもRaspberry Piって?
Raspberry Pi3 Model B ボード&ケースセット (Element14版, Clear)-Physical Computing Lab
- 出版社/メーカー: TechShare
- メディア: エレクトロニクス
- この商品を含むブログ (3件) を見る
これです。安くて小型で色んなセンサーをつけて遊べるコンピュータです。今回はカメラモジュールを使いました。
自動ノート取り装置とは
自動ノート取りの目標は、講義を撮影した動画*1を処理することで、ノートの代わりとして使える画像を出力することです。具体的には次のgifのような画像を次々出力していくのを目標にしています。黒くなっている部分が何かについては後ほど説明しますが、そこには情報がないということを表しています。
動画を入力して処理することもできますが、オンラインで処理することを想定しています。
出力される画像は次のような条件を満たすようにします。
- 情報の漏れがないです。教員が黒板に書いたことは、全てどこかのタイミングで出力される画像に写っています。
- 無駄な情報を省きます。つまり、同じ板書が複数回出力されないようにします。
- 教員が写りこまないようにします。
*1:正確には連続撮影された画像
超幾何級数の等式自動導出
はじめに
輪講で『A=B』という超幾何級数の等式自動証明についての本を読みました。タイトルが簡素なとこが好き。
The Book "A=B"
pdfが著者のページからダウンロードできる。こういうのいいよね。
超幾何級数の等式自動導出とは
超幾何級数とは、 という形で が についての有理関数となっているものです。まあ大雑把には、 とか とか含む項の和だと思っててください。
超幾何級数の等式の例では、次のようなものがあります。
これは組み合わせ論的にも証明できるけど、そういうのに甘んじず、数式処理ソフトで機械的に証明してやろうというのがこの本の趣旨です。さらには、右辺のような閉形式が分かっていないなら、それを求めることも行います。数式処理ソフトの中身がどうなってるのか気になる人とか、自動証明とか定理証明支援が好きな人には面白いと思います。
さて、自動証明をすることにはどのようなご利益があるのでしょうか。大体以下の3つにまとめられます。
- 人間が証明をサボれる。ミスがない
- 現実的に人の手じゃ無理な等式を証明できる
- 新しい等式の発見ができる
この本では、特に超幾何級数に絞って自動証明を扱っています。僕は統計畑の人間じゃないし、正直超幾何級数のありがたみは良く分かってないのですが、多分次のようなことがうれしいのだと思います。
超幾何級数とは
超幾何級数について定義します。この本ではproper hypergeometric termがよく扱われています。
proper hypergeometric term F(n,k)がproper hypergeomtric termであるとは と書けること。ただし は多項式で、 は全て整数で他のパラメタを含まず、 は非負整数である。
気持ちとしては と の両方が の有理関数になっていることを言っています。以下紹介していくアルゴリズムには、proper hypergeometric termに限定したときだけ、正当性が証明されてるものがいくつかあります。
というように書ける、hypergeometric termの和が超幾何級数です。例えば、テイラー展開を考えれば指数関数はhypergeometric termの和で書けます。
以下特に断らない限り の は 全体を動くとし、等は全て0となるとします。
等式自動導出のアルゴリズム
等式自動導出の概略
等式自動導出は次のような手順で進みます。
- が満たす漸化式を求める。
- 適切な条件の下、両辺を をすることで についての漸化式に変形する。
- その漸化式を解く。
それぞれの手順を順に見て行きます。
漸化式の導出
が満たす漸化式を導出するのは、Celineのアルゴリズム、もしくはその改良版であるZeilbergerのアルゴリズムを用いることで機械的に行えます。まずはCelineのアルゴリズムについて紹介します。
Celineのアルゴリズム 適当な正規性条件の下、漸化式 を導出するアルゴリズムが存在する。 ただし、 は多項式。
アルゴリズムがなぜ働くのか大雑把に解説します。未知なのは なのでこれを発見するのが目的になります。まずは、 を固定して考えます。この時、両辺を で割ると、 は有理関数になるので、適当に分母を払い整理することで についての多項式になります。 変数 の 係数多項式として整理して、全ての係数が になる が発見できればよいことになります。これは についての -線型方程式になっています。*1 が変化するとき、未知変数 は というオーダーで増えていきます。一方方程式の個数、つまり漸化式を整理したときの の次数は の線形オーダーで増えます。よって を小さいものから始めて行き、解が見つかるまで増やしていけば、いつかは未知変数のほうが多くなりこの線型方程式は解けます。
このCelineのアルゴリズムを発展させると次のZeilbergerのアルゴリズムが得られます。
Zeilbergerのアルゴリズム 適当な正規性条件の下、漸化式 を導出するアルゴリズムが存在する。 ただし、 は多項式で、は有理関数。
例えば
はZeilbergerのアルゴリズムを用いると
という漸化式を満たすことが分かります。
WZ Phenomena
の証明中にでてきた特殊な形の漸化式
について考えてみましょう。このような の組をWZ pairと呼びます。先ほどの話の一般化で、このような漸化式が得られれば、適当な条件の下 を取ることで についての等式を得ることができます。さらにこの漸化式は と それぞれの入れ替えについて対称性があります。よって、 を取ることで についての等式を得ることができます。等式証明の途中でWZ pairがでてきたら、もう一つおまけの等式も得ることができるのです。
このようにWZ pairは一つの等式から新しい等式を得るのに有用です。他にもがWZ pair なら もWZ pairとなることが示せます。これで新たに2つの等式を得ることができました。
他にもWZ pairを用いて新しい等式を得る方法がいくつもあります。WZ pairはZeilberger + Hyperと比べると一般性のない方法ではありますが、等式の発見ができるという点が有用で面白いです。
あとがき
ここで述べたアルゴリズムは適当な数式処理ソフトを用いて実際に使うことができます。例えばフリーソフトのSageを用いるなら、つぎのリンクが参考になると思います。
github.com
参考文献
Petkovšek, Marko, Herbert S. Wilf, and Doron Zeilberger. "A= B, AK Peters Ltd." Wellesley, MA 30 (1996).
『紅殻のパンドラ』(六道 神士、士郎 正宗(原案))
尊い
- 作者: 六道神士,士郎正宗
- 出版社/メーカー: 角川書店(角川グループパブリッシング)
- 発売日: 2013/03/08
- メディア: コミック
- 購入: 1人 クリック: 14回
- この商品を含むブログ (14件) を見る