LA LA LAND めっちゃいい！

今日近くに映画を見に行こうと思って見てきたのが LA LA LAND ！！



31歳の監督とは思えないほど素晴らしくてマジで見てよかった！
前作のセッションも最高だったけど、今回の作品も音楽と映像のマッチがとても素敵で是非みんなにも見てほしい！

さりげなくお洒落な感じの映画で、欲をいったら恋人と見たかったな(笑)

あと、劇中に何度も歌われた"City of stars"！
これがすごく映画の雰囲気を作っていてよかったぁ(*´Д｀)




映画が始まってすぐのミュージカルから鳥肌もんです！
是非、みんなも見てね～！

珈琲のマカロンおいしっ

今日のマカロンはこのふたつ

珈琲とフランボワーズ





珈琲の方は少し苦みもあってめちゃ美味しかった！

アールグレイマカロォン！！

ふたば茶亭のマカロンを今日もふたつ食べようかな( *´艸｀)



紅茶の一種アールグレイの方が結構美味しかった！

ショコラも安定の美味しさで満足ｩｩｩｩ！！

Starting Over 俺も撃たれたい

MOTHBALLの可愛いMVがある！
ゴットタンで使われていた曲で、女優の名前は内山愛



音楽もスゲーかっこいい(#^^#)

命題論理のコンパクト性定理

いやぁ初めて数学の話題に触れるね(笑)

今日は命題論理のコンパクト性定理を紹介したい。（誰が見るんだろう？…）

命題：真偽が定まる文
矛盾：命題の集まりが同時に真とならないこと

この定理の内容は分かりやすくいうと
ある命題の集まりについて、それが矛盾しないこととその任意の有限部分集合が矛盾しないことは同値
といったもの

この定理からすぐに分かることは
無限個の前提から導かれる推論の妥当性は、ある有限個の前提が責任をもつ

いや、そもそも無限個の前提から推論なんて凄腕の刑事でも出来ないよ！と思った人、正直に手を挙げなさい。

数学は偉大で、そんなこともできるんです！

この定理を使えば、無限に広い平面グラフでの４色定理が証明できます。


あぁ、数学って面白い(^_-)-☆