October 27th 弱り目に祟り目、泣きっ面に蜂云々

3連続愚痴である。携帯の件に端を発してはいるが、それにしても最近はことごとく運が悪い。

運が悪いと言ったら本当に運が悪くなると大昔に母から言われたことを、思い込みによる主観の問題だと解釈している。そのため最近は運を攻め立てないように粛々と対処し続けてきたものの結果として寧ろ悪化してきているので、つけあがっている運に何らかの手段で苦言を呈さなければいけない。

一昨日にも、コンビニのセルフレジを利用した際珍しく手際よく終わらせれたと思ってたらホットスナックにバーコードが張られておらず、結果店員によるバーコード張り直しから清算やり直しで、レジ袋に入れていた商品を取り出さねばならないなど手際の良さが裏目に出たことがあった。正直これは笑える話だがこのような話を不幸自慢のように晒して自分を取り巻くくそったれな状況からの脱却を図る。

Wplaceの絵が陥落寸前

0101.hatenablog.com

21stの記事でも触れたがWplaceという一年前に流行ったサービス、その日本某所にて一年と少しほど荒らしから絵を守り続けていたが、この携帯故障という最悪のタイミングで3度目の荒らし＆実質使用不可というまさに正直者が馬鹿を見る展開を食らってしまい心底腹立たしい。その後、その荒らしはタイムアウトとなり有志の協力あってか絵は復旧したかのように思えたが、なんと立て続けに別アカウントから荒らされてしまった。おそらく複垢か徒党なのだろう。高々ゲームでと感じられることは重々承知の上だが、それでも最近のこれでもかというほどの運の悪さから頭にきている。復旧した暁には1万円ほどつぎ込んで絵の復旧に乗り出そう。そうでもしなければ腹の虫がおさまらない気がする。

GitHub認証突破できず

皮肉にも携帯を壊してから携帯が求められることが増えた気がする。「よりにもよって！」というマーフィーの法則だろうか。それにしても明らかにSMS認証の機会が増えた。

GitHubというのはプログラムを管理するサービスで、最近では動画制作用プラグインの開発に用いている。ところが、近年頻発するサイバー犯罪への懸念から2段階認証が導入され、それに伴いSMS認証して設定を完了しなければ数日のうちにアカウントがロックされてしまいかねない事態になった。そのため現在は動画制作を一時中断している。

公衆電話復旧してんの？？

一週間前に出したNTTに出した公衆電話の修理依頼(21st参照)が一向に返信されない。ただ両親との連絡をメールにしている今はさして困らないのでスマホ復旧後にでも直接連絡する。

携帯修理するぞ！！！！！！！！！！

ここまで不幸続きのため、携帯嫌い気味の私も流石に携帯を修理しようと前日(26日)から本格的に乗り出し、修理店に見積もりの連絡を行った。絵の復旧もあるので早めに終わらせてほしかったが、昨日がちょうど店休日だったため翌日である今日からの対応となってしまった。店休日の程度にもよるがどうも不定休らしい。

今日はここまで。携帯が形態、昨日が機能や帰納と変換される今日のIME。火曜の今日は待ちに待った精神科。これ以上「よりにもよって！」が起きないことを願う。

October 26th 近況(愚痴)

最近は愚痴ばっかり

見出しタグ

これまで見出しを表すHTMLタグと一対一に対応していなかった、はてなブログ編集「見出し」のプルダウンメニュー。一応ははてなブログ10年(休止あり)プレイヤーであるのにもかかわらず、このような事情からブログ内において、「大見出し」に相当するh3タグの上に位置するh2を使用して良いのかが作法として分かっていなかった。実は普段の編集はMarkdownであり、普通にh2h3もシャープくっつければ簡単に打てるのだが、なんとなく数年ぶりに「見出し」メニューを表示。するとタイトルのh1除いたh2~h6タグに対応して「特大見出し」から「特小見出し」まで振り分けられており、10年間変化してないように見えた編集項目も実は少しずつ変わっていたんだなぁと移り変わりを実感。(統一なされていなかったブログ内でも今後はh2から順に使用する。)

ゼミに関して

あれほど準備するといってはいたが、実はあの後「一日に一行しかノートがかけなかった！」といった不調に見舞われており、結果としてゼミ当日の今日になり慌てている次第である。

なお不調から回復した要因だがあまりよく分かっておらず、ただ机と向き合うのをやめてベッドの上で数学したらはかどってきたため、実は机と相性が良くない可能性がここにきて浮上してきている。

ベッドがいいのか机がダメなのか。個人的には両方あると踏んでいて、前者に関しては幼稚園時代から図鑑はベッドの上で読むものではあったので単に私がそういう人な可能性があるのと、後者は今の机が勉強用ではなくパソコンデスクに近いからである。特に後者に関して机選びには若干の後悔があり、というのも数学科に必須の机付属の本棚が現状小説を置く程度の奥行しかないため底面積により棚に横置きするかもしくは収納をあきらめて適当な場所に積むかしか数学書を置く方法がなく、かつ机の表面が木目調で凸凹しているのだ。これは明らかに自身が紙とペンで勉強するための机ではないことを主張している。また机と椅子の位置関係も絶妙にかみ合っていないことも要因で、机自体の奥行が足の置き場所に困るほどになく、したがって長時間の勉強に耐えうる姿勢が取れない。

ということでちょうどいい休憩になったのでこの辺で終える。それにしても最近のIMEは誤変換が多く、修正が手間だな…。

October 21st 昨日までの愚痴

今日は21なので「st」である。

近況

今日から改善していくと思ってはいるが、特に昨日は様々な事案が悪い方向に作用していた。主にスマホ破壊が原因。(以下の過去記事を参照。)

0101.hatenablog.com

スマホを壊してから実家の両親から、連絡が送っても梨の礫だという内容で心配の手紙をもらったために近く(とはいえ歩くと15分かかるところ)にある公衆電話にて何回か連絡を図るもののつながらず。結局両親が直接訪問して私の無事を確認した。後日判明したが驚くべきことに公衆電話も0キーが反応しないという、公衆電話の方も公衆電話としてあまりに致命的な故障を起こしていたのだ。法令により1,2kmに1件の公衆電話の設置が義務付けられてはいるものの、正直言って九大周りの何もない土地にぽつんと置かれたこの電話が壊れているのは公共サービスとして健全でないと憤りを覚えたので昨日NTT西日本に通報した。それも、電話ボックス内の掲示物の通り、扉や電話本体の設備不良は113に連絡すればいいのだが実はこのサービス落とし穴があり、公衆電話から113へ連絡してもSMSもしくはインターネットによる手続きを紹介されるだけで公衆電話だけで完結できないという本末転倒な仕組みとなっている。幸い1と3キーは正常だったので公衆電話本体から通報するも気づいたのが現地であったために無駄足だったが、最終的にインターネットにて完結。ただ最初はNTT「東」日本の通報formにて手続きしていたので地域を入力するタイミングになり西の方に紹介され、日本全国一括に行えないという点が不条理ではあったが。

そのこともあり携帯電話の復旧が至上命題だと思われるかもしれない。しかしスマホの状況が現在画面天板両方粉々という酷い有様で、起動こそするものの画面は真っ暗で何も見えないという、仮に何らかの方法で元通りになったとしても金額の桁が不安になるレベルである。ただ友人が少ないことから当然LINEの頻度も低いので、現在は主にgmailで通信している。

それとスマホを壊したことをきっかけに持病のADHD、とりわけ「考えがまとまらない」衝動性を見直し、編入後の一年半ほど中断していた投薬治療を再開しようと精神科へ足を運んだ。しかしやはり精神科は患者が多いため、初診から開始まで最悪一か月かかると案内された。ただしこの記事の執筆中にメールにて連絡があり、来週には開始できそうといった内容だったため現在胸をなでおろしている。ADHDは厄介なことにスマホにのみ局所的に、衝動として発現する程度ではない。特に最近はそのADHDの症状が悪化してきていると感じている。その症状からなのかゼミの準備も集中して行うことが難しく、そのため先週分はゼミ開始以来初めて「サボった」。より具体的には、二人いるゼミメンバーのもう一人で何とかなればよかったものの、その一人が直前になり都合が合わないことが発覚し、絶望しながら都合をでっち上げたという次第である。

不注意はメモなどの明確な対策より改善できる。実際私も編入後は忘れ物がほとんどなく、提出物もゼミ以外はこなせていた方だったはずである。しかし精神に純粋に作用する衝動性はどうしても改善せず、最近はスマホ破壊のきっかけとなった事案について知恵袋やQuoraといった質問サイトにて、回答者や閲覧者から面倒くさがられたり訝しげに扱われたりするほどひたすらに議論を投げかけたりするなど暴走している。そのようなことが続いたのも精神科の門をたたいた動機である。

その他、一年と二か月前に描いてから守り続けていたWplaceの絵にタイミング悪く荒らしが来訪し、こちら側が運営に7回通報するもその7回という通報の多さからなのか却って被害を受けたこちら側がbotと疑われてしまい、電話番号によるSMS認証がなければ活動できなくなってしまった。掲示板Redditやメールによる陳情や8回目の通報、さらに有志が復旧してくれた甲斐もあってか現在は荒らしにタイムアウト(、つまり数日は活動できなくなる状態)処分が下され、絵も元通りとなってはいる。(余談：Wplaceとかいう一年前に𝕏ではやったサービスを今更やっている理由などブログ内で一切説明していなかったが、簡単に言えば一年前に描いたデカい絵が何故か度々荒らされるので引退できないまま今日に至るまでしぶしぶ修復し続けてきたということ。)

ということもありゼミ優先ということで動画編集作業は後回し。来週の分は根性で何とか終わらせたい所存だ。

October 17th 数学解説動画の準備 #2 数式・図式をYMM4上で扱おう

前回に引き続きYMM4(ゆっくりムービーメーカー4)上で数学解説動画を作ろう！ということで、今回は不可欠な
数式、図式など
について触れる。

数学文書の取り扱いの面倒さ

私だけではないと信じないとこのあとの記述すべて終わるが、数学文書取り込むの面倒と思う人はそう少ないはずである。を立ち上げてstandaloneで作ったTeXファイルをpdfだかに落とし込んでそれをYMM4に…

一応実は数式のみなら有志のプラグインによりYMM4上で直接に書くことが可能だ。しかしあくまで数式の表現方法が記法というだけであり、仕組みとして画像出力に対応した別のエンジンを用いているため、基本的なコマンド以外と互換性がない。(はてなブログに明るい読者のために、一応[tex:]記法もその類である。)その影響で例えば完全列や可換図式、TikZによる図はこのプラグインで描けなかったりする。

自作プラグインの導入

そこで数式のみならず図式を直接記述できることを目的としてYMM4用に新たにプラグインを開発している。しかし実は現状として中核部分は完成している。一応完成したらGitHubに掲載する予定である。

(画像は開発中の画面です)

写真の図式にはxypicパッケージを使用している。右下のテキストから「核、余核の普遍性」を表す図式が表示されている。

自作プラグインの詳細

最初に断るが、面倒なことにこのプラグインはエンジンとしてそのものを使用するという力業で動いている。これはC#で動く互換の組版システムで無料のものが存在しなかったのが要因であり、ユーザが手元のパソコンにの環境を通さなければ動作しない。

加えて現状として要素の更新のたびにエンジンが動いているため、前述した有志によるプラグインに比べて動作が遅い。

なお、ここまでの開発期間は5日程度だが要件が固まったのは3日目であり、そこから1,2日でCopilotが完成させたことに人工知能の進化を実感した。

October 13th 【お知らせ】ブログ記事題名の大規模見直しについて

全文

中の人の教養のなさから、これまで7年間程度、記事タイトルに使用してきた「st,nd,rd,th」の使い方が誤っていたことを取り急ぎ報告します。大変申し訳ございませんでした。

間違った使い方

過去記事には、4以降の序数にはすべてthを用いていました。

正しい使い方

本来は11,12,13除き末尾1桁が1,2,3の場合st,nd,rdを、それ以外の場合にthを用いるのが正しい表記です。

今後の対応

「象牙の塔4階2号室」として学徒と謳い、かつ高専時代は「煽り系高専生」として、また九大数学科に編入してからは「九大系ブロガー」として、これまで活動してまいりましたがこのような、少しばかりの英語の素養があれば気づくことのできたミスをおよそ7年以上にわたり見過ごしてきてしまい、私の不調法をお詫びします。

一方でこれまで書いてきた記事総数は800以上であり、これよりすべてを修正するのは困難を伴います。

従ってこれより緊急アップデートと称し、過去全てのタイトルの見た目を書き換えるプログラムをソースコード内に埋め込みます。

最後になりますが読者にご迷惑をお掛けする結果となったことを重ねてお詫び申し上げます。

令和8年10月13日

象牙の塔4階2号室代表 ∪Я∃

途中経過

02:57 h1(大見出し),パンくずリストを対象とした書き換えに成功。 03:23 新着記事,タイトルを対象とした書き換えに成功。

October 12th 数学解説動画の準備 #1(続きはないかも)

動画を作ろう(!?)

今日は代数幾何を進めてはいたのだが、やはり最近は長時間数学書や大学ノートとにらめっこしながら「写経」することに若干飽きつつある。そこで何かいい刺激が欲しいと思い、そのために数学を耳から取り入れることを画策。とはいえ完全に耳だけを頼りに数学を行うのは全盲の数学者オイラーでもない限り容易ではないだろう。すると数学の動画から勉強するという選択肢が浮上するが、まして大学レベルの高度な数学など物好きしか投稿しないだろうし、それゆえ見たい動画がインターネット上にあるとは限らない。







ないなら作ればいいではないか。

試す。

とはいえ動画にする数学など今回で調達できるはずもないので、今回は一連のお試しという形で、字幕など最低限のセットアップを行う際の「サンドボックス」ほぼそのままの動画をアップロードしてみる。

制作にはゆっくりムービーメーカー4を用いている。これは「ゆっくり〇〇」、「ずんだもん〇〇」などが作れる、ある程度名が知れたソフトであり、当記事での解説は必要ないだろう。正直この形式の動画を作ること自体は前々から模索はしており、九大数理学府に落ちた際はその時の実況を「Vlog」形式で載せようとも考えていた。(受かったのでめでたく没になったが。)

完成品

完成品を以下に載せる。正常に動画が作れることを確認した。(高専レポート並感)

youtu.be

とくにこれといった目的のない動画である。(もちろん、本格的に稼働させる際は内容もそれ相応のものに構成するが)

October 6th 生存報告

近況

前記事で厭世的になったわけではないとつづったが普通に今は人と会いたくない気持ちがやや強め

ただ今現在はカフェインの影響か数学出来る状態に回復したので少しつぶやく

圏論における普遍射というのは普遍性の文脈で登場する概念で、普遍性は普遍射の言葉で言 い表せられるはず)

簡単な例から試す。生成されたベクトル空間の普遍性で、基底の行き先で決まるというものがあったはずだ。自由関手を、忘却関手をとするとということ。この場合集合から忘却関手への普遍射とは組のことである。(は包含写像。)

何も自由・忘却の随伴ペアにこだわる必要もあまりない。ベクトル空間や加群において出てくるテンソル積の普遍性などにもこの枠組みに当てはめることが可能で、一点集合から双線形写像の集合に移す関手への普遍射としてと、一点集合からに移す写像の組を考えればよい。ここの下りは普遍要素という形で簡潔にまとめられる。

普遍要素の話まで書くの面倒なので普遍要素やその他の例は他サイトに回すこととして文章前半を書いたのが0時、後半は23時で、当然0時のカフェインは残っておらず、かつ新規のカフェインをとっていない。今はゲームや数学などほぼ全てに退屈を覚える気分なのでそろそろ寝る。そもそも進めている物自体牛歩の歩みの数学書や計画的な運営を要する某艦船ゲー、ゴールまでが長いプログラムのライブラリ開発だったりとまあ地道な積み重ねを要するものばかりなので仕方ないのかもしれないが