Profile cover photo
Profile photo
Kota UENISHI
659 followers
659 followers
About
Kota's posts

昼飯のときに「結婚しないんですか?」と、とある独身男性に聞いたところ「明日しますよ」とお返事。「はははご冗談を…」といじり始めたらどうやら本当の話らしくその場でたどたどしく「おめでとうございます」的な流れになりチグハグチグハグ…

Embedding layerなんていらんかったんや…


Post has attachment
これカンファレンス中に読んでしまってうっかり泣きそうになって、うーん、悲しい。こういうのを少しでも減らしたい https://news.nifty.com/article/magazine/12148-20170126-8944/1

サーバーレスって言葉を公の場所で真面目に口にするのすっげー恥ずかしい。ブロックチェーンより恥ずかしいんだけど。

オッサンになってくるとプログラミングするのに何個もウィンドウ開かなくなって、なんかちっさいウィンドウで適当にやってしまうということが判明してきた

Now I'm gonna ditch my Mercurial migrating to Git, and migrating from Python 2.7 to 3.6 at last. Not sure whether Ansible works or not, but that's another hustle and Ansible claims it's working at controller side.

Post has attachment
筑波大学の情報システム特別講義Dに呼んでいただき、分散システムの形式化と証明について入門の話をしてきました。なるべく現実世界で分かりやすい直感的な話に落とそうとして発散してしまったので、もっとフォーカスして話さないとダメだなあ。でも1週間かけていろいろ調べたのは勉強になった

https://speakerdeck.com/kuenishi/formalization-and-proof-of-distributed-systems-ja

30枚ちょいのスライドしかないんだけど、これでたっぷり90分くらいは話せる気がするので辛い

Classic Paxosの証明が気になってつらつら読み返しているんだけど、どうしてもわからないのが Prepare で複数の v が返ってきたときの動作。シナリオによっては過半数とれないやつがある気がするんだが、Complete ProofのためにはPart-time parliamentを読めという意見が多く、今日明日で理解できるものではなさそうで泣きそうである http://research.microsoft.com/en-us/um/people/lamport/pubs/paxos-simple.pdf

電車でスーツ着たサラリーマンが手持ちの鞄を足にぶつけてくる率は異常
Wait while more posts are being loaded