第一級の継続とローカル名前環境の変更は相性悪い

限定継続であれ、無限定の継続であれ、第一級の継続と、ローカル名前環境の変更は相性が悪い、ということに気づきました。お酒を飲んだのでたぶん思考がゆるいですが、だらだら書きます。 名前環境の変更 たとえば次のRubyプログラムは、「x = 1」によってロ…

新横綱稀勢の里の優勝と映画『スモーク』

12日目までの稀勢の里は、前場所を踏襲するように、押されても崩れないどっしりとした腰、落ち着いて受け潰し、勝機を逃さずきっちり詰める盤石の相撲。しかしこの取り口では、13日目に当たる日馬富士には通用しないことは明らかでした。日馬富士は白鵬と並…

大相撲2017年春場所千秋楽

●2-5貴公俊(押し出し)玉木3-4○ 玉木当たって右に開いて叩き、向き直ったところを押し出し。 ○10-5大砂嵐(寄り倒し)里山7-8● 里山早く左差し、右は前廻し。大砂嵐外四つ両上手でギューギュー締め上げる。里山左半身気味で頭つけて、しかし決め手が無い。…

大相撲2017年春場所14日目

1日遅れで書いてます。この時点では、13日目の稀勢の里の怪我で、素晴らしい場所がとんだことになってしまった、と思っていました。案の定稀勢の里は相撲にならず、照ノ富士は前日までの力強い相撲ぶりが一変して安易な変化で、完全に打ちのめされた気分でし…

大相撲2017年春場所12日目

●5-7里山(押し出し)照強8-4○ 小兵同士。里山一度突っかける。手四つから里山右、左ととったり、再度頭を付けて手四つに。照強が右蹴返しに来た所、里山左から叩き込もうとするが、照強押して出た。里山しぶとさ負けして、これは悔しい。 ●6-6遠藤(浴びせ…

限定継続 (delimited continuation) の動作を理解する

限定継続のオペレータであるshift/resetおよびcontrol/promptについて、その動作が腑に落ちたので、以下にまとめます。 継続とは 継続とは、呼び出されると「この後の計算」を実行する関数です。Schemeにはcall/ccという関数が存在し、プログラムの任意の箇…

大相撲2017年春場所9日目

●4-1駿馬(押し出し)魁盛王5-0○ 魁盛王の押しに駿馬左に開いたが、魁盛王付いて行って押し出し。 ○4-1慶天海(叩き込み)鳰の海3-2● 鳰の海一度突っかける。慶天海左に跳び、鳰の海がついてきたところを今度は右から叩いて叩き込み。 ○3-2志摩ノ海(押し出…

大相撲2017年春場所中日

○2-2貴公俊(右上手投げ)芝1-3● 突っ張って左四つ。芝吊り寄りを見せるが貴公俊腰をぶつけて上手を切り、振り回すような上手投げ。 ●0-4霧馬山(右掛け投げ)天空海1-3○ 霧馬山左に変わって押して出る。天空海向き直って押しておいて思い切り掛け投げ。 ●4-…

大相撲2017年春場所7日目

●0-3-1豊ノ島(寄り切り)明瀬山1-3○ 豊ノ島右前廻し引くが明瀬山右上手引いて寄り切り。 ●2-2阿夢露(突き出し)貴源治3-1○ 貴源治終始突っ張って突き出し。師匠の若い頃に見えなくもないなあ。 ○4-3旭日松(叩き込み)力真3-4● 十両の相撲。旭日松左に飛ぶ…

大相撲2017年春場所初日

○海龍(左下手出し投げ)剛士● 突っ張り合いから剛士が出るが、海龍の左が掛かる。剛士なおも突っ張るが、再度組んだところで海龍左の下手出し投げ。 ○阿夢露(右突き落とし)富士東● 十両の相撲。阿夢露右に動いて引っ掛けるが富士東付いていって押し出した…

時天空の間垣親方が亡くなった

時天空は飛び抜けた足技の達人でした。ふつう足技は、他の技との連動として、あるいは相手の意表をかく技として使うものです。佐田の海は差して速攻の流れに乗って外掛けにいくのだし、舞の海の切り返しは左下手投げの反動を利用する技です。海鵬の内掛けは…

SparkのRDDとDataFrameでそれぞれwordcount

Sparkでデータ処理プログラムを書くためのAPIには、RDDとDataFrameの二種類がある。2つのAPIを用いてwordcountを書いてみる。wordcountは、テキスト中の単語の出現回数を数えるプログラムであり、分散データ処理の必修課題である。RDDは低レベルなAPIで、デ…

大相撲2017年正月場所千秋楽

●5-2慶天海(押し倒し)高立6-1○ 慶天海左を固めて潜ろうとするが、高立両手で突っ張って押し倒し。 ●11-4宇良(右とったり)里山8-7○ 里山一度つっかける。宇良右にいなすが里山向き直って、頭四つで組み手争い。里山引き落としから出るところ、宇良右引っ…

稀勢の里の初優勝

全相撲ファンの息子こと大関稀勢の里が、ついに、やっと、初めての優勝を成し遂げました。牛久の怪童萩原が幕内に出現して12年、待ちに待った大関昇進からさらに5年。優勝次点の勝ち星を12回も挙げながら、決定戦にすら縁がないその間に、ライバルたちは次々…

大相撲2017年正月場所14日目

○6-1岩崎(引き落とし)阿炎5-2● 阿炎両手突きから突っ張り。岩崎これに頭を下げて応戦。阿炎が出てくるところを引き落とし。 ○4-3明生(叩き込み)大成道3-4● 明生右、大成道左で踏み込む。押し合いから明生が右で首を叩いて叩き込み。 ○6-8照強(引き落と…

Dockerのネットワーク構成

Dockerのネットワーク構成について整理する。図1: Dockerネットワーク全体図物理NICが1個ついたDockerホストに2つのコンテナを立てると、図1のようになる。コンテナは172.17.X.Xのネットワーク内にいて、ホスト側には172.17.0.1のIPアドレスが付く。この構成…

朝青龍の円熟

朝青龍はとにかく速くて、強くて、ふつうなら無茶苦茶な技を仕掛けたって、危なくもなんともない。彼が進むあとから道理がゼーゼー言いながら追いかけて、追いついたころに本人はもう勝利の喜びに破顔一笑、大得意で花道を引き揚げている。朝青龍が白鵬に本…

止まるときは死ぬとき

かつての日馬富士も、真っすぐという点では貴ノ花や遠藤に引けを取らないけれど、彼は「生のイメージ」じゃないんだ。タガが外れてぶっ壊れるギリギリのスピードで真っすぐに突き破って、止まるときは死ぬとき、という感じ。今の曲線的で技巧的な、老獪な相…

ケレン味がないってこと

今日は正月場所の二日目で、北欧から来た二人連れと隣り合って話してたんだけど、遠藤がどうして人気なのか聞かれてすごく困った。ケレン味がない相撲、と答えたかったんだけど、「because he is handsome and ...」であとの言葉が見つからない。さいわい、…

The man of the year 2016: 正代直也

今年の正月に新入幕、九州場所は西の3枚目で11勝を挙げたので、明けて来年の正月は新三役でしょう。力の強いは百難隠すとはよく言ったもので、素人目にもあやふやな、狙いのはっきりしない相撲なのに、どんな体勢でもそれなりに取りこなします。一番印象に残…

The movie of the year 2016: 『放浪の画家ピロスマニ』

『放浪の画家ピロスマニ』 - Uplink下高井戸シネマで見た、グルジアの画家ニコ・ピロスマニの伝記映画。グルジア語での上映は日本初だそうです。本当に美しい作品でした。ピロスマニの絵は単純で、素朴で、平面的なのですが、この映画も、単純で、素朴で、平…

The book of the year 2016: カレル・チャペック『山椒魚戦争』

山椒魚戦争 (岩波文庫)作者: カレルチャペック,Karel Capek,栗栖継出版社/メーカー: 岩波書店発売日: 2003/06/13メディア: 文庫購入: 6人 クリック: 34回この商品を含むブログ (51件) を見る人間が奴隷としてこき使ってきた山椒魚が反乱を起こして世界終末戦…

The record of the year 2016: Saturday Looks Good to Me『All Your Summer Songs』

All Your Summer Songsアーティスト: Saturday Looks Good To Me出版社/メーカー: Polyvinyl Records発売日: 2003/03/18メディア: CDこの商品を含むブログ (1件) を見るHeavenlyの最初のアルバムみたいな、キュートでハッピーでキャッチーでグルーヴィーなロ…

大相撲2016年九州場所11日目

(幕下) ●5-1大成道(左下手投げ)照強6-0○ 照強左に動きながらもぐって左を深く差す。大成道右抱えて小手投げ、いったん体勢を入れ替えるも照強左下手投げで裏返した。照強あとひとつ勝てば新十両もあるのかな? (十両) ○8-3里山(押し出し)朝赤龍2-9● …

エクス・マキナ

Ex_Machina [Blu-ray] [Import]メディア: Blu-rayこの商品を含むブログを見る下高井戸シネマで鑑賞。雇主の別荘に招かれた主人公が、雇主が秘密の内に開発した、作中の表現では「AI」、実態に即して言えば「強いAIを内蔵したアンドロイド」の試験をする、と…

大相撲2016年秋場所9日目

○2-3小柳(左突き落とし)魁1-4● 小柳左を深く差してすくい投げから突き落とし。 ○4-5旭大星(押し倒し)希善龍3-6● 押し合い、旭大星右に回り込んでおっつけ主体に攻めながら時折裾払い。右ですくって押し倒し。 ○6-3英乃海(寄り倒し)琴恵光6-3● 右四つ、…

大相撲2016年秋場所中日

○3-5旭大星(寄り切り)若乃島4-4● 左四つ、旭大星右上手出し投げから寄り切り。 ●7-1阿武咲(右すくい投げ)安美錦5-3○ 安美錦右張って右ハズに掛かってすくい投げ。老練。 ●2-6富士東(左下手投げ)里山3-5○ 富士東の突っ張りを低く耐えて念願の左前褌!富…

大相撲2016年秋場所7日目

○4-3若乃島(押し出し)里山2-5● 奄美対決。里山左肩から潜ろうとするが、若乃島落ち着いて押し出した。 ●3-4朝赤龍(押し出し)北播磨2-5○ 朝赤龍叩くのを北播磨こらえて向き直って押し出し。 ●2-5宇良(叩き込み)千代丸4-3○ 頭を下げて食いつこうとする宇…

大相撲2016年秋場所初日

●高麗の国(右突き落とし)琴鎌谷○ ここから幕下。琴鎌谷右にズレて右四つ。高麗の国突き放して外四つ。足が入ったところを琴鎌谷右突き落とし。 ○1-0十勝海(送り出し)極芯道0-1● 極芯道両手突きから突っ張るが十勝海右に回り込んで後ろを向かせて送り出し…

高江ヘリパッド建設中止を求める声明に賛同します

環境保護団体であるFoE Japanが、沖縄県東村高江の米海兵隊ヘリパッド建設中止を求める声明への賛同を募集しています。 生物多様性の宝庫、やんばるの森と住民の生活を守るために行動を! 高江ヘリパッド建設中止を! - FoE Japan 私、宮川拓は同声明に賛同…