 
|
はてなキーワード: 方程式とは
方程式が線形なら、その方程式系の性質を調べる一般的な枠組みを線形代数学と言う。
線形方程式系が解を持つ条件は、変数の数と方程式の数が同じなら、その係数行列が逆行列を持つということと同値。
行列が逆行列を持たないとき、その行列の行列式が0になるので、例えば2次元かつ方程式2つなら、それらがどのくらい「平行に近いか」と「行列式がどれくらい0に近いか」が関係ある。
変数の数より方程式の数が多いときは行列が正方行列でなくなるので、逆行列は存在しない。
でもその場合でも、（ムーア・ペンローズの）一般化逆行列というものを求めることができて、これを使うと「全ての方程式を最大限満たす解」を書き下すことができる。
この「最大限満たす解」が「完全に満たす解」であれば解が存在することになる。その条件も一般化逆行列による記述を使えば調べることができるだろう。
もっと高級なこと言い出すとジョルダン標準形がどうとかいう話になるかもしれないけど…。
しかし、こういうのをネットで簡単にいろんな人に訊けるというのはほんと羨ましい。
俺の頃にもこういうのがあったら良かったのになあ…。
結果は数字で把握できる。数字で把握できるものはある程度科学的に、方程式的に操作できる。
これはHowの領域だ。Know-Howは、結果をコントロールする方法。
しかし原因はあやふやなものだし、決まったルールがあるわけじゃない。
カウンセラーやメンターの力を借りることは可能でも、最終的に答えの確認ができるのは自分だけ。
そして、Why部分が未解決のまま、いくらHowの部分を頑張っても、根元からズブズブ腐っていく。
わかってるけど、やっぱりHowは明確だし、わかりやすいし、成果を確認できる。楽しい。
一方、Whyを考えるのはしんどい。そもそも考えた所でなにか答えが出るとも限らないし、
たとえ出てきても、自分にとって痛いものになる。問題の答えだから。できれば考えたくない。他人から言われるなどもっての外だ。
でもこのWhyに向き合わないと、多分一歩も先に進まない。
女の子がSEXのときにどのくらいエロいか（エロいことをしてくれるか）を推察する方程式をひらめいた。
各数値100点満点。本人の自己申告で計算することが望ましいが、
不可能な場合は普段の態度からの推測値でも、その推測の精度が高ければ隠された数値を導き出すことができるはず。
サービス精神は、人がよろこぶことに幸せを感じるかそうでないか。
これはまあ、SEXとの結びつきはわかりやすい。奉仕度合いですね。
チャレンジ精神は、新しい物事に対して抵抗を感じるかやってみようと考えるか。
これは例えばコスプレとかバイブとか体位とか、未知のエロを要求されたときの反応だと考えて下さい。
羞恥心に置き換えてもいいけど…「シャイな人ほどエロくない」というのは何か違和感があるので不採用。
あと羞恥心よりプライドの方が、普段の生活から推し量りやすい気がする。
ネコかぶってる場合、恥ずかしがるふりしたりするじゃん、あいつら。
で、代わりにプライドをはめてみたんだけど、ここは何かもう少ししっくり来る項目があるのかも知れない。
プライドの高い女だけどエロい、というのもありそうな気がするし。
当たってる当たってないなどのご意見、この項目はこっちの方がいいなどのご指導ご鞭撻賜りたい。
第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. 関連する重要な文献
これを読んでいたらもやもやしてきたので書く。
４つだけは本当だということじゃない。
８つすべては「真実」に近いと思う。
実践できれば楽に生きれると思う。
それがいいとか悪いとかいう問題じゃない。
ただ、この理論だけでは結果的に不十分だとおもう。
いったいなにを欺いているのか？
リンク先で語られている内容よりも
語られなかった内容に注意してほしい。
１、今に生きる
過去を悔やんでたらればを繰り返したり、起きてないことをあれこれ憂いたりするのは時間と労力の無駄遣いで非生産的。
２、人や社会に期待をしない
求めたり「こうあるべき」とイメージを持ったりすれば、現実との差異にがっかりすることになる
自分が見ている他人は、他人という物質に反射して映った自分だと考える。
その出来事を通して味わいたい思いや学びたいことがあるからそれを引き付ける。
こうしなきゃ、こうでなきゃ、というのは自己満足であって、大抵の場合は不必要
６、ワクワクするものごとを選ぶ
選択の連続の人生で、自分の心がワクワクする方を正直に選ぶのが一番スムーズ。これができないと葛藤やジレンマに苦しむ
７、自分の行いは必ず帰ってくる
きちんと受け止めないでぶつかった時に、痛いと言って責任転嫁しようとしても事は進まない。
自分が受けたい言動をとればそのまま返ってくる。
８、物事は全て中立
「悪い出来事」「縁起の良い場所」なんてのは本当はなくて、全て中立な物事に自分が意味付けをしてるだけ。
たとえば同じ場に居合わせて災害にあったとしても、ある人はたまたま見舞われたと感じるし、ある人は自分の宗教の教えを遵守しなかったからと捉えるかもしれない。
ぐうの音もでない。
いろんな本を読んだり、テレビを見たり、人と話したりすれば
わりと納得できる考え方だなーと。
（というかこれがわからないとしんどい）
しかし、正しいということとそれが妥当であるということはまた別の問題だと思う。
でも、とりあえず
ということはほぼ間違いないと思う。
世界じゅうの人がみんな
この方法を身につければ
きっと生きやすい世界が目の前に広がると思う。
ちょっと想像してみよう。
（親、兄弟、親戚、同級生、上司、同僚、社会のしくみ、政府、日本、テロリスト、なんでも）が
もし、これらの特性を身につけたならと考えてみよう。
こりゃパラダイスだ！
ぼくたちはお互いがお互いを認められるような
真に寛容な社会を実現できる！
誰と遊んでいようが楽しい！
よーし！あの丘の上まで競争だ！
これらの方法に従うことで楽に生きられると思う。
でもそれは「従うことができれば」の話。
実際、どこの場でも目にする。
「人生論」でも、「大往生」でも、「論語」でも、「エセー」でも、「徒然草」でもなんでもいい
長く広く読まれている「人生の教え」的な本を読んでると
最後にはだいたい前の８つくらいに収まる
（代わりにどっかの社長の話を聞いてもいいし、テレビで美輪明宏さんの話を聞いてもいい）。
昔の人は偉いなあと思う。
そういう感じの本はいろいろ読んだ気がする。
もちろん、まだまだ読み足りない。
なにせぼくはまだ今年から活字に触れはじめたばっかりだ。
きっと死ぬまで読んでも読み足りないのだけど
個人的には、ぼくの考えを
そういう本が「間違っている」と指摘してくれることを期待して
今のところ、ぼくの考えを「否定してくれる」本は見つからない。
いや、正確に言うと、否定してくれはするけども
それが納得できないのだ。
ぼくの読解能力がないだけならそれでいいんだけど
もしヒマならちょっとぼくの考えを聞いてほしい。
まず１つめのウソ。
ぼくが言いたいのは
すべての人間がこれらの方法を実行するのは不可能だということだ。
古今東西のえらい人がみんな同じ結論にたどりつくなら
さっさとそれを実行すればいいのに
なんで同じ内容の本ばっかり書かれていくんだろう。
それが人間全体に広くみられる普遍的な問題だからじゃないかなあと思うけど
じゃあ、なんでその普遍的な問題が
大昔から今まで解決されないままなんだろう。
般若心経の新訳を読んだ。
ぼくらはなんで２０００年も前の真理がいまだに実行できないの？
そりゃあれじゃないの？
大笑いしながら観ていた。
その中の一作で寅さんの「おいちゃん」が
実は若い頃は文学をやりたいと思っていたと話すシーンがある。
おいちゃんは父親にこう言われたらしい。
「団子屋に文学なんか必要ない」
団子屋が文字を読む必要がないなら、
本なんてまったく読まない人がいてもおかしくないんじゃないだろうか。
これは団子屋だけの問題か？
かなり多く存在してるんじゃないのか？
それでなんの不自由もなく生きていけたなら
感覚だけで生きていくことを恥じることもない。
それどころか、論理的なことをバカにさえするかもしれない。
難しいことはわからない。
バック・トゥ・ザ・フューチャーを何十回も観てるのに
なにがどうなっているのかいまだに理解できてない。
でもそれがどうした？
バック・トゥ・ザ・フューチャーの理屈がわからなくてもなんの不自由もない。
熱心な仏教徒や
わかりにくいな…。
その最初の救いを信じていたら
いつのまにか犯罪者の仲間入りをしていたことだってあるみたいだ
（オウム真理教の元信者のそういうエピソードを読んだことがある）。
「念仏を唱えれば救われる」って
そそのかされただけじゃないのか？
バック・トゥ・ザ・フューチャーがわからないお父ちゃん。
念仏を唱えるだけの百姓。
そういう人たちがいるかもしれないと思ったことは？
つまり、ぼくが言いたいのは
読めない人がいるかもしれないということだ。
読んだ人に待ち受けているのは
でも、読んでない人はどうすりゃいい？
で、その論理を理解できなかったら？ほったらかし？
そりゃあもう素晴らしいことになるとおもう。
でも、現実はそうじゃない。
何を語っていないかをもっとよく考えたほうがいい。
この人生訓がなぜいいのかということを
絶望的なまでに理解できない人がいる。
そういう人たちは人生訓が提示されるたびに足場が少なくなっていく。
要するに勉強ができない、感覚で生きている人たちをないがしろにしているのだ。
このたぐいの人生訓すべてが。
掛け算までしかわからない子どもに、方程式の素晴らしさを説いているようなもんだ。
上から目線で「こうしたらいいのに」と言ってしまってることになる。
いつまでも掛け算のところでつまづいて
文句ばっかり言ってる子どもはほったらかして先に授業を進めるべきなの？
掛け算のところに戻って教えなおしたほうがいいんじゃないの？
やっと言いたいことの一つが終わった。
冗長になりそうだけど
もうひとつ言いたいことがある。
更に絶望的な想定だ。
さて、こんな文句をどこかで見たことがあるだろうか。
（まちがってたら言ってください）。
なんかさぁ…
内容自体はそんなに変わらないのに
急にうっとうしくなった気がしない？
どこかで見たことあるなあ…
これどこで見たんやろう…
ああ、そうか
「これ、うちの経営理念やわ」っていう人いる？
その時どんな気分がした？
殺したくなった？
泣きたくなった？
正義づらした誰かに強制されるのだ。
それが「楽に生きる」とは真逆の事態を連れてくる。
この想定のたちの悪いところは
その大義名分が「間違ってない」というところだ。
誤解なら間違ってると指摘することはできるけど
ほぼ正しいと思う。楽に生きるためならね。
え？
間違ってないなら実行できない人が無能で怠惰なんだから仕方ないって？
wikipediaによると２００９年の時点で日本のニート総数６３万人
彼らがみんな死んでしまえばいいと思うの？
賢くて強い人だけ生き残ればいいと思ってるの？
ニートだけじゃない。実際働いている人でも
（実際これだけの説教レパートリーがあれば人格を破壊するには充分すぎるとおもう）。
（統計を出すつもりはないけど）。
１つめのウソで言及しているような
感覚で生きていて、なおかつこういう人生訓に苦しめられている代表選手は
２つめのウソで言及しているような
こういう人たちはまとめて死ぬべきなのか？
損する人のほうが多くないか？
そう考えたら、「人生を楽に生きる8つの方法」が最後の答えだと思えない。
この考え方を否定してもらいたくてそういう本を読んでいた。
でも納得できない。
これでは救いにならない。
でもいつまでも状況に進展がない。
だれか否定してくれよ。
「おまえ間違ってるよ！」って。
１つめのウソについては別の解決策が見当たらないし探そうともしてないけど
そして、その解決策をこの場で披露することを許していただきたい。
枠組みを作ろうと思う。
ほとんど働かなくてもいいような枠組み。
楽観的な言い方をすると、これは収益を生み出せるかもしれない。
そうして、口やかましい人たちを黙らせる
http://auauai.tumblr.com/post/9080858048
これはブログでも書いてるけど
やりたいことはphaさんのギークハウス構想に似てると思う。
優しくて閉鎖的な空間だ。
個人的にはなるべく一人でいたいんだけどそのためのコストが高い。
そういう人と連帯を組むことはしたくない。
じゃあ、ぼくが怖がらずに近づけるのは
そういう人たちととりあえずお互いを認め合う。
自信を少しずつ取り戻す。
まずはそこからだ。
誰だって生きていていいんだという相互理解をつくることだ。
心底、世の中に絶望していた。
どれも納得できなかった。
共感をもたらしてはくれたけど
やっぱり現実はしんどいままだった。
山の中に草庵でも建てて住もうと本気で思っていた
（いまでもその選択肢を考えてる）。
いくら本を読んでも
現在の恐怖と、わずか数年後の不安を解決してくれるものすらなかった。
でも最近考え方が変わった。
それもやはり本を読んで変わった
（次に挙げるだめ連の本とはまた違う本だ）。
だめ連の本によると
連帯すると分散される（当たり前か）。
家賃１０万円の家を１０人で借りたら一人１万円だ。そういうことだ。
近隣の人の援助もあったらしい。
それはちょっとできるかどうかわからない。
でもぼくらにはインターネットというツールがある。
レゴ作って2chにスレ立てるだけでプロビルダーになる人がいたり
自分の顔を毎日撮って繋げただけの動画がYoutubeで何万再生もされたり
「ありがとごじゃいます」って歌って動画として公開するだけでテレビに出演できたり
要するに「好き」とか「やってみた」とかの
ということは
そういうしょーもないアイディアが収益化する可能性があるのだ。
ちょっとでもおもしろそうなことはなんでもやってみりゃいいのだ。
社会不適合者が集まっているということだけでもちょっとおもしろいかもしれない。
誰が許さなくても本当は関係ないんだよね。
心苦しさを飛び越えるほどの、欲求があればぼくらは動ける。
外にある楽しいことに手を出すのは怖いしめんどくさいけど
ネトゲくらいならちょっとやってみようかなーなんて思える。
とりあえずヒマならその家に集まってみて
生きるのに向いてない人がリラックスできる場をつくる。
なんかちょっとやる気出たり、アイディアわいてきたら
そういう人たちの「好き」とか「アイディア」を片手間でネットに発信してみる
（ぼくもいくつかアイディアがある）
奇しくもこの考え方は
楽しいことだけを追い求めて生きていくことが可能かどうか確かめたいのだ。
しかし、生きるのに向いてない人がラクになれる場所
（SNSでの付き合いで世界のツラさを「ごまかす」だけじゃない場所だ）
これができるだけでも意味はあると思う。
もうだから早く家借りよう。
とりあえず、ツイッターかmixiかメールかなんでもいいから連絡をください。
http://twitter.com/yukkun1986/
http://mixi.jp/show_profile.pl?id=25533767&from=navi
breed0902@gmail.com
（悪いことをまったくやってないってことじゃないけど）。
たすけてくれよ。「私も怖かった」って言ってくれよ。
怖いよねー(*´・ω・｀）（´･ω・｀*）ﾈｰって慰め合おうよ。
別に住まんでもいいのよ家には
慰めとか遊びとかアイディアの拠点にするねん。
もう疲れた。
もう待てない。
もう泣きたくない。
誰かが泣くのも見たくない。
きみは死ぬな。
それでも生きれるようにしたいのよ。
ぼくもきみも。
これがぼくらの「楽に生きるための一つの方法」じゃないかと思うんだ。
コメントに返事を書く！
なげーよ。
ごめんなさい。短くしようともしてませんでした。
短く的確に書ければいいなと思います。
書いていくだけでその練習になればいいななどと虫のいいことを思ってます。
誰も強制してないし、できない奴を馬鹿にしてもいない。自意識過剰／自分以下を眺めて満足したいだけでは？／「5. 自分がいなくても世界は回る」の「自分」は語り手を選ばないからこそ「楽」につながる
だったら、どう違うか相対的な整合性を仮定しなきゃ
まったく意味がないよな。
個人的な経験則は無効だぞ。
まあ本格的なバカみたいだから簡単に設問すると、
僕はその問題に少しだけ詳しいので知っていることを説明します
あなたもご存知の通り、
風俗がオナニーよりなぜ気持ちいいのかという設問は長らく論争の的でした
いまだに決着していないといってもよいその議論は
とりもなおさず生命とは何かということの定義あるいは自己複製へのイデオロギー的確信に
世界中の科学者、研究者がこの人類に残された究極にして最後の謎、
暗い闇の中を手探り状態で開拓しはじめたのが今から70年程まえです
著者はサイモン・プライマー、題名が「断片の創造性にかかる自己複製への影響の解釈」という
この科学論文が英国科学研究機構に提出されたのが今から71年前のこと、
当時この論文にはさほど科学的に重大な発見が記されているとは思われていませんでした
そこに書かれていたのは、自己複製の連続性つまり人類の生命誕生における
遺伝子決定に関してたんぱく質が影響をおよぼす断片的な創造性の思想的な解釈でした
それはDNAの2重螺旋構造をセントラル・ドグマとした当時のある種流行とも呼べるテーマでした
この全体としていささかインパクトにかける無名の生物学者が書いた論文に
たった一行それはあまりにもさりげなくしかし後の科学にとっては非常に重要な示唆が挿入され
それをあくまで直感的に解釈するプライマーの言葉が短くしるされていました
それが以下、
私はこの等式記号がただちにオナニーの快感を否定するものではないことを承知するが
さしあたって風俗での射精との関連についての演算的なゴールであることを定義するものであること
でした。
ここに風俗とオナニーに関する科学史の始まりとそして同時に終末が同時に記されたのです。
あるいは当時この示唆はあまりにも大胆な飛躍ととられたのかもしれない。
しかし、このほんの小さな一陣の風の前に
一人の研究者が現れることで科学史は大きなうねりを持ち始めるのでした
意味はわからないかもしれませんけど、まだ始まったばかりですから
最終的に風俗がオナニーよりなぜ気持ち良いのか科学的に証明するところまで
行くのにあと３００レスは必要なんだしその頃には分かるんじゃないかと思います
ごめん終わらせちゃっていい？
天才だなお前
ちょっと待ってくれ。
>>37がやろうとしていることは生命科学だよな。
おまえがやろうとしているのは疑似科学だ。
捏造することもできない。
僕はそれを証明しようとしてるだけだし
それを疑似科学だとか言うならそもそも君の設問がナンセンスだってことになるよ
それに僕はオナニーでの射精から得られた精液から得られた微量のゲノムDNAサンプルと
風俗での射精から得られた精液から得られたゲノムＤＮＡサンプルのＲＣＡ解析の結果を2次元下で
モデル化することで余剰次元の素粒子標準の不明点は切り離せると考えてるし
あくまで演算的に設問を証明しようとしてるわけだから可視化の力学的性質だけで
検出できない微小なプロセスは物理的な効果も無視されるのがふつうだ。
君の考えていることとはベクトルがまるっきり逆だと思う
射精のメカニズムを解析するのではなく射精された精液に含まれるＤＮＡのふるまいによる
観察結果がおのずと回答を導くんだ。だから300レスで十分に証明可能なんじゃないか。
間違えたＰＣＲでの解析だ。ＲＣＡじゃヒッグス機構と階層性問題の内部対称性が示せない。
超対称性を取り入れた標準モデルの拡張性の大きな強みは、粒子とスーパーパートナーの
双方から仮想の寄与があるとき、超対称性によって仮想フェルミオンと仮想ボソンそれぞれの量子補正が
実現できるてことになるから。とにかくＲＣＡじゃなくてＰＣＲでの解析を比較します。
読んでて頭が割れそうだ。
20年以上前、卒論の研究で、自分が設計した半導体デバイスの特性を計算するために、
境界条件がいろいろややこしいポワソン方程式（＝微分方程式の一種）をガシガシと解いて、
ベーシックでFOR - NEXT 構文使って数値計算してグラフ描いたなぁ。
ドットプリンタの出力が汚かったから、ロットリングペンと雲形定規で清書までして。
今はエクセルあるけど、そういう微分方程式を自分で解かないと、セルに入力する式が得られない。
何が言いたいかというと、暗記だけの数学しかやって来なかったら、
解けるかどうか分からない微分方程式を、「解こう」とチャレンジしなかっただろうなあ、ということ。
若いのにせっかくの学ぶ機会を潰してもったいないなあ、とオッサンは思う。