Dockerのことは名前しか知らない（いまここ） Dockerが何なのかよくわかってなかったので、チュートリアルを進めて理解する過程を書き留めておきます。以下は私がドキュメントを都度解釈した内容ですので、誤りが多々あるかと思います。ご了承ください。 す…

過去ベストの57.98 秒が出ました。ao12も1分19.82秒でベスト記録です。やったね。 ちゃんとソルブする時間を確保したのが3日ぶりで、手が全然回らない感覚がありました。やはり毎日続ける効果は大きいと痛感します。いや、それでもベストタイムは出てるんで…

ベストタイムで1分切りました！ やったね。ao12も1:30は切れる程度に慣れてきました。 F2Lでコーナーピースの白（D面）がU面を向いてるケースなど、やりにくい形が多いなと感じるようになりました。F2Lの手順自体を覚えるべきか、それとも空きスロットや背面…

今日も12回ソルブしました。ベストタイム1:00.67が出て、アベレージも1:30あたりに収まっています。途中でやらかしたときは2分くらいかかってますが、まあいまのところhは仕方ないですね。 初期状態からクロス手順を組み立てる思考が徐々に身についてきまし…

おとといか先週くらいから夏バテにバテて終わりになっています。 とりあえずやるだけやったら自己ベスト（1分4秒）が出たので、本日12回分の平均と一緒に載せておきます。 csTimerによって 2022-05-24 に生成avg of 12: 1:29.88 タイム一覧:1. 1:29.83 U2 L2…

ちょっとずつ記録をつけていったら上達しないかなという期待を込めて、ちゃんと計測しながらソルブしてみました。 焦るとキューブの色、特に側面の色の組み合わせがわからなくなってしまうようでした。これはたぶん慣れるまでどうしようもなさそうです。 先…

画像なので検索性が悪くて申し訳ないんですが、切り上げ除算について自分用にまとめたので載せておきます。 a / bの代わりに(a + b - 1) / bとすると端数を切り上げできる 整数 a, b の除算において celi(a / b) = (a + b - 1) / b が成り立ちます。 ギリギ…

新しいヘッドセットを買いました。うまいポジションで装着すると快適なんですが、まだ試行錯誤しています。 スピードキューブのソルブ動画を投稿する人は当然ながらめちゃくちゃ速いので、練習方法を学ぶとか以前に怖いとしか思えませんでした。 アルゴ式を…

タイトルの通り、ややネガティブな話なのでつらいときには読まないでほしい。 特に今日（2022年5月11日）は世間全体に暗い話題がはびこっているので、本来ならこのタイミングで書くべきでない思いかもしれない。申し訳ない。 少し待つ。

競技プログラミングにおいて、求めた解が正しいことは（アルゴリズムとして）証明されているが、コードにはそのことが表されない——ということがしばしばある。そんなときにassert文が役立つことがある、かもしれない。 assert文はpython3のテスト構文の一つ…

こことは別に書き物を置く用のはてブロを作ったので、こちらにもとりあえず投稿しておきます。 Twitterに書くうちの一部分はブログかGitHubかに書いたほうが埋もれずに済んで、私としても「日々何かしらはやってるぞ」と感じられるかな……という期待がありま…

ここ3日ほど顎先の裏に違和感があって不安になっている。いや、情緒的不安の原因は風邪症状によるところが大きいと思われるけれども…… 該当する部位は、自然にしておくぶんには痛みがなく、指で軽く圧迫するとツボを押すような痛みが起こる。痛みが起こる範…

97は素数である。 √97以下の素数、つまり 2, 3, 5, 7 のいずれでも割り切れないことをもって素数だと証明できる。 以上。 素数は無限にあるわけだけれども、そのうちの97を取りあげる意味はなんだろう。それっぽく言えば、97が素数だとどんなところが嬉しい…

どうにも具合が悪い。 おそらく気候にまつわる何かのせいなのだろうけれども、何をすれば解決するのかも定かでない。 今はいくつかの西洋薬や漢方薬を主治医と試行錯誤しているところだが、苦戦している。 バシッと解答が見つからずとも、生活に支障が出ない…

世の中の大抵のことは慣れればそれなりに上達するもので、逆に言えば慣れるまでの時間と労力はどうやっても省略できない。 弟くんとスプラトゥーンをやっているのだけれども、プレイ時間の長さと密度に大きな差があるせいか、弟くんのほうがよっぽどうまい。…

今日は昼にトーストを食べ、夜にパエリアをいただいた。おいしゅうございました。 食事に対する負のイメージを変えたいと思い、先日から「食事をとり、それがおいしかった」と意識するようにしている。 食べているものを自覚するだけでも「できていない」と…

予約を済ませたので、ようやく美容院に行くことができる。 ずっと行きたいと思っているのに行けない日が続き、なんだか責められているような気持ちになっていた。 手間を減らすために思い切って短くするつもりだが、似合わないような気がする……

水に砂糖を溶かすとどうして粘性が上がるのだろう。 砂糖水の中で、砂糖の分子はどのように分布しているんだろうか。 これはあくまで想像なので一切の根拠はないんだけれども、溶質の分子一つが周囲の溶媒を広く抱え込んでいて、マクロな挙動に影響を及ぼし…

体調をよく観察してみたが、気象病や胃腸の不具合による具合の悪さではなさそうだった。 体調を見るときは、音と光の刺激から離れて横になり、身体をひねるなどして、それから各部に手を当てて動きを調べている。 感覚でしかないが、胃腸の不具合や平衡感覚…

日記を書きたい。 はてなブログを使うとき、あまりにも凝りすぎたような気がする。 もう少し、何も考えずに書こう。

ちょっと最近わけわからん状態になっているんですが、近々どこかでオムニバス形式の短編集的ななんかを書こうと思います。 たぶんTwitterに新たなアカウントを作って、そちらに設定やワンシーンなどを書いていくことになりそうです。 本当ははてなブログにそ…

なんもわからん、私がやりたいこととは一体なんなのか……あらゆることに興味があるようでいて、あらゆることへの興味が薄い……私はなんのために過ごしているのか……

暑すぎて、命が危ないです。 みんな……気をつけて……

本研究の場と多大なる支援をいただいたPatientenpapier研究所，共に従事した優秀な仲間に敬意と感謝を． /* そして，この場を借りて懺悔を．理外の能でもって新たに生み出したこの歪んだ道理は，これより為す大罪のためである． 本節を読むべくして読んだ貴…

バッテリーについて考えていた スマートフォンのバッテリーは長持ちしたほうが嬉しい。繰り返し充電するのはよくないとか、過充電・過放電はよくないとか、そういった話をしばしば耳にする。同じ機器を利用するとしたら、どう使えば長持ちするのだろうか？ …

紅茶のことよく知らん 紅茶の種類をよく忘れるので、妹さん（紅茶派）に教えてもらったことと私の感想をメモしておきます。 ダージリン 今日飲んだのはこれ。控えめな甘い香りで、渋みが抑えられていてすっきりと飲みやすい。 アフタヌーンティーなどでお茶…

私にはもはや、いつ昨日が終わったかもわからない。出来事と時刻が結びつかず、過去はすべて平坦に押しつぶされている。まさに今だけが空間として在り続け、何をやっていて何が終わっていないのかも定かでない。 リビングのテレビがでたらめに元号を叫んでい…

Twitterで出会ったクイズ 先日、ポテト一郎(https://twitter.com/potetoichiro:@potetoichiro)さんのクイズを目にした。とても興味深いクイズだったので、数学的、あるいはプログラム的な問題に落とし込めないか考えている。 等間隔にならんだ点を使ったパズ…

連分数展開 まずは以下の動画を紹介します。 www.youtube.com サムネイルで十分説明されていますが、改めて説明しますと、これは数検1級の問題「分数を約分せよ」を連分数を使って計算する解説動画です。 与えられた分数を連分数展開することにより、（手間…

選択すると疲れる 一般に、選択は人を疲労させる[要出典]。まあ体感的には誤っていないだろうと思うので、ひとまずそれを前提とする。 たとえば外食するとき、選べるメニューがぎっちり詰まっていると辟易してしまう。コンビニに行って陳列棚からおやつを選…