2023年8月

08月31日(木)

また、鼻炎が酷くなった。目も痒いので、アレルギーだろう。前回は埃っぽい部屋だと思ったが、ずっと家にいたので違う。車か、部屋の空調か。とにかく今年は鼻がおかしくなることが多い。

焼くしかないのかなぁ。

会議。

08月30日(水)

ツイッタランドで喧嘩してる研究者がいて、片方がもう片方のGoogle Scholar晒して「あなたのほとんどない業績貼っておきますね」と揶揄してたんだけど、それが僕より業績があって凹む。なんだかなぁ。

出張書類再提出。こんどは大丈夫だったっぽい。

研究室見学。うちでは卒論、修論を2冊ずつ製本して、1冊はご自宅用、もう1冊は研究室保存用にしてるんだけど、研究室見学に来た時に「先輩たちはこういう卒論/修論書いてるよ」と見せられるのでいい感じだな。

08月29日(火)

学生さん論文の査読レポート返ってきた。比較的好意的なレポート。良かった。適切に返事をすれば通るだろう。

前から縦書きの本を書きたいと思っていた。重い腰を上げてRe:VIEWでやってみることに。今は横書きの本をRe:VIEW starterで書いているが、生Re:VIEWも扱ってみる。

まずはRe:VIEWのインストール。

sudo gem install review

gemをアップデートしろと言われた。

sudo gem update --system
sudo gem update

--systemがgem自体のアップデート、なしだとインストールされている各gemのアップデート。

$ which review
/Users/watanabe/.rbenv/shims/review

全く忘れていたが、rbenvで管理しているんだな。

サンプルプロジェクトを作成してビルド。

cd github
review-init rvsample
cd rvsample
review-epubmaker config.yml

book.epubができるので、

open book.epub

すると、iBookで開く。ここまでOK。

縦書きは、ここに従う。

そのままだと「第1章」の1だけ横向きになるので、例えばlocal.ymlに

locale: ja
chapter: "第%pJ部"

みたいに書くと第一部と漢数字になる。

iBookはデバッグに全く向かない。開く度に本棚に登録されてしまう。なんかちょうどよいepub Readerはないかな。

開きっぱなしで、ファイルが更新された再読み込みされるものが良い。

ChromeにはReadiumというものがあったが、GoogleがChrome Appsのサポートをやめたらしい。アナウンスを読んでも、なぜAppsをやめたかよくわからない。

拡張機能は継続と。Chromeアプリ版として別途開発、サポートするのが大変だから、これからはAndroidアプリ版やWebアプリ版、Webサービスを使ってねということらしい。

Readiumは拡張機能ではなく、Chrome Appsとして開発されていたため、この決断により使えなくなったと。

Chromeのepub Reader使ってみたけど、表示が崩れてどうにもならなかった。iBookでなんとかするしかないのか？PDFで中身だけ確認して、偶に縦書きをEPUBで確認、みたいな。

08月28日(月)

英文校閲にも検収がいるとのこと。成果物と一緒に提出。

一日会議。

まだ動けない。

死ぬほど久しぶりに後輩君に連絡をとった Part 2。

08月26日(土)

NOP

病院へ。なんか、病院に行く途中で酷いアレルギー反応が。タイミング的に電車なんだけど、本当かなぁ？それとも昨日の部屋がホコリっぽかった？それにしては反応が出るのが遅すぎる気がする。

死ぬほど久しぶりに後輩君に連絡をとった。何年ぶりだろ？8年ぶりとか？

08月24日(木)

今年、高校野球で、坊主強制じゃない学校が活躍して話題になっている。言うまでもないことだが髪型と野球の上手さは無関係(そうでなければプロの選手の髪型が似てくるはず)なので、こういう時代錯誤なルールを強制しない学校の活躍は嬉しい。

で、思い出したというか、いつも考えてたことがあって、それは「努力でなく成果を誇れ」という言葉。これ、突き詰めると「結果が全て」につながる。年をとると、わりと環境や才能など、自分ではどうしようもないところで成功が決まっているのが見えてくる。この状態で「結果が全て」にしてしまうと、ほとんど運ゲーになってしまう。ちょっとピントがずれた努力であろうと、努力そのものを評価するのも大事。

研究室ミーティング。

08月23日(水)

どうにも集中できない時にはシュレッダー作業をするのだが、迷惑フォルダに振り分けられたメールの処理とかそれに似てる気がする。

FDアンケートに答えた。板書と講義ノートにミスが多すぎるという指摘。本当にすみません。

すごく腰が重かった仕事に取り掛かった。取りかかるまでが遅かったが、取り掛かったらだいぶ進んだ。まだ終わってないけど。

第105回高校野球で慶應義塾高校が優勝。107年ぶり2度目とか。すごい。日吉駅では「東急電鉄日吉駅一同」名義で祝福メッセージが掲げられ、号外も配られて混雑していた。

08月22日(火)

いろいろ忙しい。しかし、表に出せる成果が全くないのがしんどい。

まぁでも、普通は頑張って働いても、「具体的に何をした」ということを外に出せないのが普通なんだよな。研究者が一般的じゃないだけで。後はフルタイムのOSS開発者とか。

08月21日(月)

サーバ再起動。やはりノード2,3,4の調子が悪い。

土日の疲れを持ち越してる。

久しぶりにログインするマシン、Vimのdeinがおかしくなっていた。とりあえずアンインストールしてしまった。こういうところで地味に時間を使っていく。あと、時間がなんか細切れなのがしんどい。

日程調整のために「調整さん」使うのはわかる。わかるけど、150行を入力するの苦行でしょ。偉い人であらかじめANDとって、ある程度減らしてから展開してほしい。

とてもだいじなかいぎでとてもえらいせんせいがたのはなしにわりこんだ。きょうもぼくはくうきがよめないひとである。

08月18日(金)

eスポーツキャスター、なないさんの突然の訃報。32歳。若すぎる。SFLの解説で、その落ち着いた話口調が好きだった。とても残念。村主崇行さんが亡くなったのは享年33歳ということで、同じくらいか。残された家族のことを思うと心が痛む。

自分はまだ何もこの世に残せていないが、とりあえず生きてはいる。

自分がアップロードした物理の講義資料に微分のドットをつけ忘れてたのを、「講義資料に間違い発見！大丈夫か慶應大学」みたいにネットで煽られているのを見つけてげんなりする。数百枚以上のスライドをアップロードしているんだから、誤植の10個や20個あるよ。普通に報告してくれればいいのに。

なんか別のところでも文句言われてた。がんばっても文句しか言われないのしんどいなぁ。

停電対応。

sudo umount /home

しようとしたらdevice is busyといわれてできない。

sudo lsof |grep /home

で調べたらユーザのVSCodeのサーバが動いていたのでkillで殺したらumountできた。

という対応をChatGPTに聞いて実行した。もうサーバ管理関係はChatGPTがないとできない。

08月17日(木)

独学の話が定期的に話題になる。独学は可能だ派と、難しい派。

こういう議論でありがちなこととして、両者で「独学」に対するイメージが違う。「◯◯は独学できるでしょうか？」と聞いてくる人のイメージする「独学」と、「◯◯の独学は可能だ」と言う人の「独学」はかなり違う。

独学可能派の「独学」はかなりソリッドだ。プログラミングを独学する時、有名な本をとりあえず一冊読むし、何かわからないことがあったら公式ドキュメントを読むのが当然だと思ってる。一方、聞いてくる人の「独学」は、かなりパッシブ。「特定の何かをしたら、何かスキルが身につく」みたいな、ゲームのスキル解放のようなイメージを持っている。プログラミング独学サイトでは「解説」→「演習」を繰り返すが、解説部分を「読む」のではなく「見る」。ざっと流して、理解せずに演習に進み、そしてできないという。

研究室ミーティング。関数型言語の話とロバストなRBMの話。

尾鍋先生の還暦祝いパーティは2008年11月8日(土)だった。これはサプライズパーティだった。

宮下先生の還暦祝いパーティはいつだったっけと思ったが、そちらは退職祝いだった。写真のデータによると2019年6月8日(土)らしい。ちょうど日記の空白期なので記録が残っていない。

M2の頃から日記を書きはじめ、それは2000年7月23日から2018年11月30日まで続いたようだ。慶應で日記を書き始めたのが2020年11月18日ですか。約2年の空白をはさんで、あしかけ20年書いている。18年分くらいの日記があるわけで、AIに食わせたら普通にジェネリック俺ができるんじゃないか。

08月16日(水)

どうしても昼間に時間が取れず、子供が寝てから夜中に仕事を片付けた。疲れた。

こういうのよくないってわかってるんだけどね。

08月15日(火)

近所の室内遊び場へ。鬼混んでた。

重い仕事。

08月14日(月)

国立科学博物館の企画展へ。今回のテーマは海。音声ガイドが桝太一なのが良かった。科博の企画展は音声ガイド借りないと価値が半減する・・・と書いて、もしこれをSNSに乗せたら「音声ガイド無しでも十分楽しかった(怒)」みたいなレスが来るのかなぁ、とか考えてしまう。いわゆるSNS疲れという奴か。

すごく昔、mixiあたりの時代に「SNS疲れ」が話題になった気がする。っていうかmixi懐かしい。

08月13日(日)

最近のサーバ管理者はcurlを使うんですかね。僕はwgetとか使ってた。調べてみたら、wgetはダイジェスト認証に対応していないっぽい。

昔はtelnetとか使ってたものじゃがのう……ﾖﾎﾞﾖﾎﾞ

08月12日(土)

重い仕事に手をつける。20%終了。

なんかひどい鼻炎になってしまった。数ヶ月に一度くらい酷い鼻炎になり、その度に鼻の粘膜を焼くことを検討するのだが、鼻を焼くと2,3日痛い上に、効果が半年程度なので迷ってしまう。スギ花粉アレルギーとかなら、シーズン前に焼くのが非常に効果的だが、ハウスダストアレルギーなので季節性がないのが面倒。

08月11日(金)

いまPokemon GOをやっているのだが、ポケストップでアイテムを取らせる時に、写真を回させるUIなの面白いな。機能としては単にタッチさせるだけで良いのだが、「何かした」という感覚が強くなる。ゲームクリエイターが「スマホゲームは手触りだ」と言ってたのを思い出す。

C言語についての初学者の記事に、ガチ勢がよってたかってコメントをしているの見てげんなりする。そういうのがC言語の闇だと思う。

08月10日(木)

Togetterで自分のつぶやきを全く使っていないのだが、「このまとめの意図はこうで、こういうことを伝えたくて作った」みたいな言説を見かけた。「ツイ主のこのつぶやきを一番主張したかったが、それだとウケが悪そうなので、こちらを先においた」みたいな感じ。他人のつぶやきをコラージュのように使った、一種の自己表現らしい。「他人の意見をコラージュにして自己表現をする」という発想がなかったので面白い。

08月09日(水)

夏休みの宿題の手伝い。

なんか「見たら絶対に気分が悪くなることがわかっているのに見ちゃうもの」ってあって、例えばはてなブックマークとか、Amazonの書評、Yahooニュースのコメントなんかがそうなんだけど、だんだんTwitterもそうなりつつある。フォローは大丈夫なんだけど、「おすすめ」はみんな喧嘩してて、でもそれを見ちゃって、そして後悔する。絶対有用な時間の使い方じゃない。

っていうかTwitterは見るだけでなく、呟いた後に後悔することが多い気がする。距離をとるべきだな。

08月08日(火)

恐ろしく眠い。

午前中は会議。

あれもしよう、これもしようと考えているが、どうにも時間が細切れで集中できない。あと眠い。

Todoistに3ヶ月ほど入ってて塩漬けになってたタスクを達成した。おそろしく簡単な作業だったのだが、なぜか腰が重かった。

08月07日(月)

1on1たくさん。

非常勤委嘱理由書出した。

学生さんが次に読む論文案投げた。

08月06日(日)

NOP

引き続き体が超絶重い。低気圧のせい？

08月05日(土)

NOP

ひどい鼻炎。体が重い。

08月04日(金)

会議。

最近、日記をゆっくり書く暇がない。午前中から何かしら予定が入っており、かつ「部屋に来たら大量にTodoリストにタスクを突っ込み、帰るまでになるべく消化する」という日々なので、ゆっくり自分の思考をまとめる余裕がない。家に帰ってから寝るまでPCに向かう時間は取れず、日記を書く時間がほとんどとれない。

いや、時間そのものは取れるんだけれど、日記って「書くぞ」と思って書くものじゃなくて、いろいろ考えていて「あ、これ将来の自分のために残しておこうかな」と思ったことを書くものなので、ある程度まとまった時間、何かに集中する時間がないと、そもそも日記を書こうとは思わないんだ。つまり、日記の長さは心の余裕と強い相関を持つ。

たまったメールの整理をした。まだ整理しきれてない。

長年(2年くらい？)の懸案だった学則改正の書類出した。だいぶタスクリストが痩せてきたぞ。塩漬けタスクが処理できはじめているのがうれしい。

なんかみんなCCP2023に行っちゃって、なんか一人研究から取り残されてる気持ちになる。

STATPHYS28も、せっかく日本でやるのに全く参加できない。悲しい。

08月03日(木)

中間発表振替。

研究室ミーティング。

CCP2023の出張関連書類提出した。

事前に提出するもの
- 学外活動届：本人と指導教員の押印の上で学生課に提出(コピーをとって自分でも保存)
- 出張旅費申請書 (様式32)：本人と指導教員の押印が必要
- 鉄道などの運賃が確認できる書類
- 出張用務・日程が確認できる書類
- 出張依頼書 (様式33)
- 立替払い精算申請書
- 参加登録費の領収書
出張後に提出するもの
- 出張報告書

本人の押印が必要なのは「学外活動届」と「出張旅費申請書」。残りの領収書全てに支払い責任者の押印。さらに、科研費で支払うなら科研費ハンコも押印。

これまでコロナ禍でほとんど出張していなかったので、手続きがよくわからなかった。これでもう大丈夫のはず？

今年は予定外の出費が多く、ほとんど公費を使い切っていたので、科研費があって本当によかった。

08月02日(水)

昨日のまとめ。

Markdownで書いたファイルをRe:VIEWに変換してPDF化するコードが動かない。ものすごく昔は、RedcarpetがRe:VIEWレンダラを持っていたのでそれを使っていたのだが、途中でなくなったらしい。仕方なくmd2reviewを使ったが、エラーが出る。問題は数式の中にMarkdownの予約シンボルがあるとバグること。

たとえばこんなファイルを食わせてみると、

# test

$$
a_1 + a_2
$$

こうなってしまう。

= test


$$
a@<b>{1 + a}2
$$

_で挟まれた場所を太字にしようとしている。

あとはこんなのが、

# test

$$
a^*+b^*
$$

こうなる。

= test
$$
a^@<b>{+b^}
$$

さらに、改行も処理されてしまう。これが、

$$
\begin{aligned}
a &= 1\\
b &= 2
\end{aligned}
$$

こうなる。

$$
\begin{aligned}
a &= 1\
b &= 2
\end{aligned}
$$

というわけで、問題になりそうな記号類を全てエスケープしてからmd2reviewに食わせて、その後もとに戻す、という処理をしたのだが、makefileが

%.re: ../%/README.md
  ruby pre.rb $^ > $*.pre
  md2review $*.pre > $*.post
  ruby post.rb $*.post > $*.re

という感じになってダサい。おそらくRedcarpetのレンダラを自作するのがまっとうな解決策だが、そこまですべきかなぁ・・・

あれ？手元の環境にはredcarpet/render/reviewがあるぞ？なんでだ？

こんなコードを書いてみる。

require 'redcarpet'
a = $LOADED_FEATURES.dup()
require 'redcarpet/render/review'
b = $LOADED_FEATURES

puts b-a

結果。

/Users/watanabe/.rbenv/versions/3.2.2/lib/ruby/3.2.0/digest/version.rb
/Users/watanabe/.rbenv/versions/3.2.2/lib/ruby/3.2.0/x86_64-darwin22/digest.bundle
/Users/watanabe/.rbenv/versions/3.2.2/lib/ruby/3.2.0/digest/loader.rb
/Users/watanabe/.rbenv/versions/3.2.2/lib/ruby/3.2.0/digest.rb
/Users/watanabe/.rbenv/versions/3.2.2/lib/ruby/3.2.0/x86_64-darwin22/digest/md5.bundle
/Users/watanabe/.rbenv/versions/3.2.2/lib/ruby/gems/3.2.0/gems/md2review-1.12.1/lib/redcarpet/render/review.rb

md2reviewによりレンダラにrender/reviewが追加されている。なるほど。それじゃ、これを使えばいちいちファイルに何度も吐かなくて済むはずか。

ひょっとして、昔からRedcarptはRe:VIEWには対応していなくて、僕がmd2reviewを入れたからメソッドが追加されたのを勘違いしていた？

1on1たくさん。

数理物理成績確定した。わりと理想的な成績分布だったのでは。

とりあえず解析力学のリポジトリ、Redcarpet::Render::ReVIEW.newを使って一括変換する形に修正。ついでにLinterとしてRubocopを入れたが、相変わらずうるさいのでrubocop.ymlに

Metrics:
  Enabled: false

と書いてしまった。それでもまだうるさい。あと、若干動作が遅いのが気になるなぁ。

08月01日(火)

もう8月ですかそうですか。

えらい先生がいっぱいいる会議でぺーぺーの僕が発言してしまう問題、もちろん僕に問題はあるんだけど、別に会議が好きとか目立ちたいとかそういうのは全くなくって、むしろ会議なんて大嫌いだけど、僕の信じる幸せな未来の実現に少しでも近づけるための努力である、ということは、誰かに知っておいて欲しい気はする。

だいたい会議で発言したら仕事降ってくるわけだし。黙ってる方が局所的最適解なのは間違いないんだ。

昨日も会議。今日も会議。

Re:VIEWが動かない。原因をなんとか解明して対応。忘れないうちに後でまとめる。