8月30日(水)のつぶやき

今日も集中できた goo.gl/LJquK2

— ナカナカピエロ (@NakanakaPierrot) 2017年8月30日 - 01:44

「可換環の勘どころ」読み終わった。いい本だった。分からない箇所もあったので、あと100回読み直そう。また同著者の「可換環論」（後藤四郎・渡辺敬一著）も読んでみようと思う。

— ナカナカピエロ (@NakanakaPierrot) 2017年8月30日 - 08:33

そうか。固有値を求めるための固有方程式は５次以上になると代数的には解けないから固有値求められないんだ。

— ナカナカピエロ (@NakanakaPierrot) 2017年8月30日 - 10:59

これは面白いことになってきたぞ。

— ナカナカピエロ (@NakanakaPierrot) 2017年8月30日 - 11:23

「固有値問題30講」（志賀浩二著）がやばい。

— ナカナカピエロ (@NakanakaPierrot) 2017年8月30日 - 13:26

そういえば「数学ガール」乱択アルゴリズムだけ読んでない。持ってるけど。

— ナカナカピエロ (@NakanakaPierrot) 2017年8月30日 - 13:59

@marx_saul 触れなかった。。。 pic.twitter.com/6bZhtsN9pt

— ナカナカピエロ (@NakanakaPierrot) 2017年8月30日 - 14:09

今日電車乗ってて笑いこらえるの大変だったwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww… twitter.com/i/web/status/9…

— 松 居 マ カ ヲ (@BEROBERO_SAYURI) 2017年8月29日 - 20:58

今日も心身数学共に順調

今日も心身数学共に順調

水曜日。

5時半起床。姉夫婦宅リフォーム13日目。8時前にアジト。以下読書。
・「可換代数入門」
　（Atiyah-MacDonald著）（P.155/200読了）据え置き
・「数学のかんどころ32　可換環論の勘どころ」
　（後藤四郎著）読了（祝）再読予定
・「可換環論入門」
　（リード著）（P.106/174読了）
・「ルベーグ積分30講」
　（志賀浩二著）（P.141/239読了）
・「固有値問題30講」
　（志賀浩二著）（P.106/248読了）

「数学のかんどころ32　可換環論の勘どころ」を読み終えた。とても良い本だった。もう100回ぐらい読もう。またこれを足がかりに代数幾何をマスターしたい。とりあえずリードの「可換環論入門」を読み終えてしまおう。代数幾何はそれから。

また関数解析も好調。「固有値問題30講」はとても良い本だ。この本を熟読すれば、かなり分かるようになるのではと期待している。

今日も心身数学共に順調。明日も頑張るぞ。寝る。

8月29日(火)のつぶやき

気を吐く goo.gl/drf1JH

— ナカナカピエロ (@NakanakaPierrot) 2017年8月29日 - 02:53

ザリスキー位相を勉強しています。そのイメージは掴みにくかったが、あやたろうさんの下記ブログの例えが非常にわかりやすかった。感謝。
commutative.world.coocan.jp/blog3/2016/07/…

— ナカナカピエロ (@NakanakaPierrot) 2017年8月29日 - 10:51

「14日間でわかる代数帰化事始」（海老原円著）読み終わった。完全に理解した感あり。

— ナカナカピエロ (@NakanakaPierrot) 2017年8月29日 - 12:46

帰化 ×　幾何 〇

— ナカナカピエロ (@NakanakaPierrot) 2017年8月29日 - 12:46

今、志賀浩二先生の「ルベーグ積分30講」を読んでいますが、家に帰ったら「固有値問題30講」も探しておかなきゃ。

— ナカナカピエロ (@NakanakaPierrot) 2017年8月29日 - 13:06

@ake0213bellydan ガンバ❗️

— ナカナカピエロ (@NakanakaPierrot) 2017年8月29日 - 21:03

閉集合は僕だけ。それに比べて開集合は広いなあ。(Zariski位相)

— ナカナカピエロ (@NakanakaPierrot) 2017年8月29日 - 22:24

今日も集中できた

今日も集中できた

火曜日。

5時半起床。姉夫婦宅リフォーム13日目。8時前にアジト。以下読書。
・「可換代数入門」
　（Atiyah-MacDonald著）（P.155/200読了）据え置き
・「数学のかんどころ32　可換環論の勘どころ」
　（後藤四郎著）（P.214/222読了）
・「新版　応用のための関数解析」
　（吉田善章著）読了（祝）
・「可換環論入門」
　（リード著）（P.78/174読了）
・「14日間でわかる代数幾何事始」
　（海老原円著）読了（祝）
・「ルベーグ積分30講」
　（志賀浩二著）（P.110/239読了）
・「固有値問題30講」
　（志賀浩二著）（P.30/248読了）

「14日間でわかる代数幾何事始」は二度目のチャレンジだったが、今回の読了でほぼ全て理解できた。嬉しい。ただザリスキー位相の理解については、あやたろうさんの下記記事を補足資料として読ませていただいた。分かりやすい内容なので紹介しておく。
ーーーーーーーーーー
ザリスキー位相 - Commutative Weblog 3
http://commutative.world.coocan.jp/blog3/2016/07/post-2045.html
ーーーーーーーーーー

「新版　応用のための関数解析」は後半よくわからず爆死。なんとかせねば。やっぱ「固有値問題30講」（志賀浩二著）を読むしかない！と思って帰ってから汗だくになって探しゲット。家で少し読んだ。

しかしまあとにかく数学は楽しくて仕方がない。頭が悪くてなかなか理解できないこともあるけど、数学ができる幸せを感じる。

また姉夫婦が朝やってくるので明日も6時起き。寝る。

8月28日(月)のつぶやき

「ニキータ」不評 goo.gl/o8AUUA

— ナカナカピエロ (@NakanakaPierrot) 2017年8月28日 - 02:24

@ta_to_co 無酸素運動なので割と効率良く筋肉をつける・維持できるような気がします。手が空いた時に気軽にできるのも魅力ですね。

— ナカナカピエロ (@NakanakaPierrot) 2017年8月28日 - 02:43

#数楽 高校生および大学新入生向け

「三角函数の加法公式について説明して！」と頼まれたら添付画像程度の図は描けて欲しい。 pic.twitter.com/UzQveMZ7zy

— 黒木玄 Gen Kuroki (@genkuroki) 2017年3月18日 - 20:40

好評発売中『数学の女王　歴史から見た数論入門』J・R・Goldman著　鈴木将史／訳（共立出版）
数論のさまざまな話題の発展を明らかにするとともに、有名な数論学者たちの生涯に触れる。 pic.twitter.com/ZQh4KZ8Et2

— 書泉グランデMATH (@rikoushonotana) 2017年8月28日 - 13:45

『数学の現在π』（緑本）の第1講では、リー群と他の分野との関係がざっくり概説されている（入手した当時はこの分野の知識がなくて通り過ぎていた…）。ちょうど昨日@neet2goさんに教えてもらった擬リーマン多様体もリー群と関係があるよ… twitter.com/i/web/status/9…

— 七誌 (@7shi) 2017年8月28日 - 17:46

iPhone が面白い
カラフル大好き
ちょっと撮影のヒントを見つけた気分
さてどう料理するか。。。 pic.twitter.com/ir4x70RHXy

— つばさ　写真展cells 9/23~ (@PhotoTsubasa) 2017年8月28日 - 18:40

今日の毎日小学生新聞の山田ルイ53世のインタビューはとても良かった。
「無駄や失敗にまみれた人が、ただ生きていても良い。」
本当にそうだ。 pic.twitter.com/Y19w2E1AIM

— 綿屋めりの (@xiu_d) 2017年8月28日 - 10:25

@motcho_tw 私は心療内科コースにいます。なので家事が全くできません。今は姉にお金を払ってやってもらっています。サナトリウム静養中です。

— ナカナカピエロ (@NakanakaPierrot) 2017年8月28日 - 21:16

@delta2323_ 私は関数解析詳しくありませんが、主成分分析が固有値固有ベクトルを求める問題なら、作用素のスペクトル分解などを機械学習に関連させるのは、それぼど荒唐無稽な発想でもないような気がしますし、機械学習では数学を道具… twitter.com/i/web/status/9…

— ナカナカピエロ (@NakanakaPierrot) 2017年8月28日 - 21:36

気を吐く

気を吐く

月曜日。

5時半起床。姉夫婦宅リフォーム12日目。8時前にアジト。以下読書。
・「可換代数入門」
　（Atiyah-MacDonald著）（P.155/200読了）据え置き
・「数学のかんどころ32　可換環論の勘どころ」
　（後藤四郎著）（P.198/222読了）
・「新版　応用のための関数解析」
　（吉田善章著）（P.150/231読了）
・「可換環論入門」
　（リード著）（P.54/174読了）
・「14日間でわかる代数幾何事始」
　（海老原円著）（P.48/225読了）
・「ルベーグ積分30講」
　（志賀浩二著）（P.45/239読了）

土日、数学してなかったので、今日は集中して数学し気を吐いた。明日も頑張ろう。

寝る。

8月27日(日)のつぶやき

土曜まったり goo.gl/u95VzZ

— ナカナカピエロ (@NakanakaPierrot) 2017年8月27日 - 00:00

明日は結城先生がリツイートしてくれた林晋先生の”あるソフトウェア工学者の失敗　日本のITは何故弱いか”を読もうっと。面白そう。

— ナカナカピエロ (@NakanakaPierrot) 2017年8月27日 - 00:17

【9/23千葉逸人先生のご講演】
蔵本モデルと一般化スペクトル理論について、ハイレベルですが大学の講義のようにお話して頂くこととなりました。とても光栄です。

熱意さえあればどなたでもぜひどうぞ！自身の研究/仕事のため、生涯学習のため、深く学びましょう！

申し込みは9/1です！

— 数ぽよカフェ (@mathcafe_japan) 2017年8月27日 - 06:23

次にクヌース=ベンディクス完備化アルゴリズムや項書き換えの注意点です pic.twitter.com/Rz2QDRz4pw

— アラクー@新曲が出たらしい (@Arakur65536) 2017年8月27日 - 10:25

ごめんなさい順番ミスりました
まずはクヌース=ベンディクス完備化アルゴリズムの具体的な手順です
プログラミングに明るい方お暇があれば実装にチャレンジしてみてはいかがでしょう pic.twitter.com/RM43jSqULH

— アラクー@新曲が出たらしい (@Arakur65536) 2017年8月26日 - 23:36

これまでのプログラミングは論理から演繹して処理するもので、データはその論理に当てはめるものだった。しかし今の機械学習やDeep Learningを見ていると論理はパラメタ化され大量なデータから演繹されていくという全く新しいパラダイムに変化しつつあるように思う。

— ナカナカピエロ (@NakanakaPierrot) 2017年8月27日 - 10:44

究極のデータ志向型と思う。

— ナカナカピエロ (@NakanakaPierrot) 2017年8月27日 - 10:50

志向型❌ 指向型⭕️

— ナカナカピエロ (@NakanakaPierrot) 2017年8月27日 - 10:52

こうやって明確な意図とともに定義があると分かりやすい。局所化はこれでバッチリだ。 pic.twitter.com/oXhGQIUyir

— ナカナカピエロ (@NakanakaPierrot) 2017年8月27日 - 11:17

8月26日開催のロマンティック数学ナイトU-22にてたけのこ赤軍がプレゼン時に使用したスライドです。
誤字、抜け等あればどんどん指摘してください。
slides.com/they_dont_care…

— たけのこ赤軍@8/26ロマ数プレゼン (@691_7758337633) 2017年8月27日 - 02:33

コホモロジーのところで爆睡。

— ナカナカピエロ (@NakanakaPierrot) 2017年8月27日 - 21:26

こころ3部作
「こころ」夏目漱石著
「位相のこころ」森毅著
「コホモロジーのこころ」加藤五郎著

— ナカナカピエロ (@NakanakaPierrot) 2017年8月27日 - 21:34

@ta_to_co 私はウォーターダンベル買いました。危なくないし、重さも調節できるので良いです。

— ナカナカピエロ (@NakanakaPierrot) 2017年8月27日 - 21:37

【緩募】おすすめのジムorトレーニング方法
運動不足を解消したい…．当方高所恐怖症なので，ボルダリング以外でお願いします．

— あり (@ta_to_co) 2017年8月27日 - 21:27

「ニキータ」不評

「ニキータ」不評

日曜日。

7時半起床。姉夫婦宅リフォーム11日目。

８時頃に姉夫婦が我が家に来て、19時半に撤収。今日の映画視聴会は、リュックベッソン監督の「ニキータ」。Ｍｅとしてはなるべくメジャーな作品を選んでいるのだが、いまいちという感想を頂いた。確かに最後に大物俳優のジャンレノが唐突に出てきたのは、ちょっと頂けないかもと、Ｍｅも思った。ちなみにリュックベッソン監督映画で一番好きなのは「グランブルー」です。（残念ながら所持しているのは、ビデオテープのみ。）

と言うことで我が家のコレクション（マイナーな映画は除く）から選んでもらったところ、以下の作品が選ばれた。
・「2001年宇宙の旅」（義兄）
・「ディアハンター」（姉貴）
・「のんちゃんのり弁」（姉貴）

と言うわけで週末の映画視聴会は上記作品を準じ視聴予定。どれも面白いはず。。。のはず。。。

明日は数学するぞー！

寝る。明日は６時起き。

後記
大河ドラマ「おんな城主　直虎」面白かった。

8月26日(土)のつぶやき

ようやく一週間が終わる goo.gl/FwJLp3

— ナカナカピエロ (@NakanakaPierrot) 2017年8月26日 - 00:00

@non_archimedean size_tは言語規格上は、そのシステムが定義するサイズが表現できる型でシステム依存なので、システム毎に定義が異なります。unsigned longやunsigned long longで定義され… twitter.com/i/web/status/9…

— ナカナカピエロ (@NakanakaPierrot) 2017年8月26日 - 09:17

#勉強が役立ったシーン
とあるシステムでexp^zの実装がへんちくりんになっていて、こんなのオイラーの公式で実装できるじゃんって思って実装したら大幅な性能向上に繋がって、その時は数学やってて良かったなと思いました。

— ナカナカピエロ (@NakanakaPierrot) 2017年8月26日 - 09:26

@kiguro_masanao 一件あげておきました🎵

— ナカナカピエロ (@NakanakaPierrot) 2017年8月26日 - 09:27

@ta_to_co 昔はカバレージ100%通せとか、正常・エラー・異常ケースを網羅してテストするとか、メモリリークがないかとか、不当なメモリ参照がないかとか、性能要件がクリアされているかとかのチェックリストを作成してテストして、品… twitter.com/i/web/status/9…

— ナカナカピエロ (@NakanakaPierrot) 2017年8月26日 - 09:38

@ta_to_co そうなんですよね。OSSとか他社ライセンスの場合は確かに難しいです。となると、それをベースに構築したシステムの全体評価でしっかりやる。少なくとも使用している箇所だけのテストはしておくぐらいしかないんですよね。おっしゃる通り難しいです。

— ナカナカピエロ (@NakanakaPierrot) 2017年8月26日 - 09:52

@non_archimedean size_tはシステムが提供するstddef.h内で定義されているので、通常はプログラム側で#include <stddef.h>とインクルードして使用するのが、もっとも移植性の高いコードになります。

— ナカナカピエロ (@NakanakaPierrot) 2017年8月26日 - 10:22

@non_archimedean 追記: よってサイズを表現したい場合は、上記インクルードの元、size_tをそのまま使用するのが良いと思います。

— ナカナカピエロ (@NakanakaPierrot) 2017年8月26日 - 10:25

「層とは位相空間からの局所同相な全射である」、わかりやすい定義なので広めていきたい

— 飛鳥 (@Asuka_Tsukimi) 2017年8月26日 - 08:12

@curekoshimizu それよりも何故こんな定義をせざるを得ないのか、理由の方に興味があります。。。

— ナカナカピエロ (@NakanakaPierrot) 2017年8月26日 - 11:44

@curekoshimizu なるほど。それを愚直に実装するとこうなるんですね。ただこの場合は定数の再定義に何の付加的な意味をなさないので、無意味になる訳ですね。規約を作った方も、それを実装する方も両者に問題ありのような気がします。

— ナカナカピエロ (@NakanakaPierrot) 2017年8月26日 - 11:58

有名な「一物一価の法則」。これは数理ファイナンスでは「無裁定条件」として、公理に近いものになってるんだよっ！ 無裁定条件と同値な命題は、まるで選択公理と同値な命題みたいにいっぱいあるから、みんなも考えてみよう！ もちろんこれが成り立たないとしたときに成り立つ命題もあるよ！

— ファイナンスたん (@finance_tan) 2017年8月26日 - 09:51

液体のような溶媒に浮遊する微粒子が、不規則に運動する現象のことをブラウン運動っていうんだけど、これってファイナンスではすごく重要な現象なの。

— ファイナンスたん (@finance_tan) 2017年8月26日 - 09:52

@rippukusou 圏論よく分かってないけど、証明で可換図式から自明というのが、多いような気がします。自明って。。。

— ナカナカピエロ (@NakanakaPierrot) 2017年8月26日 - 15:00

@FumiharuKato 私も楽しみにしています。

— ナカナカピエロ (@NakanakaPierrot) 2017年8月26日 - 16:08

いい講演にしたいと思います。 twitter.com/math_jin/statu…

— 加藤文元 (@FumiharuKato) 2017年8月26日 - 16:03

@non_archimedean 問題ありません。コンストラクタ内でリソース(ヒープメモリなど)を確保している場合は、デストラクタ内でリソースを解放する処理も忘れずに🎵

— ナカナカピエロ (@NakanakaPierrot) 2017年8月26日 - 16:50

Japanese theoremです。
訳して日本の定理でしょうか。
円上に４つの点を取り、そのうち３点を結んでできる三角形の内接円の中心を結ぶと長方形になります。
和算によって発見された定理なので Japanese theore… twitter.com/i/web/status/8…

— 数学GIF画像bot (@math_gif) 2017年1月6日 - 19:49

“あるソフトウェア工学者の失敗 日本の IT は何故弱いか（林晋 京都大学文学研究科） – Hideto Ishibashi – Medium” htn.to/essm6W

— 結城浩 (@hyuki) 2017年8月26日 - 20:59

林晋先生の文章。 / “あるソフトウェア工学者の失敗 日本のITは何故弱いか” htn.to/epNjru

— 結城浩 (@hyuki) 2017年8月26日 - 21:02

24時間テレビがチャリティー番組なのにギャラが高すぎるって話が話題だけど、ビートたけしさんと萩本欽一さんを見習って欲しい。 pic.twitter.com/lvUYqhjd3R

— 咲蘭 (@a9_7c) 2017年8月26日 - 21:25

最近こういう記事に飽き飽きしてきた。
「AIは低所得層を増やし、中間所得層を減らす」？エコノミストが予想 a.msn.com/01/ja-jp/AAqI7…

— ナカナカピエロ (@NakanakaPierrot) 2017年8月26日 - 22:44

自分を自分以上に見せようとするからあせるのであり，自分以下だと思うから劣等感にとらわれる．これからは数学をはじめからやり直し，自分の好きな数学をさがそうと思った．数学を楽しみながら研究しようと思った．（和田秀男）

— 数学の歩みbot (@Auf_Jugendtraum) 2017年8月25日 - 14:37

#ロマンティック数学ナイト のプレゼンです
リプ欄に話しきれなかったことについていくつか補足しますので興味がおありの方ご覧ください
docs.google.com/presentation/d…

— アラクー@新曲が出たらしい (@Arakur65536) 2017年8月26日 - 22:38

Purple Rain で今日の一日を終える。

— ナカナカピエロ (@NakanakaPierrot) 2017年8月26日 - 23:26

土曜まったり

土曜まったり

土曜日。

7時起床。姉夫婦宅リフォーム10日目。

７時半に姉夫婦が我が家に来て、20時半に撤収。姉夫婦は疲労度MAXで昼寝していた。Ｍｅも今日は数学はせずにまったり過ごした。ツイフォローしてたら、ロマンティック数学ナイトU22（Under 22）の実況がガンガン入ってきて、レベルも高くて盛り上がってるなあっと、蚊帳の外から眺めていた。

明日は日曜日。８時頃、また姉夫婦が我が家にやってくる。明日も数学はしない予定。

寝る。