http://www.jmuk.org/
val it: α -> α = fun
2012-05-21T02:23:48.681Z
Jun Mukai
https://plus.google.com/102550604876259086885/posts
http://www.jmuk.org/favicon.png
http://www.jmuk.org/blog/post/z12avzp4vu2vxjfqt04cc3agzvjlivwib4g
宇宙から見た日食、という写真が出回っているのだが本物なのかなあ。
宇宙から見た日食、という写真が出回っているのだが本物なのかなあ。ああいうのは常に眉に唾つけて見るようになってしまった……。<br />日食に航空機がかかった写真を我が物顔で流すヤツとかもいるしさ(あっちは初出はナショナルジオグラフィックで2010年の日食の写真だとか)<br /><br /><a href="http://mathscinotes.wordpress.com/2010/10/11/solar-eclipse-math/" >http://mathscinotes.wordpress.com/2010/10/11/solar-eclipse-math/</a><br />Google画像検索で写真から検索したらけっこういろいろ出てきた。けっきょく、この写真の出展は1999年、ミールから撮影したものということのようだ。今回のものではないが、日食の写真であるのは間違いないらしい。ちなみに皆既日食のもの。そういうことは明記してほしいんだよな……。<br /><a href="http://ja.wikipedia.org/wiki/1999%E5%B9%B48%E6%9C%8811%E6%97%A5%E3%81%AE%E6%97%A5%E9%A3%9F" >http://ja.wikipedia.org/wiki/1999%E5%B9%B48%E6%9C%8811%E6%97%A5%E3%81%AE%E6%97%A5%E9%A3%9F</a>
宇宙から見た日食、という写真が出回っているのだが本物なのかなあ。ああいうのは常に眉に唾つけて見るようになってしまった……。<br />日食に航空機がかかった写真を我が物顔で流すヤツとかもいるしさ(あっちは初出はナショナルジオグラフィックで2010年の日食の写真だとか)<br /><br /><a href="http://mathscinotes.wordpress.com/2010/10/11/solar-eclipse-math/" >http://mathscinotes.wordpress.com/2010/10/11/solar-eclipse-math/</a><br />Google画像検索で写真から検索したらけっこういろいろ出てきた。けっきょく、この写真の出展は1999年、ミールから撮影したものということのようだ。今回のものではないが、日食の写真であるのは間違いないらしい。ちなみに皆既日食のもの。そういうことは明記してほしいんだよな……。<br /><a href="http://ja.wikipedia.org/wiki/1999%E5%B9%B48%E6%9C%8811%E6%97%A5%E3%81%AE%E6%97%A5%E9%A3%9F" >http://ja.wikipedia.org/wiki/1999%E5%B9%B48%E6%9C%8811%E6%97%A5%E3%81%AE%E6%97%A5%E9%A3%9F</a>
2012-05-21T02:23:48.000Z
2012-05-21T02:23:48.681Z
http://www.jmuk.org/blog/post/z12xu1sxkkjcx1ys4220tnbyvwfqz3lt3
さて日食。
さて日食。<br />日本は金環食が東京を始め各地を通るということで盛り上がってる面もあるだろうけど、滞在先のアメリカ西海岸ではどうせ部分食ということもあり、アメリカ人はあまり興味ないのかと思ってた。というか、数百キロほど北に行けば金環食が拝めるので、天文ファンはそういうところに行く感じなのかなあ、みたいな。日本だとあちこちで売ってる観測メガネ的なものも見かけない。<br />１７時半を過ぎて欠け始めても、特にみんな気にしてない感じだったし。<br /><br />だけど最大食の時間になった今さっき、家を出てぶらぶらしていたら、けっこう家族で見に来た人たちと出会った。自作のピンホールカメラっぽいのを作ったぽい人もいたし、普通のサングラスを5-6個重ねている人もいた……大丈夫なんかいな。借りて一瞬、見せてもらったけど。観測用の遮光メガネは見かけなかったな。手近なブツで楽しもうという精神かもしれない。<br /><br />自分のピンホールカメラの像は小さくてちょっとしょんぼりだけど(2つ買って繋げたら良かったのかも)、思ったよりはずっとクリアな像だったし、なによりプリングルズで作るというのはhackyな楽しさがあってよいものだ。居合わせた人にも見せたりしてわりと好評でよかった。<br /><br />写真は部屋の壁にさしてきた木漏れ日。
さて日食。<br />日本は金環食が東京を始め各地を通るということで盛り上がってる面もあるだろうけど、滞在先のアメリカ西海岸ではどうせ部分食ということもあり、アメリカ人はあまり興味ないのかと思ってた。というか、数百キロほど北に行けば金環食が拝めるので、天文ファンはそういうところに行く感じなのかなあ、みたいな。日本だとあちこちで売ってる観測メガネ的なものも見かけない。<br />１７時半を過ぎて欠け始めても、特にみんな気にしてない感じだったし。<br /><br />だけど最大食の時間になった今さっき、家を出てぶらぶらしていたら、けっこう家族で見に来た人たちと出会った。自作のピンホールカメラっぽいのを作ったぽい人もいたし、普通のサングラスを5-6個重ねている人もいた……大丈夫なんかいな。借りて一瞬、見せてもらったけど。観測用の遮光メガネは見かけなかったな。手近なブツで楽しもうという精神かもしれない。<br /><br />自分のピンホールカメラの像は小さくてちょっとしょんぼりだけど(2つ買って繋げたら良かったのかも)、思ったよりはずっとクリアな像だったし、なによりプリングルズで作るというのはhackyな楽しさがあってよいものだ。居合わせた人にも見せたりしてわりと好評でよかった。<br /><br />写真は部屋の壁にさしてきた木漏れ日。
2012-05-21T01:52:07.000Z
2012-05-21T01:52:07.265Z
tag:blogger.com,1999:blog-6786394476687653393.post-32948225809357084002012-05-16T16:18:00.001+09:002012-05-16T16:18:39.721+09:00Go言語の型宣言をHaskellから理解する<div dir="ltr" style="text-align: left;" trbidi="on">という誰得記事を書いてみたいと思います。<br /><br />Goの型システム……というかtype宣言はなかなか面白いんじゃないか、ということに最近気づきました。type宣言は新しい型を宣言するものです。たとえば、A Tour of Goの<a href="http://tour.golang.org/#24">例</a>だと、<br /><blockquote class="tr_bq"><code>type Vertex struct {<br /><span class="Apple-tab-span" style="white-space: pre;"> </span>X int<br /><span class="Apple-tab-span" style="white-space: pre;"> </span>Y int<br />}</code></blockquote><div>のように宣言します。これは当然のように思われるかもしれません。</div><div>ところが、<code>type MyFloat float64</code> のように宣言することがあります。これはどういう意味があるのかというと、実態としては<code>float64</code>なのだが新しい型として定義したい、という意思表示となります。</div><div><br /></div><div>具体的に、これが意味するものとしてメソッド宣言を見てみましょう。<a href="http://tour.golang.org/#50">VertexにAbsというメソッドを定義した場合</a>:</div><div><blockquote class="tr_bq"><code>func (v *Vertex) Abs() float64 {<br /><span class="Apple-tab-span" style="white-space: pre;"> </span>return math.Sqrt(v.X*v.X + v.Y*v.Y)<br />}</code></blockquote></div><div>このように表記します。このとき、<code>*Vertex</code> 型の変数 <code>v</code> について <code>v.Abs()</code> とメソッド呼び出しができるわけです。</div><div>同じように、<code>type MyFloat float64</code> として宣言した<code>MyFloat</code>に対しても、メソッドの宣言ができます(<a href="http://tour.golang.org/#51">例</a>):</div><div><blockquote class="tr_bq"><code>type MyFloat float64<br />func (f MyFloat) Abs() float64 {<br /><span class="Apple-tab-span" style="white-space: pre;"> </span>if f < 0 {<br /><span class="Apple-tab-span" style="white-space: pre;"> </span>return float64(-f)<br /><span class="Apple-tab-span" style="white-space: pre;"> </span>}<br /><span class="Apple-tab-span" style="white-space: pre;"> </span>return float64(f)<br />}</code></blockquote></div><div>というか、どんな型に対してもメソッドの定義ができます。ただし、異なるパッケージの型に対して勝手にメソッドを追加したりできない、ビルトインの型も同様に挙動を変更させることはできない、という制限があります。そのため、既存の型と実態は同じだが独自の意味合いを持たせたい(実態としては数値だが特別な意味を持たせたい、というような場合)にこういう型定義によって別の型をつくることになります。この場合、<code>Abs()</code>というメソッドは<code>MyFloat</code>という型に対してついているのであって、<code>float64</code>に対して呼ぶことはできません。</div><div>つまり、<code>float64</code>と<code>MyFloat</code>はほんとうに別な型なのです。たとえば上のコードサンプルで<code>return f</code>とすることはできません。<code>Abs()</code>が返すべきのは<code>float64</code>だからです。<code>MyFloat</code>と<code>float64</code>は加減乗除等の演算も行えません。事前に型変換を行う必要があります。</div><div><br /></div><div>たしか『<a href="http://www.amazon.co.jp/gp/product/4839923116/ref=as_li_ss_tl?ie=UTF8&tag=jmukorg-22&linkCode=as2&camp=247&creative=7399&creativeASIN=4839923116">入門OCaml</a>』だったかとおもいますが、会計処理的なシステムで、消費税込みの金額とまだ税を組み入れてない金額が両方あるので混乱しがちになるという話が出てきて、phantom typeを導入して型安全を保つという事例があったとおもいます。同じことがGoのtype宣言では可能です。</div><div><br /></div><div>この挙動は面白いし便利だと思う一方、C/C++のtypedefを知っていると、とても奇妙に思えます。C/C++のtypedefは簡単に言うと型に別名をつけるだけだからです。<code>typedef float MyFloat</code>、などと書いても<code>MyFloat</code>と<code>float</code>は区別されません。<code>float</code>を引数に取るメソッドに<code>MyFloat</code>を与えても構いません。C/C++を使っている場合、これはこれで便利なものです。</div><div><br /></div><div>ここでC/C++のtypedef相当の言語とGoのtype相当の言語を両方併せ持つ言語といえば、そう、皆さんご存知のHaskellですね(やっと出せた)。Haskellでいうとtype宣言がC/C++のtypedefであり、Goのtypeに相当するのはnewtype宣言だと言うことができるでしょう。</div><div>Haskellのnewtype宣言というのは、実態としては他の型と同等であるが、全く別の新しい型として定義したい、という場合に使います。たとえばA Gentle Introduction to Haskellでは、Integerと実態は同じであるが正数のみを扱うNatural型を定義しています(<a href="http://www.sampou.org/haskell/tutorial-j/moretypes.html">日本語訳</a>)。Goのtypeはまさにこれと同じことをします。Natural型に対して定義したメソッドがIntegerに影響を与えないところも同じです。</div><div><br /></div><div>ところで、Goにはtypedefはありません。既存の型に別名をつけることはできません。例えば上で<code>Vertex</code>という構造体が出てきました。ここで、<code>type Vertex2 Vertex</code> などとしても、<code>*Vertex</code>に対して宣言された<code>Abs()</code>メソッドは、<code>*Vertex2</code>型の変数にたいして呼ぶことはできません。</div><div>不便じゃないんでしょうか。そもそもtypedefってなぜ必要なんでしょうか。</div><div><br /></div><div>Haskellのtype宣言は、既存の型に別名をつけるという意味で、まさにtypedefです。実例としても、<code>String</code>型は実際のところ文字のリスト<code>[Char]</code>型である、という代表例もあります。これはまさに同じであって、<code>String</code>型の値はリストとして扱うことができます。リストを引数に取る関数はすべて<code>String</code>を扱うことができるし、パターンマッチもできます。これがnewtypeとして別の型になってしまうと、Haskellのリストを扱うためのパワーをスポイルしかねません。いっぽう、Stateモナドは、実態としてはただの関数だけども、newtype宣言でState型として宣言されています。こういうものはHaskellではtype宣言では扱いづらいし、ややこしい問題もありますが、newtype宣言によって状況はかなりクリアになります。</div><div>ようするに、「メソッドは引き継がれない」「別の型として扱われる」という点がメリットになるかデメリットになるか、というのがnewtypeを使うか、typeを使うかの違いになっているといえるでしょう。</div><div><br /></div><div>Go言語では、どうして他の型のエイリアスを作らなくても問題にならないのでしょうか。たとえば、</div><blockquote class="tr_bq"><code>var f1 MyFloat = MyFloat(1)<br />var f2 float64 = 1.0<br />f1 + f2</code></blockquote><div>などとするとコンパイルエラーが発生します。<code>f1</code>と<code>f2</code>は異なる型なので演算はできません。実際、上で挙げた例のように、税抜の金額型と税込の金額型を別の型として宣言している場合、この２つの型の変数同士を気軽に足せてしまったら分けた意味が薄れるので困る。<code>f1 + MyFloat(f2)</code>などとしなければならないわけです。<br /><br />ところが、</div><blockquote class="tr_bq"><code>var f1 MyFloat = MyFloat(1)<br />f1 + 1.0</code></blockquote><div>これはエラーになりません。</div><div>Go言語には暗黙の型変換はないのだけど、数値リテラルは特定の型の値を持つわけではなく、文脈によって適切な数値型となり、実態として数値の型であるモノ(<code>MyFloat</code>とか)も数値型とみなされます。演算子もまた、数値型に対して有効であるという定義であり、オーバーロードや再定義ができません。このように演算子やリテラルを特別処理にすることで、暗黙の型変換なしに、異なる型であっても、こういうよくある表記では問題を起こさないようになっています。</div><div><br /></div><div>また、メソッドについてはどうでしょうか。Haskellの<code>String</code>が<code>[Char]</code>と同等なのはリストに対するオペレーションを使いたいからだと思います。ただ、Go言語のメソッドや関数では、多くの場合インタフェースが一致しているかどうかだけが大事で、継承関係を必ずしも持つ必要がありません。このため、既存の型と構文上も同等に扱いたいというモチベーションがそれほど高くないのではないか、と推測しています。</div><div>Go言語を設計するにあたり、どれぐらい慎重にこういったことが決められたのかはぼくは知らないのですが、こういった事例からは、「こうしておけば実用上問題ないでしょ」という思い切りのようなものがあるな、と思うのです。</div><div>実際のところ Haskell にしたって type 宣言を書くことはそう多くない気がします。なくてもかまわないといえばかまわない、<code>String</code>だけがうまくいけばそれで良い、そういうヤツなのではないでしょうか。だが、既存の言語の枠組みで「<code>String</code>を<code>[Char]</code>のように扱う」ためには、type宣言のようなものを持ち出すか、さもなくば<code>String</code>を特別扱いしなければなりません。特別扱いはイヤだ、言語の定義で直交性を保ちたい、という美的センスがあるのではないかと思うのです。</div><div><br /></div><div>直交性というのはプログラミング言語の「美しさ」を語る上では大事なキーワードだと思うのですが、Go言語では、そこまで最重要なポイントとみなされていないんじゃないかという疑念を抱いています。もちろん軽視しているのではないでしょうが、「大事だけどほかに重視すべきことがある」という価値観があるように思います。</div><div>でもそれでいいじゃん、動くし実用上は問題ない、といえるのがGoの面白いところだなと思った、というところで締めたいと思います。</div></div><div class="blogger-post-footer"><img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/6786394476687653393-3294822580935708400?l=blog.jmuk.org' alt='' /></div>Jun Mukainoreply@blogger.com
http://www.jmuk.org/blog/post/z13ucfxq0uuwix3wn04cc3agzvjlivwib4g
うーん、これは要約すると「情報強者でござい、という連中がうっかり引っかかって恥をかくところを眺めるのが虚構新聞のようなサイトの醍醐味」だと言っているように読める。
<a href="http://www.nurs.or.jp/~ogochan/essay/archives/3789" >http://www.nurs.or.jp/~ogochan/essay/archives/3789</a><br />うーん、これは要約すると「情報強者でござい、という連中がうっかり引っかかって恥をかくところを眺めるのが虚構新聞のようなサイトの醍醐味」だと言っているように読める。だとすると、わたしとは意見が違うなぁ。<br /><br />いろいろな意見を眺めたが、自分の立ち位置としては、ああいうサイトに引っかかる人を上から目線でこき下ろしたり嘲笑したりするところが一番嫌だな。Twitterや、今回は関係ないけどFacebookや、そういうののユーザを十把一絡げにまとめて罵倒するのを見るのが好きではない。<br />たぶん、おごちゃんと意見を異にするところだと思うが、人間ってのは間違えるものだ。情報強者だろうがなんだろうが、引っかかるときは引っかかる。これはもうくじ運みたいなもんで、情報強者のほうが引っかかる確率は低いかもしれないけど、ゼロじゃない。そんで、確率が低くてもユーザ数が多いとそれなりの人数は引っかかってしまう人が出てくるのは仕方ない。<br /><br />でまぁ、もちろんだからといって虚構新聞的な存在がダメなわけじゃないのだけど、何を言いたいかというと、「こういうサイトを通してソースを見ることの大切さを学ぶのだ」的な教訓を引き出して正当化するのは筋の良い議論と思わないなーという感じ。ジョークサイトはそのジョークの質で議論すべきだと思います。
<a href="http://www.nurs.or.jp/~ogochan/essay/archives/3789" >http://www.nurs.or.jp/~ogochan/essay/archives/3789</a><br />うーん、これは要約すると「情報強者でござい、という連中がうっかり引っかかって恥をかくところを眺めるのが虚構新聞のようなサイトの醍醐味」だと言っているように読める。だとすると、わたしとは意見が違うなぁ。<br /><br />いろいろな意見を眺めたが、自分の立ち位置としては、ああいうサイトに引っかかる人を上から目線でこき下ろしたり嘲笑したりするところが一番嫌だな。Twitterや、今回は関係ないけどFacebookや、そういうののユーザを十把一絡げにまとめて罵倒するのを見るのが好きではない。<br />たぶん、おごちゃんと意見を異にするところだと思うが、人間ってのは間違えるものだ。情報強者だろうがなんだろうが、引っかかるときは引っかかる。これはもうくじ運みたいなもんで、情報強者のほうが引っかかる確率は低いかもしれないけど、ゼロじゃない。そんで、確率が低くてもユーザ数が多いとそれなりの人数は引っかかってしまう人が出てくるのは仕方ない。<br /><br />でまぁ、もちろんだからといって虚構新聞的な存在がダメなわけじゃないのだけど、何を言いたいかというと、「こういうサイトを通してソースを見ることの大切さを学ぶのだ」的な教訓を引き出して正当化するのは筋の良い議論と思わないなーという感じ。ジョークサイトはそのジョークの質で議論すべきだと思います。
2012-05-16T04:34:18.000Z
2012-05-16T04:34:18.968Z
http://www.jmuk.org/blog/post/z12iejfjzxvfczinx220tnbyvwfqz3lt3
こないだのような間違いを減らすべく、gitで現在の作業ブランチをzshのプロンプトに表示するようにしてみた。
こないだのような間違いを減らすべく、gitで現在の作業ブランチをzshのプロンプトに表示するようにしてみた。ついでに、たまに、手元の環境がいつ頃syncしたものか思い出せないこともあるので最後にsyncした番号も残す。<br /><a href="http://d.hatena.ne.jp/uasi/20091017/1255712789" >d.hatena.ne.jp/uasi/20091017/1255712789</a><br />などを参考にしたが、ぼくはzshの通常プロンプトを2行にしているので、これの1行目につっこんでる。こんな感じ。<br /><br />function git-current-branch() {<br /> local name<br /> name=`git symbolic-ref HEAD 2> /dev/null`<br /> if [[ -z $name ]]; then<br /> return<br /> fi<br /> basename $name<br />}<br /><br />function git-svn-last-revision() {<br /> git show master 2> /dev/null | grep 'git-svn-id' | sed -e 's/.*\(@[0-9][0-9]*\).*/\1'<br />}<br /><br />リンク先では、git statusを使って現在のブランチの状態を調べて色を変えるということをしていたけど、これは遅いのでやめた。<br />で、<br />setopt prompt_subst<br />PROMPT='... [`git-current-branch``git-svn-last-revision`] %E<br />%b%# '<br />みたいな。gitツリーの外だと [] になっちゃうけど、まあいいやって感じ。<br />ちょっとハマったポイントとしては、prompt_substを使う場合は '~'を使わないといけなくて、"~"だとうまくいかないので注意。
こないだのような間違いを減らすべく、gitで現在の作業ブランチをzshのプロンプトに表示するようにしてみた。ついでに、たまに、手元の環境がいつ頃syncしたものか思い出せないこともあるので最後にsyncした番号も残す。<br /><a href="http://d.hatena.ne.jp/uasi/20091017/1255712789" >d.hatena.ne.jp/uasi/20091017/1255712789</a><br />などを参考にしたが、ぼくはzshの通常プロンプトを2行にしているので、これの1行目につっこんでる。こんな感じ。<br /><br />function git-current-branch() {<br /> local name<br /> name=`git symbolic-ref HEAD 2> /dev/null`<br /> if [[ -z $name ]]; then<br /> return<br /> fi<br /> basename $name<br />}<br /><br />function git-svn-last-revision() {<br /> git show master 2> /dev/null | grep 'git-svn-id' | sed -e 's/.*\(@[0-9][0-9]*\).*/\1'<br />}<br /><br />リンク先では、git statusを使って現在のブランチの状態を調べて色を変えるということをしていたけど、これは遅いのでやめた。<br />で、<br />setopt prompt_subst<br />PROMPT='... [`git-current-branch``git-svn-last-revision`] %E<br />%b%# '<br />みたいな。gitツリーの外だと [] になっちゃうけど、まあいいやって感じ。<br />ちょっとハマったポイントとしては、prompt_substを使う場合は '~'を使わないといけなくて、"~"だとうまくいかないので注意。
2012-05-14T17:05:38.000Z
2012-05-14T17:05:38.099Z
http://www.jmuk.org/blog/post/z12efvwhatrezpouc220tnbyvwfqz3lt3
『アヴェンジャーズ』見てきたよ！
『アヴェンジャーズ』見てきたよ！<br />たいへんヨイ感じでした。アクションに次ぐアクションな娯楽映画でした。単品映画のある面々はもちろん、ブラックウィドウやホークアイも含めて全員にきちんと見せ場があるのが素晴らしい。というか、これまでの映画では顔見せ程度であまり活躍していなかったけど、ブラックウィドウとホークアイもメインキャラの一角なのでふつうに活躍していて、ブラックウィドウなどほぼ主人公かと思った。ホークアイも超カッコいい！ これからはアーチェリーが流行るね。オレの中で。<br />とくに、全員に見せ場を作りながらも敵味方が入り乱れて戦うラストバトルは、そのわりにとっちらかっておらず、とても見応えがある。<br />尺が長いのが難点だけど、シンプルなストーリーのわりにあんまり長さは感じられなかったなあ。ダレてない。まあ、長い尺の大半は、各キャラに見せ場を作りつつのアクションだからかな。<br /><br />あと、トレイラーには全然出てきてないと思うけど、アイアンマンの新しい装着シークエンスが出てきます。これもカッコ良かった。このシークエンスだけでマスト見るべしですよ。<br /><br />3Dで見に行ったけど、3Dっぽい良さはあんまないので、どっちでも可。
『アヴェンジャーズ』見てきたよ！<br />たいへんヨイ感じでした。アクションに次ぐアクションな娯楽映画でした。単品映画のある面々はもちろん、ブラックウィドウやホークアイも含めて全員にきちんと見せ場があるのが素晴らしい。というか、これまでの映画では顔見せ程度であまり活躍していなかったけど、ブラックウィドウとホークアイもメインキャラの一角なのでふつうに活躍していて、ブラックウィドウなどほぼ主人公かと思った。ホークアイも超カッコいい！ これからはアーチェリーが流行るね。オレの中で。<br />とくに、全員に見せ場を作りながらも敵味方が入り乱れて戦うラストバトルは、そのわりにとっちらかっておらず、とても見応えがある。<br />尺が長いのが難点だけど、シンプルなストーリーのわりにあんまり長さは感じられなかったなあ。ダレてない。まあ、長い尺の大半は、各キャラに見せ場を作りつつのアクションだからかな。<br /><br />あと、トレイラーには全然出てきてないと思うけど、アイアンマンの新しい装着シークエンスが出てきます。これもカッコ良かった。このシークエンスだけでマスト見るべしですよ。<br /><br />3Dで見に行ったけど、3Dっぽい良さはあんまないので、どっちでも可。
2012-05-13T01:09:53.000Z
2012-05-13T01:09:53.288Z
http://www.jmuk.org/blog/post/z12ayz4bkr2ddpfha04cc3agzvjlivwib4g
最近は仕事で使うVCSはもっぱらgitなのですが、今さっきハマったトラブルと解決策についてのメモ。
最近は仕事で使うVCSはもっぱらgitなのですが、今さっきハマったトラブルと解決策についてのメモ。<br />Chromiumでは、というかたいていのgitのワークフローではそうだと思いますが、作業ブランチをつくってそこにコミットしていき、ローカルの差分をどこかにアップロードしてレビューしたり、中央のmasterにプッシュしたらその作業単位は完了、みたいな流れになると思います。<br />今日は、手元のパッチに間違いがあって、ふつうに git commit -a --amendなどとして一息ついてから、今いるのが作業ブランチではなくてmasterだったということに気づいたというケース。amend commitの段階では間抜けなことに気づいておらず、つまり、他の誰かが書いたパッチに自分の修正を混ぜ込んでmasterに放り込んでしまった。以降masterからプルしたらコンフリクトが発生するだろうし、どうにかしないといけない。焦ってgit revertしたら、さらに「そのパッチを取り消すパッチ」が作られてコミットされてしまって余計焦った。<br />いったん落ち着いて、ぐぐってみたり、以前に似たようなケースで社内のgitラバーの人の発言を思い出してみたりすると、git rebaseを使えばよいということがわかった。git rebase -i 'HEAD~3' などとして、先端から3つぶんを改めて見直し、取り消したいパッチ(まちがってamendしたやつとまちがってrevertしたやつ)を消す。これで、手元のレポジトリから問題のパッチを抹消できる。<br />あとはもう一度プルしなおせば、正しいものが改めて降ってくるので、これで問題は解決。<br /><br />ということで結論としては git rebase は便利なので習得しておくべきと思いました。
最近は仕事で使うVCSはもっぱらgitなのですが、今さっきハマったトラブルと解決策についてのメモ。<br />Chromiumでは、というかたいていのgitのワークフローではそうだと思いますが、作業ブランチをつくってそこにコミットしていき、ローカルの差分をどこかにアップロードしてレビューしたり、中央のmasterにプッシュしたらその作業単位は完了、みたいな流れになると思います。<br />今日は、手元のパッチに間違いがあって、ふつうに git commit -a --amendなどとして一息ついてから、今いるのが作業ブランチではなくてmasterだったということに気づいたというケース。amend commitの段階では間抜けなことに気づいておらず、つまり、他の誰かが書いたパッチに自分の修正を混ぜ込んでmasterに放り込んでしまった。以降masterからプルしたらコンフリクトが発生するだろうし、どうにかしないといけない。焦ってgit revertしたら、さらに「そのパッチを取り消すパッチ」が作られてコミットされてしまって余計焦った。<br />いったん落ち着いて、ぐぐってみたり、以前に似たようなケースで社内のgitラバーの人の発言を思い出してみたりすると、git rebaseを使えばよいということがわかった。git rebase -i 'HEAD~3' などとして、先端から3つぶんを改めて見直し、取り消したいパッチ(まちがってamendしたやつとまちがってrevertしたやつ)を消す。これで、手元のレポジトリから問題のパッチを抹消できる。<br />あとはもう一度プルしなおせば、正しいものが改めて降ってくるので、これで問題は解決。<br /><br />ということで結論としては git rebase は便利なので習得しておくべきと思いました。
2012-05-11T17:45:46.000Z
2012-05-11T17:45:46.897Z
http://www.jmuk.org/blog/post/z13sj11hooetyrkl4220tnbyvwfqz3lt3
出張の機内で『アーティスト』を見ました。
出張の機内で『アーティスト』を見ました。<br />これは良いね。サイレント映画末期、スターだった俳優と、トーキーでブレイクした女優、明暗を分けた二人のラブストーリー。映画自体がサイレントで制作されているという凝った作りで、まじめにサイレント映画をみたのも初めてかもしれず、ちょっと新鮮味すらあった。また、一部でトーキーになるカットがあるのだけど、この演出が大変劇的になっているのが素晴らしい。<br />ただ、ラストシーンはどうなんだろう、個人的にはちょっと微妙な気分かなぁ。批判したいわけではないのだけど、ちょっと何か違うような気がする。<br />それにしても「ヒューゴ」といいこれといい、なんなんでしょうね。
出張の機内で『アーティスト』を見ました。<br />これは良いね。サイレント映画末期、スターだった俳優と、トーキーでブレイクした女優、明暗を分けた二人のラブストーリー。映画自体がサイレントで制作されているという凝った作りで、まじめにサイレント映画をみたのも初めてかもしれず、ちょっと新鮮味すらあった。また、一部でトーキーになるカットがあるのだけど、この演出が大変劇的になっているのが素晴らしい。<br />ただ、ラストシーンはどうなんだろう、個人的にはちょっと微妙な気分かなぁ。批判したいわけではないのだけど、ちょっと何か違うような気がする。<br />それにしても「ヒューゴ」といいこれといい、なんなんでしょうね。
2012-05-08T07:00:25.000Z
2012-05-08T07:00:25.265Z
http://www.jmuk.org/blog/post/z12vxpbznwmyexmrv04cc3agzvjlivwib4g
Hmm, I finally noticed that some Kindle books could somehow be stopped to be delivered to my device.
Hmm, I finally noticed that some Kindle books could somehow be stopped to be delivered to my device. I heard "Drowned Cities" by Paolo Bacigalupi has Kindle version already, but I couldn't find it. And there is a review with Kindle version too.<br />Probably that's because I'm in Japan. I changed my address in "Manage your Kindle" page, then suddenly the Kindle version link appeared.<br />I'm happy then, but I'm afraid that some side effect may happen once Kindle store is launched in Japan.
Hmm, I finally noticed that some Kindle books could somehow be stopped to be delivered to my device. I heard "Drowned Cities" by Paolo Bacigalupi has Kindle version already, but I couldn't find it. And there is a review with Kindle version too.<br />Probably that's because I'm in Japan. I changed my address in "Manage your Kindle" page, then suddenly the Kindle version link appeared.<br />I'm happy then, but I'm afraid that some side effect may happen once Kindle store is launched in Japan.
2012-05-06T01:15:49.000Z
2012-05-06T01:15:50.013Z
http://www.jmuk.org/blog/post/z12thz2rbnejtzgam04cc3agzvjlivwib4g
昨日飲んでいる時に、Google+をissue trackerとして愛用している、という話を聞いて、そうなのか、と納得したのだけど、あとになってから考えてみるに、なんかの基準(プライオリティとか)でソートできないのは不便じゃないですか？
昨日飲んでいる時に、Google+をissue trackerとして愛用している、という話を聞いて、そうなのか、と納得したのだけど、あとになってから考えてみるに、なんかの基準(プライオリティとか)でソートできないのは不便じゃないですか？<br />もっとカジュアルに、フロー感覚でバグ報告を見てこなしていって、記録が必要になってからよそのまともなissue trackerに転載する、っていう感じなのかな。ソートが必要なのはそういう記録のほうだから、みたいな。
昨日飲んでいる時に、Google+をissue trackerとして愛用している、という話を聞いて、そうなのか、と納得したのだけど、あとになってから考えてみるに、なんかの基準(プライオリティとか)でソートできないのは不便じゃないですか？<br />もっとカジュアルに、フロー感覚でバグ報告を見てこなしていって、記録が必要になってからよそのまともなissue trackerに転載する、っていう感じなのかな。ソートが必要なのはそういう記録のほうだから、みたいな。
2012-05-02T04:40:22.000Z
2012-05-02T04:40:22.924Z
http://www.jmuk.org/blog/post/z13sg1t5kxqjg3ugu04cc3agzvjlivwib4g
土山しげる『極食キング』4巻
土山しげる『極食キング』4巻 <a href="http://amzn.to/JPZZbM" >http://amzn.to/JPZZbM</a><br /><br />いやあ、今回もすごかったですね。ラーメン勝負で勝った料理の名前がほんとうにどうしようもなくてグッタリしました。思えば『食キング』のころはもうちょっとまともな名前をつけていたと思うのですが……越後ショートとか長崎端麗ラーメンみたいな「お前それそのまんますぎだろ！」みたいな名前が多かったと思いますが、『極食キング』になってからは、舞妓さんの彼女がいる料理人のレストランに「My好飯」(まいこーはん、と読む)だとか、5つのレストランで別々のハヤシライスを出す「五人囃シ」(ごにんはやし)だとか、どーーーでもいいダジャレ感満載のメニュー名を考案してきていい具合でしたが今巻もほんとにしょうもない。「癒し中華」はないだろマジで……。<br /><br />3巻になってから、同作者の『喧嘩ラーメン』のキャラクターとの本格的な対決がはじまり、これはまあそういうクロスオーバーシリーズになっていくのだろうか、という読者の予想がいい意味で裏切られます。掲載誌の「食漫」が休刊になって掲載誌を別冊ゴラクに移し、長期の展開が組み立てづらくなったからでしょうか、ほとんど様式美とも言うべきしょうもない再建話が立て続いて読者の体力を消耗させます。<br /><br />もともと『食キング』は、どうにも立ち行かなくなった料理店が一縷の希望から再建を依頼、料理人の心を取り戻して復活するという展開なんですが、毎度毎度、役に立っているんだか立っていないんだかよくわからない謎の特訓をする、というあたりがキモなわけです(詳細は <a href="http://www.mandarake.co.jp/information/column/iwai/food/031/index.html" >http://www.mandarake.co.jp/information/column/iwai/food/031/index.html</a> などを参照)。<br />今回でいうと、脱サラして唐揚げ店を始めた店主の特訓が白眉かと思われ、どんな特訓かというともとの職場でもとの仕事をさせる、というものでして、何の意味があるのかと疑問に思われる方もおられるかもしれませんが読み終えても意味はやはり全くわからず、ものすごい投げっぱなしのオチで終わるのはさすがに仰天しました。<br />これはこのまま短編シリーズを続けて今巻で完結するのかなと思ったら思わせぶりなところで続く、というのもまたすごい展開でして、さっきから俺この文章でこの漫画をまったく褒めてないと思うんですがこれはやはりスゴイと思っているわけなんです。しかしこの凄さを文章で伝えるのは難しい。前巻、飯を食って涙を流して改心した連中のエピソードが2コマでまとまってるあたりとか相当笑えるんですが、これはなんと言えばいいんですかね……。<br /><br />ところで松山の兄弟の修行はなんだったんですかね今さらどうでもいいけど。
土山しげる『極食キング』4巻 <a href="http://amzn.to/JPZZbM" >http://amzn.to/JPZZbM</a><br /><br />いやあ、今回もすごかったですね。ラーメン勝負で勝った料理の名前がほんとうにどうしようもなくてグッタリしました。思えば『食キング』のころはもうちょっとまともな名前をつけていたと思うのですが……越後ショートとか長崎端麗ラーメンみたいな「お前それそのまんますぎだろ！」みたいな名前が多かったと思いますが、『極食キング』になってからは、舞妓さんの彼女がいる料理人のレストランに「My好飯」(まいこーはん、と読む)だとか、5つのレストランで別々のハヤシライスを出す「五人囃シ」(ごにんはやし)だとか、どーーーでもいいダジャレ感満載のメニュー名を考案してきていい具合でしたが今巻もほんとにしょうもない。「癒し中華」はないだろマジで……。<br /><br />3巻になってから、同作者の『喧嘩ラーメン』のキャラクターとの本格的な対決がはじまり、これはまあそういうクロスオーバーシリーズになっていくのだろうか、という読者の予想がいい意味で裏切られます。掲載誌の「食漫」が休刊になって掲載誌を別冊ゴラクに移し、長期の展開が組み立てづらくなったからでしょうか、ほとんど様式美とも言うべきしょうもない再建話が立て続いて読者の体力を消耗させます。<br /><br />もともと『食キング』は、どうにも立ち行かなくなった料理店が一縷の希望から再建を依頼、料理人の心を取り戻して復活するという展開なんですが、毎度毎度、役に立っているんだか立っていないんだかよくわからない謎の特訓をする、というあたりがキモなわけです(詳細は <a href="http://www.mandarake.co.jp/information/column/iwai/food/031/index.html" >http://www.mandarake.co.jp/information/column/iwai/food/031/index.html</a> などを参照)。<br />今回でいうと、脱サラして唐揚げ店を始めた店主の特訓が白眉かと思われ、どんな特訓かというともとの職場でもとの仕事をさせる、というものでして、何の意味があるのかと疑問に思われる方もおられるかもしれませんが読み終えても意味はやはり全くわからず、ものすごい投げっぱなしのオチで終わるのはさすがに仰天しました。<br />これはこのまま短編シリーズを続けて今巻で完結するのかなと思ったら思わせぶりなところで続く、というのもまたすごい展開でして、さっきから俺この文章でこの漫画をまったく褒めてないと思うんですがこれはやはりスゴイと思っているわけなんです。しかしこの凄さを文章で伝えるのは難しい。前巻、飯を食って涙を流して改心した連中のエピソードが2コマでまとまってるあたりとか相当笑えるんですが、これはなんと言えばいいんですかね……。<br /><br />ところで松山の兄弟の修行はなんだったんですかね今さらどうでもいいけど。
2012-05-01T16:49:45.000Z
2012-05-01T16:49:45.670Z