Posts

今日も在宅勤務。ぼちぼち働く。 ひとりで家にいて働いていると、10分に一度くらい立ちあがって家のなかをうろうろしてしまう。我ながら集中力がない。 昼休みは図書館に行った。娘が読みたがっていた『ペツェッティーノ』という絵本を借りる。大人からすると表紙がちょっと不気味に感じるのだが、なにか気に入るものがあったのだろうか。 保育園のお迎えに行かなければならないが、雨が降っているので少し気が重い。 昨日の日記を読んでくれた友人から『ロギング仕事術』のどこが良かったか教えて欲しいと言われたので書いてみる。 記録を取りながら仕事をするといろいろ良いことがある。これが『ロギング仕事術』の主張である。タスクリストを見ながら仕事をすることで今やるべきことを見失わない、などがその分かりやすい効果である。これから何をやるか（タスクリスト）、と今何をやったか（作業記録）をあまり区別せずに並べるのがこの本の特徴である。 自分はこの本を読む前から仕事ではデイリーノートをつけていた。ツールはEmacsのorg-modeである。毎朝タスクリストを作成することでその日の仕事の進め方をイメージする。そして作業しながら関連するURLなどをメモすることでいつ中断してもその作業を再開できるようにする。またポモドーロもやっていたので25分ごとにノートを見つつ自分の現在地をふりかえることができる。 記録を取ることの効用はその日の仕事をスムーズに進めることだけにとどまらない、というのがこの本の主張の面白いところである。第4章の「ライフワークのログを残す」という節から引用する。 前記のプロジェクトログは、始まりと終わりがある期間限定のログです。一方、特定の記録にはそうした期間が定まらないものもあります。終わりがない行為、いわばライフワークが対象のログです。 例を挙げるなら、読書のログなどがわかりやすいでしょうか。 一冊の本を読むことには始まりと終わりがありますが、趣味としての読書には基本的に終わりがありません。ずっと継続的に続いていく行為です。もちろん対象は読書だけではありません。映画でも音楽でも演劇でも美術館巡りでも、すべてはライフワークのような位置づけになるでしょう。 なぜライフワークのログを残していくのかと言えば、第一にそれが楽しいからですし、第二に意外なところで役立つことがあるからで、第三に自分を知ることができるからです。 今の日記をつけ始めたのは本書が出版される少し前だが、そこで自分がやりたかったことはまさに著者のいうライフワークのログである。数年前まではTwitterをライフログがわりに使っていたが最近はたまにしか発言していない。気に障るような「炎上」がタイムラインに頻繁に流れてするようになって、何か日々のちょっとした個人的な考えを書く気になれなくなってしまったのだ。 人が思考するには道具の助けが必要である。紙と鉛筆が無ければ二桁の掛け算すら簡単にはこなせないのが人間である。「道具」を「環境」という言葉に置き換えてもいい。メールの通知や割り込みのタスクが溢れる職場のような環境や、人の気を引く投稿が溢れるSNSのような環境で上手に考えることは簡単ではない。そのような過酷な情報の海で知的生産活動を行う人にとって、ロギング仕事術はよい羅針盤になるだろう。 以上のように日々のタスクからライフワークまで連続的に適用できる考え方を学ぶことができるのが本書の最大の魅力だろう。ぜひ一読をすすめる。

在宅勤務。まあまあ働いた。 近所に住む友人たちと昼食を食べに行った。ビストロでチキンソテーを注文。濃厚なクリームソースが美味しい。 友人から中山茂の『野口英世』を借りた。また同じ著者の『歴史としての学問』について教えてもらった。この本は『社会学の名著30』で挙げられている一冊らしい。自分は新刊ばかり読んでいるので、その中から『「経済成長」の起源』と『ロギング仕事術』を薦めた。 あとは研究することの難しさと楽しさについて。自分固有の問題意識を持つことの重要性。正しさにこだわって動けなくなるよりは、誤ったものを書いたほうがいい。公開するまでに直す機会は何回もある。 自分はソフトウェア開発でこのことを学んだ。仕様を完全には満たしていないコードに対して少しだけ機能を足す。十分になるまでイテレートする。さらに単体テストとバージョン管理があればなお良い。 夕方仕事を終えて娘を迎えに行く。涼しくなってきたせいか、蚊が多い。

月曜日。敬老の日なのでお休み。 前日はブエルタ最終日。グローブスが逃げに乗り、フィニッシュで集団に捕まりつつスプリントで勝利。何とも珍しいグランツール最終日である。ユンボの3人も無事フィニッシュ。夕陽の中マドリードの王宮前で美しい表彰式が行われる。 朝ごはんを食べたら実家に移動。昨晩ずっと泣いていた娘だが、今日は比較的ごきげん。ちょっと成長したのかもしれない。もしくは少し気が張っているのだろうか。 昼寝してくれたので午後は自分も少しゆっくりできた。靴がボロいと親に小言を言われたので近所で靴を買った。完璧に気に入る靴があればそれだけ買い続けたいのだがいまだに出会えていない。 先週からはじめた日記の書き方について記録しておきたい。平日は基本的に帰りの電車で書く。iPhoneでUlyssesというアプリを使っている。アプリを長押しして「新規シート」から起動すると白紙からなんとなく書き始められるのが良い。タイトルも不要である。 だいたい書けたら右上のメニューから「書き出す」を選択するとMarkdownにエクスポートできる。これをコピーしてGitHubのissueを作成する。簡単に見直して問題なければissueをクローズする。これをトリガーにGitHub Actionsのジョブが起動し、新しい記事がメインブランチに作成される。するとHugoのビルドが実行され日記が公開される。最後にDiscordのWebhookに記事のURLが投げられる。

日曜日。だらだら過ごす。 前日のブエルタはプールスが逃げ集団から絶妙なタイミングでアタックして優勝。プロトンはユンボが完璧にコントロールして無事に総合トップ3を守る。今日が最終日なので総合順位の変動はもうない。 数学同好会の発表の準備をしたほうが良いのだがやる気が出ないので無し。かわりにエルデンリングのRTAを観たり昼寝したりしていた。 Twitterと違いブログはインスタントな反応がないのがさびしい。それが良いところでもあるのだが。古き良きはてなスターでも設置しようかと思ったが、設置して反応がなかったら余計悲しい気もする。 妻が出張でしばらく居ないので、明日から実家に滞在する。忙しい日々が始まる。

土曜日。 前日のブエルタは平坦ステージなので総合系は平穏。ガンナとダイネーゼがスプリントで競ってダイネーゼが優勝した。スプリンターの意地である。ダイネーゼは来年チューダーに行くらしい。力のあるプロチームが増えるのは楽しみ。 申請が面倒なことで有名な018サポートの手続きをやった。想像していたほど大変ではなかったが、事前に自分の申請区分を調べていなかったので少し焦った。あと半角カナを入力するところがあったが、そこは全角カナから自動で変換してほしい。 昼はオムライス。両親が来ていたので妻が5人分作ってくれた。5人分のオムライスはお店みたいで大変そうだ。 明日は特に予定はない。家族でのんびり過ごす予定。

金曜日。普段は在宅勤務だが今日は予定があったので出社した。 前日のブエルタもクスがマイヨロホを守った。どうやらチームの中で話がついたようだ。めでたしめでたし。 朝は開発してるサーバーのメンテナンスリリース。別にやらなくても良いリリースだったが頻繁に依存ライブラリを更新しておいたほうが後の苦しみが減る。最近自動化スクリプトを書いたのでだいぶ気楽にできる。 昼は社内の大学同窓生たちと社食。若者たちに先輩風を吹かせた。仕事でやりたいことがあったらとりあえず趣味的に始めるべし。そのうち形になってきたら周りを納得させて仕事にすれば良い等々。 社内でCPythonのコアについて学ぶ勉強会を開催しようとしている。参加者はかなり集まりそうだ。そのうち何人か発表者に回ってくれればうまくいくだろう。言語処理系に興味ある人々を集めてアップストリームに貢献できたらという野望があるが果たして。 帰りがけに『ひたすら読むエコノミクス』を買う。本ばかり買っている気がするが、これでも減らしているつもりである。

今日は普通に仕事。昨日一日の休日が夢のようである。 前日のブエルタは名物アングリルの頂上フィニッシュ。クスがぎりぎりでマイヨロホをキープした。最後にユンボとバーレーンが3対3になったところは白熱した。しかし他のチームからすれば、ユンボが総合表彰台をがっちり押さえてる状況で4位争いをするというのもむなしい話である。デヘント先生曰く: It’s nice of Jumbo-Visma to let other riders join their team championship. 今日は昼過ぎまで会社で働く。プラットフォームチームがZoomでオフィスアワーをやっていたので雑談しつつ、細々としたタスクをこなす。そろそろ髪を切らないとやばいので帰宅して髪を切りに行く。 昨日の日記を読んでくれた友人から、ヒースとかロールズとか言われても知らんというクレームがあったので、自分が読んだことのある中からおすすめを挙げておく。ヒース2冊、ロールズ2冊。 『資本主義が嫌いな人のための経済学』 『啓蒙思想2.0』 『ジョン・ロールズ 社会正義の探究者』 『公正としての正義 再説』 『資本主義が嫌いな人のための経済学』以外は文庫や新書で読めるので手に取りやすい。あと経済学101がヒースの論説を翻訳して掲載してくれているのでそれもおすすめ: ジョセフ・ヒース – 経済学101。

今日は仕事は休み。妻とのんびり過ごした。 朝は昨日のブエルタを追っかけで見た。ヴィンゲゴーが優勝し、クスの総合タイムまであと30秒くらいに迫っていた。クスに勝ってもらいたいなあ。 本屋に行ってぶらぶら。『実践TLA+』を立ち読み。並行プログラムの検証に興味があったので見てみたが、けっこう良い感じに使えそうだ。最近読んだBRCのアルゴリズムとか検証できないだろうか。 あとは『「批判」の政治理論』もパラパラ読んだ。ハーバーマスにそんなに良い印象はないのだが、ヒースの師匠だし押さえておきたいとは思う。ロールズとの論争の解説も読み応えがありそうだ。 立ち読みだけではなんなので帰り際に雑誌を一冊買った。『東京人 10月号』。赤羽台の団地が特集されている。

出社して期末評価の文書を書いていた。つかれた。半年に一度、一日くらいは自分の仕事が会社にとって有益であるという弁明を考えるのもまあいいだろう。 退勤して東日本橋のギャラリーに顔を出す。友人が受付していたので少し冷やかす。 そのまま保育園にお迎えに行き歩いて帰宅。夕方の風が心地良い季節になってきた。

今日は部署の勉強会でPEP 703の解説をした。前回は入門的な話をしたので、今回は参照カウントの実装について詳しく話した。BRC論文が読みやすかったのでわりとスムーズに話せた。発表後は同僚と社食でお茶を飲みながら雑談。 あとは『訂正可能性の哲学』を手に入れた。電子書籍にするかどうか迷ったが表紙の手触りが良かったので書店で買った。 第一章は国家と家族の話。プラトン的な理想的な国家において家族のような閉鎖的なつながりは解体される。一方でポパーの批判によれば個人を全体に奉仕させようとする全体主義国家はこそが部族的で閉鎖的である。お互いが相手は閉鎖的だと非難し合うという奇妙なねじれがある。このねじれを読み解くための補助線としてトッドの仕事が引用される。 家族構造と政治制度をダイレクトに結び付けるトッドの説は単純化しすぎのように感じられたが、それらの相互作用については『「経済成長」の起源』の第5章にも書いてあったのあとで読み返す。