2021-01-01から1年間の記事一覧
日記 断酒115日目。今日は甥っ子が熱を出したので看病していた。 2021-11-12 Fri. リースの表現定理、ドイツ語、Rust の文字列とハッシュマップ Rudin の “Real and Complex Analysis” という本を呼んで関数論の勉強をしているのだが、リースの表現定理の証…
日記 断酒113日目. ばあちゃんの介護 昨日はばあちゃんが家にいたので介護の手伝いをしたりした.夜中は気になって寝れなかったので将棋をしていたら,早朝5時ごろからばあちゃんが吐きそうになっていたので,訪問介護の方を呼んで対応してもらった.非常に…
日記 断酒111日目。 Rust の公式チュートリアルで、ベクトルと文字列の項目を読んだ。ベクトルはわかりやすかったが文字列の取り扱いが少々ややこしいが、公式ドキュメントがわかりやすくてありがたかった。あとはまたドイツ語をちょっと進めた。 家庭教師先…
日記 断酒110日目。 「これからはじめるドイツ語入門」を読み始めた。 昨日、家庭教師用の受験参考書といっしょに「これからはじめるドイツ語入門」というドイツ語の入門書を買ってしまったので、今日はドイツ語をやった。大学のときの第二外国語がドイツ語…
日記 断酒109日目。今日やったことを箇条書きにする。 家庭教師。英語を教えた。大学受験しない子で、定期テストさえ乗り切ればいいので、教科書の内容を和訳して要約するだけなので、楽ではあるのだが、生徒の英語力の増強にはなっていないので一抹の虚しさ…
日記 断酒108日目。今日は家庭教師した。あと、ある生徒の受験計画を立てた。こういうのは本人が立てないとしょうがないのだが、適切な宿題を出すためにある程度プランを立てた。ただ、生徒が消化できるだろうか。うまくマネジメントしたい。 あとは Project…
日記 断酒107日目。今日は Rust の公式チュートリアルを読んでいた。6章と7章を読んだ。enum と match と、パッケージシステム。enum と match は OCaml のヴァリアントとパターンマッチと同じで、パッケージ・クレート・モジュールも馴染みのない名前だけど…
日記 断酒106日目。今日は「グラフィックスプログラミング入門」を少し読み進めた。色にグラデーションやパターンをつけたり、半透明にしたりする方法を勉強した。次からいよいよこの本の本番である「シューティングゲーム作成」があるので楽しみ。 最近、高…
日記 断酒105日目。塾で試験監督をしただけの一日。あとはリースの表現定理の証明をいまだに少しずつ読んでいる。10段階のステップに分かれていてとにかく長い。この辺の記号の扱いに離れてきたと思う。明日はウェブアプリ開発を進めたい。やりたいことが定…
日記 断酒104日目。家庭教師をした。優秀なので全然手がかからなかった。次は冬にまたお願いとのことだった。中高の初等幾何とかテクニックが必要なものは忘れていたので少し思い出しておかねば。 今日は親戚の高校生のために受験参考書を数冊買った。 私が…
日記 断酒103日目。今日は家庭教師を2件。ひとりは場合の数の分野を教えた。組合せの総数 と順列の総数 を混同しがちだったので次にやるときもっとわかりやすく説明したい。もうひとりは、三角関数の分野を教えた。三角関数のグラフを描いたりした。志望校に…
日記 断酒102日目。家庭教師と甥っ子の世話などをした。家庭教師先の子はちゃんとした進学校の生徒で、現在帰省中なので勉強を見てほしいとのことだった。しかし優秀なのでほぼ教えることがない。初等幾何が苦手と言っていたがほぼすべて解けていたのでむし…
日記 断酒101日目。今日は家庭教師をした。前に一回教えたことのある子と、もうひとりは初めての子だった。初めての子は人見知りっぽかったので、うまく対応できたか不安になる。いずれも成績はいい方の子たちだったので教えるのは楽だった。これまで学んで…
日記 断酒100日目。人生の間で100日間も酒を飲まなかった時期はなかったと思う。自分はすごいことをやってのけた。 今日も睡眠に成功した。 数理論理学のテキストをいろいろ調べた。 普遍代数学を勉強していたのだが、厳密な取り扱いをするためには集合論や…
日記 断酒99日目。睡眠に成功した。とにかく一日の目標を早寝に設定して生活する。 歯医者に行った。 歯医者に行った。多分10年以上ぶりに歯医者に行ったと思う。虫歯や痛みはないのだが歯の着色が気になったので掃除してもらいにいった。 プランクトンの死…
日記 断酒98日目。 原因が明らかな不眠症に悩む。 最近睡眠がうまくいかない。理由は明らかで、なぜか寝る直前に無性に将棋がしたくなって、延々とネット将棋を指し続けるからだ。深夜なので頭もまともに稼働していない中、あまり深く考えずにただ指し続けて…
日記 断酒97日目。 皮膚科に行ってイボを治療してもらった。綿棒に液体窒素を染み込ませて患部に押し当ててイボのウイルスをダイレクトに殺すというなんだかプリミティブな方法で治療した。装置の冷却以外でも液体窒素を使うのが新鮮だった。 A Course in Un…
日記 断酒96日目。ここ数日の日記を書く。 ばあちゃんの介護生活 今月はばあちゃんの介護で結構慌ただしかった。自宅に訪問してくれる介護サービスを利用し始めた。本当に助かる。たとえば、 嘔吐の際には無理やり体を起こしたりせず、寝たまま体を横に向け…
日記 断酒69日目。 2週間ほど前、ばあちゃんの嘔吐が止まらなくて救急車を呼んでそのまま入院になった。そして今日は、ばあちゃんの現状と今後について会議するために家族といっしょに病院へ行った。担当医の方の話では、ばあちゃんは膵臓や他の臓器に末期の…
日記 断酒68日目。 React の勉強をした。入力に対してどのように応じるかという関数を定義していけば ToDo リストが意外と簡単に作れておもしろい。全然知らないから時間かかるけど。 あとは少し Big Rudin を読み進めた。リースの表現定理という定理の証明…
日記 断酒67日目。 今日は将棋の復習をした。以前、矢倉に対する左美濃急戦がうまく行かなかったので、その対局をソフトで復習して、再度採用したら快勝した。復習は将棋上達につながる。ソフトは読み筋を示すだけだが、指し手を言語化するとためになる。意…
日記 断酒57日目。全然早寝早起きできない。寝付けないので困ってる。 08-30 Mon.–09-12 Sun. の2週間将棋をしていた日記。 将棋にハマってひたすら将棋をしていた。中飛車の急戦に対する備えをするために「超速3七銀のすべて」という本を買って読んでいた。…
日記 断酒41日目。ずっとゲームをしていたので2週間分の日記を適当に書く。 08-15 Sun.– 08-22 Sun. 「新すばらしきこのせかい」をプレイした。 14年前に DS で発売されたソフト「すばらしきこのせかい」の新作「新すばらしきこのせかい」が Switch で発売さ…
日記 断酒31日目。夜はちゃんと眠れてない。4ポモドーロ。 夜中1時頃、突然猛烈な寒気に襲われた。3時頃には39℃の高熱。ワクチンの接種後、約13–15時間で副反応が起こったらしい。久しぶりの高熱と、ワクチンが効いて抗体が生成されているという実感で若干テ…
日記 断酒30日目。23:50–7:10睡眠。11ポモドーロ。 COVID-19ワクチンの2回目の接種をした。今のところ副反応がほとんどない。注射した箇所が少し痛む程度。一応塾の仕事はお休みにしたのだが休まなくてもよかったかもしれない。 今日は勉強をしていた。実践…
日記 断酒29日目。23:20–8:10睡眠。8ポモドーロ。 今日は祖母の病院の付添などしたあと、夕方眠すぎて2時間ほど寝た。夜の睡眠時間は充分だと思うのだが、なぜ昼間や夕方に猛烈な眠気が襲ってくるのだろう。気合でどうにかなる問題ではないので、実効的な対…
日記 断酒28日目。23:50–8:20睡眠。14ポモドーロ。 Gatsby Cloud にデプロイするときにエラーが発生するので、 Stack Overflow に質問しようと思ってまとめていたけど、デプロイ時にだけプラグインを差し替える (一度 sharp プラグインを削除して Linux 用の…
日記 2021-08-07 Sat. 断酒26日目。23:30–7:00睡眠。4ポモドーロ。 小説を読もうと思っていろいろ買った。円城塔の「文字渦」、井上ひさしの「言語小説集」、伊集院静の「文字に美はありや。」を買った。井上ひさしを初めて読んだ。タイプライターのたくさん…
日記 断酒25日目。23:10–7:30睡眠。10ポモドーロ。 今日は Gatsby のビルドあるいはデプロイ時にエラーがあったのでずっと戦っていた。明日はエラーの原因になってそうなプラグインを外したり入れたりして原因を探して行きたい。こういうとき git って便利。
日記 2021-08-04 Wed. 断酒23日目。23:10–6:00睡眠。12ポモドーロ。 ウェブサイト制作を進めた。あとは CSS をガリガリ書いていくだけだ!がんばろう。あとは数学の勉強や英和辞典読書を進めた。 ポモドーロテクニックがうまく稼働した日だと思う。早く起き…