2017/01/12

投稿者: casaubon -

昨日は懸垂を少しした。インターバルを挟むともっと追い込める感じがしたが、時間が無くて出来なかった。

bluetoothのイヤホンを買おうと思い、サーベイしている。

コメント

コメントを投稿

このブログの人気の投稿

エンドレス・ポエトリー感想

投稿者: casaubon -
疲れていたためか、間延びしているように感じられた。 リアリティのダンスの方が面白かった気がする（中見はほとんど覚えていない）。 あまり詩人に興味が無いのもあるかも。 人気があるみたいで満員に近かった。お嬢さんとかもやっていて見たかったが、満員だった。 観ている間、大学の視聴覚室で観ていたブリキの太鼓を思い出していた。 最初にドイツ文化センターで観たので、途中で飽きて止めてしまったはずだ。 酔拳とかも飽きて止めてしまった。 映画館じゃないと、連続して集中することが出来ない。
続きを読む

セイタカシギ

投稿者: 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らしく、けっこう写真を撮った。そのまま、撮してもなぁと思い、地鶏をしていたら、けっこう難しいことに気がついて、ハマってしまった。最後の方はだいぶ表情を作れるようになったと思う。図書館も見てみた。美術館の図書館は面白い。本当は工芸館...
続きを読む

妖怪談義

投稿者: Jacopo -
妖怪談義 柳田國男 今まで柳田國男は読んだことがなかったが自宅に全集があったのでもっとも楽そうなタイトルを選んだ。 柳田は日本の民俗学の走りであり、南方熊楠、柳田両名があまりに網羅的な研究を国内を行ったため、その後の研究者はどうしても日本と海外とを分けて研究するようになった。 ただ、柳田の民俗学は性に関する研究は避けられたらしい。最近はディルなどにも興味があるのでぜひ日本の性愛などの研究も見てみたい。 柳田はフィールドワークを中心とし、集めた話を言語学的観点から考察している。例えば 、秋田県のナマハギなどがそれである。 ナマハゲという語の生成はナモミハゲからきている。 ナモミコ剥げたか剥げたかよ 庖丁コ磨げたか磨げたかよ あずきコ煮えた煮えたかよ ナモミとは秋田方言で火斑(ヒガタ)すなわち長く久しく火にあたっている者の、皮膚に生ずる斑模のことである。つまり、働かぬ者である。それを庖丁を磨きすまして身からはぎ取り、小豆と一緒に煮て食ってしまおうというものであったらしい。 小豆で煮ると柔らかくなるのかなと思ったが普段から働いていないのならば結構柔らかそうだなとどうでもいいことを少し考えた
続きを読む