どうも、電源アダプタ(というか接続ケーブル)の不調だったらしく、交換したところ今は頗る快調。
ケーブル内部で断線していたらしい。
随分と長い間重宝して使っていたのだけれど、いよいよ起動しにくくなってきた。
症状的には、バッテリーの寿命っぽいのだけれど、そろそろ買い替え時か?2013年に発売ということだから、ちょうど10年目ということになる。
電気料金の値上げが大変なことになっているようで、
ウクライナ戦争の影響の一次的なものかと思いきや、おそらく戦争の影響は千載一遇の値上げのチャンスとばかり考えているようで、 一段落しても元に戻るような気配はまったく感じられない。
もともと、電力消費についてはかなり気を使っているので、さらに低減する余地はあまりないのだけれど、機器構成もかなり老朽化が進んでいるのでそろそろ見直す時期になっているのかもしれない。
現状、外に出せるサービスはほとんど外部に出していて、社内に残っているのは、容量の関係で外部に置くのが経済的に困難なものとか、社外のサーバーが落ちたときのためのバックアップや、社外におくことがそもそもあまり意味がないもの程度しかないのだが、
この構成に さらに手を加えるとなると、どの辺を弄るのだろう。
今の社内サーバーは、2012年発売のcore-i73770なので、4core/8threadなので、今だとi5にもちょっと劣る程度なので、最近の8core/16threadや10core/20threadに置き換えてサーバー2台を1台に集積するのがいいのだろうか?
もっとも2台あるのは冗長の意味もあるので、いくら性能的に間に合うといってもなかなか代数を減らすのは抵抗があるんだよね...
なんだか、スピーカの調子がよくない。比較的最近まで、内臓スピーカの音量が小さくて、「まあ、ノート型のスピーカなんてこんなものか」とずっと思っていて、そういう時はヘッドホンで聴いていたのだけれど、最近なんだかやたら大きな音がする。
逆に外付けのUSBスピーカが不調になった。こちらは大きい・小さいの話ではなくて、音がするしないレベルで変。鳴るときもあるし鳴らないときもある。多分ドライバ廻りの障害だと思うのだけれども、Windows Updateがまた何か悪さをしたのかと疑っている。
Windows11も出て来ているし、ぼちぼち対応のPCも入手したほうがいい時期なのだけれど、どれもあまり食指が動くほどの魅力がないのだよね...
オンプレミス回帰
昔は、回線の細さやセキュリティがネックになっていて、社内の基幹システムをクラウドに全面移行するのに抵抗があったわけだが、近年のインターネット界隈の改善状況をみていると、以前に障壁と思われていた部分は、もうほとんど解消していて、もういつでもクラウドに全面移行してもよい状況になりつつある。
社内に疑似的にクラウド環境を作成していた部分(いわゆるプライベートクラウド)も、『もう手間暇を掛けて、社内にそんな環境を用意しなくても、外部クラウドでもいいんじゃない?』といえるくらいになっている。
問題はむしろ、仮想環境があまりに安直に作れることから、仮想サーバーの数が増えすぎてしまうこと... 物理サーバーの数自体はハードウェアの機能向上もあってそれほど増えていない(寧ろ減少気味か?)のだけれども、その上で動いている仮想サーバーの数が管理の限界に迫って来つつある。
10年前なら、バックアップの量も数百MB/日程度だったのが、最近ではこれが数GB/日程度に膨れ上がってきているし、BCPやらなんやらで、以前はバックアップ対象では無かったデータまでバックアップするようになっているし、社内クラウド/外部クラウド間でトラフィックを発生させるよりは、外部クラウド/外部クラウド間でデータ交換したほうが合理的な状況になってきている。
まあ、少し全体構成を見直した方がいい気がする... のだけれど、そこまで気が回らないのだろうな。
最近の実際に起こっていることについては、時折伝わってくる断片的な噂でしかわからないのだけれども、
1. まあ、結局のところ、しばらくの間は多少の不便があっても、なにかをほんの少し我慢すれば、回ってしまう。 (保守しなくても、1年位は何もしなくても動く程度にはなるように保守してきた積りなので、当然といえば当然なのだけれど)
2. これ以上改良しようと思ったら、この部分とこの部分は抜本的に直さないと身動きができないよ、と思っていた部分は、当然のことながら抜本的な対策はされないから、後任がその場しのぎで誤魔化すしかない。まあ時限爆弾的に技術的な負債が溜まっていって、さらに後任の管理者(がもしいるとすれば)の負担が積み重なることになる。
3. 来年あたりには、予防的に積み重ねてきたメインテナンスの効果も預金を取り崩して、いよいよ危ない状態になりそうな予感すらする。その時になってやっぱり面倒をみてくれと言われても、ざっと見積もっても2年位分の放置された作業量をおそらく3ヶ月位の間でなんとか処理しなくてはいけなくなるはずだから、『やっぱり、考えたくもない』。
すこし、「まとめ」の積りで、書き留めて置こうかと思って書き出してみたものの、やっぱり気が重くなるだけ。あとは野となれ山となれ...か。
A.Grothendieck が逝去されてから、未公開のメモなどが、いろいろ出てくるようになってきているので、最近は、それらを読み出している。
まあ、覚え書きみたいなものなので、数学的には証明もあまりついていない、アイデアだけだったり、随想のようなものだったり、あまり読みやすいものではない。
隠遁したと言われる時期以降の文書がほとんど世間には出てきていなかったので、すっかりもう数学はしていないのかと思っていたけれど、大体2000年くらいまでは細々と思索していたみたいです。
なんだか Quillen の圏とかやたら持ち上げていたりしているので、自分の感覚はそう間違っていなかったのだとも思う。(ちなみに、この辺のことをやっている、日本の数学者は皆無だと思う。)
ざっと印刷してみただけで、中身をじっくり読んだわけではない(これから読む)のだけれど、相変わらず、ページ数は結構長いです。まだ草稿みたいだし、完成していれば数千ページにはなっていたのかもしれない。ま、ぼちぼちと読みます。
永く使っていた Vista を Windows 7 にアップグレードしたのが2月頃。
勢いで Windows 10 までアップグレードしようといろいろ試行錯誤していたのだけれど、なんだか最後のリブートでうまくいかなくて、元に戻ってしまう。
Windows 7 での Windows Update もなんだかうまくいっていないみたいだったので、もうこのまま 7 で使い続けるしかないのかなと、半ばあきらめていたところ。
... 引っ越しのどさくさで、adobeのソフトとかオリジナルのCDとかどこかにいってしまったのがあって再インストールができなっているのがいくつかあって、アップグレードでなんとかしたいのね。まあ、最近はフリーのソフトウェアでも優秀なものがあるから最悪それに乗り換える手もないわけではないのだけれど、操作方法とか微妙に違うのでいまさら覚えたくないし。
で、気を取り直して、いろいろ対処法を検索して、(いろいろ試してみたので、どの処置が効いたのかもよくわからないのだけれど)、ふと気が付いたら Windows 10への upgrade がなんと成功していた。... でも、遅い... なにしろ vista の頃から 32bit版だったので、64bit版の Windows10には upgrade できないので、メモリが不足している。
windows 7 に戻すのに 10日の猶予があるのだが、戻すかどうか思案中。
最近、世間と接触の少ない生活をしているので、あまり気に留めていなかったのだけれど、
もしかして、今は、数学ってブームなんだろうか?
まあ、ディープラーニングの大成功で、誰も彼もが人工知能だ、ベイズ統計だ、ニューラルネットだ、何年か後にはコンピュータが人間を超えるシンギュラリティの年がやってくる、とか、世間がちょっと騒がしい気がする。
進学校では理系進学希望の生徒の割合が増えているとか、
フェルマーの問題が解けたのが、1995年で、ペレルマンのポアンカレ予想が解けたのが2003年前後で、IUT理論の論文が査読を済ませて公開されることになったのが去年のことで、 100年単位でしか物事が進まない世界の割には、いろんな話題が、一般世間にも流れているのは確かなのだけれど。
引っ越しをした。区こそ違え、市内での引っ越しなので、市街地へのアクセスに関してはせいぜい5~10分くらいの違いでそれほど変わらない。どのみち新型コロナのせいで移動する機会はめっきり減っているし。
ただ、市内とはいえほぼ中心部から西の端まで移動したので、市街地から郊外への移動なので、環境的には随分と田舎暮らし的になった。なにしろ夜が早い。日暮れから1時間も経つともうあたりはすっかり闇で、星がよく見える。団地を別にすれば高層の住宅がほとんどないので、空が広い。
駅に近い新規の建売住宅は今風に狭いけれど、古い住居はそこそこゆったりした造りをしている。新居もそこそこ庭が広くて、ちょっと油断をするとすぐに雑草が生い茂る。
今日はずっと気になっていた庭の切り株を取り除く作業が一段落した。作業当初は、回りを掘って引っこ抜けば簡単だと思っていたのだけれど、思いのほか根っこが広がっていてえらく広く掘り起こす結果になった。桑の木は前の住居でも成長が速くてあっという間に幹も根も太くなるので早くなんとかしないといけないとは思っていたのだけれど、こんなに地中に広がっていたのはちょっと予定外だった。
まあ、抜いた後は芝でも植える予定。もう秋なので、本格的に緑色になるのは来春になるのかもしれない。