沖縄の妖怪:ガーナームイ:会いに行ける妖怪

「おきなわ妖怪さんぽ」という本を入手しました。
こちらが出版社ボーダーインクの公式ページ
沖縄に伝わるマジムン(妖怪などの意味)話が紹介されている本です。

その話の1つ「漫湖のガーナームイ」は
 昔、人々を苦しめた妖怪ガーナームイが
 魔よけのシーサーによって封じ込められ
 いつしか小山になり
 現在は那覇市指定文化財になった
というもの。

お!!
ってことは、
 会いに行ける妖怪
ってことですね。

場所を調べたところ、
 奥武山公園のすぐ近く
でした。
ここはとてもアクセスの良いところ。
ゆいレールで那覇空港からも国際通りからも数分の場所なのです。

ゆいレール「奥武山公園駅」に掲示されている周辺地図を見ると
ガーナー森の文字を発見しました。
2015-12-05 09.29.20
沖縄の言葉で「森」のことを「ムイ」と言います。

本で「漫湖のガーナームイ」と題されているように
2015-12-05 09.29.52
漫湖と漫湖公園(英語表記 Manko Park)のすぐ近くです。

行ってみると
2015-12-05 09.38.19
天下一品ラーメンの裏でした。

2015-12-05 09.33.27
これです。
これがガーナームイ!
(元)妖怪です。
こんもりしている森に見えるそれです。

2015-12-05 09.35.51
看板に「ガーナー森」と書かれています。
那覇市指定文化財です。

というわけで、登りました。

2015-12-05 09.36.41
こんな雰囲気です。

まさか、妖怪の上に乗る日がくるとは。

感無量です。

沖縄にはいろいろなマジムンが居ると聞きます。
これからも妖怪スポットを探検したいぞー。

みなさんも、妖怪に会いに行ってみるのは
如何でしょうか。

定理証明支援系 Lean 勉強会

萩原研の大学院生が幹事となり
定理証明支援系 Lean の勉強会を開催することになりました。

以下、スケジュールと(おおまかな)開催場所を掲示します。
内容は 定理証明支援系 Lean のチュートリアルの輪読です。

参加希望者は連絡ください。
ただし、原則、1回以上スピーカーをして頂きます。

開催地、千葉大学大学院理学研究科

2015年
12月17日(木)10:30-17:30
以下、
2016年
 1月15日(金)10:30-17:30
 2月 5日(金)10:30-17:30 
 2月19日(金)10:30-17:30
 3月10日(木)10:30-17:30
 3月24日(木)10:30-17:30

2015-11-27 16.26.21


アイキャッチ画像は
新幹線の車窓から眺めた富士山。

講演予定11月24日~12月4日

こんにちは、萩原です。

講演のお知らせです。

・SITA2015(情報理論とその応用シンポジウム2015)
  11月24~27日
  岡山県 下電ホテル
・実験計画法と符号および関連する組合せ構造 2015
  12月1~3日
  神奈川県 箱根水明荘
・琉球大学 談話会
  12月4日
  沖縄県 琉球大学

内容は、
 挿入/削除誤り訂正符号の構成について。


アイキャッチ画像は、豆腐ちゃんぷる。
本文とは関係ありません。