今日のお昼は京都拉麺小路に最近入った老舗二軒です。

　一軒目は東京の中華そばの老舗大勝軒。今やつけ麺の元祖としてラーメン好きならみんな知ってる勢いのお店です。つけ麺の創始者山岸一雄氏が切り盛りしていた東池袋店は一種の聖地ですよね。山岸氏お昼になると外に座ってたりするし。
　そんな大勝軒が最近京都拉麺小路に入ったと聞いていたので行ってきました。
　味は大勝軒なので軽く食べ飽きてるんですが、魚介がきついつけ麺が多い昨今たまに大勝軒のつけ麺を食べるとほっとしますね。
　さらりと食べて他の店もと思っていたらタマネギ発見。そういえばこの手のトッピングしたことないなと入れてみたら世界が変わりました。一度は入れてみるべきですタマネギ。

　二軒目は京都銀閣寺の老舗ますたに京都背脂醤油の元祖とも言われるますたにの中華そば大好きです。
　長月はやっぱり京都人なので京都のラーメン好きです。たかばし系も鶏ガラ白湯も背脂醤油も食べたくてしょうがないときがあります。そういうとき背脂醤油の代表として思い出すのがますたにと宝屋。宝屋は残念ながら閉店しましたがますたには健在です。
　さてそのますたにのお味はやはりさすがのクオリティでした。思わずうめえなあとつぶやきながら食べる始末です。
　長月はよく京都駅近辺で活動するので活動圏内に出展されたのはうれしい限りですね。これからくじら軒と並んで拉麺小路の定番になりそうです。

　携帯から画像投稿出来るようになったのでラーメンメモ開始です。
　今日の晩御飯は春日亭の醤油そば。と言っても汁がほとんどない所謂油そばです。
　醤油そばとシンプルな名前ですが味は単調ではないです。動物ベースの出汁にちゃんと醤油らしい味も加えて高いレベルでまとめてます。流石に複数の動物ベースを合わせている鶏豚そばよりはシンプルな味ですが負けず劣らずの主張をもってます。

　そしてここの油そばはそれ自体もおいしいんですが、残った汁で卵かけご飯にするのがとてもおいしいです。
　以前食べた鶏豚そばよりも醤油そばの方がシンプルな味なので卵かけご飯に向いてるかもですね。

　多分写真が横向きですがその内直します。

　これがちゃんとポスト出来たらラーメンメモちゃんと始めます。

　ちょっとコンテナに用事があって、マルチスレッドなので色々気をつけるのもめんどくさくてjava.util.concurrentパッケージなんて調べてたんですが、APIドキュメントを読んでて意味不明な用語がありました。

日本語版Javadoc

　ConcurrentLinkedQueueの辺り。「リンクノードに基づく、アンバウンド形式のスレッドセーフなキューです」。
　アンバウンド形式って何？

　よくわからないので原文探してみた。

英語版Javadoc

　同じくConcurrentLinkedQueueの辺り。「An unbounded thread-safe queue based on linked nodes」。
　ん？　形式とかどこ？　unboundedがアンバウンド形式？
　unboudedはboundedでない。詰まり有界ではないと言ってる気がする。誤訳なんちゃうのこれ。
　と思ったら結構有名みたいこの誤訳。直せよ(´・ω・｀)

　DevelopersでMatrixの仕様を確認しようとしたついでにいくつかblogを見た感じ

http://mymo.blog8.fc2.com/blog-entry-39.html
http://blog.livedoor.jp/inosan206/archives/51847604.html

　見たいにはまった人が居るようなので解説。

　Matrixには行列を設定するメソッドがいくつも用意されてます。

• xxxRotate
• xxxScale
• xxxSkew
• xxxTranslate

　xxxにはpre、set、postが入ります。
　preはすでに設定されている行列より前に目的の操作が行われるように行列を掛け合わせます。
　setは与えられた引数で行列を作って設定します。
　postはすでに設定されている行列の後に目的の操作が行われるように行列を掛け合わせます。

　つまり冒頭で挙げたblogのような不思議な挙動は使うメソッド或いはメソッドの順番が問題だったわけですね。

　最近ほとんど毎日ラーメン食べてる長月です。 　ただ食べてるだけももったいないのでブログに書こうかと思います。 　いつも通り三日坊主の予感がする宣言です。。。

　どうもどうも以前C#の仕事するかも詐欺を行った長月です。

　今度こそC#の仕事にアサインされたので勉強用の書籍を探しています。
　とりあえず独習C#2.0があるのでその範囲外のトピックを扱ってるものがいいです。
　アプリ作るときに気をつけるべきものとか.NETに特有の事情とかC#らしいスタイルがよくわかるとかお前ライブラリの中身とか低レイヤの事情とか好きだろ？　とかそういう観点でいい書籍があったら教えてください。

　↓しかたねーな教えてやんよという方はコメントどぞー。

　The Interviewsに登録してみたので質問したい人質問ください。

http://theinterviews.jp/aoitan

　長月はXOOMで文章を書くときはApple Wireless Keyboardを使っているのですが、XOOMで常用しているFEPがATOKなので地味にBTキーボードと相性が悪い。
　日本語切り替えがキーボードで完結できないの地味に不便す。。。 　今日久しぶりにXOOMで書き物しようとしたらjota text editorで日本語入力が出来なくて困ってみたり。どうしよう。。。 　ATOK for AndroidがBTキーボードに対応してくれたらなー。。。キーボードでの日本語切り替えができたらなー。。。

　ちょっとした思いつきとか都合で数学的 (というか論理学的) な話をいくつか書いていこうと思います。
　長月はわんくま勉強会で論理の話をしているんですが、ちょこちょこ何か書いていかないと急に資料作るの大変だとか、多分これまでのセッションでぽかーんになったままの人が沢山居るだろうからフォローしないとなとか例示が足りてなかったなとか口頭でフォローするからいいやとそれだけでわかる資料になってないなとか思うところがあります。
　なので数学なお話をしばらく書いていこうかなと思います。計算理論や論理学の本に書いてあるような説明から、わんくま勉強会で話しているときにポロポロと漏らしていた長月の感想的な部分など、長月の言葉で論理学を見ていきましょう。
　第一回の今回は命題論理について。

目次

• 1.命題論理事始め
• 1.1.命題ってなんだ？
• 1.2.論理って何だ？
• 1.3.結局命題論理ってなんだ？
• 2.命題論理の規則
• 2.1.命題変数
• 2.2.論理結合子
• 2.3.書き換え規則