ご当地ラーメンに変な名前を付ける人もいる。 そして、昨日見かけたすごい名前の店、オレンジハット！ひょっとしてレッドハットとかもあるのか。気になって探してみたら、やっぱりあった。 http://www.jp.redhat.com/全てが、まったくもってわけがわからない…