2022-11-26

数学・物理 子供の背中を見て反省する／相転移プロダクション

今回のテーマ

式を含むこともよくあるため, 記事本体はアーカイブサイトへのリンク先にまとめています.

メルマガのバックナンバーは次のページにまとめてあります. 興味があればどうぞ.

感想をください

「読んだよ」だけでもいいのでぜひ感想をください. メルマガを書く励みになります. 最近感想を頂く機会が増えてきたので素直に嬉しいです.

メルマガへの返信でも構いませんし, 次のアンケートフォームへの回答でも構いません.

ではまたメールします.

近況報告

ここ最近, 数学としてはシコシコと代数の基本的なノート作りと競プロばかりです. 代数はもう少しガロア理論の基本的なノート作りが終わるため, それが終わったら多様体の項目メモを仕上げつつ, 層のコホモロジーに関わる議論と加群のノートを整備する予定です.

長い間の懸案だったトポロジーのノート作りもしたいところですが, ここで代数のノート作りを止めてしまうとまた半端な状態が続くため, いまこの焦点が合ったときしかないと思ってふんばって進めています.

昔書いた文章・ノートが冗長でつらい

幾何ノートの整備と合わせて, 特に重要な位相空間論のノートも並行して整備しています. 書いていた当時はもちろん真剣に一所懸命書いていましたが, いま見ると冗長で読んでいて自分でイライラする記述があります.

それはそれとして, 通信講座として書いたときにはまだ書けていなかった定義や定理が既にあるため, その引用整理も合わせて進めています.

ただ改めて思ったのが, 「こういうのがあるといいのに」, 「こういう記述があると自分が楽しい」と思った記述を盛り盛りで詰め込んでいるため, 読んでいてとにかく楽しいです. 特に何度となく眺めて整備を進めていた部分は証明も詳しく, ストレスフリーで読めます. 凄まじく面倒ではあってもわざわざ自前のノートを整備してきたご利益を感じる部分です.

mathlib documentation

ノート整理で補有限フィルターを調べ直していたら見つけました.

証明支援系のライブラリのサイトで, Microsoft Research所属のプロによるサイトのようです. いつか証明支援系の議論にも取り組みたいとは思っているため, メモがてらシェアします.

最近のプログラミング学習: 競プロ

勉強方針を少し変えたのもあって, AtCoder Problemsを一日二題ペースでゴリゴリ進めています. 入門者向け基準とはいえハードの問題を自力でさっと解ける場合も出てきて, 一年間ほぼ毎日やってきた成果が上がっているようで気分もいいです. 自分用リファレンス・ライブラリも溜まってきました.

競プロ勢, もっと言えばF#・Haskell勢ともっと交流を持ちたいと思っているのですが, もっと競プロ系の記事なども書かないといけないのだろうと思います.

仕事のプロジェクトである程度自由にできるため, サーバーサイドでF#を使ってみようと思うものの, ネットに情報が少ないため二の足を踏んでいます. JavaScriptなどは新しい情報も大量にあって参考にする機会も多く, お世話になった分, プログラミング関係でももっと情報を出さないといけないのだろうとも思います.

新しく勉強するときの苦労

12月からAndroid開発のプロジェクトに参加します. Android・Kotlinを猛スピードで勉強しているのですが, 基本的な本を読んでいてレイアウトの説明など面白くもない記述をがんばって眺めています. 数学でも, 面白くなくても一度は一通り勉強して, 言葉だけでも頭に入れておかないといけない内容はあります. くり返し眺め続けてようやく少し慣れてきました.

既存コードの引き継ぎの面もあって仕事時間でもずっと眺めています. 朝から晩まで二週間もずっと浸っていてさすがに少しは慣れてきました. 仕事になると苦痛だろうと何だろうとやらねばならず, 嫌でも勉強は捗ります. 何か勉強したいことがあれば仕事にしろとはよく言いますが, 改めてそれを実感しています.

JavaScriptでも困っているのですが, Androidもテストの書き方・作成方針が全然わかっていません. 何かいい本や資料をご存知の方がいればぜひ教えてください. 小・中規模のAndroidアプリのリポジトリがあればそれも教えてくれるとありがたいです. 絶対的な量が足りておらず, もっと浴びるようにコードに触れたいと思っています.

勉強するときの実際を苦労を味わい続けた方が「こういうのがあればいいのに」という自分の問題意識も育つため, 程々に勉強の苦労を続けないといけないのだろうと最近良く思います.

以前から時々書いているように, 私は昔から柔道の道場に通っていていまや指導側です. 類は友を呼ぶ話のごとく, 通ってくる子供達はとにかく不器用で, 何年もくり返し言っていてもなかなか身につきません. ただ, 子供達は子供達で学校での勉強も含め, 毎日大量の情報に触れて覚えなければいけないことも多く, 5年-10年言い続けたくらいでどうにかなるなら苦労しないという話もあります. 子供達の様子も見ていると時々猛烈に反省することがあります.