職業で自我を規定しない
このところ、数学ほど楽しいものはないという気持ちと、プログラミングはやっぱり楽しいという気持ちが交じりあっている。いっぽうは趣味でいっぽうは職業であるが、たまたま手近な職業として後者を選択してしまったにすぎず、本分がどちらであるのかはどうでもよくさえなっている。
プログラマという職業がもてはやされていることと、自分がその職業についていること。これらは異なる因果のなかにあるということが見えずに(あるいは積極的に盲目を装い)、「自分の職業はこれ以外にない」と奇妙な自尊心をもっていた時期があった。しかしそれは「私は成功している(はず)」という暗示によって不安をトランキライズするひとつの目くらましにすぎず、まったくもって拙速な、無意味な、愚かな表現であった。それがわかってきた。
別にプログラマじゃなくても生きていけるとおもうし、職業に囚われて感性がタコツボ化してしまうくらいなら、さっさと新しいアクティビティに移行するべきでさえある。現実的には、職業を変えることにはすさまじいエネルギーが要る(実際のところ、他業種からプログラマに転職してくる人はそれだけで尊敬に値する)。ただちになにかを計画して実行に移すというほどのものはまだないけれども、少なくとも僕自身の意識、自画像としては、「たまたま」プログラミングができるだけの並の人間、というくらいで十分であって、それ以上のものではない。楽しいからやっていることではあるが、もっと楽しいことがあるならばそちらに移行する道は空けておきたい。それができるかどうかをシリアスに見極めたい。
Elixir のイントロダクションをスローに読んでいる
世の中では Rust への熱が日に日に高まっている様子であるが、僕はというとなにか本能的に惹かれるものがあったのだろうか、 Elixir のイントロダクションをちまちまと読んでいる。
パターンマッチングだとかアクターモデルだとか、 Ruby 3.0 の文脈でワイワイ言われていたものがごくごく基本的な事項として提示されて、なるほどこういうものであったのか、とふんわり用語法を咀嚼している。
楽しくはあるけれど、深入りはあえてしない。なにせ週末は学生に戻って微積やら化学やらの予習復習をしているわけで、とてもではないがそれ以上のアクティビティに熱中する余裕はない。思えばフルタイムの学生をしていたころも、学期中に限って履修科目から外れたトピックの独学を始めたりしていたものであったから、これも同じように気紛れ、逃避の類なのだろう。講義に追いつけてきたという余裕のあらわれであると思えば、そう悪くもない。
しかしあくまで講義を優先して、こちらは余暇の手慰みである。つい熱中しかけても、主従関係は誤らないようにせよ、という戒めとして記述しておく。結果としてどちらも楽しめればこれほど素晴らしいことはないが、順序の定義は失わないこと。
ランダウの記号
計算量の上界を見るときにビッグオー記法などとよく引き合いに出される、例のランダウの記号というやつについて、解析学のテキストで触れられているものを読んだ。「他の定理はともかくとしてこれなら知っているぞ」といわんばかりの思いで臨んだが、数学的定義のちんぷんかんぷんさに打ちのめされた。とはいえひとまずテキストの内容は理解できたと信じて、この定義を忘れないようにしたいとメモを書いておく。
収束速度の表現
のとき に収束するふたつの関数を考える。 として と考えてもよい。
記号
と書いて を意味する。
と が同じ速さで に収束するということ。
(スモールオー)記号
と書いて を意味する。
が よりも速く にいくということで、このとき は より 高位の無限小 という。
発散速度の表現
のときもだいたい同じ感じで表現できる。ここでは省略。
四則演算パズル
日曜日の午後、こんな遊びを見かけた。
4つの数と四則演算のパズルと言えば、中学に入った時に数研のビラで
— SKY/sky58🍊 (@skyaozora) 2021年11月14日
1,1,9,9->10
3,7,7,11->2
3,5,12,13->30
という3つの問題があって、1つ目は知ってたから残り2つもそのパターンかと思ったら実は微妙に違ってて、その日1日中考えてやっと解けた記憶が(でも多分このパターンで全部だよね
四則演算で 10 を作る難しいパターン!!!
— けんちょん (@drken1215) 2021年11月14日
Q1
1, 1, 9, 9 で 10 を作ってください
Q2
3, 4, 7, 8 で 10 を作ってください
Q3
1, 1, 5, 8 で 10 を作ってください
遊びと思って取り組んでみて、最初の一題は数分で解けた。が、後が続かない。二題目ではいい感じの形の有理数は作れるのだけれど、分子と分母が逆転してしまっていて、あといっぽ及ばない。というところで悔しさが勝ってしまい、ソルバーを書いた。
ソルバーでも解なしとなったところで異変に気づいて、与えられた自然数を並べ替えることは自由であるとわかった。それを知っていれば、単に割り算の順序を変えて二題目も容易に解けたはず。悔しい気もするが、ゲームのルールを知らなかったのでは仕方がない。少なくとも今日それを覚えられてよかった。
「中学生の遊びと書いてあるものを解けないのか!?」と危機感を持ったが、ルールさえわかっていれば一題目と考え方は同じであった。妙なことに時間をかけてしまったような気もするが、まあいいだろう。お正月にでも身内の子供たちとこれで遊んであげたい。
三角関数の加法定理を復習する
放送大学「初歩からの数学 '18」は、第十章にて三角関数を扱っている。すっかり記憶が磨耗していることに恥をしのびつつ、加法定理をいちど書き出してまとめておこうとおもう。
結局のところ、基本の形をもとにして、いくつもの展開形が生じるということになる。「すべてを覚える必要はないので、いつでも導出できるようにしなさい」という指導をそういえば受けたことがあったなあ、と学生時代に思いをはせつつ、その導出手法を確認しておく。
基本の形はこれだ。これがなければなにも始まらない。
左辺で と に加法を適用しているので加法定理ということになる。減法定理というものはない。上式で を に置き換えると、次の式がえられるだけのことである。
定義より
であるので、
こうして加法定理の4つの基本形がえられるわけである。あくまで、最初のふたつだけを強く記憶すればよい。
三角関数の積を和ないし差に直す公式、というものもある。これは加法定理からこのように求められる。
変形した方が扱いやすければそうしよう
記号の組み合わせが忙しく記憶に負荷をかけてよこす。実際のところ、記憶するよりも加法定理から導出するのはたしかに安全そうである。
積を和(差)変換できたのと同じ理屈で、和ないし差を積に変換する公式も導ける。ただしこれにはわずかな操作が必要で、そこが混乱を生じさせる。
上で導出した、積を和(差)に変換する公式をみよう。これを逆に適用すれば、和(差)から積を導くこともできるはずなのだが、いくぶんややこしいことになっている。
ここで必要な操作は、 , と新しいパラメータを宣言して、これらの置換した文字について扱うようにすることである。すると , となり、次のように和(差)を積で表せるようになる
1日1万歩を1年間続けた
1日1万歩を1年間続けた。実のところ平均値にすぎないから表題には誤謬も含むが、誇れる習慣と言えようか。ひとがいつになく運動不足を口にした1年間で、僕はいつになく身体を動かした。
ルーチンはこう。朝、起床してすぐにランニングに出る。雨の日はジムにゆく。体調と環境をみて、3-8kmばかりを走る。これだけではたいてい1万歩には満たない。昼食後、あるいは夕方あたりに40分ばかりの散歩を加えると到達する。勤労日には1時間の休憩時間を15分の食事と長い散歩に分割するのが日常となっている。
さて、そこで得たものはなんだったか?
肉体的な健康が身についた、とひとは言うだろう。実際、この1年での減量幅は10kgになる。BMIは軽肥満から標準に戻った。あるいは、苦しいルーチンに打ち負けずに継続することのできる強い意思だとか、成功体験だとか、自己肯定心だとかいうものが身についた、などか。
とはいうものの、それだけのことである。肉体が健康であっても、心が健康でない日々はあったし、そう万事が万事快調でもない。
僕自身の性質として、はっきりとわかったことはある。苦しい習慣を続けることは苦にならない。実のところ、機械的な日々を過ごすほど楽なことはない。自分の決めたルールにのっとって動くだけで、それ以上のことは何も考えずに済むというのは、実に楽なことである。これは禁欲にみせかけて、むしろ堕落に近い。
そういうことをおもうにつけ、この1万歩という意味のない数字で生活を規定することは1年で終わりにすることにした。ずるずると数字に囚われて次の一年を暮らすことになるのがおそろしい。
目標を立ててそれを遂行することは美徳、そしてそれができるひとは善とみなされる。善行によって死後に救われるのであればまだしも、実際のところいつ風邪をこじらせて死ぬともわからない時代に、そんなことをしてなんになるのか。どうせ死ぬのであれば、徹底的に身体を破壊して滅びていくほうがよほど人間らしく美しくはないか。なんらの社会貢献も考えずに、映画をみて本を読んでゲームをして食って寝て肥満するだけの生活をしていた若い日々がいつになく懐かしい。
そういう脱出願望を心に秘めていながら、人生の目的を考えはじめると気が触れそうになるので、何も考えなくていいように身体を動かすのだろう。身体を鍛えて、健康を守る。この悪習から足を洗うことは、それを継続するのと同じだけ難しい。