  |
はてなキーワード: 能代とは
県庁所在地の都会度比較はお国自慢的な話でさんざん語り尽くされてるテーマだと思うが、県庁所在地以外の街についてはあまり語られてない気がするので、実際のところどうなのか興味が湧いている。
下記のような分野別にポイント加算して、総合点の大きい都市を都会度上位としたい。
◼︎人口
◼︎交通
新幹線駅20ポイント、空港20ポイント(リムジンバスで直に移動できればOKとする)、私鉄20ポイント(3セクを除く)、バス以外の都市交通20ポイント、高速道路20ポイント(東名等の幹線と繋がっていること)で合計100ポイント
◼︎商業
百貨店20ポイント、大型化電量販20ポイント(ヨドバシ、ビック等)、大型書店20ポイント(紀伊国屋、ジュンク堂、丸善等)、シネコン20ポイント、プロスポーツチーム20ポイントで合計100ポイント
◼︎文化
大学20ポイント、動物園20ポイント、水族館20ポイント、博物館20ポイント、美術館20ポイントで合計100ポイント
各都道府県から最低一つは選出、人口少なくてもエリアの拠点的な要素あれば採用
◼︎北海道
◼︎東北
弘前、八戸、一関、大館、能代、横手、石巻、白石、酒田、鶴岡、米沢、郡山、会津若松、いわき
◼︎甲信越
◼︎関東
高崎、太田、佐野、日立、土浦、つくば、柏、船橋、成田、川越、秩父、川口、八王子、立川、町田、川崎、相模原
◼︎北陸
◼︎東海
熱海、沼津、富士宮、浜松、豊橋、岡崎、大垣、高山、桑名、四日市、伊賀
◼︎近畿
◼︎中国
◼︎四国
◼︎九州
北九州、久留米、佐世保、鳥栖、別府、延岡、都城、八代、霧島、鹿屋
◼︎沖縄
さて、どの街が上位に来るかな？
「子連れの家庭向けの大型イベント」ってどの地方も言うけどさ、まず、子持ち世帯は全国で1千万世帯割れてる。ここ30年で2/3ぐらいの勢いだっけか。
イベントやるからにはオフシーズンの平日なんかにはやらず、大型連休だの夏休みだの良い日程を抑えるよね。
当然体は一つしかなく予算にも限りがあるから、この小さいパイを他の娯楽とか用事と奪い合うことになるわけよ。
子連れ家庭は結構忙しいから、家族みんなで出かけるのなんて年に数回、わざわざハイシーズンに宿泊を伴う遠出なんてそもそもやらない家も多い。そこわかってんのかな？
次、おでかけしようという子連れ家庭がいたとして、行き先の選定候補に田舎の大型イベントが入るかどうかが問題だ。
とかなので、だいたいディズニーランド、USJ、あとはキッザニアとか各地の有名テーマパークがライバルになる。むしろ近所のイオンモールのほうがニーズ満たしてる。
冷静に考えて、田舎の偉いおじさんと御用コンサルが急造したイベントが勝てるわけがないじゃん。ダンボール授乳室と仮設トイレなんてイヤじゃん。
結局、子連れが年1回どこかに家族旅行するぞってなったときに、地方の良く知らないイベントが候補に登ることはないんだよ。
子供だって、ディズニーやめて徳島行くぞって言われたら「なんで？」ってなるわ。
子連れがダメなら、スポーツを軸にっていったって、マスなスポーツファンはだいたい地元に贔屓のチームを持ってて、贔屓のチームが絡まないとアウェーの田舎には行かない。
だいたい、毎年いろんな県で国体が開かれてるし、どこの県にもご立派なスタジアムなんてのはたくさんあるわけだけど、わざわざ地元以外に見に行くやついる？
どこでやってるかすら知らんことが多いだろ？
はっきりいって何もない田舎にフットワーク軽くでかけて、イベントがあるとなれば毎年の恒例行事として早くから宿を取り、仲間と現地で待ち合わせしてその土地にお金を落として・・・なんてのは何らかのオタクしかいねえのよ。普通の人ではないわけ。
萌えコンテンツツーリズムがイヤだとしたら鉄道、鉄道がイヤなら祭り、城、あるいは変態グルメ、酒。そういうフックがあって少数のマニアが毎年来るってだけでかなり成功なんだよ。
スポーツでも、ある特定のスポーツのニッチなファンを「聖地」として取り込むなら現実味はある。能代＝バスケみたいな感じで。
徳島なら、まだ阿波踊りブームを起こすぐらいのほうが現実味がある。
マス人気がほしい気持ちはわかるけど、田舎には無理。その現実を見た方がいいと思う。
現実問題として、会期中に地元の宿が満室になったんなら、それ以上の県外客を呼び込むキャパはどうあがいてもないんだから、単発のイベントとしてはそれで成功でいいんじゃないのかと思う。
それでは結局地元は潤わないっていうなら、その規模で回数増やすとか、グッズ売るとか、街に来たらいつでも楽しめるような常設コンテンツ作り、さらには移住につなげるとかやりようはあると思うし。
思い出したけど、子供がオタクの場合それに親が引きずられる形で旅行やイベントに出かけるってけっこうある。
プリキュアオタクの子供＋親とか、鉄道オタクの子供＋親とかそういう組み合わせのオタクコンテンツってのはわりと勝ち味あるかもしれない。
【北海道】
経験はあまりないらしいが積極的でよかった。やはり北海道らしく体がでかい。
【青森】
彼氏持ちなのにセックスに飢えていた模様。貪欲すぎてちょっとひいた。
【岩手】
一関からわざわざ盛岡まで車を飛ばしてきてくれた。チャットアプリで遠方の相手でも会えれば会うらしい。
【秋田】
ひなこ・21歳、女子大生
秋田市街の車で入れるラブホで2発。とにかくたくさんセックスがしたいらしい。特に県外の人としたいとのこと。
秋田美人らしいが、ちょっとギャルっぽい。他の女の子もそうだが秋田は貧乳率が高い。
みき・35歳、看護師
やっぱり貧乳。鏡の前でやるのがマイブームらしい。真面目そうに見えて変態。
たまたま新幹線で知り合いになってその後能代ってとこに飲みに行った流れでセックス。古いラブホで少し匂いがきつかった。
【宮城】
なし
【山形】
めちゃくちゃ忙しくてラブホに行く時間がないという理由だけで土曜日の早朝にアパートまで出向いて時短セックス2発。
一人暮らしの女子の部屋でセックスするのはいつもながら興奮する。ベッドギシギシしてた。先生だからなのか声がでかい。
【福島】
なし
【茨城】
みずき・22歳、看護師
一人っ子で嫌われるのを極端に嫌うらしく、なんでも言うことを聞いてくれた。それでやっていけるのか…？
【栃木】
足利のラブホで中出しセックス3発。史上最多。さすがにきつかった。
巨乳、とにかく巨乳。あれはGかHはあった。でかすぎるのも考えもの。彼氏持ちなのにセックスしたくてたまらないとのこと。
【群馬】
高崎のラブホでセックス2発。手マンで何回でもイけるが、そのうち潮を吹く。潮吹きしたら恥ずかしがってた、かわいい。
経験人数が少ないらしく、テクニックはいまいち。仕込む価値はあり。群馬だからなのか肌はザラザラ。
前橋で飲んでいた時に仲良くなってその流れでホテルでセックス。
割とお堅い印象なのに酔わせるとエロい。連絡が頻繁にくるのがちょっとめんどくさい。
※首都圏に出張することはないので埼玉、千葉、東京、神奈川は省略
【長野】
かなこ・30歳、看護師
長野市の自宅で中出しセックス。2泊してずっとセックスしてた。最高のセフレ。
【山梨】
なし
【静岡】
【新潟】
転職して東京に行きたいらしい。新潟の人の東京志向の強さはなんなの。
みう・27歳、アパレル
新潟市内のラブホでセックス2発。かわいいけどガリガリであんまり締まりもよくない。
やはり東京のアパレルに転職したいらしい。アパレルなだけあっておしゃれだが痩せすぎ。
【富山】
なし
【石川】
ナミ・32歳、OL（既婚）
性格はとてもよくて話は合うんだけど、性的にはあんまり興奮しない。
【福井】
福井市のホテルに泊まって夜と朝にセックス。若いのにテクニックありすぎ。
俺以外にもセフレが2人いるらしい。テクニックは最高だが病気が怖いので必ずゴムを装着する。
【愛知】
まき・26歳、主婦
チャットアプリで知り合ってすぐ金山のラブホでセックス2発。経験はあまりないらしく正常位とバックのみ。
この年で主婦ってちょっと怖い。ヤンキー経過と思ったらオタクっぽい。
【岐阜】
マッチングアプリで知り合ってその日にラブホでセックス2発。割とマグロ。
美容師だからかよくしゃべる。疲れてるときはちょっとめんどくさい。
【滋賀】
なし
【三重】
なし（未踏）
【和歌山】
なし（未踏）
【京都】
チャットアプリで知り合う。川端通りのラブホでセックス2発。対面座位が好き。
スタイルはいい。スタイルは・・・。若いだけあって肌すべすべ。
なお・27歳、インストラクター
出張中にマッチングアプリでダメもとでいいね！したらマッチしたので、軽く飲んで彼女の部屋で夜と朝にセックス2発。
職業柄スタイルも見た目もめちゃくちゃいいがマッチングアプリで遊びまくっているらしいのでゴムは必須。
ゆみ・22歳、大学生
京都市内のHUBで飲んでいたときに知り合う。少し酔っていたのでラブホで1発のみ。
京都だけあって学生が多い。お金がないのか少し下着がボロかったのが気になった。
【奈良】
なし（未踏）
【大阪】
チャットアプリで知り合う。梅田のラブホで勢いで中出し2発。脱がせたら意外とまだまだいける体だった。
チャットアプリで知り合う。難波のラブホで2発。騎乗位が好きなだけあって腰振りがすごい。
見た目はなかなかいいのだが、意外に毛深い。今度会ったら処理してあげたい。
【兵庫】
明石で飲んでるときに知り合った。明石駅からちょっと歩いたラブホで2発。久しぶりだったらしくすごかった。
見た目は40には見えない若さ。自営業だからか人の懐に入るのがうまい。
ポートアイランドにキャンパスのある大学に通っているらしい。モデル体型だが締まりは良くない。
【岡山】
ゆうか・32歳、自営業（既婚）
移動中の新幹線でチャットアプリをいじっていたときに知り合う。岡山駅から少し離れたラブホでセックス2発。
【広島】
チャットアプリで知り合う。広島市内のラブホで中出し2発。中出しが好きらしい。中に出されるだけで1回イける体質。
風俗狂いの旦那と離婚したがっている。俺と既成事実を作って離婚したいらしいが、俺はそのつもりはない。
チャットアプリで知り合う。処女。せっかくなので広島市内のそこそこいいホテルを予約して処女卒業。翌朝もう1発。後日ラブホにも行ってセックス2発。
知り合った当初は高校生だった。通話で1年半オナニーやらいろいろ仕込んだ。口癖は「はやくおとなになりたい」。学校の先生になりたいらしい。まあまあかわいいが言動が痛々しい。
【山口】
チャットアプリで知り合う。彼女の部屋でセックス2発。泊まらず帰った。
見た目は真面目そうだがビッチ。やりたいと思った男と手当たり次第にやってるらしい。
【島根】
宍道湖の温泉宿でナンパ。松江市内のラブホでセックス2発。かなり飢えてた。
【鳥取】
さすがに人いないだろ…と思ったが米子駅前のイオンで知り合う。近くにラブホもないので宿泊先のホテルをダブルの部屋に変更してセックス2発。
経験人数1人、1回だったらしい。本当かわからないがセックスで初めて気持ちよくなったと言ってくれて嬉しい限り。貧乳だが肌すべすべ。
【香川】
なし（未踏）
【徳島】
なし（未踏）
【愛媛】
なし（未踏）
【高知】
りさ・26歳、OL
【福岡】
マッチングアプリで知り合う。遠距離恋愛中。中洲のラブホでセックス2発。名器。
エロいわりにほぼ経験なし。彼氏のがでかすぎて痛くて入らないらしい。俺のも同じくらいなので時間をかけて挿入。ゴムありなのにお腹にかけられるのが好き。
もえ・25歳、営業職
チャットアプリで知り合う。処女。中洲のラブホテルでセックス1発して処女卒業。後日同じラブホでもう1発。
キスが好き。寂しがり。中が狭く入るまでがかなり大変だった。
ゆう・21歳、大学生
チャットアプリで知り合う。ドM。一人暮らしの部屋でセックス2発。なぜか紐パンだった。
ちょっとおバカ。たぶん頼まれれば誰とでもセックスしそうだが本人は否定。
【佐賀】
【長崎】
【熊本】
【大分】
【宮崎】
【鹿児島】
【沖縄】
甲→甲→甲→乙でクリア。各資源40000ほど、バケツ250ほど使用。
E-1での伊26堀りは全く苦労せず、丙で4,5回ほど掘ったら出てきた。ありがたい。先制対潜なんてシステムを知らなかったので夕張や潮を緊急で育てるのにちょっと手こずった。今にして思えばここで時間を食ったのがまずかった。
E-2は今までの輸送作戦で一番楽だったと思う。大発用の駆逐を育てておいて良かった。しかし磯風は今回も出ず。縁がない。
E-3が大問題だった。丙でもそれなりに出るという話を信じてAquilaを掘り始めたがこれが出ない。掘っても掘っても掘っても掘っても出ない。資源は溶けに溶ける。もうあの基地航空隊システムなんなんだよ。残り時間に本格的な不安を覚え堀りを断念。ひとしきり田中と引きの弱さを呪ったのち、甲でゲージを削り始めたら、思ったよりボスが強いというかボスにたどり着くまでが厳しい。ヲ級改と夏姫ちゃんにボコられ、そしてボスを割れない。泣きそうになったがしかし大淀さんがやってくれた。ゲージ破壊とともにAquilaドロップ。丙堀りの苦労はなんだったのか。
E-4開始時にはもうすっかり甲勲章のことなど頭に無く、乙でゆるゆるとクリア。乙だと簡単でマジ助かった。速吸使わなくても良かった。
主なレアドロップは速吸、能代、朝霜、雲龍、Libeccio。Libeccioって本当にドロップするんだね、びっくりした。予備にとっておこう。
次のイベントまでにいい加減に大型艦建造にとりかからなきゃいけない。大鳳もBismarckもあると楽なんだよね、たぶん。でも資源がさあ……
PIXIVで艦娘の名前を検索ボックスに入れて、50枚目の絵の日時を調べる。
但し、別作品の絵が見えたら目視で数える。多ければ除外検索を使う
ワンドロでの採用が最近あったとか人気以外の要素が入る（必ずしも人気と対応するランキングでない）
多分忘れられている艦がいる
作業者はこの手の作業で間違いを犯さなかったことがない
6 電 4月24日 22:18
8 潮 4月24日 02:35
21 木曾 4月22日 04:57
25 叢雲 4月22日 00:02
30 青葉 4月20日 07:16
34 朧 4月1日 19:53
36 まるゆ 4月19日 16:05
42 球磨 4月18日 00:09
46 摩耶 4月17日 00:46
60 阿武隈 4月12日 22:04
62 古鷹 4月12日 21:42
69 準鷹 4月9日 02:06
71 伊168 4月8日 01:14
72 村雨 4月7日 00:39
73 霞 4月7日 00:01
74 巻雲 4月6日 22:52
75 曙 4月6日 22:49
80 加古 4月5日 16:58
87 初春 3月30日 02:39
88 鬼怒 3月30日 02:0
94 祥鳳 3月25日 16:42
95 深雪 3月24日 22:49
深雪 3月24日 22:49
叢雲 4月22日 00:02
磯波 3月7日 04:02
比叡 4月22日 00:32
菊月 3月17日 22:30
球磨 4月18日 00:09
木曾 4月22日 04:57
古鷹 4月12日 21:42
加古 4月5日 16:58
青葉 4月20日 07:16
摩耶 4月17日 00:46
準鷹 4月9日 02:06
朧 4月1日 19:53
曙 4月6日 22:49
潮 4月24日 02:35
電 4月24日 22:18
初春 3月30日 02:39
初霜 3月16日 22:55
村雨 4月7日 00:39
満潮 3月19日 01:08
荒潮 3月3日 00:18
霞 4月7日 00:01
祥鳳 3月25日 16:42
鬼怒 3月30日 02:0
阿武隈 4月12日 22:04
伊19 4月21日 16:55
伊168 4月8日 01:14
巻雲 4月6日 22:52
まるゆ 4月19日 16:05
仕事柄、各県の経済指標などを横並び比較しているが、それを見れば
「福岡以外の九州と四国は貧しいなあ」「さらに東北は・・・」みたいな差異がくっきりと見えてくる。
東京人は「富山と山口と青森、みな経済状況はどんぐりの背比べで貧しいんでしょ？」と思っちゃうんだろうが、
東京からの距離、という観点なら、青森並に「鹿児島」「北海道」辺りが貧しくても不思議じゃないのだが、
で、「青森が最貧になった理由」の自分なりの推測結果を備忘録でメモしておく。
・瀬戸内海の内洋海運が利用できた西日本は、外洋海運しか利用できない東北より、江戸時代には物流的に有利だった
（あと東北だと冷害の影響もある、という意見もあるが、逆に西日本は台風の影響がある）
・たぶん、戦前だと岩手と青森の貧しさは同レベルだったと思う。
・それがここまで差が付いたのは、「東北新幹線の拠点が、長らく盛岡だった」ということが大きい。
東北新幹線が盛岡止まりになったことで、多くの企業が「北東北支店」を秋田でも青森でもなく、盛岡に設置した。
秋田は小坂の鉱山、米代川[能代]の林業、秋田の油田などの基礎産業が豊富だった。
たぶん、戦前において、北東北で一番豊かだったのは秋田では？[今は岩手の方が豊かだが]
・これは「炭鉱の有無」だろう。
高度成長まで、北海道経済は炭鉱で支えられていたと言っても過言じゃない。
で、秋田や北海道みたいに「５０～１００年前に産業が栄えた」場所というのは、その「正のレガシー」を数世代にわたって継承していけるものである。
例えば、炭鉱町に対して、各種のサービス業が付随して発生する。小売も増えるし、公務員数も増える。
また、現役時代に炭鉱勤務した人は、リタイア後も炭鉱町で年金生活する。
となると、そういう人へのサービス業は、縮小しながらも続いていく。
第1章 有限オートマトン D.Perrin：橋口攻三郎 1. 序論 2. 有限オートマトンと認識可能集合 3. 有理表現 4. Kleeneの定理 5. 星の高さ 6. 星自由集合 7. 特殊なオートマトン 8. 数の認識可能集合 第2章 文脈自由言語 J.Berstel and L.Boasson：富田 悦次 1. 序論 2. 言語 2.1 記法と例 2.2 Hotz 群 2.3 曖昧性と超越性 3. 反復 3.1 反復補題 3.2 交換補題 3.3 退化 4. 非生成元の探求 4.1 準備 4.2 生成元 4.3 非生成元と代入 4.4 非生成元と決定性 4.5 主錐の共通部分 5. 文脈自由群 5.1 文脈自由群 5.2 Cayleyグラフ 5.3 終端 第3章 形式言語とべき級数 A.Salomaa：河原 康雄 1. 序論 2. 準備 3. 書換え系と文法 4. Post正準系 5. Markov系 6. 並列書換え系 7. 射と言語 8. 有理べき級数 9. 代数的べき級数 10. べき級数の応用 第4章 無限の対象上のオートマトン W.Thomas：山崎 秀記 序論 Ⅰ部 無限語上のオートマトン 記法 1. Buchiオートマトン 2. 合同関係と補集合演算 3. 列計算 4. 決定性とMcNaughtonの定理 5. 受理条件とBorelクラス 6. スター自由ω言語と時制論理 7. 文脈自由ω言語 Ⅱ部 無限木上のオートマトン 記法 8. 木オートマトン 9. 空問題と正則木 10. 補集合演算とゲームの決定性 11. 木の単項理論と決定問題 12. Rabin認識可能な集合の分類 12.1 制限された単項2階論理 12.2 Rabin木オートマトンにおける制限 12.3 不動点計算 第5章 グラフ書換え：代数的・論理的アプローチ B.Courcelle：會澤 邦夫 1. 序論 2. 論理言語とグラフの性質 2.1 単純有向グラフの類S 2.2 グラフの類D(A) 2.3 グラフの性質 2.4 1階のグラフの性質 2.5 単項2階のグラフの性質 2.6 2階のグラフの性質 2.7 定理 3. グラフ演算とグラフの表現 3.1 源点付きグラフ 3.2 源点付き超グラフ 3.3 超グラフ上の演算 3.4 超グラフの幅 3.5 導来演算 3.6 超辺置換 3.7 圏における書換え規則 3.8 超グラフ書換え規則 4. 超グラフの文脈自由集合 4.1 超辺置換文法 4.2 HR文法に伴う正規木文法 4.3 超グラフの等式集合 4.4 超グラフの文脈自由集合の性質 5. 超グラフの文脈自由集合の論理的性質 5.1 述語の帰納的集合 5.2 論理構造としての超グラフ 5.3 有限超グラフの可認識集合 6. 禁止小グラフで定義される有限グラフの集合 6.1 小グラフ包含 6.2 木幅と木分解 6.3 比較図 7. 計算量の問題 8. 無限超グラフ 8.1 無限超グラフ表現 8.2 無限超グラフの単項性質 8.3 超グラフにおける等式系 8.4 関手の初期不動点 8.5 超グラフにおける等式系の初期解 8.6 等式的超グラフの単項性質 第6章 書換え系 N.Dershowitz and J.-P.Jouannaud：稲垣 康善，直井 徹 1. 序論 2. 構文論 2.1 項 2.2 等式 2.3 書換え規則 2.4 決定手続き 2.5 書換え系の拡張 3. 意味論 3.1 代数 3.2 始代数 3.3 計算可能代数 4. Church-Rosser性 4.1 合流性 4.2 調和性 5. 停止性 5.1 簡約順序 5.2 単純化順序 5.3 経路順序 5.4 書換え系の組合せ 6. 充足可能性 6.1 構文論的単一化 6.2 意味論的単一化 6.3 ナローイング 7. 危険対 7.1 項書換え 7.2 直交書換え系 7.3 類書換え 7.4 順序付き書換え 7.5 既約な書換え系 8. 完備化 8.1 抽象完備化 8.2 公平性 8.3 完備化の拡張 8.4 順序付き書換え 8.5 機能的定理証明 8.6 1階述語論理の定理証明 9. 書換え概念の拡張 9.1 順序ソート書換え 9.2 条件付き書換え 9.3 優先度付き書換え 9.4 グラフ書換え 第7章 関数型プログラミングとラムダ計算 H.P.Barendregt：横内 寛文 1. 関数型計算モデル 2. ラムダ計算 2.1 変換 2.2 計算可能関数の表現 3. 意味論 3.1 操作的意味論：簡約と戦略 3.2 表示的意味論：ラムダモデル 4. 言語の拡張 4.1 デルタ規則 4.2 型 5. 組合せ子論理と実装手法 5.1 組合せ子論理 5.2 実装の問題 第8章 プログラミング言語における型理論 J.C.Mitchell：林 晋 1. 序論 1.1 概論 1.2 純粋および応用ラムダ計算 2. 関数の型をもつ型付きラムダ計算 2.1 型 2.2 項 2.3 証明系 2.4 意味論と健全性 2.5 再帰的関数論的モデル 2.6 領域理論的モデル 2.7 カルテシアン閉圏 2.8 Kripkeラムダモデル 3. 論理的関係 3.1 はじめに 3.2 作用的構造上の論理的関係 3.3 論理的部分関数と論理的同値関係 3.4 証明論的応用 3.5 表現独立性 3.6 論理的関係の変種 4. 多相型入門 4.1 引数としての型 4.2 可述的な多相的計算系 4.3 非可述的な多相型 4.4 データ抽象と存在型 4.5 型推論入門 4.6 型変数をもつλ→の型推論 4.7 多相的宣言の型推論 4.8 他の型概念 第9章 帰納的な関数型プログラム図式 B.Courcelle：深澤 良彰 1. 序論 2. 準備としての例 3. 基本的な定義 3.1 多ソート代数 3.2 帰納的な関数型プログラム図式 3.3 同値な図式 4. 離散的解釈における操作的意味論 4.1 部分関数と平板な半順序 4.2 離散的解釈 4.3 書換えによる評価 4.4 意味写像 4.5 計算規則 5. 連続的解釈における操作的意味論 5.1 連続代数としての解釈 5.2 有限の極大要素と停止した計算 6. 解釈のクラス 6.1 汎用の解釈 6.2 代表解釈 6.3 解釈の方程式的クラス 6.4 解釈の代数的クラス 7. 最小不動点意味論 7.1 最小で唯一の解を得る不動点理論 7.2 Scottの帰納原理 7.3 Kleeneの列と打切り帰納法 8. プログラム図式の変換 8.1 プログラム図式における同値性の推論 8.2 畳込み，展開，書換え 8.3 制限された畳込み展開 9. 研究の歴史，他の形式のプログラム図式，文献ガイド 9.1 流れ図 9.2 固定された条件をもつ一様な帰納的関数型プログラム図式 9.3 多様な帰納的関数型プログラム図式 9.4 代数的理論 9.5 プログラムの生成と検証に対する応用 第10章 論理プログラミング K.R.Apt：筧 捷彦 1. 序論 1.1 背景 1.2 論文の構成 2. 構文と証明論 2.1 1階言語 2.2 論理プログラム 2.3 代入 2.4 単一化子 2.5 計算過程―SLD溶融 2.6 例 2.7 SLD導出の特性 2.8 反駁手続き―SLD木 3. 意味論 3.1 1階論理の意味論 3.2 SLD溶融の安全性 3.3 Herbrand模型 3.4 直接帰結演算子 3.5 演算子とその不動点 3.6 最小Herbrand模型 3.7 SLD溶融の完全性 3.8 正解代入 3.9 SLD溶融の強安全性 3.10 手続き的解釈と宣言的解釈 4. 計算力 4.1 計算力と定義力 4.2 ULの枚挙可能性 4.3 帰納的関数 4.4 帰納的関数の計算力 4.5 TFの閉包順序数 5. 否定情報 5.1 非単調推論 5.2 閉世界仮説 5.3 失敗即否定規則 5.4 有限的失敗の特徴付け 5.5 プログラムの完備化 5.6 完備化の模型 5.7 失敗即否定規則の安全性 5.8 失敗即否定規則の完全性 5.9 等号公理と恒等 5.10 まとめ 6. 一般目標 6.1 SLDNF-溶融 6.2 SLDNF-導出の安全性 6.3 はまり 6.4 SLDNF-溶融の限定的な完全性 6.5 許容性 7. 層状プログラム 7.1 準備 7.2 層別 7.3 非単調演算子とその不動点 7.4 層状プログラムの意味論 7.5 完全模型意味論 8. 関連事項 8.1 一般プログラム 8.2 他の方法 8.3 演繹的データベース 8.4 PROLOG 8.5 論理プログラミングと関数プログラミングの統合 8.6 人工知能への応用 第11章 表示的意味論 P.D.Mosses：山田 眞市 1. 序論 2. 構文論 2.1 具象構文論 2.2 抽象構文 2.3 文脈依存構文 3. 意味論 3.1 表示的意味論 3.2 意味関数 3.3 記法の慣例 4. 領域 4.1 領域の構造 4.2 領域の記法 4.3 記法上の約束事 5. 意味の記述法 5.1 リテラル 5.2 式 5.3 定数宣言 5.4 関数の抽象 5.5 変数宣言 5.6 文 5.7 手続き抽象 5.8 プログラム 5.9 非決定性 5.10 並行性 6. 文献ノート 6.1 発展 6.2 解説 6.3 変形 第12章 意味領域 C.A.Gunter and D.S.Scott：山田 眞市 1. 序論 2. 関数の帰納的定義 2.1 cpoと不動点定理 2.2 不動点定理の応用 2.3 一様性 3. エフェクティブに表現した領域 3.1 正規部分posetと射影 3.2 エフェクティブに表現した領域 4. 作用素と関数 4.1 積 4.2 Churchのラムダ記法 4.3 破砕積 4.4 和と引上げ 4.5 同形と閉包性 5. べき領域 5.1 直観的説明 5.2 形式的定義 5.3 普遍性と閉包性 6. 双有限領域 6.1 Poltkin順序 6.2 閉包性 7. 領域の帰納的定義 7.1 閉包を使う領域方程式の解法 7.2 無型ラムダ記法のモデル 7.3 射影を使う領域方程式の解法 7.4 双有限領域上の作用素の表現 第13章 代数的仕様 M.Wirsing：稲垣 康善，坂部 俊樹 1. 序論 2. 抽象データ型 2.1 シグニチャと項 2.2 代数と計算構造 2.3 抽象データ型 2.4 抽象データ型の計算可能性 3. 代数的仕様 3.1 論理式と理論 3.2 代数的仕様とその意味論 3.3 他の意味論的理解 4. 単純仕様 4.1 束と存在定理 4.2 単純仕様の表現能力 5. 隠蔽関数と構成子をもつ仕様 5.1 構文と意味論 5.2 束と存在定理 5.3 隠蔽記号と構成子をもつ仕様の表現能力 5.4 階層的仕様 6. 構造化仕様 6.1 構造化仕様の意味論 6.2 隠蔽関数のない構造化仕様 6.3 構成演算 6.4 拡張 6.5 観測的抽象化 6.6 構造化仕様の代数 7. パラメータ化仕様 7.1 型付きラムダ計算によるアプローチ 7.2 プッシュアウトアプローチ 8. 実現 8.1 詳細化による実現 8.2 他の実現概念 8.3 パラメータ化された構成子実現と抽象化子実現 8.4 実行可能仕様 9. 仕様記述言語 9.1 CLEAR 9.2 OBJ2 9.3 ASL 9.4 Larch 9.5 その他の仕様記述言語 第14章 プログラムの論理 D.Kozen and J.Tiuryn：西村 泰一，近藤 通朗 1. 序論 1.1 状態，入出力関係，軌跡 1.2 外的論理，内的論理 1.3 歴史ノート 2. 命題動的論理 2.1 基本的定義 2.2 PDLに対する演繹体系 2.3 基本的性質 2.4 有限モデル特性 2.5 演繹的完全性 2.6 PDLの充足可能性問題の計算量 2.7 PDLの変形種 3. 1階の動的論理 3.1 構文論 3.2 意味論 3.3 計算量 3.4 演繹体系 3.5 表現力 3.6 操作的vs.公理的意味論 3.7 他のプログラミング言語 4. 他のアプローチ 4.1 超準動的論理 4.2 アルゴリズム的論理 4.3 有効的定義の論理 4.4 時制論理 第15章 プログラム証明のための手法と論理 P.Cousot：細野 千春，富田 康治 1. 序論 1.1 Hoareの萌芽的な論文の解説 1.2 C.A.R.HoareによるHoare論理のその後の研究 1.3 プログラムに関する推論を行うための手法に関するC.A.R.Hoareによるその後の研究 1.4 Hoare論理の概観 1.5 要約 1.6 この概観を読むためのヒント 2. 論理的，集合論的，順序論的記法 3. プログラミング言語の構文論と意味論 3.1 構文論 3.2 操作的意味論 3.3 関係的意味論 4. 命令の部分正当性 5. Floyd-Naurの部分正当性証明手法とその同値な変形 5.1 Floyd-Naurの手法による部分正当性の証明の例 5.2 段階的なFloyd-Naurの部分正当性証明手法 5.3 合成的なFloyd-Naurの部分正当性証明手法 5.4 Floyd-Naurの部分正当性の段階的な証明と合成的な証明の同値性 5.5 Floyd-Naurの部分正当性証明手法の変形 6. ライブネスの証明手法 6.1 実行トレース 6.2 全正当性 6.3 整礎関係，整列集合，順序数 6.4 Floydの整礎集合法による停止性の証明 6.5 ライブネス 6.6 Floydの全正当性の証明手法からライブネスへの一般化 6.7 Burstallの全正当性証明手法とその一般化 7. Hoare論理 7.1 意味論的な観点から見たHoare論理 7.2 構文論的な観点から見たHoare論理 7.3 Hoare論理の意味論 7.4 構文論と意味論の間の関係：Hoare論理の健全性と完全性の問題 8. Hoare論理の補足 8.1 データ構造 8.2 手続き 8.3 未定義 8.4 別名と副作用 8.5 ブロック構造の局所変数 8.6 goto文 8.7 （副作用のある）関数と式 8.8 コルーチン 8.9 並行プログラム 8.10 全正当性 8.11 プログラム検証の例 8.12 プログラムに対して1階論理を拡張した他の論理 第16章 様相論理と時間論理 E.A.Emerson：志村 立矢 1. 序論 2. 時間論理の分類 2.1 命題論理 対 1階述語論理 2.2 大域的と合成的 2.3 分岐的 対 線形 2.4 時点と時区間 2.5 離散 対 連続 2.6 過去時制 対 未来時制 3. 線形時間論理の技術的基礎 3.1 タイムライン 3.2 命題線形時間論理 3.3 1階の線形時間論理 4. 分岐的時間論理の技術的基礎 4.1 樹状構造 4.2 命題分岐的時間論理 4.3 1階の分岐的時間論理 5. 並行計算：その基礎 5.1 非決定性と公平性による並列性のモデル化 5.2 並列計算の抽象モデル 5.3 並列計算の具体的なモデル 5.4 並列計算の枠組みと時間論理の結び付き 6. 理論的見地からの時間論理 6.1 表現可能性 6.2 命題時間論理の決定手続き 6.3 演繹体系 6.4 モデル性の判定 6.5 無限の対象の上のオートマトン 7. 時間論理のプログラムの検証への応用 7.1 並行プログラムの正当性に関する性質 7.2 並行プログラムの検証：証明論的方法 7.3 時間論理による仕様からの並行プログラムの機械合成 7.4 有限状態並行システムの自動検証 8. 計算機科学における他の様相論理と時間論理 8.1 古典様相論理 8.2 命題動的論理 8.3 確率論理 8.4 不動点論理 8.5 知識 第17章 関係データベース理論の構成要素 P.C.Kanellakis：鈴木 晋 1. 序論 1.1 動機と歴史 1.2 内容についての案内 2. 関係データモデル 2.1 関係代数と関係従属性 2.2 なぜ関係代数か 2.3 なぜ関係従属性か 2.4 超グラフとデータベーススキーマの構文について 2.5 論理とデータベースの意味について 3. 従属性とデータベーススキーマ設計 3.1 従属性の分類 3.2 データベーススキーマ設計 4. 問合わせデータベース論理プログラム 4.1 問合わせの分類 4.2 データベース論理プログラム 4.3 問合わせ言語と複合オブジェクトデータモデル 5. 議論：関係データベース理論のその他の話題 5.1 不完全情報の問題 5.2 データベース更新の問題 6. 結論 第18章 分散計算：モデルと手法 L.Lamport and N.Lynch：山下 雅史 1. 分散計算とは何か 2. 分散システムのモデル 2.1 メッセージ伝達モデル 2.2 それ以外のモデル 2.3 基礎的概念 3. 分散アルゴリズムの理解 3.1 挙動の集合としてのシステム 3.2 安全性と活性 3.3 システムの記述 3.4 主張に基づく理解 3.5 アルゴリズムの導出 3.6 仕様記述 4. 典型的な分散アルゴリズム 4.1 共有変数アルゴリズム 4.2 分散合意 4.3 ネットワークアルゴリズム 4.4 データベースにおける並行性制御 第19章 並行プロセスの操作的および代数的意味論 R.Milner：稲垣 康善，結縁 祥治 1. 序論 2. 基本言語 2.1 構文および記法 2.2 操作的意味論 2.3 導出木と遷移グラフ 2.4 ソート 2.5 フローグラフ 2.6 拡張言語 2.7 その他の動作式の構成 3. プロセスの強合同関係 3.1 議論 3.2 強双模倣関係 3.3 等式による強合同関係の性質 3.4 強合同関係における置換え可能性 3.5 強等価関係上での不動点の唯一性 4. プロセスの観測合同関係 4.1 観測等価性 4.2 双模倣関係 4.3 観測合同関係 4.4 プロセス等価性上での不動点の唯一性 4.5 等式規則の完全性 4.6 プロセスの等価性に対するその他の概念 5. 双模倣等価関係の解析 5.1 等価性の階層構造 5.2 階層構造の論理的特性化 6. 合流性をもつプロセス 6.1 決定性 6.2 合流性 6.3 合流性を保存する構成子 7. 関連する重要な文献
最初に言いたいことは、これだけの雨が降ったにもかかわらず、これまでの治水の成果が出ていると思ったの。
NHKのヘリの中継で新潟の洪水の様子を目の当たりにした人も多いと思うが、アナウンサーの人と河川事務所の人の会話が咬み合っていなかったので、少し補足しておきたいんだよね。
100年に一度、200年に一度とだんだんと洪水の想定規模がおおきくなっていって、今は、3階建の建物くらいの高さがある。堤防の上の道路を走っていると2階建ての家の屋根よりも高いところを走る。
堤防の内側は、河川敷だ。堤防の内側の農地は、「何でそこに農地があるの」ってことになるのかもしれない。河川事務所の人も答えにくい質問だ。ちょっとおじさんがかわいそうだった。
低いところに駐車場をもっている人は、緊急時には、あらかじめ高いところ車を避難させるよね。よく水が上がる地域の人は何とかなる場所を知っています。
普段、河道となっている部分にしか橋がかかっていない橋が幾つかある。残念ながら、橋をかけたときに予算が足りなくて、堤防から堤防まで橋がかけられなかったところだ。この手の橋を渡るには、3階建ての高さの堤防を登って、一度、河川敷に降りて、橋の部分でもう一度、坂を登るような不思議な作りになっている。なので、洪水の時は、河川敷の部分があらかじめ水に浸かることになっている。
ここは自然堤防といって、その周りの土地よりも1から2メートルだけ高い。治水技術がなかったときの助かるための手段だけあって、安全性は高い。川沿いの昔からある家には、2階に避難用の小舟があったりする。
「新潟」という言葉が与える印象について。新潟県は北から南まで北陸3県分の規模がある。関東で言えば、小田原から宇都宮までくらいの広さがある。大きい範囲の一部分のことだということをまず捉えていただきたい。
で、次に新潟市も無駄にでかい。田園地帯を広域合併してしまったので、密度は薄いが面積だけはでかい。端っこから端っこまで車で2時間はかかる。そいう規模だ。なので、晴れて道路が乾いているところもあれば、水が溢れそうなところもある。
越後平野は、日本最大の干拓地だ。もともとは広大な潟湖で、いわば沼だ。強いて言えば、オランダと同じようなもので、海抜は極めて低く、各地の排水機場で必死に水を排水している。県内では柏崎刈羽原発の次にしっかりと警備をしないといけない場所だ。
もともと何の手も打たずに安全な場所は越後平野の中では少ないと認識しておく必要がある。
日本有数の信濃川と阿賀野川の2つの大河は、幾つかの工事によって、かなり治水された。これらの工事をしていなければ、今回の豪雨で新潟平野中が水浸しだっただろう。
http://ja.wikipedia.org/wiki/%E5%A4%A7%E6%B2%B3%E6%B4%A5%E5%88%86%E6%B0%B4
http://www.hrr.mlit.go.jp/shinano/ohkouzu/
信濃川の長岡の先で、海に水を流して、下流を守る分水路がある。大正11年に完成。堰のデザインがクラシカルだ。日本のパナマ運河とも言われた大工事だった。
ここで、かなりの量の水は海へ排水される。
http://ja.wikipedia.org/wiki/%E9%96%A2%E5%B1%8B%E5%88%86%E6%B0%B4
新潟市の市街地をショートカットする分水路。市街地への水量を減らせるようになった。
http://ja.wikipedia.org/wiki/%E9%98%BF%E8%B3%80%E9%87%8E%E5%B7%9D
阿賀野川の流路も江戸時代の終わりには海へショートカットされるように直された。
この流路の変更の前は、信濃川と同じ地点に河口があった。
この2つの川は昔からのあばれ川だったので、大幅に人口河川化された。治水事業の実施後の洪水はない。
この2つは、運良く洪水にならなかった。そのため、派手な治水事業が行われず、7年前の大雨のときにはじめて問題が顕在化した。この7年の間に堤防は大幅にパワーアップしている。
