  |
はてなキーワード: ナローとは
スクワットやった後にやたら膝が熱いなと思ってたら、次の日膝が痛くなった。
一日経っても治らないんでこれはしばらく筋肉体操中止だな。最低２週間は。
そして2週間も休んだ後にまた同じように筋トレ始められるとは思えないので、おそらく俺の筋トレはここで終わりだ。
三か月ぐらいやってようやく階段上るのが少し楽になったような気がしてたのに残念だ。
じゃあほかの筋トレはしないのかという話だけど、どっちにしろ運動中に膝の痛みが気になって集中できないので。
やってたのは以下のものでもし再開することがあったらナローとスプリットは絶対やらんことにする。ナローは特にヤバい気がする
あともう膝の痛みで調べたら、なんか、運動しなさすぎなのが原因とか出てきてわけわかんなかったわ。
スクワットとかも入れるとそれっぽいのは出てくるが、今度は手術がどうとかそれでも直るかわからんとか、カテーテルがどうとか。
関節痛は筋肉痛と同様に時間経過で治るものではなかったのか…？手術は特に訳が分からんが。
痛み止めを注射するなんてのもあったが、それって痛みを緩和してるだけで、ひざ関節の裂傷は治ってないから余計危険では？
"VRスクワット脱糞" とは, 好みのコスチューム(できればアバターに合わせた物)を着用し, 好みのワールドでスクワットを行いながら脱糞をする事をを指します.
スクワット脱糞姿を見られる事が前提なのでフルトラ装備は必須となります.
アバターに合わせて女装をしてVR SNSで生活するのは一般的になりましたが, 現実世界で遊んでいるリアルアバター(身体)を有効活用は出来ないものか.
しかし, 女装自撮り公開やアナルプラグオフ会には抵抗がある.
意識を異世界(VR)に置きながら, 究極の現実である排便を行うというパラレルワールド感はきっと貴方を虜にする事でしょう.
いつもVR SNSにインする時に着ているコスプレ衣装, もしくはアバターに合わせた物になります.
洗濯のコストを考慮するならばミニスカートの物が適しています.
視界が塞がれた状態でスポーツ脱糞をするので, お腹のコンディション問わず想像以上に飛び散ります.
床に落とす事が重要なので, 股が塞がるショーツやおむつ等は不可.
床に落とさないのであれば、普通にトイレでVR脱糞した方が良いと考えられます.
刺激物による強烈な便意をスクワットを行いながらコントロールする技量が試されます.
自らの筋力で便意のコントロールを行う生物のカタルシスとスポーティーな排便を楽しめます.
燃えるゴミに出しやすいよう新聞紙を大量に敷くのがオススメです.
匂いを気にしないのであれま洗えるタイプのヨガマットや人工芝などが経済的です.
後始末に関しては自治体のゴミ処理のレギュレーションに従ってください.
効率的に肛門をほぐせて、尻が汚れにくいワイドスクワットが基本になります.
強制排便派は軟便の噴射感を重視して脚を閉じて尻を大きく突き出すナロースクワットに人気があります.
下腹部マッサージを高める為, 手は腰もしくは腹に当てるようにします.
出る! 出る! 出た!
出る! 出る! むっちゃ出た!
まだ市民権を得たとは言い難い段階なので口には出さないでください.
残念ながら実際にやった人が居てVRスクワット脱糞界隈のイメージが悪化しています.
シンプルだが奥深い, そして仮想世界と強烈な現実の強烈な融合.
意識を異世界(VR)に置きながら, 究極の現実である排便を行うというパラレルワールド感はきっと貴方を虜にします.
排便自体は現実世界で行うのでフレンドに直接見られる事はありませんが,
やはりフレンドの前やねんね部屋で排便するのは思いのほか難易度が高いものです.
慣れるまでは空想排便で慣れましょう.
ピッコマ読んでるけど、正直女性向け(のなろう系っぽい奴。悪役がどうたらとか脇役でどうたらみたいな話)は絵も上手いし、話も日本のそれに比べたらしっかりしてるのが多く、完全に敗北してる。
男性向けはweb漫画ってくくりで見ればジャンプラ以外負けてる。特に雑多にある漫画アプリオリジナルみたいなのと比べたら格段に絵が上手い作品が多い。
ただジャンプラ作品に比べたら話作りが微妙だ。今はなろう小説のちょっと面白めのやつみたいなレベルしかない。
男性向けはネトゲ系か、武林ものの影響を受けたような作品が多い。もちろん複合的なのもある。
「あなたはコロナのワクチン2回目接種でたいした副反応出てないから、普通の人より抗体量が少ない筈」云々という話をされて、一気に不機嫌になってしまった。
なんでそれで不機嫌になったのかっていうとちょっと説明しにくいんだけど、今思い出してみると、自分が不良品扱いされたような気分になったんだと思う。
あと、副反応（発熱）の強さで抗体が多いか少ないかっていうのがどこかで否定されてた気もしたから、それも「はぁ？」だった。
そもそも人によって正常でもまちまちな体温の微妙な差で抗体量が多い少ないって計れる物なんだろうか？
で検索したら「副反応と効果は無関係だ」っていう記事ばっかり出てきたから、それを伝えたら「だってテレビに出てるお医者さんが言ってた！テレビに出てるような医者が嘘言ってたってのか！」とキレられた。
じゃあ「俺が今見た記事が嘘言ってんのか？」っていう話にもなるんだけどもな・・・どれも国立国際医療研究センターの発表を元にした記事なんだけど。
それとも実際にそういう統計とか出てるんですかね。
そもそもたいした熱出てないっていうけど、38度くらいは余裕で出てるんですよ。
平熱が36度ちょうどくらい。ちょっと風邪引いても37度前半くらいっていう体質だから、38度とか大分びっくりなんですけども、たしかに「39度出たー」とかいう話がゴロゴロしてる世の中なら38度は「たいした事ない」かもしれん。
38度の熱が出たけど仕事がどうしても休めなくて、這うようにして会社行ってなんとか仕事が出来たから、それ考えたら「たいした事ない」のかもしれん。
熱が出たってグッタリしてると奥さんが心配して仕事に行けなくなってしまうから、家では平静を装ってたので奥さんからしたら「たいした事ない」ように見えたのかもしれん。それは悪かったと思う。
ただ、それなりに副反応で苦しんでたのを多少なりとも横で見てた奥さんに「たいした事ないから抗体量少ないわよね」とかわけわからん事を軽く言われると、やっぱり「ンナロー」って思ってしまうわけですよ。
そいつが一番むかつくわ。
・１０GB/３日を超えると1.0mbpsになる
・そもそも制限超えて無くてもピーカンの平日で20mbpsぐらいが限界
・有線の１０倍ぐらいの頻度で切れる
・別に安くない
・引っ越し手続きはウルトラ簡単かつスピード感がありネット受付で全部簡潔なので乗り換え作業だけは死ぬほど楽
・ネットでエロ動画を見続けることができなくなり健全な人生に近づく
・ネット対戦ゲームがまともにプレイできなくなり健全な人生に近づく
・突然ネットが使えなくなることがあるためネット依存症が改善する
・ネットのない生活に体が強制的に適応させられるのでネット依存症が改善する
・ビックリするほど簡単に申し込みが出来たがビックリするほど遅かった
・今まで使っていたマンション無料回線よりマシだったので喜んで検索したらゴミ回線と煽られており如何に自分の人生がゴミだったか自覚した
・フレッツでゴミのようなサポートを受けても有線回線が使えるありがたみを考えれば我慢できるようになった
・スマホ世代が語るインターネットの狭さに驚いていたが回線のナローさを知ることで納得ができた
・自分はゲームが上手いのではなく回線が強かっただけなのだとキルレの差で思い知った
ずっと代わり映えしなければ購買欲がそそられないので、流行という「売れ筋」を作らなければ食えない商売だから。
まあ特に若い人狙いなのは間違いないけどね、若い人狙いであれば「それ昔流行ったわー」ではなく「新鮮！」というリアクションが期待できるし。
で、最新のオシャレな髪型だが、女性の前髪ぱっつんカールは「俺が中学生の頃女子がやってたわー」くらいの懐かしさで済んだ。
しかし自分のこととなると、刈り上げの前髪分け、それも七三とか何の冗談だと思ってしまう。
とにかく、キッチリスッキリサッパリシャープにというのは、俺の場合髪も服も似合わない。
タイトでショートでナローで、それでいてソフトで装飾的じゃないとダメなので、要するに今の流行は基本合わない。
実際、行きつけのお店の美容師さんにも全く勧められなかったし。せいぜいワックスをクリームかポマードに変えるくらい？
ついでに言えば、ここ数年のデカメガネっぽいのもコードネームが「メガネ」になりかねないくらい似合わない。
ちなみに女性の服だと、膝丈やミニ丈のフレアースカートが一番似合う人とかどーすんだろね。
運動音痴もあって、バレーのレシーブなんてしたら腕折れるんじゃね？wwwとか言われたし、生まれたての子鹿とも言われたっけ。
加齢により体重が10キロ増量、というか激増した今でも、依然痩せ形。
しかも痩せているうえに、男らしい体つきのポイントである、筋肉も骨も細くできていて、どう頑張っても細マッチョにしかならない。
胸板の厚みなんてないどころか、横から見たらペナッペナの板切れみたいだ。
しかも男顔というより男の子顔。要するにいくら年取っても子供っぽい。
それが嫌で、見た目だけでも何とかしようと、シックな格好やワイルドな格好を試してみるも、鏡と相談した時点でしっくりこない。
本格的な造りのテーラードジャケット、パリッとしたドレスシャツ、きちっとしたウールパンツ、革ジャン、ネルシャツ、カーゴパンツ…どれもイマイチだった。
うーん、何故だ。
という疑問を専門家にぶつけてみたところ、ハードな服は似合わないとバッサリ。
着られてる感じになるからやめろと。
代わりに提案されたのが、とにかくソフトな質感の、できれば伸びるor透ける生地で作られた、タイトでナローでショートな、なおかつ装飾的なデザインの服。
具体的には
…っておい、これ皆Web広告からワンクリックで飛べる通販サイトで、イケメン優男モデルが着てるアレやコレじゃねーか！
どれもこれもすげーナヨナヨしているというか、繊細さと優しさを武器にするアイテムばっかり。
でも実際試着すると、腹が立つくらい似合うんだわこれが。
まあアドバイスされるまでもなく、今まで買ってきた服はほぼ全て細身の服だったり。
元来ほとんど着膨れしない上に、少しでもダブついてると途端にバランスが崩れるのは、俺も自覚はしていたってことだな。
それで、このクソ暑い季節に俺はいったい何を着ればいいのかという感じ。
どうせ毎日着るなら安くかっこよく着たいよね。
システマティックにスーツを揃えたのでそのノウハウを残そうと思います。
長文ごめんなさい。
大体５分くらいで読み終わるかと思います。
対象としているのは20～30代の男性で接客が必要となる職種の人。
ただし、ベースとなる着方なので上の年代の人、他の職種の人でも問題なく利用できます。
正直、初期投資にお金はかかる。１０万円は見積もっていてください。
だけど、ランニングコストは無駄がなくなるので安く済むようになります。
ここではスーツ周りをダブりもれなく効率的に抑えていきます。（ほんとに基本の基本です。）
日常ではベースのラインで着回しを行なっていって時折、「遊び」を加えるような着方を提案しています。
なのでシックに行きたい方もフランクに行きたい方も対応している選び方です。（この点については後述）
ここでは扱わないのでぐぐってみてください。
ただ、最近はどちらがどっちともいいがたかったりするらしいです。
真面目に行きたい方は英式を、チャラく行きたい方は仏式で揃えてください。
着回しがヘビーローテションにならないようにもう一着買うことをお勧めします。
茶色のスーツもよく目にしますがこれは偉くなってから着ましょう。おじさん色です。
好きなものを選びましょう。
太いものと細いものがあります。これについては後述のVゾーンで扱います。
ライトは２～６月頃を目安にします。お店には成人式後にラインナップが揃います。
ダークは１０～２月頃を目安にします。お店にはクールビズ後にラインナップが揃います。
クールビズをしない古風な会社さんはライトの期間を８月まで伸ばしてください。
好きなのを選びます。柄物とかはおじさん臭くなります。それも好みですが。
ベースの３つ（黒灰赤2紺2の6本）は古くなったら同系統で買い直します。
そしたら流行色や好きな色を買い足します。これは流動的にサイクルさせる層になります。
そうすると１０本くらいになるでしょうか。ここらへんがちょうどよく着まわせる本数になります。
襟には長さと開き具合があります。
好きに選びます。
ネクタイとYシャツの組み合わせには終る事無き戦いがあります。
流行によって揺さぶられてしまうので。（店員さんは基本流行で進めてくる。）
この３つができれば十分に思います。
黒（※）と茶があります。
上２つを揃えたら
すこし遊びを加えると良いでしょう。
シューキーパーを買っておきましょう（３０００円～）
それといっしょに消臭のおまじないの１０円玉をいれておきます。
こういうのって普段教わらないことだなって痛感しました。
一人だけではもったいないので、ぜひますだのみなさまもどうぞ。
番外編もできたら書いてみます。
第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. 関連する重要な文献
日航に更正法適用が確実な情勢だが、肝心の「再建後の青写真」が見えない。
単にANAと同じ形態を目指すだけなら、下手すればJAL・ANA共倒れになる。
であれば、格安航空に変身して生き残るつもりか？
潤沢な発着枠を羽田・成田に用意した上で、ワイドボディ機主体の運航を
残念ながら、現時点では羽田・成田ともにそこまで発着枠を広げる余裕はない。
なので、ここらで誰も提案していない「青写真」を批判覚悟の上で提案する。
それは、戦前の小林一三・五島慶太が阪神間・京浜間で行なった史実を真似るのである。
阪神急行（阪急）、東横電鉄は、鉄道を敷設することにより、鉄道そのものでも儲けたが、
五島昇は、戦後も田園都市線建設で不動産益をちゃっかり稼いでいる。
これを航空の世界に当てはめるとどうなるか？
日本航空が、発展著しいアジア地域で、空港建設・都市基盤建設・宿泊施設建設を
そして、「リゾート都市」「工業都市」「研究開発都市」として発展させ、
その開発益で以って「稼ぐ」のである。
都市が順調に発達すれば自ずから航空需要が膨れて本業でも儲けることになるが、
まずは「開発利益」を享受する、というビジネスモデルにするのである。
先日中国の三亜に行ったが、「中国のハワイ」として売り出し中であった。
マンション・ホテルの建設ラッシュがものすごいが、しかし日本国内での知名度はゼロである。
HISが支店開設して売り出し中であるが、いかんせん「直行便がない」「日系ホテルがない」ので、
日本人は殆どいない。
で、「１３億の中国のリゾート旅行が本格化すれば、とても三亜だけじゃ需要を吸収しきれない」
のである。
ベトナム、フィリピン、タイなどで、「海はキレイだが、手付かず」のところを見つけて、
中国資本に先駆けて、JAL＆商社デベゼネコン連合が開発して、「日式」（中国語で「日本式」の意）の
きめ細かいサービスのホテルを作れば、中国富裕層にも、きっと受けるのではないか？
そうして、日本本土から＆中国本土から航空便を飛ばすのである。
