2020/08/19

投稿者: casaubon -

 ロックダウンが8月26日までなので、散歩した。

コメント

コメントを投稿

このブログの人気の投稿

緑水晶

投稿者: casaubon -
Emacsのエラー File mode specification error: (file-error "Cannot open load file" "no such file or directory" "f") うーん…。 風邪がひどくなり、病院に行った。大量の薬をもらってきて、飲んだ。ボルタレンとかがあって、風邪でも使うんだなーと思った。他には眠くなるのを抑える？みたいなので、カフェインがあったり、胃の炎症を抑える薬があったりと、病気の薬の副作用を抑える薬があって、面白かった。 まぁ、風邪程度なら、とくに問題は起きないだろうが、強い薬同士でいろいろ飲んで行ったら、複合的な副作用が出る場合もあるんじゃないかなぁと思った。そんな場合に薬同士の依存性の解消とかも解析できたら、面白そうだ。 結局、休みはずっと寝ていたので、なにもしていない。いい感じになりたい。
続きを読む

KAKIN

投稿者: casaubon -
パルムオランジェット を食べた。けっこう美味しかった。 Pokémon GOをインストールした。最初見たときにNiantic, Inc.とあって、パチモンかな？と思ったが、調べてみるとGoogleの社内ベンチャーから独立した会社だということが分かった。Tango projectの成果とかが反映されているのかな？ 結局、家から出なかったので、最初のポケモンしかいない。選べることが分かっていなくて、フシギダネを選んでしまった。
続きを読む

セイタカシギ

投稿者: casaubon -
Haskell Day 2016に行った。HRRはデモをやっていた。関係ないけど、タイル型ウィンドウマネージャを使っていた。やっぱり、xmonadかな？ spockは便利そうだった（小並）。 Introduction to Stack's Docker integration (with our company's case!)はnixとstackでやっていくみたいなのを見た気がしたけど、dockerでやったほうがdocker fileとかで使いまわすのが簡単だからなのかな？と思った。boot2dockerではできないよｗと言っていたので、Vagrantにまずは普通にstackを入れたら、OOMkillerがでちゃった。たぶん、Vagrant fileをどうにかすれば、割当のメモリを増やせると思うので、どうにかしていこうと思う。 SAT/SMT solving in Haskellの人はTAPL、Alloyを訳した人らしい。すごい。 HTTP/2 and TLS in Warpの山本さんはHaskellのネットワーク系のライブラリのほとんどに関わっている感じだった。Warpはnginxより早いらしい。 Into the Core: squeezing Haskell into nine constructorsはHaskellの父であるSPJさんmicrosoft reserchに勤めているらしい。かなりハイな方で、素足で歩きまわっていた。コンパイラやGHCのことはぜんぜん知らなかったのと、疲労が出てきて厳しかった。GHCは中間言語でも型がついているという話や、26年たっても2つのconstructorが加わったという話が聞けた。すごい設計だ。system Fのこととかもかなりやっていたが、型の勉強は全然していないので、分からなかった。 実は日を間違えていて、前日にIIJに行ってしまった。竹橋が近かったのと金曜日は遅くまでやっているのでトーマス・ルフ展に行った。カメラ撮影は商用以外で作品タイトルを記載すればokらしく、けっこう写真を撮った。そのまま、撮してもなぁと思い、地鶏をしていたら、けっこう難しいことに気がついて、ハマってしまった。最後の方はだいぶ表情を作れるようになったと思う。図書館も見てみた。美術館の図書館は面白い。本当は工芸館...
続きを読む