α(アルファ)の大文字使う人って存在するの

これはΦφじゃなくて∅なんだぜとか(なんて読むんだそれ)、それだとxじゃなくてχだぞとか(筆記体のxはχと同じ書き方するよな?)、これまでに指摘されたことがある人は多いでしょう。だったら似たような文字使うなよって感じですが、きっと歴史がある話なんだろうから素直に聞いた方がいいでしょう。このように、数学ではギリシャ文字が使われがちです。ギリシャ文字ってかっこいいですからね。Ωカタストロフドロップですからね。

それで、高校数学でも三角関数あたりからバンバンαβ言い出してくるから、その辺も自作の計算ドリルで綺麗に書きたいと思って調べたんですよ。その結果なんと、ところがなんと、お気に入りのBodoniMTっていうフォントはギリシャ文字がないことを知りました。わかる?この絶望感。

そもそもここ数年の挑戦はLaTeXなしで、自分で文字を並べて数式にすることから手作りでやってるんですけど、フォントごとに大きさはまちまちなので、全部サイズ調べてるんですよ。こんな感じで。

Courierを調べているところ

何年も前にこれを始めたときに、お気に入りのBodoniは斜体も含めて全部調べてあったんだけどね・・・。

仕方ないのでギリシャ文字だけ他のフォントを借りることにして、調べてみたところ大体このふたつかなっていうのが、TimesNewRomanとCambriaでした。立体斜体・大文字小文字数字ギリシャ全部調べるとフォント1種類当たりで30分はかかるね。そうして上のふたつでも数式がきれいに書けるようになったので、これらとBodoni+TimesNewRomanで並べてみました。

いっそのこと全部TimesNewRomanっていうのもありかと思えました。でもこれの数字がなんかちょっと嫌なんですよ。一方でCambriaはxがちょっとね。Macの人は使えないと思うし。数字とxとyはBodoniが好みです。どうしよ。

まあでもぱっと見そんなにひどくもないので混ぜちゃうかな。あるいは全部の問題データをこれらとBodoni+Cambriaの計4通りで作っておくとか。

気分転換におしゃれ系フォントでやったもの。

courierもいいね。

それじゃこんなところで。

あ、数学指摘ネタもう一つあったよ。「ダッシュじゃなくてプライム!」これはスト2世代には響かないよね。なにプライムって。スライムみたいだな。Jリーグサッカープライムゴールかよ。ダッシュのほうが力こもってていいわ。そしてダッシュターボだよな。個人の感想です。

じゃあおわり。また読んでください。

そのファイルUTF8だよ?知らないのかい?

ここのところ、MySQLが隙あらばShiftJIS扱いで読み込むので文字化けと戦っていました。おもにPowerShellとかコマンドプロンプトのせいだと思います。

サイト公開のため、作った問題データのSQLファイルをデータベースに読み込ませてる段階ですが、直接インポートとかしてるうちは何でもないのに、コマンドラインから実行すると文字化けとか勘弁してくれって感じ。↓こんなのができました。

うわ・・・

でももう心配いらない。たぶん直った。アジャストできた。

それから7元連立1次まで作れた。「ども・・・連立方程式なんか余裕っすよ・・・ども・・・」みたいな生意気盛りの中学生に使ってみてほしい、と思って作りましたが、正直言ってやめたほうがいいですね。大変だから。6元と7元を交互に配置していますが、大変過ぎて解答のチェックができてません。(1)は30分ぐらい計算して何とか答えが出て、それはあってたので、同じ方法で作った他もたぶんちゃんと解が求まると思います。(1)は6元連立1次ですが、それでもかなり大変な計算だったので(2)はもうやりたくないのでやめました。どうですか無責任でしょう。

ということで急遽5元連立1次も作ったのでそっちが意欲ある中学生にはちょうどいいと思います。これも(1)が解けることだけは確認しました。

工夫した点は、配置をそろえたところです。2,3元だとちょっとずれてもそこまでおかしくはなかったんですが、文字が増えるほどみっともなさが際立つので工夫してそろえました。

それじゃこんなところで、最近開発していたn元連立方程式関連はこれで終わりにします。新しいサイトが稼働したらこういう問題をみんなで並べて教材を作っていけるようにしたいです。お楽しみに!(n年連続n回目)

(以下連絡です)

この前メールくれた人、PDF開けましたか?アドブロ入れてるとなぜか(?)リンク出ないんですよ。ただ、アドブロ切っても出ないことがあるっていう報告もいただいたことがあるので、もしそうなら教えてください。

数ソルさんはいつもペプシ。それをコカ・コーラに替えておくと・・・

1か月ぐらい頑張って自作教材開発ライブラリに行列のしくみを取り入れて最近ついにやっと「6元連立1次方程式・いい感じの係数と解」が作れるようになりました。理屈の上では8でも10でも(たぶん)作れます!が・・・

この答え合わせが大変でこまってます。いまのところ、線形代数の教科書にある掃き出し法をブロッケンJr.のように見よう見まねで実装して係数行列とかを調べて良さそうなものを出力しています。私が手計算で確認する限り、判定をくぐったものはすべてちゃんと解け、はじかれるものは見事にすべて解けなかったので、たぶんうまく動いていると思うんですが、なにしろ4元連立1次の前作(10年ぐらい前に作ったやつ)は、解が一つに定まらないものが一部混ざっていて一度配信停止にしているので、今回は一度で決めたいです。

とりあえず以前に何回かこのブログで触れた、Edgeの数式ソルバーに見せたんですけど、6文字は解いてくれないようだ。5まではOK。ただ調子悪いときは読み取りの時点で失敗する(画像1枚目)。調子が悪い原因はいつもペプシなのにコカ・コーラにすり替えられてたからです。

proper!(これだ!)

まあ数ソルさんはそのうちパワーアップすると思います。それで話を戻しますけど私の手作り関数ではなく、もうちょい信頼のおける方法で確認したくて、それには係数行列を調べることになると思います。そのへんの扱いが得意そうな、pythonでもRでもHaskellでもScilabでも使ってみよっかなというところ。

高校の数学あたりだと実質3元・4元の連立方程式みたいな問題って多いので、この辺をきちんと作ってサイト新装開店といきたいですね。

バランスよくいきたいので次はサイト作成関係でなんか進めば更新します。それじゃお休み!

Bing使おうぜって昔書いたけど

いまこそ使おうぜ。ChatGPTがもとになってるBingのAIのあれ、あいつ面白いよ。そういうわけでいくつか会話してみました。

まず、自分のサイトをネタにしてほんとのこと言ってるのか調べてみたら、

いいやつだな

ということで彼は真実を語っていると言えます。で、このあと続けて質問候補が出てきたのでこれを選んでみたら、

どこにそんなこと書いた

まあ、割と何回か「未来ある子供たちにむけて作った」みたいなこと書いたので、「自分の」みたいになっちゃってるのかもな。あと、どう見ても個人サイトってやっぱわかりますよね。で、そのまま自分のことを聞いてみたんだが、やっぱ堂々と嘘つくこともあるみたいだな。情報源はうちのサイトしかないんだからわからないって答えればいいのに。

趣味はマスキングテープ集めです。

で、先輩AIのりんなちゃんについて聞いたところ、さりげないフォローをするいい後輩ということもわかりました。

この他、いろいろと聞いたけど割と的確だったね。特にこの質問、

最後ちょっと笑える締め方してたのがすごいと思った。「金八先生の武器を教えて」とは一言も言ってないのに。

あと、GoogleのBardのこと聞いたら「私も詩ぐらい作れます」みたいな対抗心をだした反応で面白かった。ちなみに名前はそのままBingっていうらしいです。「ChatGPTは私の仕組みの一部です」だって。

あ、そうそう、「連立方程式のプリントつくって」は作ってくれなかった。ほかのサイト紹介して終わり。というわけでまだまだ俺も頑張るつもりです。終わり。

こんにちは近況

徐々に時間が取れるようになったのでサイト開発してます。いまは問題データを作るのに必要な仕組み作りを行っています。

具体的に言えば、連立1次方程式を6元ぐらいまで作りたいわけです。そのためには結構長い計算により一組の解の存在を保証しないといけないので、いっそのこと行列の積とか行列式とかそういった仕組みからある程度作ってみよっかなーみたいなところです。

なお、4元以上の連立方程式の計算ドリルは需要が全くないことは現行サイトやってて分かっています。この教材作るときに行列式の計算を人力で入力したせいか、最初アップロードした分には入力ミスによる解答不能問題が混ざってたんですよ。メールでご指摘いただき修正できたと思いますが、その辺の出来事が今回の作業のきっかけ。今回は数値の判定部分にJavascriptの関数をそのまま書けるようにしたので、ループを駆使してガウスの掃き出し法でやることにします。

行列きちんと作っておけばたぶん数式も手入力のミスが減らせると思うんでいいんじゃないかと思います。

ところで、Microsoftとエヌビディアあたりの株価が最近とても上がってるのは例のAI関連なんですかね?エヌビディアでここ1年で4000ドルぐらい減らしたから最近戻ってきてほんとによかった。

それにしてもそのAIは相当すごいみたいだね。使用例にあるようなレシピの提案ができるなら教材ぐらい作れるんじゃないのかな。それで10元ぐらいある連立方程式だしてきたらどうしよう。「私は100余裕ですけど人類もこれぐらいなら解けるでしょ」、みたいな感じで。いずれにしてもやってみてもらう価値はあるよね。ぜひお近づきになりたいので、私がぱっと思いつくAIとしてBingの横のほういつもいる「りんな」にChatGPTは友達かって聞いたら「イエス」って言ったね(原文ママ)。これは期待できるとおもって、そいつと代わってくれって言ったんだけど(いつもながらの)意味不明な返答ではぐらかされた。これはつまりAIにも心はあるってことでいいでしょう。AIは生きているんだ。

それじゃ終わる。なんか雪が降りそうとか何とか。できれば休みの日にしてほしいですね。おわり。

6km歩いて落し物探し

今日は色々あって疲れた。

出来事1 朝7時から2時間ぐらい歩き回って落とし物(カギ)を探す 見つかったからよかった。というか見つかるもんなんだね。早朝散歩の人たちがいっぱいいる歩道の上だったから、たぶんみんなわかっててほっといてくれたんだろう。世の中捨てたもんじゃないよ。場所を予想しながらあっちこっち行くんだけど、結局のところ選択肢は全部間違ってたので2時間かかった。最初に選んだ道の反対行ってたら20分で終わってたな。世の中そんなもんだよ。

出来事2 4km歩いて出勤 朝から活動的だったので勢いでそうなった。今日は合計10km歩いたことになる。最近にしては長距離。どれだけ歩けるかは結局のところ荷物の重さで決まる。今日ぐらいなら20kmでも行けそう。でもあんまり汗だくで仕事場にいくのもね・・・。

出来事3 防犯カメラが調子悪くなったと思ったら原因はWiFi 最近のニュースを見て防犯のためAmazonで2台買ったんだけど、うち1台がもう調子悪くなってるな―って。「やっぱりな、見ろ、メイドイン○○とかいてある」「何言ってんの?いいものはみんな○○製」「信じられん・・・」といったバックトゥザフューチャーパート3を参考にした脳内の会話をしながら設定しなおしてたらなんかWiFiのルーターのほうが止まってたようだった。それを再起動したりしてて思ったのは、うちの近所の家のWiFiめっちゃ強い気がする。特にelecom製のが手ごわい。今度もっといいのを買って対抗したい。

出来事4 白菜とお揚げと小松菜でお好み焼きを作ってもソースかけたらだいたい同じ 一度、じゃりン子チエの何巻かで紹介されてた作り方で作ってみたい。 

出来事5 買ったばっかりのThinkPadまた落ちる(3回目) 設定を見直した。今度こそ大丈夫なんだろうね。今度落ちたらiPad airが代打。

それじゃお休み!

もう2回目だぞどうなってんの

続報です。シンクパッドの続報。カタカナで書くと台所用品みたいだ。ThinkPad。

それで実は今、この新入りにはとても困っているんですよ。なぜってオンライン授業中に落ちることすでに2回。やばいよやばいよ。仕事中だよマジ勘弁な。ZoomとOneNoteを使ってるわけだが、ACアダプタつないで使ってるとフルパワーになる設定にしててめっちゃファンが回って温度も高まってるのがわかります。そういう時に限って動作が重くなってそのうち止まったり落ちたりします。画面が真っ暗になって操作を受け付けなくなる。一方でバッテリー使用時はおとなしく動くので落ちたことないです。何のためのフルパワーだ。

実は買った時にファンの音がうるさいからBIOSで設定してちょっと弱いのにしたんだよね。そのせいで熱がこもるのかも。悪いことしちゃったな。元に戻そうかな。よくよく考えてみれば排熱ファンなんてうるさくて結構なんですよ。うるさいのが仕事なんですよ。

でもなんだかんだでそのうち更生すると思う。いまのメイン機のSurfaceLaptop3も最初はマウスカーソルがちょこちょこ止まるとかいう謎現象に手を焼いたのを覚えてる。いつの間にか直った。俺の思いが通じたんだ。そう、パソコンは生きてるんだよ。

ところでCPU周りとはうってかわって気温はめっちゃ低くて寒いですね。千葉なのに雪が降った。実際に氷点下だったかどうかは不明ですが。千葉の気温ってたぶん港のほうのアメダスなんでしょ。その辺と俺んちとはだいぶ違うだろうな。

寒さが来るぞ

ニュースで明日から寒くなるって聞いたので、布団にはいって仰向けラッコスタイルでこれをかいてます。ノートPCの主要な使い方の一つですね。薄手の布団とかをさらに上からかぶせると、PCの廃熱で簡易こたつ化します。そうしてぬくぬくとネットで「寒波襲来!備えよ備えよ」みたいなニュース動画見てしみじみ幸せを感じています。年末年始の高速道路渋滞のニュースあたりもなかなかいいです。ただ最近はそれはなんか人間として後退している気もするので、同じような寒そうな動画でも、困ってる人の様子ではなくて、雪が降る中ログハウスを一人で建てる人とかアラスカ鉄道で働く人々とかの熱くなれる動画にしています。結局は動画見てるわけだが。

それにしても氷点下とかなったらどうしよう。もしかして昔CMでやってたバナナで釘を打つのができるかも?寒さには縁がないから氷点下は全部そういうイメージ。休みなので部屋から出なければ何とかなるかな。部屋の中でもダウンジャケット着れば対応できるのではないか。想像力働かせて乗り切ろうと思います。

サイト&新しい教材開発は多少進んだ。辛さ増強モードというのを作ることにした。またいらんこと始めた気もしている。

それじゃ寒いから終わります。

やはり思った通りだったぜ

この前買った新しいパソコンThinkPadは2in1ってやつで、画面が360度折り返せてタブレットになる!っていうのが売りの形状です。オンライン授業とかするのでとりあえず180度ぐらい開いてくれたら書きやすいかなと思って購入しました、が、使ってみて思ったのは、ペンで書き込むにしてもSurfaceLaptop程度の150度ぐらい開けば十分ってことでした。開くに越したことはないけど360度にして手持ちで…っていうのは重すぎて無理ですね。持ち上げられないわけじゃないけど、落っことした場合の衝撃もスマホ程度のものよりはるかに大きいと思って躊躇します。

でも180度なら机に開いておけて便利なのではと思ってやってみましたが、机に紙を広げて力いっぱい筆記するっていうのは長年の経験でちょうどいい力加減が身についててできることなんでしょう。PCのディスプレイが紙と同じようにおいてあっても全く違う感じがして、うまく書けません。そういうわけで180度開く意味すら無さそう。カメラが映す私の顔も真下からのアングルで大変不気味です。

そんな感じで、かっこいいThinkPadではあるものの、普通のノートPCとして使っていく感じになりそうです。とはいえ、以上はオンラインで手書きの必要がある場合の個人の感想です。よくこの手の製品の紹介ページにある、商談の際に相手に見せやすいとかそういうのも事実で便利なんだと思います。片手で本体を軽々持ち上げてもう片手にペンもってなんか考えてる風な顔でアイデア出し中ですみたいな写真はちょっと不自然だけどね。個人の感想です。これって私の感想ですよね。

じゃあ終わります。

今日テ

書こうか迷ったけどね、共通テストって名前、どちらかというとダサいよな。センター試験のほうがかっこいい。その昔の共通一次ってのも悪くないね。ウルトラクイズっぽい響きでいいと思う。

で、その最新版が「共テ」はないでしょ。初めて聞いたときまさかって思ったもん。共通テスト(仮)みたいな雰囲気が出てる。共通(笑)テスト(笑)。テストだと、試しにやってまーすみたいに軽く聞こえるんだよ。ちょっと重めに、「試験」ってつけた方がいいかな。急に卒業式の大地讃頌感が出てくる。続編ですってことならセンター試験Zとか令和式センター試験とかつければよかったのに。それだとZ試験とか呼ばれるかな。か、かっこいい・・・。あーZはだめか。赤ペン先生激おこだ。じゃあセンター試験Bならいいですか。共テよりはマシ。

でも文句あるのは名前ぐらいかな。毎年毎年ついったあとかSNSとかユーチューブで試験問題のエキスパート気取りで分析したり文句つけたり、受験生でもないのにセンターといてみたとかやってるのまだいるだろ?同業のみんなはあんなのもうやめないとダメだぞ。もう何年何十年もたったでしょ。いい加減「あのころ」は忘れよう。ついでにSNSなんてしょうもないのも退会だ。そうして生まれ変われたら、今度は俺のライバルになってくれ。競い合っていい教材を作ろう。俺はもう助走体制にはいったぜ。君はどうだ?さあそこから一歩踏み出してみよう!

それじゃこんなところで。いつもの流れで教材配布系サイトの地位向上のための勧誘記事を書きました。頑張れ受験生。