後期の振り返りするで。
こんにちは、よねすけです。
後期のテストも随分前に終わって春休みに入っているのに振り返りをするのを忘れていたなあ、ということで振り返りを書きます。
応用代数学(月曜2限)
群論の基本的な内容と表現論の初歩の内容を授業で扱いました。丁寧に授業を運んでくれたので特に躓くことなく理解できたと思いました。試験は授業で行った証明などを実際に書かせる問題が多かったです。
言語・オートマトン(月曜3限)
DFA, NFA, εNFA, PDA, NPDA, TMなどを扱いました。この授業は再履修して取った授業ですが実に面白かったと思います。試験は2回の小テストから出題されるのでテスト勉強はしやすかったです。
アルゴリズムとデータ構造入門(月曜4限)
これも再履修で取った授業です。一回生の時に未受験で落としてしまったので3回生になって取りましたが、Schemeを書くこともなくアルゴリズムをいろいろと紹介されました。本当は自分で実装したほうが良いのだろうなと思いました。
生命情報学(火曜5限)
生命情報学に関することをいろいろスライド授業で学びました。下の図はPyMOLを用いてDNAの2重螺旋を横から見た様子です。成績評価はレポート2回で行われるそうです。
パターン認識と機械学習(水曜2限)
パターン認識と機械学習はパターン認識と機械学習について学びました。なんだか勉強がしにくかったです。。。試験はプリントに載っていることをきちんと理解すれば解ける問題は解ける気がします。
線形制御理論(水曜3限)
フィードバック系について偏差をどのように小さくするかについて(?)学びました。過去問5年分をやったのに思ってたのとは違うのが出てきて辛かったです。成績評価はレポートと試験で行われるそうです。8回以上レポートを出せば単位を落とすことはないらしいです(?)。
アルゴリズム論(木曜2限)
チューリングマシンの話題を中心に問題の可解、非可解性やP≠NP問題に関することを扱いました。授業は面白いのですが実際に問題を解くとなると地頭ゲーになってくるのがしんどいですね。レポート2回と試験で成績評価するそうです。
数理工学セミナー(金曜2限)
グレブナ基底と代数多様体について扱いました。
- 作者: D.コックス,落合啓之
- 出版社/メーカー: 丸善出版
- 発売日: 2012/07/17
- メディア: 単行本
- この商品を含むブログを見る
正則言語
こんにちは, よねすけです.
正則言語
正則言語とは正則表現で表される言語のことです. 同値な表現方法として以下があります.
すなわち上の4つの表現方法はいずれも能力として等価であるということです.
正則言語の閉包性
正則言語には閉包性という性質があります. 具体的には正則言語について,
- は正則言語
- は正則言語
- は正則言語
などです. それぞれ証明しましょう.
証明
- は正則言語なのであるで認識される言語です. として, 次のオートマトンを考えます. とすると, 受理状態と非受理状態が綺麗に入れ替わることが分かるのでとなり, もで受理できることが分かりました. よっても正則言語です.
- は正則言語なのである正則表現を用いて, と書くことが出来ます. このとき正則表現の書き方からはと一致することが分かります. よって正則言語の和集合もまた正則表現になることが分かります.
- がド・モルガンの公式から分かるので上に証明したことから正則言語の積集合もまた正則言語であることが分かります.
正則言語の閉包性の証明には正則表現の4つの表現方法をうまく活用することで簡単に示すことが出来ます.
正則言語の性質
正則言語の性質としてPumping Lemmaがあります.
Pumping Lemma
を正則言語とします. あるで, 長さ以上のすべてのに対してと分解します. そうするとについて
- に対して,
です.
Pumping Lemmaは正則言語そのものよりも考える言語が正則言語で無いことを示す事によく使われます. 例えばが正則言語でないことはPumping Lemmaの逆から示されます.
それでは
チューリングマシンが受理する言語
こんにちは, よねすけです.
今回はチューリングマシンの話を書きたいと思います. 以下チューリングマシンをTMと省略します.
帰納的集合(Recursive)
言語が帰納的集合であるとは, ある必ず止まるTMによって
このような言語は色々あります. 一番簡単な言語はalphabetからなる列全体を集めた次の言語
このときTMは1ステップで必ず止まるのでは帰納的集合であることが分かります.
このような集合の他にそもそもTMで認識出来ない集合もあります. そのような言語の例として空集合問題や対角線言語があります. 空集合問題において考える言語は
対角線言語において考える言語は
それでは
愛情の数学
こんにちは.かじはらです.
クリスマスが近いので愛にまつわる数学の話をしたいと思います.
以前よねすけくんが無理数の無理数乗が有理数になる,という話をしていました.
対数を使って定義するんでしたね.
複素数の対数がどのように定義されていたかもついでにおさらいしておきましょう.
複素数の対数は一意に値が定まらない多価関数になるんでしたね.
前回も虚数の話をしたので話題が重複してしまって申し訳ありませんが,今回も虚数に登場してもらいましょう.
これはまさしく複素数の複素数乗の一種です.これを上の定義に則って計算してみましょう.
よくわからない式がでてきました.これではどんな値が具体的にはわからないですね.
しかしここで注目すべきはそこではありません.よく見てください.
なんと虚数が消えています!!!!!!!!!
計算結果は実数の実数乗の形をしているので,具体的な値はわからずともこの値が実数であることは確かです.
つまり,
愛(i)の愛情(i乗)は実数になる!!!!!!!
え…?愛にまつわる数学ってこれ…?ここにきてダジャレ…?ダジャレなの…?
という声が聞こえてきそうですね.
(調べたところ「i^i乗」というwikipediaの項目もあるぐらいなのでかなり有名な話っぽいですが,
高1の時にこの事実を知って以来お気に入りの数学小話(?)のひとつなので,どうしても書きたかったのです.)
次回は,
高校数学の試験で「の数列の極限を求めよ.」という形式の問題が出された時,を解いてを極限値として答えを求める方法がなぜダメなのか?
について考察します.(かじはらの気分が年明けあたりまで変わらなければ.)
おしまい.
答え
こんにちは,よねすけです.
前回の記事で,
最後に証明を残したところがあるので,それだけ示したいと思います.示すべきことはにおいて
です.二通りほど示し方を考えました.
ダランベールの収束判定法を用いる
ダランベールの収束判定法を使えば簡単に示せます.
と置くと,で
となるので示せました.
ちょっとテクる
うまい(?)方法を思いついたので書いてみます.なのでとの中点を取ると
となります.これを使うと
が分かります.これをはじめの式に適用すると
となり示されました.
それでは.
おもろい式
こんにちは,よねすけです.
明日はじめて阪大に行くのが楽しみすぎて眠れない.遠足の前の日みたいや.
高木貞治の『解析概論』をぼーっとめくってたら
- 作者: 高木貞治
- 出版社/メーカー: 岩波書店
- 発売日: 2010/09/16
- メディア: 単行本(ソフトカバー)
- 購入: 1人 クリック: 49回
- この商品を含むブログ (14件) を見る
オモロい式を見つけました.
ただし,です.普通に証明するのは簡単やった.
となります.なのであと示すべきことはこの無限和が交換できることです.二重級数は絶対収束すれば足し算の順番を交換しても大丈夫なのでこいつらが絶対収束することを示しましょう.示すべきことは
なるがの値によらずに存在することです.こいつが案外厄介.
こいつが有界である(収束する)ことは各自頑張って証明してみて下さい*1.
(無限和)=(無限和)の形やから,ポアソンの和公式から示せたらエレガントやなあ,とか思った.
それでは.
*1:ここに証明をいくらか書いてみました.良かったら読んで下さい. otaku-of-suri.hatenablog.com
そもそも虚軸ってなんなの
こんにちは.かじはらです.
今日はこんな問題を考えてみます.
この式を「一次元の世界の計算」と呼んでおきましょう.
これは考える範囲を複素数としなければ解をもたず.
となります.簡単ですね.
さて,複素数はどんなものかといわれたら多くの人が次の式を思い起こすと思います.
複素数を座標で表すときに,ちょうどこのxを直交座標のx軸に対応させて実軸と呼び,yをy軸に対応させて虚軸と呼びました.
式で見ると当然のように思えますがそもそもなぜ虚軸をy軸と対応させたのでしょうか.
そこでいったんさっきの問題をわきに置いて次の問題を考えたいと思います.
実際に計算すればわかることですがこの問題の解は実は無数にあります.ここでは最も簡潔だと思われる
を採用しましょう. この行列をと置き,最初の問題を書き直すと
となります.これを「二次元の世界の計算」と呼びましょう.最初に考えた「一次元の世界の計算」と形がとても似ていますね.
「一次元の世界」で掛け算を考えたとき,その単位元は「1」です。その世界で「ある一次の行列を2乗すると-1になる数」を考えようとすると実数の範囲では答えが見つからず,複素数という概念を導入しなければならなくなりました.
「二次元の世界」で掛け算を考えたとき,その単位元は「」です.「ある二次の行列を2乗するとになる数」を考えるとちゃんと実数の範囲で答えが見つかります.
ここまでくると一次元だった(実数の)直線を複素数に拡張しよう,つまり虚数単位を導入しようとするとき,二次元である平面を考える発想はとても自然なことに思えてきませんか?
ではなぜ虚軸は「x軸と直交をなすy軸」なのでしょうか.単に平面を考えるだけなら別に直交していなくてもいいはずですよね.(まあ直交してるものを考えるのが一番わかりやすいじゃん,と言われてしまうとその通りなのですが.)
行列をこんな風に書き換えてみましょう.
回転行列がでてきました.つまり「二次元の世界」での解となる行列(のひとつ)は直交座標を90度回転させるようなものだということになります.
つまり実軸を(正の符号を採用すれば反時計回り,負の符号なら時計回りに)90度回転させたものが虚軸に対応する,ということが,こう書くととても腑に落ちますね.わーい.
なんだかまわりくどく書いてしまいました.
そもそもどうしてこんなことを書いたかと言うと,高校数学の新課程に関して,素人ながら少し思うことがあったからです.
高校数学の新課程では行列がなくなり,複素平面が復活しました.
でも,今までの議論を思い出すと,この新課程には違和感を覚えます.
今日本屋で高校数学の参考書の複素平面のページを見たら,最初に
こういう式がいきなり書いてあるものが多くて,それ以降は共役がどうの,絶対値がどうの,といったことが書いてあって.
高校の頃,どうやって複素平面について学んだのかはよく覚えてませんが,もし今の自分が誰かに複素平面について説明しろ,と言われたら最初の行列の概念を使うと思うんです.だから行列を消して,複素数を復活させる,ということが,自分にとってはむずがゆい.
…偉そうに高校数学に文句を言ってしまいました.すみません.
最後まで読んでくれた方,ありがとうございます.
おしまい.