足の特徴
- 扁平足
- ワイズC
今の靴はインソール入れており、インソールないと足首が内側に倒れてしまう状態。
それだけならインソール作ってもらえばよいのだけど、ワイズCがたいへん厄介で、まず店頭在庫がない。
どうも世の中ではワイズEから上しか居ないらしい。
寺町のアシックスウォーキングではすべてを満たした靴が入手できるのだけど、デザインが微妙なのと、それでも選択肢が少ないのが課題。
今雨用のブーツが欲しくてとにかく困っている。
キログラムの再定義の話がよくわからなかったので調べた
産総研：質量の単位「キログラム」の新たな基準となるプランク定数の決定に貢献
で何故アボガドロ定数を求めているのか、さらに何故質量にプランク定数が関わるのかわからなかったので調べてなんとなく理解したメモ。
だいたいこの研究をしていた人の論文 基礎物理定数の新しい推奨値 に書いてあった。
質量とプランク定数
新しいSIの定義 - Wikipediaプランク定数が質量に関わるのは、プランク定数がJ・sの次元で、Jがkg・m^2の次元という単純な話だった。
— ╹◡╹ ）＜ よく噛んで食べる (@non_117) 2017年10月25日
プランク定数の次元がJという単純な話でした。プランク定数が選ばれたのは物理学の世界で重要だからでしょうか。
アボガドロ定数とプランク定数
1モルの電子の質量は電子質量かけるアボガドロ定数で、電子と陽子の質量比は電子モル質量と陽子モル質量の比と等しいという式変形をして、
gyazo.com
リュードベリ定数（https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%A5%E3%83%BC%E3%83%89%E3%83%99%E3%83%AA%E5%AE%9A%E6%95%B0）を突っ込んだらこうなる。
皆さん定数*1なので、アボガドロ定数とプランク定数の関係になる。
アボガドロ定数を求める方法
gyazo.com
gyazo.com
1つのシリコン結晶の単位格子に8シリコン原子が含まれている。単位格子での密度と巨視的なインゴットの密度が等しいという仮定がある。
↑の式はアボガドロ定数の定義に、単位格子と密度の関係突っ込んだら出てくる。
なのでレーザー干渉計および質量原器を使って密度を求め、温度を一定の条件にして格子定数を求めるとアボガドロ定数が出てくる。
温度によって原子間の平均距離つまり格子定数が変わるので、温度を一定にするのが大事なんですね。
シリコンのモル質量が正確に出てくるのは同位体の存在比によって計算できるし、このインゴットはシリコンのほとんど単結晶とのこと。すごいですね〜。
もう一つのプランク定数の測定方法
キップルバランス法というのがあるらしい。何でこれより精度がよいということになってるかは突っ込んで調べていない。
雑感
というのが一読して理解できなかった理由だろうと思っている。最先端の研究に高校理科の単語がポンポン出てきて謎の関係があるとびっくりして混乱する。
元のリリースもあいだの理論端折られすぎではないか……。
それにしても干渉計ってすごいですね。
*1:キログラム定義に求められる精度においては
ISUCON7予選で得た知見
きっちんゴリラ*1*2というチーム名で、id:tyage, id:nonyleneと出場しました。
結果は、max 113,846、score 95,352でした。
詳しい内容は
の通りです。
準備
去年の反省を活かしてデプロイスクリプトやベンチマーカーが混んだときのための負荷クライアントの雛形を準備していきました。
結果、提供されたベンチマーカーのスケーラビリティが素晴らしく後者は無用となりました。*3*4
作戦
結果的に、以下の作戦になりました。
- app1サーバのnginxでロードバランサになる
- app1サーバだけで
/iconsに関わるすべての処理を受ける - app1, app2サーバで残りの処理をする
- pumaのthreadsを増やしまくってCPUを使い切れる範囲でいい感じの値を二分探索する
- ベンチマークガチャを引き続ける
役割分担
- 全員
- 初期の足場硬め
- ログやメトリクスの収集環境構築
- デプロイの仕組み
- tyage
- アプリのチューニング
/iconsの処理をDBから剥がす- N+1の解消
- nonylene
- インフラの設定とチューニング
- HTTP Cache問題の解決
- nginxやsystemdの設定
私はmackerelの設定といった細かい雑用やベンチマーク結果のエラーを眺めてボトルネックの指摘をしていたくらいで、特に実装上の貢献はありませんでした。
が、チームの皆様が優秀で/iconsのHTTP Cache設定およびimageテーブルの破棄（と、パラメータチューニング）がうまくいって10万点付近まで浮上することができました。
知見
戦略をちゃんと考える
戦略はありませんでした。しかし、今回のisuconは戦略を立てられたかどうかでHTTP Cacheの問題をクリアした後の点に大きく差がついたであろうことにあとで気づきました。
ISUCON7予選 当日マニュアル.md · GitHubb.hatena.ne.jpfetchにもN+1があり、POSTは3倍の点なのでfetchを遅くしてfetchで食うリソースを減らす。fetchでworkerが取られるのでthread数は思い切って増やすという戦略が有効だった。（もう遅い
2017/10/23 19:25
ということです。
にも書いてあるとおりです。
元の当日マニュアルにはちゃんとヒントが散りばめられています。太字になってすらいますね。
ドキュメントは落ち着いて隅から隅まで読まないければならないことがわかります。
実作業をして手を動かしてるとどんどん視野が狭くなっていくので、最初のうちに戦略を死ぬほど考えるとよいかもしれません。*5
CPUを早いうちに使い切る
Mackerelを導入してグラフが見えているのにも関わらず、CPUを使いきれてないことの問題をはっきりとは意識できてませんでした。
CPUが使い切れていないということは、ネットワークやディスク、メモリのいずれかがボトルネックになっているということであり、まず最初の目標はCPU使用率を100%になるよう設定を弄ることだったのかもしれません。
意識していても設定を弄ったりコードを読んでると忘れてしまいがちなので、ここを最初にクリアするのが重要です。*6
ベンチマーカーの気持ちになって考える
ユーザやjsのクライアント実装の気持ちになるとも言えます。
解説にもあるように、jsクライアントの実装は/fetchを起点としたmessageの取得になっています。
ブラウザでしっかりとアプリケーションの動作を確認して図にしておくと、当日マニュアルの読み込みが効いてきそうです。
感想
いいチームでおもしろい問題を解き、10万点の大台に乗れた点で概ね満足できました。
特にsleep(1)が一見不要に見えて本質的なパラメータになってるのは、とても面白かったです。インフラとアプリのバランスも良かったように思います。
運営および作問、インフラ設営、チームのみなさまありがとうございました。とても楽しく有意義な8時間でした。
■
プログラマのような知的労働者は、労働者自身が生産手段を半ば独占できているので、使用者に対して強気に出ても問題がないと思っている。*1
もちろん、チームで作って運用し続けられる規模のシステムだからこそ会社として業が成り立つのであり、自分ひとりの我儘で事態が大きく変わることは少ない（ように組織が設計されているべきだ）。
だが、「プログラマが辞めたあとに現場が混乱した」というイキり武勇伝は、話の真偽はともかく、労働者による生産手段の独占にそのような効用があることは間違いがないことを示している。
一人欠けただけで生産体制が崩壊するようなシステムはよくないのだが、組織労働の最大の敵はコミュニケーションなので、話をつけて調整する相手が少なければ少ないほど効率が上がることには違いがない。
なので、労働とくに知的労働と属人化がトレードオフになることは避けがたく、生産手段の独占され具合が強い業種ほど労働者が強くなれる。
このような前提のなかで、現代のプログラマはPCとインターネットさえあれば仕事ができるので、生産手段のうち大きな部分を専有しているといえる。*2*3*4*5
別にプログラマを称揚する意図は無いのだが、仕事のために必要な（一般人がアクセスできない）道具が少なければ少ないほど生産手段を独占しているといってよいだろう。
追記
というか一般的に知識ってそういうもんでは？
自転車通勤の感想
健康
- ジムと併用するとどんどん体脂肪率が落ちていく
- 業務中眠くなりにくい
- お腹が減りにくくなる
- なんで
夜間の自転車と他の登場人物との関係
- 自動車
- 建前上は教育を受けて免許を持っており、減点制度もあるので無茶苦茶なことをしてこない印象
- 前だけでなく後ろのライトあるいは反射板が大事
- 歩行者
- 車輌のほうが運動エネルギーがでかいので常に譲歩する
- 予測困難な歩行者
- 信号違反する人・突然振り返って道路を渡り始める人
- 頑張って回避を試みるが怖い
- 可能な限り歩行者に近づかない作戦
- 信号違反する人・突然振り返って道路を渡り始める人
- 自転車
- 人によってはふらふらしてるので近づかないほうがよい
- 常時点灯ではこちらに気づいてくれないことがある
- 無灯火・車道逆走
- 怖すぎる
- 実は罰金刑らしいが運用されてなさそう
前のライトは常時点灯ではなく点滅のほうがよいのではないかという仮説
- 目立たないとそのうち衝突しそう
- 自転車の駆動音が小さい問題
- ライトの明るさが自動車に比べて弱い問題
- 反射板の方が常時点灯より目立つような気はするが、無灯火に対しては無力
問題について
人によって解決できる問題の複雑さ（大きさ？）には限界があると思っていて、それは忍耐強さとか問題を解決してきた経験に左右されてしまうとも思っている。問題解決の方法そのものは抽象的なメソッドとして言語化できるものではなく、暗黙知に属するが、しかし、知的労働者なら暗黙知のベールを破壊しないでどうするという葛藤もあり……。
そこでレビューというフローが便利で、これは暗黙知を暗黙知モナドに包んだまま個別具体的な問題の解決方法を示唆していく教育手法だが、現状これ以上の指導方法が実践されてはいなさそう。*1
私が大学院生の頃の研究は散々なもので、難しい問題を前にすると1秒も考えずに思考停止していたし、当時の私が今の私の分解できる問題に対応できたとはとても思えない。なので、他人の問題解決能力をとやかく言うことはできないのだ。
実社会で解かれる問題に、アトムとしての分割された問題が難しすぎるケースはごく稀で、難しい問題は複雑であるだけだと思っている。*2*3なので、問題を諸問題へ分割するのが問題解決なのだけど、これもまた（これこそが）暗黙知ということでこの話はおしまいです。*4
近況
技術面
- Railsサーバ屋さん かつ フロントエンド屋さん かつ 見習いインフラ屋さん
- chef鈍重で面倒なイメージがあったけど、ちゃんと構造化すれば便利
- 業務水準で上から下まで作れるようになってよかった
引っ越した
- 旧居が大通りに面しており自動車の騒音がひどかった
- 利便性は奥まった場所でも確保できるので、車の多い環境に住むべきではなかった
- 引っ越し
- 物を捨てる労力が半分くらい
- 読まない本を捨てられない問題
- 壁の穴はティッシュを詰めてもごまかせない
自転車通勤
- fitbitの安静時心拍数が有意に上がって調子が良い
- 体脂肪率が単調減少し続けている
- 可処分時間が50分くらい増えた
- 京都駅が憎い
水耕栽培
- 契機はわすれた
- これは青梗菜
- 毎日大きくなっていておもしろい
- 日照が足りない場合は植物用LEDライトを買うとよい
家電買い替え
外食が苦手でコンビニも飽きるので、より自炊をしやすい環境を作っていっている
冷蔵庫
- 毎日仕事が終わったあとに献立を決めてスーパーへ行くのは非効率
- 肉や野菜をまとめ買いしてもある程度鮮度を保てる装備が必要
- 選考基準
- でかすぎない
- フレッシュルームと野菜室がある
感想
- 左開きのほうが良かったが、高級品（10万以上）にしかそのようなオプションはなかった
- 概ね満足している
- 肉をそこそこ長期保存しても問題ない
- 用途別の扉に分かれていると、お茶などの取り出しで肉・野菜室の温度が下がりにくいメリットがありそう
オーブンレンジ
http://panasonic.jp/range/ne_bs903/panasonic.jp
- 選考基準
- オーブンが欲しかった
- 魚が焼けるとうれしい
- 温度センサー分解能がミドルレンジモデルの8倍（すごそう）
- 新製品が出た直後で型落ちモデルが安くなっていた
感想
- コンビニの食品を温めただけなのに、なぜか以前より美味しい
- あたためモードで食品の目標温度を1度単位で設定できる
- いみがわからない
- パンを焼いてもなぜか美味しい
- あらゆる料理が作れる
- 蒸気が出るので蒸し野菜作り放題
焼きそば
パナソニックのオーブンレンジがわけのわからないことを言っていて、グリル皿に具材と麺を載せて蒸すだけで焼きそばができるらしい。
— ╹◡╹ ）＜ よく噛んで食べる (@non_117) 2017年9月11日
出力
ふつうに美味しくて謎
最高の商品です
