23:28:15https://ofni.necocen.info/21080202体調は昨日よりはマシというくらい。熱っぽい感じではなくなってきたかも。昨晩は配列の二分探索を書きました。挿入がほぼID順に起こるという仮定(そしてこれはTwitterクライアントではおおむね正しい)のもとでは、単なる配列にIDのリストを格納するのは妥当といえそうです。今朝簡単な時間測定を書いて、いくつかのデータ構造を試しました。仕事はあまり順調ではない。このペースだと間に合わない気配が出てきたのでいろいろ調整したり、あと土曜日に出勤することになりそうだったり。焦ってきたのでちょっとデザイン修正に手を出してガーッと進捗を出したけど、これはなんというか「手を染めた」という形容がぴったりする感じの戦術だと思う。CoreDataの絡むWebAPI同期テーブルに明日こそ向き合わねばなるまい。それさえ終わればあとはだいたい小粒なんだけど(あーでもロジック部分にも奇妙なふるまいが知られているんだった)。よい野球選手とは、一塁とは何かについてよく理解している者のことではない。試合の途中で「一塁とは何だろうか」と問うことは、試合の進行や勝敗に何の影響もない。人生におけるいくつかの問いは、そのようなものではないだろうか。今夜は溜まってるアニメを一本だけ観て、あとちょっとコードを書きます。今夜こそtimelineをRealmに保存するのをやりたいな。23:59:07https://ofni.necocen.info/21090203昨晩はTwitterのtimelineをRealmに放り込むコードを書きました。うまく動いているので満足だけど、これ複数の「リスト」(それはTwitterのリストでも有り得るし自分で何らかの条件で作るリストの可能性もある)が存在するときにそれをどう表現すればいいんだろう。多対多対応でいいのかな。なんとなく、そのようなやり方は今の軽快な動作を損なってしまうような不安感があります。別個のRealmファイルを立ててそこに放り込むとか?それは無駄が多いけども。今夜は削除通知にも対応するのと、そろそろちゃんとイベントにペイロードを載せられるアーキテクチャを検討する必要がありそう。そんだけできたら満足かなあ。複数リストへの対応はどうすればいいんだろう。いうかどう表現しよう。テーブルを二個置いたりすればいいんだろうか。昨日よりちょっと具合が悪い気がする。仕事は難しいところをなんとかねじ伏せたような気がするけど、ほんとにこれでいいのか疑問だしまだやることが残っている。あとデザインの修正もいろいろ。最近ずっと体調悪いんだけど、夜になるとちょっとマシになってしまうせいでなかなか早く帰れずにいる。単純に進捗も芳しくないし。去年の暮に洗濯機を買ったときについたポイントで加湿器を買いました。いま使ってる空気清浄機の加湿器機能はとにかくうるさいのです。こいつが静かなのかどうかそういえば確認してない。ここまででなければ何でもよい。豆を撒くと鬼が外へ福が内へ移動するの、熱力学第二法則を破っている気がする。ここには何らかの悪魔がおり、豆を食べて鬼と福とを分離するのだ。23:14:55https://ofni.necocen.info/21100204僕の生きかたを形作っているのは、僕が心底嫌いでこうはなるまいと思うような人たちなのだ。昨晩もTwitterのtimelineをRealmに保存したりテーブルに表示したりしていました。削除通知への対応と、挿入/削除アニメイション。アニメイションについては、EventEmitterをちょっと拡張してペイロードを載せられるようにすれば解決だったけど、型安全性の意味でもうすこし洗練が必要で、結局Dispatcherと似たような形になるのではという感じ。DispatcherはDispatcherでもうすこし使い勝手を良くしたい思いがあるし、あれっ、結局自分で作り直す感じになってしまうのでは?でもそれはおいておいて、今夜は複数リストへの対応を試みます。体調はやっぱり良くはないけど喉の痛みとかはおさまっている。仕事はまあまあ順調で、ようやっとテーブルビューの書き直しが終わったところ。あとは小さい不具合をぷちぷち潰せばいいんだけど、ロジックの大改修がたぶん残っていて、それは来週いっぱい掛かるんじゃないだろうかという感じ。僕の冗談には、僕の育った家や僕の過ごした季節や僕のまわりにいた人々がさまざまな形で息づいている。23:33:12https://ofni.necocen.info/21110205昨晩は複数リストに対応しました。リストオブジェクトの子としてツイートを並べただけでいい感じに動いてくれそう。複数のリストを同時に作って同時に表示することもできたし、これはこの路線で大丈夫そう。ツイートをDBに保存するタイミングと削除するタイミングが悩ましくて、リストに追加する前にまずDBに保存するようにすべきなのかな、とか、削除はどのタイミングでやればいいかな、とか。あと削除ってツイートを受信する前に起こる可能性も有り得るので、削除リストみたいなものをオンメモリにでも持つ必要がありそう。いや、そんなケース有り得るのか?本当に?調べた方がいいかも。仕事はまあまあ順調だけど、如何せん時間に余裕がない。自宅作業にしてもらうつもりだったんだけどなんか難色を示されたから行くことにした。着替えるの面倒なんだけどな。あと普通に体調が悪い。