投稿者: KDH10

えー、書きます。前回ふれた新しいデスクトップPCっていうのはWindowsDevKit２０２３っていうやつです。開発者でも何でもないのに買いました。minisforumの桜模様のおっしゃれ～なやつと迷ったんですけど、性能もデザインも後者の圧勝のわりにこっちにしました。理由は中古で３万円も安かったことと、これまで買ってきたサーフェス２台に故障がなかったという信頼と、intelでもAMDでもないCPUだとどう違うのという疑問からです。

で、基本的に中身はサーフェスのARM版のやつみたいなもんってことらしいんですけど、今のところかなりテキパキ動いてくれてしかも静かで発熱小さい、と値段の割に優秀だと思います。Mac miniよりも小型ってことですけど、アダプターは９０Wで結構でかい。体積でいうとSurfaceLaptopのアダプターの２倍はある。ブラウザとかExcelなどの動作は全く問題なくて、ゲームだとマインクラフトはARMに対応してるらしくてすいすい動きました。買う前に調べたCPUのベンチマークはかなり低くてしょぼい感じでしたが、私の用途だったらこれで十分な気がします。私が使っていて一番計算させるのは数学の教材作りで類題作成のために数値あてはめをひたすらループさせるときですけど、１００００回繰り返して２，３組手に入るぐらいシビアな条件であっても、１５年前のPCでも普通にこなしていたことなので多分大丈夫です。

ただ、使い始めて１、２時間の間は反抗期だったようで、なぜか数秒に1回停止するというかなりストレスのたまる状況であったことも付け加えておきます。マウスが止まるし、動画も止まるのでWindowsが止まってるんだと思いますが、なんかそのうち起こらなくなって今に至るので原因はわかりません。実はこの症状は、今メインで使ってるSurfaceLaptop3 15inchのAMD版でも起きていました。そのときは数日間困ってたので、プロセッサーの進歩により反抗期も短くなっているようです。

じゃ終わります。つぎはサイト作成関連を報告したいです。さようなら。

ゴールデンウイークは働き盛りの社会人も休みなので、ネットショッピング関係が盛り上がってセールになりがちですね。

それでこの私もご多分に漏れずネットオークションに参戦いたしまして、本日めでたく小型のデスクトップPCを落札しました。GWのためか４０００円オフクーポンというのがついててお得に買うことができました。

と、そんな感じでまた悪い癖が出てPC買っちゃったわけ。しかもまたちょっと主流とはいいがたいヘンテコPCを。何だと思いますか。ヒントはsnapdragon。デスクトップPCで聞くCPUじゃないでしょ。もちろんAndroidスマホじゃないですよ。まあでもさ、ちょっと使ってみたいからっていうのは十分な理由でしょう。最近の小型PCは性能も結構いいと聞くので、どんなもんか見てみたいよね。普段ノート使ってるのでそれよりはもちろんいいと思うんだけど。モバイルモニターを有効に使えそうな小型PCにしてみた。

話だいぶそれます。今回の記事のタイトルつけててふと思ったけど、名探偵コナンの映画のポスターって人気があるからか割といろんなところで目に付くでしょ。俺それ見るたびに思うんだけど、載ってる顔が半分以上知らないキャラクターなんだよね。

連載開始してちょっと経って知って（友達に、「解決までが金田一より短いからいいよ」みたいにすすめられた）、アニメになったぐらいのころに世界丸見えテレビ特捜部の前にやってるから見て、結構面白いなと思ってコミックスを何冊か読んでみたってだけで、具体的にはストーリーだと灰原哀が出てきたあたりで止まってるので無理もないな。今調べたらコミックス１８巻とのこと。現在１００巻超えてるのも知らなかったけど、そうすると２割ぐらいしか知らないことになるな。ドラゴンボールで言うところの２割と言ったら8、9巻ぐらいだからベジータどころかピッコロ大魔王すら出てない頃です。9巻でうらないババだったはずなので、カリン様とかウパ親子とか桃白白で止まってる人が、魔人ブウ編の天下一武道会の顔ぶれ見て誰だこいつらってなってる状態と同じということです。だれだよスポポビッチってみたいに。あ、これはみんなそうか。

当時の俺は、「これはシティーハンターと同じで依頼を受ける系だから急に物語を締めくくれるようにしてあるんだな」と思って、きちんと終わりを迎えそうだったので話を追うのをやめたんですが、まさかこんなにキャラクター増えてるなんて。とりあえず当時から今までずっと、どういう終わり方するのかは興味があるので、連載終了したらニュースにはなるでしょうからそのあとで読もうと思います。サザエさんこち亀ドラえもん方式じゃないことを祈る。

こんばんは。開発日記です。この連休序盤で完成したのは、３種類のカッコたちです。全部SVGで自分で数値決めて書けましたね。囲まれる数式の縦の大きさから伸縮自在な部分を作ってジャストフィットさせる仕組みも作れたので、下の２枚目の画像みたいにかっこよくて満足するものができた。

()の付け方はやや独自方式でいかせてもらうことにした。たぶんTexとかWordの数式とかで繁分数みたいな上下のバランスが悪い式にかっこをつけると、中央を一番外側の分数の割線にあわせて、こう

なると思うけど、割線はともかく()の配置を、私は

こうした。（）の位置が下に、[]の位置が上にずれていますでしょ。

なぜか？理由はいくつかあって、まず一つめは、スペースが空きすぎで資源の無駄遣いだから。近い未来、人類は必ずや資源不足に悩むと私は思っています。そうなってから、「紙もトナーもない…あの時無駄にスペース空けて計算ドリル印刷しなければよかった…」などと後悔しても遅いのです。

二つめは、自分が気に入る形にしたかったから。縦に長い式にかっこをつける機会なんてまずないので、独自色だしてもいいんじゃねと思ったということですね。ついでに言うとこれらのSVGのpathの数値データはかなり独特なのでコピーされたら一発で分かると思う。わざとそうしたんじゃなくて俺の技量がわけわからんナチュラル難読化を起こしてるだけ。二日前に自分で書いたコードが何言ってんのわからないからね。適性ゼロ。

そして最後に、「繁分数の形で書くならカッコつける意味ないでしょ」みたいなささやかな反抗の意味もあるぞ。要するにこんな式を書く方が悪いので多少変な見た目になっても知るかってことだ。ただ私は計算ドリルが作りたいわけだから、通常お目にかかれない数式も一応は作れるようにはしないといけない。

まあそんなとこ。あそれとCourierに合わせた細いカッコはよくできたと思う。あそれと前回不使用宣言したカンブリアだけどやっぱ角ばっててこれはこれでいいので採用します。５組ぐらいのフォントから選ぶ方式になりそう。マック使いアップリャーのみんなもそのうち３組ぐらいは表示できると思う。それでもまだましだよ、Androidでみるとどうなるのかなんて全く想像もつかない。サイト稼働させてからその辺はおいおい考えていくことにします。

じゃ終わり。連休中は夏日になるらしいぞ。洗濯日和だな。

こんにちは。いま朝の０時。サイト作りは終盤に入った感じです。前回書いた1手戻すアンドゥ―機能は割とすんなり作れました。やはりこれまでのサイト作りでいつの間にか実力がついて、サイボーグ桃白白を圧倒した天津飯みたいな状態のようです。でもベジータを超えたとか勘違いしていたトランクスの可能性もあるのであまり調子に乗らないことにします。

あと残ってるのは、複数のフォントを選べる仕組みです。いまのところ、こっちで作ったSVGデータを並べるだけなので、あらかじめフォントを決めて大きさ計算をしないといけません。単にCSSでフォントを変えても、微妙な隙間ができたりはみ出たりしてカッコ悪いので、それぞれの組み合わせごとにSVGのデータを作りたいわけ。大まかに、中学高校の数学に向いてるフォントで2通り、算数っぽい教科書体フォントで1通り(ただしWindows専用)、こざっぱりしたフォントで1通り、の4通りぐらい選べればいいかなと思います。あとから種類を追加できるようにも作らないといけませんね。連休中はこれかな。

今日はバッファローウィングっていうのを作りました。材料がバッファローじゃなくてよかった。ケチャップ減らして醬油を入れたのでかなり邪道だと思います。AIではなくて自分で決めました。今回はAIを使わなかった理由は、その前にした質問「KKのPL学園と９８年横浜（松坂）が戦ったらどっちが勝つと思うか」に対して、「９８横浜です。松坂以外にも4番に松井秀喜、控え投手に高橋尚成がいるからです」って大ウソつかれたからです。このお二人はKKと松坂世代の中間ぐらいの世代ですかね。

じゃ終わりね。

いずれA.I.に勉強の知識も教材作りも先を行かれると思ったから、なにかスキルを身に着けたくてA.I.に相談しました。大学の専攻と趣味でウェブサイト作ってますって伝えたら、ネットワークとかサーバーに関しての資格をいくつか紹介してもらったので勉強しようと思いました。これで自分たちの世話をしろってことですかね。やっぱりA.I.は頼りになるなあ…。

でも明日明後日いきなりこの仕事がお払い箱ってこともないでしょう。たとえA.I.が自分で考えて声出して授業できるようになっても、たぶんナイトライダーのナイト２０００通称キットみたいないい声で穏やか丁寧に進めていくからです。それだと全く勉強しない学習者（？）というのも一定数いますからね。声でかくて実体がある私の出番はそこだと思いますね。そういうときに声だけ丹下段平みたいにしたって駄目だよ。本体がないとね。話それるけど丹下段平はとても冷静なことも多いのでいつ怒り出すか読んでてスリルある。マンガ読む前と後でだいぶ印象違った。

というわけで体が資本といえますから、食事の献立もA.I.に決めてもらおうと思います。おとといはかに玉と大根・ツナのサラダを作り、昨日はエビフライとポテトサラダを作りました、そして冷蔵庫に小松菜があります、と伝えたところ、今日は・・・「中華、洋食と来たなら和食、鶏モモの照り焼きでどうでしょう。副菜は小松菜の煮浸しで。」だって。和食で照り焼きが最初に出てくるあたりはアメリカ出身っぽいな。

じゃあそんな感じで、みなさんもA.I.とうまく付き合っていきましょう。それではごきげんよう。

書きます。

最近は問題を並べる時に間隔をきっちりとって綺麗に並べる仕組みの件を色々つめてるところです。配置のほうは大体は作ってあるんですが、よく考えたら配置の逆つまり取り消し（アンドゥ（安藤（Undo）））を作ってなかったんですよ。

取り消しなんて認めないっていうのも割とかっこいいけど、やはりいろいろな人に使ってほしいのでアプリケーションソフトウェアが通常持ってる機能は持たせてあげたい。

それに、これぐらいが作れないようでは、いずれやりたいと思ってる、教材に無駄すぎる派手な装飾をつけることなんて到底無理と言えますから、私はやるしかないわけです。

じゃおわり寝ます。

こんちは。Bodoniとうまくやっていけそうなギリシャ文字フォント問題はいったん解決です。なんでかっていうとー、Georgiaのギリシャ文字が割といい感じだからです。見よ

上はギリシャ文字以外に英文字もGeorgiaにしてみた画像です。数字も全部同じフォントでいけばと思ったんですが、7とか9がこのブログみたいにベースラインより下に伸びるお洒落さんなので、そこは教育目的的には断固阻止ということでBodoniが代わりに使われてます。分数の線突き破ったらおかしいでしょ。そういうことです。

でもまだ、アルファベットのx,yはBodoniのほうが好みなのでそこは考え中。いずれにしても、WinでもMacでも綺麗に表示するためにこの組み合わせかあるいは、小中高いずれの段階でもレベルの高い合格点を越える数式をオールウェイズ出してくれるTimesNewRomanあたりになりそうです。グッバイCambria

あとそれと、ついでに添え字も書けるようにしたので数列の問題も表現できるようになりました。

終わり。

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

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

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

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

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

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

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

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

courierもいいね。

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

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

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

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

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

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

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

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

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

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

（以下連絡です）

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

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

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

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

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

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

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