Posts

寝違えてしまって首が痛い。そして仕事のやる気が出ない。 午後から少し働く。引き続きパフォーマンスチューニングをしている。とりあえず高速化はできてそうだが、もうちょいプロファイリングを取って性質を理解したい。

土曜日。実家でのんびり過ごす。本棚を物色していたら『情報科学における論理』を見つけたので家に持って帰ることにした。この前数学同好会で直観主義論理の話をしたので軽く復習したい。 昼食のあとは喫茶店に行く。中公新書の『ビスマルク』第1, 2章を再読。この時代のビスマルクは基本的にユンカー階級の利益を代表する政治家である。農奴制に立脚するユンカーという階級は「後進的」なドイツの象徴なのだが、その彼が「先進的」なナショナリストたちの悲願である統一ドイツを彼らに代わって実現してしまうところに面白さがある。 このあたりの構図は前回読んだときには理解できていなかったが、最近いろいろ読んでいるうちに分かってきた。去年買って積んであった『ドイツ・ナショナリズム』も見てみようかな。

在宅勤務。パフォーマンスチューニングなど。深層モデルの高速化のために量子化をやろうとしているが、設定の選択肢がいろいろあって難しい。 午後は近所のプールに行く。有馬温泉の宿のプールで泳いだのが楽しかったのでまた行ってみた。もうちょっと近くにあるといいのだが。

パフォーマンスチューニングをガチャガチャやったり、友人宅で有馬温泉土産の炭酸せんべいを食べつつ働いたり、会社で数学同好会を開催したり。同好会のあとに軽く懇親会をやってから帰宅。そして眠い。

今日は池袋で働く。推論サーバーのパフォーマンスチューニングをしたり、先日のLT会のイベントレポートを書いたり。 昼休みにトイザらスで娘のクリスマスプレゼントを買う。そのあとはジュンク堂をぶらぶらする。コンピューター系の棚を見ていたらAVX-512の本があったので驚いた。

今日も出社。朝ちょっと仕事をしてから近所の書店で中公新書の『冷戦史』を買った。永田町駅にある小さい書店だが、新書はけっこうあるので今度から新刊はできるだけここで買おうかと思っている。 チームの懇親会ですき焼きランチを食べる。飲食店に見えない店構えだが美味しい。飛騨牛と松茸が売りらしい。 午後は勉強会でTensorRT-LLMの話を聞く。いろいろ高速化されるようだが変換処理がやたら面倒である。PyTorchからONNXへの変換みたいな感じで自動化してほしい。

今日は出社。仕事は物体検出サーバーのパフォーマンスチューニングなど。プロファイリングをしてみたらGPUだけでなくCPU時間もけっこう使っていたので、そのあたりをパイプライン化することで高速化できそうな予感。 数学同好会のチャットが型理論の話で盛り上がる。最近Leanが流行っていたりするので自分もまたこのあたりを勉強したい。

今日は家でのんびり過ごした。昨日新大阪駅で買った蜜香屋のタルトと芋けんぴがおいしかった。 あとは旅行中に読んでいた『マーシャル・プラン 新世界秩序の誕生』をだいたい読み終えた。後半は西ドイツ建国までの話で、ベルリン封鎖など緊迫したエピソードもあって飽きずに読めた。

今日は神戸観光。午前中は神戸ムスリムモスクを見学。それから近所でスノードームの工作をした。昼はにしむら珈琲店という喫茶店でサンドイッチを食べた。ヨーロッパ風の内装にクラシック音楽のBGMが流れていて良い雰囲気だった。 午後は旧山邑邸（ヨドコウ迎賓館）を見学。ライトが設計したことで有名な建築。木と石という自然の素材の有機性と幾何学的でモダンな造形が両立していて面白かった。 その後は東海道線で新大阪駅まで行き、そこから新幹線で東京駅。その間娘は抱っこされながら合計で三時間ほど寝ていた。

今日はホテルのプールで遊んだり、温泉街で食べ歩いたりした。有馬麦酒が美味しかった。たくさん動いて眠いのでこのくらいで。