2018/10/28

投稿者: casaubon -
gothamに挑戦して、いきなりExampleが実行できなかった。

コメント

コメントを投稿

このブログの人気の投稿

妖怪談義

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

セイタカシギ

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

『19世紀パリ時間旅行』の感想

投稿者: casaubon -
練馬区美術館で19世紀パリ時間旅行を見た。 記憶に残った部分は、 病院が河の直ぐ側にあって、血や汚物をそのまま流して、それを目当てに来る魚を釣り人が釣っているといった説明があった。 ナポレオン3世が都市計画をするまで、パリは魔窟だったみたいで、ロンドンなどを参考にしたらしい。 など。 けっこう説明の分量が多くて、大変だった。フランスの歴史や、地理が全然分かっていないことが分かった。 見終わった後は中村橋駅周辺をフラフラしていた。ねぎまと軟骨を食べた。
続きを読む