月報 2022/08

Tue 02 Aug 2022

00:12:20

残念ながら私の忘れっぽさの為に毎日とは言わないが, それでもほとんど毎日, 寝る前にヤクルト1000を飲むようにしている. 効果は間違いなく体験してるので心配しないでください.

15:06:26

15:57:01

やりたいこと. 点字の習得, 目隠しルービックキューブの習得. 点字について. やはり見て覚えるというのは無理だ. 受験生のときに英単語をどう覚えていたかといえば一つはノートに例文をひたすら書き連ねることだが, これは手が痛くなるし, 紙と鉛筆を消費してもったいないし, 効率が悪い. 思い出すに, ひたすらパソコンでタイピングをしてた覚えがある. というわけで点字もタイピングで習得しよう.


Mon Aug 01 2022
点字を覚える
 
cympfh.cc/taglibro/2022/08/01

PC のブラウザで動く.

19:28:23

風の噂の「風」は知った風を言うの「風」

洗濯機を修理してもらった. 前調べしてたように("ビッグドラム F19" で調べてすぐに分かっていた事だが)やはりファンの交換になった. 部品代が1560円, 技術料が11200円, 出張料が3500円. 高い. 技術料なんていうけど蓋開けてネジ外して交換するだけに一万円の技術があるわけではなく, メーカー正規の部品を手に入れる権利に一万円の価値があるというだけに過ぎない. これらは事前の説明があったからいいけど, パーキング代金として330円取られたのは笑ってしまった. つまり, おっさんがトラックか何か車で来て近所のコインパーキングで停めたからそのお金を私に請求するらしい. これがガソリン代の請求だったら困るけど, 330円くらいならと思っていちいち騒ぐ気にもならなかった. (騒いだところで, パーキング代はオマケしてやる, その代わりに技術料を330円増やすねってなるだけじゃん.) 一度, 日立製品を買ってしまったらもう消費者は日立というメーカーに従うことしかできない. (特定のメーカーを悪く言いたいわけではなくてどこで買おうが結局同じことだと思う.)

Wed 03 Aug 2022

20:25:02

zellij に改めて入門する. zellij はなんと発音すればよいだろう. アラビア語らしい.

21:23:57

やっぱり要らないわこれ

Thu 04 Aug 2022

11:03:00

点字方式タイプライター、マジでアリだと思うな。 ステノタイプ、ステノワードがこれに近そう、という指摘。


ステノタイプ - Wikipedia

 
ja.wikipedia.org/wiki/%E3%82%B9%E3%83%86%E3%83%8E%E3%82%BF%E3%82%A4%E3%83%97

Text Expansion でステノワードを実現できないかな、という話 - stamemo
喋るより早く打てるステノワード(※1)。あれを PC 上で実現できないかなぁと考えて、Text Expansion を駆使すればいけるんじゃないかと考えている。 予備知識その1 ステノワード スピードワープロ学院 予備知識その2 Text Expansion とは? 本題 案1: 文字キー26個を用いる場合(同時押し不可) 弱点: 同時押し方式ではない 案2: 文字キー26個を用いる場合(同時押し可) 弱点: 習熟が困難 案3: 文字キーを asdf の列にある 8 個のみ用いる場合(同時押し可) 弱点: パターン数が少ない 案4: 案3に「修飾キー」を実装する アイデア1: 同時押し アイデ…
 
stakiran.hatenablog.com/entry/2018/11/15/185605

やはり、やることは同じで、キー数を減らして、同時押しの組み合わせで表現しようとしている。 同時押しというのは我々が普段使うキーボードだとせいぜい Ctrl や Shift といった「装飾」に関する同時押しをする程度だが、完全に任意の組み合わせでの同時押しを要求する。

点字方式では6点のものを想定していた。 この各点を6つのキーに割当て、それらを同時押しさせようというものである。 6つならホームポジションに置くことができるので便利な一方で、指をフルに活用していないという考えもある。

調べると、8点式の点字というのもあるらしい。 漢字の為の漢点字というものらしい。

昨日からSKKの練習をしてる。入力が遅くなったのでイライラしてる。 入力速度が落ちると結果的に文体も変わる気がする。 あと、句読点の設定方法が分からず「、。」を素直に使ってる。

Fri 05 Aug 2022

11:59:55

ルンバは30分くらいで仕事を終えるときと, 90分たった今でも終えないときとがある.

23:00:08

ルール42:どうせ面白いと分かってるアニメは見なくても良い

Sun 07 Aug 2022

21:07:45

アキバヨドバシで電気シェーバー買ってきた. 高かった. 保証は5年で保証書は最初の化粧箱の中に入ってる. 替えの洗浄機は洗濯機上の棚の中にある.

22:15:58

T字の安全カミソリしか使ったことがなかったんだが, これを見てさっさと電気シェーバに切り替えないなと思った次第


電気シェーバーと安全カミソリ使用者の肌は違う | 美容・健康・料理研究室 | エフシージー総合研究所

 
archive.fcg-r.co.jp/lab/beauty/report/120411.html

お風呂で時間を掛けてカミソリで剃ってると肌は乾燥するし血は出まくるのは, 自分の肌が弱いせいだと思ってたけど, 皆そうなるものらしい.

Wed 10 Aug 2022

23:04:47

3x3x3 ルービックキューブソルバー書いてる


GitHub - cympfh/cube: cube solver
cube solver. Contribute to cympfh/cube development by creating an account on GitHub.
 
github.com/cympfh/cube

キューブの状態とゴールの状態を指定して, 解くアルゴリズムを探索する. 幅優先で双方向探索をするので最短なものから順に提示する. 探索に使う回転操作はユーザーがオプションで指定する. 例えば -FFF' を探索に使うことを意味する. -FUR が大体右手で普通に回しやすい. この3つで解けるとは限らないので, そしたら -FURM にしてみたり -FURr にしてみたりする. M' は回しやすいんだけど M は回しにくいね. 今のところは -M としたらその2つどちらも使ってしまう.

J-perm (a) のアルゴリズムを調べるとほとんどどの資料を見ても L が入っててやや回しにくい. L は意味としては r ( Rw ) と同じはずだから, これを代わりに使うことでどうにかなるはずだ.

cube では cube/ja at main · cympfh/cube · GitHub こんなテキストファイルを用意して標準入力に与える.

$ cube -FURr -n 3 < tests/pll/ja

これで FURr という4つの回転操作だけを使ってアルゴリズムを探索する. 3つ見付けた時点で探索を終了する.

こんなアルゴリズムを見付けた.

r2FrU2RFRUFr

私が知る限りこのアルゴリズムを紹介してる資料は無い. 最後の Fr だけやや持ち替えを要するので苦しい. しかしその手前は RFRU のリズムが二回繰り返されているので気持ち良い.

Sun 14 Aug 2022

00:00:18

ルービックキューブの一面を図示するだけのツールを書いた.


GitHub - cympfh/cubeviz
Contribute to cympfh/cubeviz development by creating an account on GitHub.
 
github.com/cympfh/cubeviz

インターネットにはたくさん解説サイトがあって, サイトごとにきれいな図が置いてあるわけだが, あれはみんなどうやって作ってるのかな. 少し調べたけど作図ツールみたいなものは見当たらなかった. 有名なのがあるとしたら皆同じような図を使ってるはずだが, そうなっていないということは有名なツールというものは無いことを示唆してる. しょうがないので作るしか無い.

上の cubeviz は偉そうな名前の割にまだ一面を図示することしかできない.


PLL - speedcube / Rubik's Cube
図は U 面を真上から見た様子 図における下が F 面になるように持つ 黄色を U 面, 赤を F 面に持って回してる 側面の色は正しい位置にある&パターン認識に使う色 矢印はその2つが交換されることを表す 始める状態によって最後に U 面を余計に回す必要があるかもしれないが(AUF), それは省略して書く 回転記号は 回転記号 / Notation を参照のこと T-perm $ (RUR'U'
 
scrapbox.io/speedcube/PLL

これを使って, 画像を差し替えた. ただし矢印は上のツールでは表示できないので, GIMP で矢印を書き込む等した.

00:04:34

色の指定とかサイズの指定とか, オプションで出来るべきことを一切してない.

01:47:34

ツール無いって言ったけど全然ありそうだな.


List of web-based cubing software - Speedsolving.com Wiki

 
www.speedsolving.com/wiki/index.php/List_of_web-based_cubing_software

imagecube.php

これは F2L の説明に良さそう.

RubikNotes


GitHub - fynv/RubikNotes: Some notes about Rubics cube
Some notes about Rubics cube . Contribute to fynv/RubikNotes development by creating an account on GitHub.
 
github.com/fynv/RubikNotes

これもいい. アルゴリズムから画像を作ってくれる機能が良い.

でも出力画像の見た目は私のが一番キレイだな.

22:41:01

N-perm いいものを探す

今知ってるのは,

RもLも使うので回しやすくはない. L を使わない手順を探す. 問題は上に示したものは 16 手でここに AUF があるので, PPL の中でダントツに手数が長くて探索が大変.

上に示したアルゴリズムが (X)2 の形をしてるのを真似して, その形式のアルゴリズムで探すことにする.

見ての通り基本的には L を無理矢理 r に書き直しただけで, 本質的に新しいアルゴリズムではない.

一旦 2. 4. を採用して練習してみる

Tue 16 Aug 2022

13:53:35

昨日から各ECサイトでのクレジットカード決済が通りにくくなった. 試したのは eplus, eeo, dlsite. 怪しいことに何度もトライすると一回上手く行く. eeo に関しては Amazon Pay で払えることに気づいたのでそうした. ありがたい. PayPal, Amazon Pay が一番好きなナンタラPayです. dlsite に関してはちょうど 3Dセキュア2.0 に切り替える直前だったらしい(?), がまだ切り替える前の話だしそれが今関係するのかは知らない. それが何なのかも知らない.

19:46:39

昨日から「銃・病原菌・鉄」を読み始めた. 勝手に「層・圏・トポス」といった単語を3つ並べる形式の初出だと思っていたし, だから相当古い本なんだと思ってたけど, 初出は 1998年 とかなり最近だった. 自分が生まれて以前以後で考えてるので 1998 は最近だ. 今読んでる草思社文庫はなんと初刷が 2012年だからこれは本当に最近.

見えるところにある島には渡ろうという意志

22:35:47

grow.md が壊れてたので直した. 原因は FastAPI の StaticFiles の仕様が変わってた. 404 な状態を返すのに Response オブジェクトで返す場合と Error 例外で返す場合とが混ざった状態になっている. 昔は前者だけだったのが, 今は両方ありえる! 「404 だったらここにリダイレクトする」という処理を StaticFiles のオーバーライドすることで実現してたのだが, ここを try catch に書き換える必要が生じていた.

調べる:

Wed 17 Aug 2022

12:31:07

しっぺ返し戦略は日常生活でも必要な技術.

Fri 19 Aug 2022

18:42:44

攻殻機動隊 sac_2045 の Part 2, 賭双 を見た. ので Netflix を解約した.

好きな漫画がアニメ化しても, もういちいち真面目に見なくても良いかという気持ちが強い. マス対コアという感じ.

Sun 21 Aug 2022

19:50:53

今朝の夢日記。ホームセンターだかペットショップみたいなところを歩いてる。 小鳥のコーナーを覗くことにした。餌などが並んでる棚を見ると商品の隙間に一匹の白文鳥がいた。 どうやら逃げ出したらしい。私と目が合うと店内と飛び回って、でもすぐに戻ってきた。 お店より外に逃げ出すつもりはないらしい。十分に人馴れしてるようで、私がちっちっと呼ぶと私の手の上に乗ったり肩に乗る。 私はそのまま自分の家まで連れてきた。名前を文2とした。 すでに家に飼ってる文鳥に鳥かご越しに合わせた。

Mon 22 Aug 2022

Thu 25 Aug 2022

13:09:07


Niklas - Speedsolving.com Wiki

 
www.speedsolving.com/wiki/index.php/Niklas

RULURULU

Sat 27 Aug 2022

00:15:16

Sun 28 Aug 2022

夢日記。中学卒業が取り消しになったのでその資格のために中学をやり直しになった。 これを卒業したら高校大学はどうするのだろうと不安になる。

21:08:52

Mon 29 Aug 2022

11:54:22

昨日の夢日記を書いた. 受験や学校をやり直す夢, 未だに何度も見てしまう. そこまで恐怖の対象だと思ってるんだろうか.

紙Twitterのノートが半分以上埋まってきた. インターネットよりログが貯まるのが速い.

13:51:53

それはそうとしても, vim の暗号化機能相当が neovim でも使いたいという気持ちはある.


Vimとセキュリティ問題 - Vim と暗号化機能
皆さん御久しぶりです。Vim 使いの「ブイ」(仮名)です。 今回は Vim と暗... || 株式会社創夢社員の趣味や興味、来し方行く末。
 
www.soum.co.jp/misc/vim-cve/2/

neovim からは意図的に取り除かれていて, セキュリティを担保して上手に実装する方法があるなら採用する余地を残しているそう. というのも vim のそれはセキュリティ面にまだまだ不安がある.

Vim でテキストファイルを簡易的に暗号化できると便利な面があるかもしれないと考えた

私も便利に使ってる一人なので. 別にエディタの標準機能にある必要はなくて, gpg で暗号化/復号化が出来て, エディタで開く際に復号化して保存の際に暗号化してくれるプラグインがあればいいんだよな.

18:50:32

t-SNE は使い物にならない. "Local Ordinal Embeddings" ( http://www.tml.cs.uni-tuebingen.de/team/luxburg/publications/TeradaLuxburg_ICML2014.pdf ) を読む.

今日のインターネット

現代のラッダイト運動はTwitter でクソミソに叩くこと. AI によって自分たちの職業, 表現方法が奪われる, 盗まれると思う人たちの行為.

18:54:07

最近は3つSNSをやってて, Twitter と journal.vim と紙Twitterをやってる. 近くにペンとノートがあれば紙Twitterで, 目の前にPCがあって特にリアルタイムに人に言うことでなければ journal.vim で, スマホしかなければ Twitter になる. これらは特に集約されません. 一年後にも残るのは journal.vim だけです. これは適切にプライバシーに関わる箇所を黒塗りした上で月報として公開しています.

Tue 30 Aug 2022

00:54:16

Majorization Algorithm, 優関数法. この「優関数法」という対訳は ざっくりとMajorization techniqueを解説(参考: Modern Multidimensional Scaling) - Qiita でしか目撃しないけど, 一般的なのかな. 優れるとかいう形容詞を使うのは良くないと思うんだけどな.

目的関数を f(x) とする最小化問題を考える. ここで f:XR . 補助関数として g:X×XR というものを考える. ただし次の2つを満たすものとする.

このとき g のことを f の majorization 関数と呼ぶ.

g(x,x) よりも g(x,x) のほうが真に小さいとする. すると次の不等号式が得られる.

f(x)g(x,x)<g(x,x)=f(x)

このことから次のことが言える.

x が与えられたときに g(x,x)<g(x,x) なるような x を見つけてくる操作があるとする. この操作を適当な x に繰り返し適用することで, f の値をいくらでも小さくできる.

これだけなので厳密に収束値が最適解(最小値)だとは限らない気がするけど, g に関して最適解なら f も最適だとは言って良さそう.

直接 f を最適化するのは難しいが, 簡単な形の g を構成してこれれば, そっちを最適化することで元の f も自動的に最適化されるというテクニック.

この手法の初出を知らないんだけど, 大体みんな距離学習の文脈で使ってる. 初出を辿ろうとしたけど Groenen, "Multidimensional scaling of interval dissimilarities" の論文まで辿って, この論文が読めないのでここで途切れた.

f に対して自明な majorization function として次のものがある. ただし f:RR だとしちゃう.

g(x,y)=f(x)+(xy)2

これは簡単すぎるし, 別に便利ではない. このような g が最適化できるなら f の最適化も簡単なはずだ. まあでも Majorization Algorithm が一体何をやってるのかをこれを使って調べる.

x が与えられたときに argminxg(x,x) を求めたい. これは第一引数で偏微分してそれがゼロという方程式を解けば良くて,

xg(x,y)=xf(x)+2x2y=0

なので

12xf(x)+x=x

なる x を持ってくれば良い. 左辺に f の微分が入ってる時点でよく分からんね.

xd/dx の偏微分です.

これ誤魔化して, xx は近いだろうと勝手に仮定して, xf(x)xf(x) で近似してみようか. そうしたら

x=x12xf(x)

となる. ただの勾配法になった.

元の 12xf(x)+x=x に戻る.

簡単な多項式でしかそもそも陽に解けないな.

18:18:40

多義性を考慮して多重ベクトルをもたせた推薦システム #idea