ベクトル解析 (2)

魚金会にて、多様体とか、ファイバーバンドルとかを勉強しています。私には、かなり敷居が高いです。

なんども繰り返して、慣れるしかありませんが、まだ基本が疎かと感じ、関連の蔵書を見直していました。そうしたところ、

志賀浩二先生著「ベクトル解析30講（1989）」

をもう一度復習することにしました。平易な割には、難解な商集合について、丁寧に書かれてあります。

ロジスティック方程式

川平友規先生著、「微分積分 1変数と2変数（2015）」、順調に読み進めています。復習に手頃。

「第14章　微分方程式」、は、そのトピックのクイックコースです。基本的な項目が簡潔に整理されています。

その中に、ロジスティック方程式が出てきました。微分方程式の初歩ではあまり見ない項目です。やはり、応用を意識した良書。

さて、ロジスティック方程式とは、

dy/dx = (k - ay)*y --- (1)

というものですが（同書では式(14.3)）、これは実は、機械学習でよく出てくるロジスティック回帰の関数、

dσ/dx = (1 - σ)*σ --- (2)

の一般形です。ロジスティック方程式は、もともと「個体生物学」の分野ですが、機械学習はこれをパクった？

日本酒乾杯条例

先日（2019年8月20日）、長岡技術科学大学を訪問ののち、長岡駅チカで懇親会をいたしました。9名の参加です。

新潟といえば日本酒ですから、私はいつものようにビールはスキップして、日本酒を頼みました。大学から駅までのタクシー内で、運転手さんから教えてもらった銘柄です。

ほかの人はビールですが、そのあとご参加の先生から、長岡では日本酒で乾杯という条例がある、と聞かされました。

...あれ？、これは実は以前も聞いたことがありました。以下です。

http://kanouy.blog9.fc2.com/blog-entry-1367.html

私の経験はこの2回ですが、他の都市でもありそうですね。これを求めて、全国酒巡り？

microSDHC

私のスマホ（FUJITSU arrowsM04）で撮った写真が、徐々に壊れてくるという現象に悩まされていました。

この写真、microSDHCに格納しているのですが、ビューアでたまに見ると、すでに壊れていて見られないか、ビューアで見ているうちに壊れてくる。具体的な壊れかたというのは、JPEGだからなのか、ブロックごとに見られなくなる、という感じです。たとえば、右半分とか左半分が、グレーとなる。

これはかなり恐ろしいです。バックアップは取ってあるので実害はないのですが、よい気分ではないです。

そうこうしているうちに、この原因は、microSDHCがハード的に壊れてきたのではないかと思うようになりました。私のスマホはほぼ2年経過していますが、使っているmicroSDHCは、その前のガラケーのときから使っているものではないかと記憶します。なので、メモリの寿命が来たのだと思いました。

遅ればせながら、16GBのものを購入しました。microSD関連では、すでに16GBが最低の容量のようです。こんなに安いのだから、壊れても仕方がないと思いました。

Support Vector Machine (5)

Support Vector Machine（SVM）において、マージンが1/|w|というのが解りづらいと思い、以下に導出します。

ゼロの境界線上のベクトルをx₀、プラスの境界線上のベクトルをx₁とすると、

w^Tx₀ + b = 0 --- (1)
w^Tx₁ + b = 1 --- (2)

が成り立ちます。式(2)-式(1)をつくると、

w^T(x₁ - x₀) = 1 --- (3)

となります。式(3)の両辺を|w|で割ってやると、

w^T/|w|(x₁ - x₀) = 1/|w| --- (4)

となりますが、式(4)の左辺はまさにマージンの定義です。従いまして、式(4)の右辺、すなわち1/|w|がマージンとなります。

mentimeter

大分県開催のとあるセミナで、mentimeterというウェブサービスを知りました。

これは、スマホでアンケートがリアルタイムに取れるというものです。あらかじめ用意されたQRコードを、スマホで読み込みます。あるサイトに飛びますが、そこにアンケートが記されています。それに回答すると、リアルタイムに集計されるという仕組みです。

そのセミナの参加者は数百人だったのですが、簡単にアンケートが集計され、前面のスクリーンで集計結果が見られます。これはかなり面白いので、今度私がやるセミナで使ってみようと思います。

MADE IN TOKYO

T社の中古ノートPC、SSDがよいので、やはりSSDのノートを購入することにしました。もちろん中古です。

今回は、HP社のものにしました。ディスプレイが15.6インチと、これまでになく大きいので、ちょっと躊躇したのですが、価格が安いので、これに決定。

HP社のものは、MADE IN TOKYOで知られています。つまり、品質がよいということですね。使ってみればわかる。

Microsoft Officeのライセンス認証に手間取りました。このノート用に新規で購入したのですが、自身のMicrosoftアカウントからダウンロードすると、これはT社のノート用なので、認証で引っかかります（ライセンスはひとつだけ）。というわけで、別のサイトでダウンロードして、認証しなければなりません。少しややこしいです。

熱中症

先日（2019年8月12日）、茅ヶ崎ビーチでBBQをやるというので、自転車ではなく、走って行きました。なぜ自転車ではないかというと、少し前の免許更新時の講習で、自転車の飲酒運転取り締まりが強化される、と聞いたからです。帰りに捕まってしまうと、これはヤバいです。

自宅から6キロ程度なのですが、気温が高く、後半は半ば歩きです。到着時には、熱中症の症状が出ました。具体的な症状とは、手先のしびれです。

これはヤバいと、日陰に退避。休憩したのち、BBQテントに戻ると、すでにビールサーバが設置されていました。当然のことながら、ビールは「水分補給」とはなりません。しかし、これしかないので、ビールを飲みました。すると、熱中症の症状がなくなりました。

結論としては、「短期的」にはビールでも構わないということが、身をもって証明されました。少なくとも、水分としての役割は果たすわけです。ホントかな？

電気学会・第三期次世代インタラクティブディスプレイ協同研究委員会 (3)

本日（2019年8月20日）は、「電気学会・第三期次世代インタラクティブディスプレイ協同研究委員会」です。場所は長岡技術科学大学。初めての訪問です。

恒例の関連研究室の見学は、以下です。

・木村研究室（木村 宗弘 先生）液晶デバイス
・圓道研究室（圓道 知博 先生）空間映像メディア研究
・玉山研究室（玉山 泰宏 先生）メタマテリアル研究

そのあとは、長岡駅チカで懇親会です。みなさん、このあと帰宅されるのでしょうか？

Apple ID

Appleからメールをもらいました。私のApple IDに、見知らぬコンピュータからログインがあったとのことです。

インチキメールでないことを確認ののち、Apple IDにログインしてみました。すると、確かに見慣れないコンピュータ3台からログインがあったようです。

この3台のログを削除、さらにパスワードを変更しました。さらに、Apple IDに登録されているクレジットカードに、本人認証機能を付加しました。

これで対応は終わりですが、ログイン名、パスワードまではバレて仕方ないと思いつつ、関連の質問三つもよく答えがわかったな、と思いました。このあたりは流出したということですかね？

夏休み (10)

来週（2019年8月12～16日）は、当社の夏休みです。9連休です。私は、とくに遠出はしませんが、サッカーのBBQや、数学ゼミがあります。

本BLOGもそれに伴い、夏休みをいただきます。19日から再開予定です。

ディスク容量の謎

私がいま使っているPCは、128GBのSSD搭載の、T社中古ノートです。

SSDの容量が少ないので、極力不要なファイルは入れないように、注意していました。

そのようなことで、40～45GBの空きはキープしていたのですが、先日、いきなり空きが20GBになってしまいました。なぜ？

ネットで調べてみると、Windowsアップデートのファイルが残っているのでは、とのことで、クリーンアップツールを使いました。それで、30GB強まで回復しましたが、十分とは言えません。

でも、仕方がないと諦めていたところ、最近いきなり60GB弱まで空きが増えました。何もしていないのですが、よくわからないです。

臼杵

昨日（2019年8月6日）、臼杵（うすき）に行ってまいりました。知る人ぞ知る城下町で、大分県にあります。

なぜ臼杵かと言いますと、私の先祖がここの出です。そのあといろいろとありまして、非定期で訪問しています。

通常は、大分駅からJR日豊本線で行くのですが、あいにく台風で電車が動きません。そこで、初めての試みとして、バスで行くことにしました。11時30分発のを逃し、次は14時です。それまで駅チカで時間潰し。

渋滞がないので、バスは定刻に発車、一時間程度で目的地へ。雨は降っていましたが、台風はすでに北に去っているので、問題なし。

さて、帰りです。バスの最終は早く、16時56分です。余裕をもって臼杵駅に到着すると、想定内ではありますが、JRが動いていました。16時37分のに乗れました。バスと電車ではルートが全く異なるので、違う景色を堪能いたしました。

教育情報化カンファレンスinおおいた

昨日（2019年8月5日）、「第8回教育情報化カンファレンスinおおいた」に参加いたしました。場所はJR大分駅チカのホール（J:COM ホルトホール大分）です。

テーマは、「未来に生きる子どもたちに必要な情報活用能力を育てる」、というものです。

このテーマに沿って、合計6件のプレゼンがなされました。それぞれ、中学・高校の先生、高校生、NPO、企業、というバラエティに富んだものでした。

NPOのかたの、「プログラミング教育と未来を考える」についてです。私は、プログラミング教育の必修化は不要、という立場でしたが、この講演を聴いて、少しだけ変わりました。要するにこの教育というのは、情報処理技術者を育成するためでもないし、それにより向いてないと悟ってもよい、ということです。

講師自身の例としては、自身は音楽がダメだということですが、それは学校の音楽の授業で知ったということでした。確かに、それはそうなのかも知れません。

私の意見は、プログラミングをやるのであれば、その基盤である数学をもっと重要視しろ、という立場なのですが、この立場は、多少とも「プロ」（いちおう35年以上これで食べている）の見方があったのかも、という発見でした。

第43回TAMAマラソンat FUTAKOBASHI顛末記

第43回TAMAマラソンat Futakobashi（2019年8月3日）に参加してまいりました。通算7回目です。

8月なので、もちろんハーフはムリで、10キロにエントリ。でも、この暑さに関わらず、ハーフのエントリが一番多い...わけがわからないです。

暑さ対策で、2.5キロを二往復します（通常は5キロ往復）。つまり、5キロ時点でリタイア可能ということ。実際そのような人が見受けられました。

さて、私ですが、5キロを走ったあとの二往復めで、暑さのため、だんだん調子がおかしくなりました。朝のニュースでの気温予想は35度です。体感もそんな感じです。

8キロ付近で、前を走っていた女性が倒れ、救護されました。私もかなりヤバかったので、倒れちゃおうかな～などと思ったのですが、これまでレースではすべて完走なので、ふらふらになりながら、ゴールしました。熱中症の症状と言われるものは、いくつか出ました。もちろん、10キロの自己大ワースト。

ゴール後、更衣室（というかテント）の脇で寝転がっていたら、ハーフを完走したと思しき方々が、涼しい顔でやってきました。どういう人たちなんでしょうね。

ザ・プラクティス (3)

アメリカの法廷もの傑作、「ザ・プラクティス」、シーズン1と2のDVDを、某所から自宅に持って帰りました。もう一度観ます。

ところで、Windows 10だと、標準でムービープレーヤーが付いていないんですね。コーデックの問題なのでしょうが、ダウンロードしなければならず、面倒くさい。というわけで、ポータブルなDVDプレーヤーの購入を検討。

先日ヨドバシに物色に行ってみたら、DVDだけだと1万円程度です。それが、Blu-ray対応だと3万円します。迷います。

駅ピアノ (2)

NHK-BSにおける私の好きな番組、「駅ピアノ」。気づいたときには観ています。

そうしたところに、所用で関内に赴いたところ、地下街にピアノが置かれてありました。これは初めてです。番組の一環でしょうか？

驚いたのが、このピアノを弾いている人が、プロ並みなんです。関内の地下街は、お世辞にもきれいとは言えないのですが、それに似合わないような、名演でした。ショパンの幻想即興曲だったのですが、初めはプロの演奏をスピーカーで鳴らしているのかと思いました。