ポアソンの式の一般化
こんにちは、よねすけです。
今回はポアソンの式の一般化を試みたいと思います。
そもそもポアソンの式とは、理想気体の断熱過程において圧力と体積が
証明は熱力学第一法則を用います。すなわち内部エネルギーの変化と与えられる熱量と仕事の間には
次にこれを一般の過程におけるものとしてこの保存量を求めてみましょう。一般の過程における比熱をとします。考える温度の範囲内で比熱が一定であるとすると、
この一般化されたポアソンの式を用いるといろいろな過程に関する比熱を求めることが出来ます。例えば断熱過程においてはなのでです。等温過程においては理想気体の状態方程式からなのでと考えることが出来ます。また等積、等圧変化の場合にがそれぞれに一致することも確かめられます。
今回の記事を書くにあたっては下の本を参考にしました。
- 作者: 久保亮五
- 出版社/メーカー: 裳華房
- 発売日: 1998/09
- メディア: 単行本
- 購入: 6人 クリック: 104回
- この商品を含むブログ (18件) を見る
それでは。
not a cloud in the sky
こんにちは、よねすけです。
この前の木曜日かな、めっちゃ天気良くて授業始まる前に思わずパシャりと撮ってしまった写真。あまり天気の良さが伝わらんね笑
あと、後期の成績発表があって人生初のフル単でした!!!!めでたい!!!
そんなわけでバーゼル問題の証明を書きたいと思います。バーゼル問題に関してはこのブログでは扱うのが3回目ですね。いろんな証明があるのはやっぱり面白いですね。以前の記事については以下に貼っておきます。
otaku-of-suri.hatenablog.com
otaku-of-suri.hatenablog.com
これで積分値がわかりました。次にこの積分を級数展開しましょう。
めっちゃテクニカルやけどかっこいい証明やと勝手に思ってます。
それでは。
おもろい図形
こんにちは, よねすけです.
円の中に一点を適当にとり, それを通る線分とそれに垂直な線分を上の図のようにとったとしましょう. このとき, 円の半径を用いて
この式の証明をするために下のように補助線を引きます.
線分は円の中心を通るように取るものとします. そうすると
とても綺麗な式ですね.
それでは.
[追記]
いろいろ突っ込まれそうなので一応書いておくとこの証明ははじめに取る点が円の中心と一致しないときに限り成立します. 円の中心に一致する時は, なので明らかに成り立ちますね. また円の中心でない点を取った場合には適当な回転を行えば上の図のようにがよりも長く, がよりも短くなるようにすることができるので確かに問題ありません. 図形を用いて証明する場合はこういった面倒があるので大変ですね.
判別式パート3
こんにちは, よねすけです.
otaku-of-suri.hatenablog.com
以前3次方程式の判別式についてまとめました. 今回次方程式の特別な場合としてのの判別式を求めることが出来たので以下に記しておきます.
判別式と微分の関係については高木貞治の本を参考にしました.
- 作者: 高木貞治
- 出版社/メーカー: 共立出版
- 発売日: 1965/11/25
- メディア: 単行本
- 購入: 1人 クリック: 29回
- この商品を含むブログ (8件) を見る
判別式は係数の多項式で次のように表されます.
- のとき
考える方程式は
- のとき
考える方程式は
以上から次方程式の判別式は
otaku-of-suri.hatenablog.com
それでは.
後期の振り返りするで。
こんにちは、よねすけです。
後期のテストも随分前に終わって春休みに入っているのに振り返りをするのを忘れていたなあ、ということで振り返りを書きます。
応用代数学(月曜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で認識出来ない集合もあります. そのような言語の例として空集合問題や対角線言語があります. 空集合問題において考える言語は
対角線言語において考える言語は
それでは