 
|
はてなキーワード: 保守とは
2 名無しさん＠１２周年 :2012/02/15(水) 01:17:28.43 ID:xOw4ewDn0
今まで無職とか、派遣の人を馬鹿にして笑い者にして、やれ自己責任だ、甘えだ、ゴミだのクズだのと叩いて、「勝手に飢え死にさせとけｗ」とか残酷なことばかり吐き捨ててたけど、それらの行為の報いは全部自国、ひいては自分の企業、自分の生活に跳ね返ってくる。
本来なら、「お願いしてでも」20～40代なんて安定雇用で「全員」が働いて「頂いて」、結婚してもらって子供最低2人以上、出来れば3人、4人と産んでもらわないと困るのに、その現役世代が最初の就職如きですら悲壮感漂わせながら必死に求職活動しないといけなく、大勢がつまずくような社会にしてしまった。
そして一度つまずいたら二度と戻れない社会を、弱者を馬鹿にしてそのまま放置してきた。
現役世代に金の不安を与えたら、それが非婚化・少子化に直結するのは当たり前のこと。本当に愚かだ。
社会全体でニートだ派遣だと弱い男性をクズ扱いして、「こんな人間誰が採るんだよｗ」といって笑い者にして余裕ぶっこいてた会社員様が、超少子高齢化・人口減少による内需の縮小で、自分の所属してる企業が大赤字で潰れる。そして年金も破たんし国ごと崩壊。
今自分がこの日本と言う豊かな国で、豊かなインフラで、幸せに生活出来てるのは、「この国のどこかの誰かが子供を作ってくれて、その国力によって維持されてる」ものなのに。
昔の為政者はそれが分かってた。
「全員揃って、みんなで豊かにならないと、国は決して繁栄しない」ことを知ってた。
「自分だけ金持ちでいられる」なんてそんな虫のいい話は決してない。
金持ちになるには、庶民に自分の会社の商品を買ってもらってなんぼだから。
その庶民をないがしろにして、子供産めないような状況になっても「自己責任」「努力不足」と吐き捨ててたら、自分のところの商品を買ってくれる人がいなくなるのは当たり前のこと。
安泰と思ってた自分の企業が、その報いを一身に受けて潰れる日が来るなんて夢にも思ってなかっただろう。
弱い者を大事にしなかった国は滅びる。弱者を馬鹿にして見捨てた報いは全て自分に返ってくる。
因果応報。
俺の言いたいことを代弁してくれた
＝本来の目的から解放・放逐された結果、地道な努力をせずに自己目的的、自己完結的にその自由を享受する姿勢
原発推進派も、反原発推進派も、橋下派も反橋本派も、どちらも目くそ鼻くそになるのはこれが原因。
・島宇宙化
＝若者の内向化のことと言われるが、実際は世間が崩壊した結果、寄る辺なく数名の仲間と共に漂流している状態と捉えるべき。
自分のことをアッパーミドルとか言っちゃいつつも不安を隠しきれない女子大生などが典型例。
＝社会貢献したい若者の数は増加し続けているけど、まともな社会活動に参加する人は増えてない残念なニッポンの現状
＝民衆が持つ独自の規範。これが破られるとリアルネット問わずにいきなり炎上する。
このことを知らないと非常に危険。日本のモラルは肯定より否定の形で表現されることが多い
・親密圏、公共圏
＝内田樹が大好きな言葉。彼の脳内ではこれがあれば全ての社会問題解決するくらいの万能薬。
彼の語るこれは、なぜか年功序列的な概念とドッキングしており、ユートピア化している。
彼が批判しているのは常にこのユートピアの実現を脅かす何かである、と考えれば、彼のブログが非常に読みやすくなる
・承認欲求
＝若者による、言っていることはわかるがお前の言い方が気に入らない、というふてくされた態度のこと。
逆に言えばほめてやれば簡単に動くのでコツをつかめばこういう若者ほどチョロい。
＝友達がいなくても、ネットさえあれば、その気になれば友達は作れるという希望のこと
・近代化
＝ムラの外側を創造することなく一生を終えていた村人たちを、
国民や個人という自立した存在として引き上げようとしたプロジェクトのこと。
だよね。
っていうか別に強硬的処女論争に参加したいわけじゃないんだけど
「お前の母ちゃんは非処女じゃないか」みたいなのはさすがにおかしくね？
二年目にして既に仕事辞めたくて迷ってる。
医者からは「辞めるなり休むなりするなら診断書書くよ」とは言われている。
今の仕事のいいところは、
▲年収４００万弱あるから一人暮らしで貯金しながら十分遊んで暮らせる
いやなところは
▼残業が多い（１年平均で月１００時間超、半年以上日付変わる前に家に帰れていない）
▼土日返上がしょっちゅうある（代休はない、運がよければ休出手当てをつけてもらえる）
▼年末年始・大型連休も仕事（リリース、保守作業があるから当番で出勤）
▼女の人がいないので部署内で孤立している
良くも悪くも
■仕事内容は嫌いではない
■上司・先輩からはしょっちゅう怒られるが原因は自分にあるのでそこは腹を括っている
■同僚とは距離があるものの、たまに一言二言仕事に関係ない雑談をすることはある
どうしたらいいんだろうかと迷えば迷うほど気持ちが沈んで悪循環。
転職エージェントみたいな人に会う予定は立てたけどどうなることやら・・・
テレビ見てたら右翼・左翼が相変わらず間違った定義で使われていてゲンナリ。右翼or左翼って、正しくは保守or革新のことであって、ソーシャルorリベラルのことじゃない（から左右どちらでもありえる）。保守は名前の通り、古くから続くものを重視する価値観で、既存のものを積極的により良く変えようとするのが革新。社会的な連帯を重視するのがソーシャル、個人の自由を重視するのがリベラル。
更にややこしいことに、この４象限は政治的なものと経済的なもので分かれている。「保守」の立ち位置は各国の歴史によって異なるが、日本の場合、政治的には天皇制支持・親米反共・アンチ人権重視、経済的にはアンチ自由競争 がそれぞれ「保守」。数年前に流行したポリティカルコンパスがクソだったのは、「保守」の立ち位置が歴史に依存することを分かってなかったことと、保守or革新とソーシャルorリベラルをごっちゃにしてたこと。
ということで橋下大阪市長は、政治的にはソーシャル保守、経済的にはリベラル革新（左翼）。タイトルで左翼と書いたのはそういうこと（半分釣り）。日本のいわゆる「左翼」は、政治的にはリベラル革新、経済的にはソーシャル保守で、橋下さんとは見事に正反対。というか時間系列的に、橋下さんがアンチ左翼といったほうが正確か。小泉元首相は、政治的にはリベラル保守、経済的にはリベラル革新かな。
日本の政治のどうしようもなさの主原因は、橋下さんにしても「左翼」側にしても、というか今の日本の政治家の8割方が、政治的と経済的でソーシャル・リベラルが異なってることじゃないかと思ってる。アメリカがまだ健全なのは、ソーシャル・リベラルが重複率がヨーロッパよりは結構低いけど日本よりはずっと高いこと。クルーグマンは両方でソーシャルだし、フリードマンは両方でリベラル、オバマは中道からややソーシャル寄り、マンキューは中道からリベラルより。
※アメリカでも共和党本流（保守派）は政治的ソーシャル・経済的リベラルで、ロムニー以外の候補がマジキチばっかりなのがそのため
ソーシャルとリベラルって、方法論的に根幹で矛盾するから、本気でやろうとするとどちらかに統一せざるを得ないはずなんだよね。もしくは宗教化して矛盾したままゴリ押しするか。アンチ"経済的ソーシャル"な私が小泉元首相は支持しても橋下大阪市長を支持しないのは、橋下さんの本質はソーシャルにある気がするから。小泉元首相は一応中道右派ってことになってるけど、どう見てもアンチソーシャルだからね。
保守しなくてもよかったのにｗｗ
事実上性能悪いでしょ。
たとえばこのご時世で、NLS対応なんかが糞。
根本的な部分に手を出せないんだろ、「過去の安定した実績」とやらを保つ弊害だな。
Expressなんか無償である程度使わせておいて、バグ対処必要とのことで有償でパッチを配る。
パソコンにデザインやキーの感触、I/Oポートの配置などトータルでの洗練は無用、
クロックアップでベンチがすごいとか、PCI-X(出てるのかな...)にも対応、とかで
「さすが!」と嬉々とする厨房みたい。
まあ、Oracle様のアコギ商売、信者どもが守ってくれるからな。
「うまく使えないのは、使うおまえが下手なだけ」...って言ってお終いの、よく見かける世間のパターン。
という俺はゴールド餅だけど、新規DBにOracleは、俺の為にも会社の為にも絶対採用しない。
採用時の１従業員(SIerかもしれぬ)の好き嫌いで、業務が左右されてたまるかよ。(SIerなら、バックもあるのか？)
今後数年の保守やシステム拡張、何より費用面からして会社へ背任行為をするわけにいかない。
困るとすれば、転職ときの経験・スキルでOracle求められること。
DBの意味もわからない人事のひとがとりあえずメジャーということで
求人要件に載せやがるっぽくて参る。
http://www.limy.org/program/db/not_oracle.html
http://www.atmarkit.co.jp/bbs/phpBB/viewtopic.php?topic=30408&forum=7&start=8
第1章 プログラミング概念入門 1.1 計算器 1.2 変数 1.3 関数 1.4 リスト 1.5 リストについての関数 1.6 プログラムの正しさ 1.7 計算量 1.8 遅延計算 1.9 高階プログラミング 1.10 並列性 1.11 データフロー 1.12 明示的状態 1.13 オブジェクト 1.14 クラス 1.15 非決定性と時間 1.16 原子性 1.17 ここからどこへ行くのか？ 1.18 練習問題 第1部 一般的計算モデル 第2章 宣言的計算モデル 2.1 実用的プログラミング言語の定義 2.1.1 言語の構文 2.1.2 言語の意味 2.2 単一代入格納域 2.2.1 宣言的変数 2.2.2 値格納域 2.2.3 値生成 2.2.4 変数識別子 2.2.5 識別子を使う値生成 2.2.6 部分値 2.2.7 変数の，変数への束縛 2.2.8 データフロー変数 2.3 核言語 2.3.1 構文 2.3.2 値と型 2.3.3 基本型 2.3.4 レコードと手続き 2.3.5 基本操作 2.4 核言語の意味 2.4.1 基本概念 2.4.2 抽象マシン 2.4.3 待機不能な文 2.4.4 待機可能な文 2.4.5 基本概念再訪 2.5 メモリ管理 2.5.1 末尾呼び出し最適化 2.5.2 メモリライフサイクル 2.5.3 ガーベッジコレクション 2.5.4 ガーベッジコレクションは魔術ではない 2.5.5 Mozartのガーベッジコレクタ 2.6 核言語から実用的言語へ 2.6.1 構文上の便宜 2.6.2 関数(fun文) 2.6.3 対話的インターフェース(declare文) 2.7 例外 2.7.1 動機と基本概念 2.7.2 例外を持つ宣言的モデル 2.7.3 親言語の構文 2.7.4 システム例外 2.8 進んだ話題 2.8.1 関数型プログラミング言語 2.8.2 単一化と内含(entailment) 2.8.3 動的型付けと静的型付け 2.9 練習問題 第3章 宣言的プログラミング技法 3.1 宣言的とはどういうことか？ 3.1.1 宣言的プログラムの分類 3.1.2 仕様記述言語 3.1.3 宣言的モデルにおいてコンポーネントを実装すること 3.2 反復計算 3.2.1 一般的図式 3.2.2 数についての反復 3.2.3 局所的手続きを使うこと 3.2.4 一般的図式から制御抽象へ 3.3 再帰計算 3.3.1 スタックの大きさの増加 3.3.2 代入ベースの抽象マシン 3.3.3 再帰計算を反復計算に変換すること 3.4 再帰を用いるプログラミング 3.4.1 型の記法 3.4.2 リストについてのプログラミング 3.4.3 アキュムレータ 3.4.4 差分リスト 3.4.5 キュー 3.4.6 木 3.4.7 木を描画すること 3.4.8 構文解析 3.5 時間効率と空間効率 3.5.1 実行時間 3.5.2 メモリ使用量 3.5.3 償却的計算量 3.5.4 性能についての考察 3.6 高階プログラミング 3.6.1 基本操作 3.6.2 ループ抽象 3.6.3 ループの言語的支援 3.6.4 データ駆動技法 3.6.5 明示的遅延計算 3.6.6 カリー化 3.7 抽象データ型 3.7.1 宣言的スタック 3.7.2 宣言的辞書 3.7.3 単語出現頻度アプリケーション 3.7.4 安全な抽象データ型 3.7.5 安全な型を備えた宣言的モデル 3.7.6 安全な宣言的辞書 3.7.7 資格とセキュリティ 3.8 宣言的でない必要物 3.8.1 ファイルを伴うテキスト入出力 3.8.2 グラフィカルユーザインタフェースを伴うテキスト入出力 3.8.3 ファイルとの状態なしデータI/O 3.9 小規模プログラム設計 3.9.1 設計方法 3.9.2 プログラム設計の例 3.9.3 ソフトウェアコンポーネント 3.9.4 スタンドアロンプログラムの例 3.10 練習問題 第4章 宣言的並列性 4.1 データ駆動並列モデル 4.1.1 基本概念 4.1.2 スレッドの意味 4.1.3 実行列 4.1.4 宣言的並列性とは何か？ 4.2 スレッドプログラミングの基本的技法 4.2.1 スレッドを生成すること 4.2.2 スレッドとブラウザ 4.2.3 スレッドを使うデータフロー計算 4.2.4 スレッドのスケジューリング 4.2.5 協調的並列性と競合的並列性 4.2.6 スレッド操作 4.3 ストリーム 4.3.1 基本的生産者／消費者 4.3.2 変換器とパイプライン 4.3.3 資源を管理し，処理能力を改善すること 4.3.4 ストリームオブジェクト 4.3.5 ディジタル論理のシミュレーション 4.4 宣言的並列モデルを直接使うこと 4.4.1 順序決定並列性 4.4.2 コルーチン 4.4.3 並列的合成 4.5 遅延実行 4.5.1 要求駆動並列モデル 4.5.2 宣言的計算モデル 4.5.3 遅延ストリーム 4.5.4 有界バッファ 4.5.5 ファイルを遅延的に読み込むこと 4.5.6 ハミング問題 4.5.7 遅延リスト操作 4.5.8 永続的キューとアルゴリズム設計 4.5.9 リスト内包表記 4.6 甘いリアルタイムプログラミング 4.6.1 基本操作 4.6.2 ティッキング(ticking) 4.7 Haskell言語 4.7.1 計算モデル 4.7.2 遅延計算 4.7.3 カリー化 4.7.4 多態型 4.7.5 型クラス 4.8 宣言的プログラムの限界と拡張 4.8.1 効率性 4.8.2 モジュラ性 4.8.3 非決定性 4.8.4 現実世界 4.8.5 正しいモデルを選ぶこと 4.8.6 拡張されたモデル 4.8.7 異なるモデルを一緒に使うこと 4.9 進んだ話題 4.9.1 例外を持つ宣言的並列モデル 4.9.2 さらに遅延実行について 4.9.3 通信チャンネルとしてのデータフロー変数 4.9.4 さらに同期について 4.9.5 データフロー変数の有用性 4.10 歴史に関する注記 4.11 練習問題 第5章 メッセージ伝達並列性 5.1 メッセージ伝達並列モデル 5.1.1 ポート 5.1.2 ポートの意味 5.2 ポートオブジェクト 5.2.1 NewPortObject抽象 5.2.2 例 5.2.3 ポートオブジェクトに関する議論 5.3 簡単なメッセージプロトコル 5.3.1 RMI(遠隔メソッド起動) 5.3.2 非同期RMI 5.3.3 コールバックのあるRMI(スレッド使用) 5.3.4 コールバックのあるRMI(継続のためのレコード使用) 5.3.5 コールバックのあるRMI(継続のための手続き使用) 5.3.6 エラー報告 5.3.7 コールバックのある非同期RMI 5.3.8 二重コールバック 5.4 並列性のためのプログラム設計 5.4.1 並列コンポーネントを使うプログラミング 5.4.2 設計方法 5.4.3 並列性パターンとしての機能的構成要素 5.5 リフト制御システム 5.5.1 状態遷移図 5.5.2 実装 5.5.3 リフト制御システムの改良 5.6 メソッド伝達モデルを直接使用すること 5.6.1 1つのスレッドを共有する複数のポートオブジェクト 5.6.2 ポートを使う並列キュー 5.6.3 終点検出を行うスレッド抽象 5.6.4 直列依存関係の除去 5.7 Erlang言語 5.7.1 計算モデル 5.7.2 Erlangプログラミング入門 5.7.3 receive操作 5.8 進んだ話題 5.8.1 非決定性並列モデル 5.9 練習問題 第6章 明示的状態 6.1 状態とは何か？ 6.1.1 暗黙的(宣言的)状態 6.1.2 明示的状態 6.2 状態とシステム構築 6.2.1 システムの性質 6.2.2 コンポーネントベースプログラミング 6.2.3 オブジェクト指向プログラミング 6.3 明示的状態を持つ宣言的モデル 6.3.1 セル 6.3.2 セルの意味 6.3.3 宣言的プログラミングとの関係 6.3.4 共有と同等 6.4 データ抽象 6.4.1 データ抽象を組織する8つの方法 6.4.2 スタックの変種 6.4.3 多態性 6.4.4 引数受け渡し 6.4.5 取り消し可能資格 6.5 状態ありコレクション 6.5.1 インデックス付きコレクション 6.5.2 インデックス付きコレクションを選ぶこと 6.5.3 その他のコレクション 6.6 状態に関する推論 6.6.1 不変表明 6.6.2 例 6.6.3 表明 6.6.4 証明規則 6.6.5 正常終了 6.7 大規模プログラムの設計 6.7.1 設計方法 6.7.2 階層的システム構造 6.7.3 保守性 6.7.4 将来の発展 6.7.5 さらに深く知るために 6.8 ケーススタディ 6.8.1 遷移的閉包 6.8.2 単語出現頻度(状態あり辞書を使用する) 6.8.3 乱数を生成すること 6.8.4 口コミシミュレーション 6.9 進んだ話題 6.9.1 状態ありプログラミングの限界 6.9.2 メモリ管理と外部参照 6.10 練習問題 第7章 オブジェクト指向プログラミング 7.1 継承 7.2 完全なデータ抽象としてのクラス 7.2.1 例 7.2.2 この例の意味 7.2.3 クラスとオブジェクトを定義すること 7.2.4 クラスメンバ 7.2.5 属性を初期化すること 7.2.6 第1級メッセージ 7.2.7 第1級の属性 7.2.8 プログラミング技法 7.3 漸増的データ抽象としてのクラス 7.3.1 継承グラフ 7.3.2 メソッドアクセス制御(静的束縛と動的束縛) 7.3.3 カプセル化制御 7.3.4 転嫁と委任 7.3.5 内省 7.4 継承を使うプログラミング 7.4.1 継承の正しい使い方 7.4.2 型に従って階層を構成すること 7.4.3 汎用クラス 7.4.4 多重継承 7.4.5 多重継承に関するおおざっぱな指針 7.4.6 クラス図の目的 7.4.7 デザインパターン 7.5 他の計算モデルとの関係 7.5.1 オブジェクトベースプログラミングとコンポーネントベースプログラミング 7.5.2 高階プログラミング 7.5.3 関数分解と型分解 7.5.4 すべてをオブジェクトにすべきか？ 7.6 オブジェクトシステムを実装すること 7.6.1 抽象図 7.6.2 クラスを実装すること 7.6.3 オブジェクトの実装 7.6.4 継承の実装 7.7 Java言語(直列部分) 7.7.1 計算モデル 7.7.2 Javaプログラミング入門 7.8 能動的オブジェクト 7.8.1 例 7.8.2 NewActive抽象 7.8.3 フラウィウス・ヨセフスの問題 7.8.4 その他の能動的オブジェクト抽象 7.8.5 能動的オブジェクトを使うイベントマネージャ 7.9 練習問題 第8章 状態共有並列性 8.1 状態共有並列モデル 8.2 並列性を持つプログラミング 8.2.1 さまざまな手法の概観 8.2.2 状態共有並列モデルを直接使うこと 8.2.3 原子的アクションを使うプログラミング 8.2.4 さらに読むべき本 8.3 ロック 8.3.1 状態あり並列データ抽象を構築すること 8.3.2 タプル空間(Linda) 8.3.3 ロックを実装すること 8.4 モニタ 8.4.1 定義 8.4.2 有界バッファ 8.4.3 モニタを使うプログラミング 8.4.4 モニタを実装すること 8.4.5 モニタの別の意味 8.5 トランザクション 8.5.1 並列性制御 8.5.2 簡易トランザクションマネージャ 8.5.3 セルについてのトランザクション 8.5.4 セルについてのトランザクションを実装すること 8.5.5 トランザクションについてさらに 8.6 Java言語(並列部分) 8.6.1 ロック 8.6.2 モニタ 8.7 練習問題 第9章 関係プログラミング 9.1 関係計算モデル 9.1.1 choice文とfail文 9.1.2 探索木 9.1.3 カプセル化された 9.1.4 Solve関数 9.2 別の例 9.2.1 数値例 9.2.2 パズルとnクイーン問題 9.3 論理型プログラミングとの関係 9.3.1 論理と論理型プログラミング 9.3.2 操作的意味と論理的意味 9.3.3 非決定性論理型プログラミング 9.3.4 純粋Prologとの関係 9.3.5 他のモデルにおける論理型プログラミング 9.4 自然言語構文解析 9.4.1 簡単な文法 9.4.2 この文法に従う構文解析 9.4.3 構文木を生成すること 9.4.4 限定記号を生成すること 9.4.5 パーサを走らせること 9.4.6 パーサを「逆向きに(backward)」走らせること 9.4.7 単一化文法 9.5 文法インタプリタ 9.5.1 簡単な文法 9.5.2 文法のコード化 9.5.3 文法インタプリタを走らせること 9.5.4 文法インタプリタを実装すること 9.6 データベース 9.6.1 関係を定義すること 9.6.2 関係を使って計算すること 9.6.3 関係を実装すること 9.7 Prolog言語 9.7.1 計算モデル 9.7.2 Prologプログラミング入門 9.7.3 Prologプログラムを関係プログラムに翻訳すること 9.8 練習問題 第2部 特殊化された計算モデル 第10章 グラフィカルユーザインタフェースプログラミング 10.1 宣言的／手続き的方法 10.2 宣言的／手続き的方法を使うこと 10.2.1 基本的ユーザインタフェースの要素 10.2.2 GUIを構築すること 10.2.3 宣言的座標 10.2.4 リサイズ時の宣言的振る舞い 10.2.5 ウィジェットの動的振る舞い 10.3 対話的学習ツールPrototyper 10.4 ケーススタディ 10.4.1 簡単なプログレスモニタ 10.4.2 簡単なカレンダウィジェット 10.4.3 ユーザインタフェースの動的生成 10.4.4 状況順応時計 10.5 GUIツールを実装すること 10.6 練習問題 第11章 分散プログラミング 11.1 分散システムの分類 11.2 分散モデル 11.3 宣言的データの分散 11.3.1 オープン分散と大域的ネーミング 11.3.2 宣言的データを共有すること 11.3.3 チケット配布 11.3.4 ストリーム通信 11.4 状態の分散 11.4.1 単純状態共有 11.4.2 分散字句的スコープ 11.5 ネットワークアウェアネス 11.6 共通分散プログラミングパターン 11.6.1 静的オブジェクトとモバイルオブジェクト 11.6.2 非同期的オブジェクトとデータフロー 11.6.3 サーバ 11.6.4 クローズド分散 11.7 分散プロトコル 11.7.1 言語実体 11.7.2 モバイル状態プロトコル 11.7.3 分散束縛プロトコル 11.7.4 メモリ管理 11.8 部分的失敗 11.8.1 失敗モデル 11.8.2 失敗処理の簡単な場合 11.8.3 回復可能サーバ 11.8.4 アクティブフォールトトレランス 11.9 セキュリティ 11.10 アプリケーションを構築すること 11.10.1 まずは集中，後に分散 11.10.2 部分的失敗に対処すること 11.10.3 分散コンポーネント 11.11 練習問題 第12章 制約プログラミング 12.1 伝播・探索法 12.1.1 基本的考え方 12.1.2 部分情報を使って計算すること 12.1.3 例 12.1.4 この例を実行すること 12.1.5 まとめ 12.2 プログラミング技法 12.2.1 覆面算 12.2.2 回文積再訪 12.3 制約ベース計算モデル 12.3.1 基本的制約と伝播子 12.3.2 計算空間の探索をプログラムすること 12.4 計算空間を定義し，使うこと 12.4.1 深さ優先探索エンジン 12.4.2 検索エンジンの実行例 12.4.3 計算空間の生成 12.4.4 空間の実行 12.4.5 制約の登録 12.4.6 並列的伝播 12.4.7 分配(探索準備) 12.4.8 空間の状態 12.4.9 空間のクローン 12.4.10 選択肢を先に任せること 12.4.11 空間をマージすること 12.4.12 空間失敗 12.4.13 空間に計算を注入すること 12.5 関係計算モデルを実装すること 12.5.1 choice文 12.5.2 Solve関数 12.6 練習問題 第3部 意味 第13章 言語意味 13.1 一般的計算モデル 13.1.1 格納域 13.1.2 単一代入(制約)格納域 13.1.3 抽象構文 13.1.4 構造的規則 13.1.5 直列実行と並列実行 13.1.6 抽象マシンの意味との比較 13.1.7 変数導入 13.1.8 同等性の強制(tell) 13.1.9 条件文(ask) 13.1.10 名前 13.1.11 手続き抽象 13.1.12 明示的状態 13.1.13 by-need同期 13.1.14 読み出し専用変数 13.1.15 例外処理 13.1.16 失敗値 13.1.17 変数置き換え 13.2 宣言的並列性 13.2.1 部分停止と全体停止 13.2.2 論理的同値 13.2.3 宣言的並列性の形式的定義 13.2.4 合流性 13.3 8つの計算モデル 13.4 よくある抽象の意味 13.5 歴史に関する注記 13.6 練習問題
先日、TBSの番組「夢の扉＋」を見ていた。TBSの中で視ているのはこの番組だけだが。先日のテーマは「小さな町工場から日本の製造業を支える！」というもので、職人集団「チーム等々力」の免震テーブルの開発について綴られていた。
確かに、各職人の技術はすごい。ああいう職人技が日本を縁の下の力持ちとして支えているのも事実だと思う。例えば、新幹線の先頭ノーズはあれは職人手作業じゃなかっただろうか？
違和感を感じたのは、「職人が大学教授の求めているモノを理解出来ない」という点だった。結局番組では理系大学出身の技術者が、大学教授の要求（要件定義）を職人に分かるように図面に起こした事になっている。
それでいいんだっけ？ 図面になっている物は作れるが、図面を起こす事が出来ないということだろうか？
我々IT技術者は、顧客のまだ具体的になっていない要求をヒヤリングするところから始まり、要件定義をし、設計し、実装し、テストし、納入し、運用・保守をする。だから、顧客の専門用語や技術も分からなければならないし、情報技術も分かっていなければならないし、運用・保守コストも考えなければならない。それに情報技術は進歩が早いにもかかわらず、分野によっては製品寿命が20年とかいうのもあるから、新技術だけ知っていても話にならない。
「チーム等々力」の方々は、いい製品を作るかもしれないけれど、IT業界的に言えば、コーディングだけ、という事に。否、それでも範囲が広い。コーディングは一種の「設計」でもあるから、範囲はもっと狭い。
そういえば、ITで「制作・製造」ってどの部分を指すんでしょうね。もしかして、コンパイル・リンクしている時間だけかも。なにしろ、コーディングも設計の一部であるから。
自分は、顧客の要求をヒヤリングするところから、運用・保守まで全てに関わっている。ヒヤリングしている時点でどう実装すれば良いか、どう保守するか、保守のための実装はどうするか、を考えながら顧客と接している（ここでいう実装とは、ハードウェアも含む）。
かなりゼネコン化されているので、元請けが仕事を取ってきて、こちらに仕事を発注する事になる。その時点で、かなりの情報が欠落している。元請けの方は、顧客（この場合エンドユーザー）の専門が分からないまま受注している事が多い。その上、実装を分からずに発注してくるから、かなり困る。結局、元請けに対し、かなりの懸案事項が発生する事態となる。顧客に対してこの設計では足りないとか、設計に対し実装不可能とか。それをいちいち指摘しないとならないが、これが時間がかかる。
こういう案件がたくさん来ると、今度は実装出来る人間に限界が出てくる。なので、実装するのをさらに下層の外注ソフトハウスに出すの事になるのだが、今度はこれが、エンドユーザーの事が分からないため、なんだかよく分からないブツが上がってくる。その上、金の切れ目は縁の切れ目だから、運用保守に関しては全く考慮されていないブツ。もちろん、中には優秀な外注さんもいて、すばらしいコーディングのブツが出来上がってくる事もあるが、そういう人に出会える確率は万分の一程度か。
そこへ追い打ちをかけるように、コスト低減要求と短納期要求、仕様変更。人月の神話。
顧客の頭の中を覗く人、顧客の要求を情報技術者向けに翻訳する人、翻訳されたものを実装する人、実装されたモノをテストする人、テストし終えたモノを納入・設置する人、運用・保守する人、がそれぞれ分業・連携取れていないのが、現日本のIT産業の姿です。
最近は自社の社員も質が下がってきていて、Windowsしかいじれないとか、統合開発環境内でしかブツが作れないとか、コンピュータがどう動いているかイメージ出来ないとか、果ては、顧客の専門用語が分からない、というのもいる。ソフトハウスに至っては、作ったはいいが、作ったモノに対してデバッグ出来ないとか言い出す始末。
というわけで、就活生には、ITはお勧めしない。もし、プログラミングだけしていたいというのであれば、メーカーではなく、小さなソフトハウスに就職した方が良い。でなければ、顧客と対等（同等）の（製品）知識と、新旧情報技術に対応出来るだけの能力が必要とされるのである。
affected そういうシステム
● 動いているネットワークには触るな。
● 配線図を信用するな。
● 特権権限のパスワードが「password」の機器は誰もログインしていない。
● 冗長構成は動かない。
● 機器触っている時に「あっ。」って言う人は信用するな。
● しばらくアラームが来ない場合、何らかの問題が起きている。
● ググれ。
● 再起動は命がけでやれ。
● バックアップは戻らない。
● 素人は素直に申し出ろ。
● 手順書も読めない
● 手順書は読めるが作れない
● 手順書がないと作業できない
● だいたい手順書が間違っている
● 早業で障害対応したのに怒られる
● 飲み会の日は夕方障害発生
● コンフィグを保存し忘れる
● デフォルトオリジネートは消える
● 堅い名前をつけても誰も呼ばない
● MUAにこだわる
● キーボードにこだわる
● OSにこだわる
● そのスイッチのせいでSTP走って混乱
● 攻撃だそれフィルタと安易に言う奴が多い
● それはだいたい管理職
● 攻撃されている顧客には連絡が取れない
● DNSのことは知らない
● 経路交換は政治だ
● 落雷に敏感だ
● 生き字引みたいな人が居る
● その人のデスクはだいたい汚い
● 椅子の座り方をしらない
● 椅子を並べて寝るのが上手い
● ラックの間で昼寝する
● 光ケーブルの受光は目で確認しちゃう
● DC電源が怖い という話が怖い
● 低レイヤの事は以外としらない
● ケーブルは埋め殺す
● 埋め殺されたケーブルが多くてケーブル撤去できないのでそのケーブルも埋め殺す
農業や労働者の保護を口実に何をしたいかは皆さんもご存知でしょう。日本解体です!!
東京都青少年健全育成条例に賛成する発言をした、チャンネル桜の水島総氏に対する皮肉です。
TPP反対のチャンネル桜がTPP賛成の保守派に「なぜチャンネル桜は左翼といっしょになってTPPに反対してるんだ!?」と言われたら血相変えて怒るのではないでしょうか。
俺もTPP反対派ってJAとか医師会とかのような利益団体を除けば左派が多いな…って最初は思ってたけど、
JAの反対署名の賛同者のリストを見れば、保守・右派色が強いそうそうたる顔ぶれも反対派に名を連ねていることが分かるだろう。
TPPがどのような影響を及ぼすのか、俺にはさっぱり分からない。
ただ、ウヨサヨで賛否を分けるのがあまりにナンセンスだということを改めて明らかにしたことは100%確実に間違いない。
それにもかかわらず、ネット上では民主党が推進するから反対という、天の邪鬼的な発想しかできない奴がいる。
民主党の議員も半数近くがJAの反対署名に賛同しているのだが。
（余談だが、俺は慎重寄り。）
小泉純一郎、竹中平蔵、中川秀直、森喜朗、河野太郎、片山さつき、野田佳彦、前原誠司、細野豪志、福山哲郎、古賀茂明、玄葉光一郎、岡田克也、藤井裕久、仙谷由人、渡辺喜美、江田憲司、橋下徹、中田宏、御手洗冨士夫、新浪剛史、米倉弘昌、奥田碩、柳井正、孫正義、渡邉恒雄、渡邉美樹、高尾剛正、ホリエモン、池田信夫、藤沢数希、東浩紀、Chikirin、小飼弾、大西宏、馬場正博、飯田泰之、伊藤元重、大田弘子、芹沢一也、荻上チキ、山崎元、ビートたけし、田原総一朗、池上彰、辛坊治郎、三宅久之、宮台真司、高野孟、藤巻健史、平沢勝栄、山本一太、江沢民、習近平、盧武鉉、李明博
経団連、みんなの党、大阪維新の会、民主党、自民党、公明党、はてな民
TPP推進、原発反対、小さな政府、ベーシックインカム、法人税引き下げ、消費税増税、新自由主義、嫌韓中、親米
グローバリズム、弱肉強食、自由競争、平成の開国、規制撤廃、市場開放、老害、坂本龍馬、民営化、市場原理、自己責任、ガラパゴス、構造改革、官から民へ
麻生太郎、安倍晋三、石破茂、平沼赳夫、長島昭久、城内実、西田昌司、谷垣禎一、中川昭一、石原慎太郎、三橋貴明、中野剛志、関岡英之、青山繁晴、櫻井よしこ、勝谷誠彦、金美齢、小林よしのり、佐藤優、田母神俊雄、高岡蒼甫
たちあがれ日本、国民新党、（民主党、自民党）、チャンネル桜、2chまとめ
TPP反対、憲法9条撤廃、自給率アップ、嫌韓中、原発推進、保守
靖国神社、国防、核、尖閣諸島、ナショナリズム、愛国心、君が代、日の丸、天皇家
福島みずほ、亀井静香、志位和夫、鳩山由紀夫、中井洽、保坂展人、田中康夫、長谷川憲正、植草一秀、湯浅誠、田嶋陽子、ひろゆき、副島隆彦、きっこ、天木直人、森永卓郎
TPP反対、福祉、原発反対、大きな政府、沖縄基地県外移設、反米、格差是正
文系の情報系の学科を卒業して、おめでたい頭で何となくSEになって二年目になりました
情報系の学科ではあったけど、SEだのPGだのに就くのは男子学生のうち6割、女子学生では1割いないような感じ
で、非コミュと半ヒキと地頭の悪さで競争率の低そうなSE職についてめでたくその1割に当選
私以外は大体プログラミング楽しい～とか、そういう子ばっかりの中での1割
ちなみにプログラミングの授業は大嫌い。未だに関数がー引数がーポインタがーって意味分かんない。
授業でやったのよりよっぽど分かりやすくて、今になって初めて知ることがたくさんあった
でも別に向上心はないので「そうなんだーすごいなーへー」という感想しか浮かばない
保守開発メインだから今までの開発step数って3桁行かないし、使ったのは「＝」と「if文」が精々
仕事で使うのはCでもJAVAでもないけど、そんなことも分かってなかったの？って呆れられるだろうなー
こんな私でも応用情報が余裕で取れているし、来週受ける上位資格も難なく取れそう
SEって馬鹿でもなれるしお給料いいしで良い仕事だよ！と、後輩には勧めておいた
ただし毎晩終電帰り・残業120時間超でも残業代出るのは30時間まで・仕事が終わらないなら土日は潰れて当たり前なのが気にならなければね、というのは黙っているけれど
職場結婚率は割りと低いけど、他の職場の同業種の人との結婚率はめちゃくちゃ多い。
三年以内に寿退社する人もとても多い。仕事きついし辞めたい女側と、家のことして癒してくれる子がいい男側の需要と供給が程よくマッチングしてるんだろうな。
ネット上ではほぼ同義というか、一緒になって叩かれてるように見える。
二言目にはネトウヨネトウヨ言って叩かれてるようにも見えるんだけど
少なくとも国ってものが存在する以上は、自分の国に帰属したい、他国とは区別したいって思うのは当然なんじゃね。
まあ、明日から国境が無くなって、国境がなければ紛争も無くなって
世界中の人と平和に暮らせるならそれはすばらしいとは思うけど。
でも実際にはソ連やユーゴスラビアは細分割したし、なんでもかんでも一緒なればいいってものではないんじゃないか。
文化や価値観を共有する人同士が固まって生活したい、って思う人が多いから、国というものは存在してるんじゃないのか。
この地球上で、違う文化、違う価値観の人々が共存するために国って仕組みがあるんじゃないのか。
国境を作ることで、無駄に衝突するのを防いでるんじゃないのか。
だから、日本人が日本列島で日本の文化や価値観を共有する人で一緒に暮らしていきたいってのは
まあ島国根性とかも言われるけど、一概に批判されるべきものではないと思うんだけど。
それを、何かってえとすぐ差別だ排外主義だって言われてもなあ。
パスポートも国籍も存在するんだからそりゃ区別は必要でしょうよって。
もちろん、外国人留学生を奴隷みたいにしてたりするような問題とかあるけど
そういう諸問題は個別に解決すべき事案であって。
なんでもすぐ攘夷だ開国だ、右だ左だって二者択一迫ったり、罵り合ったりするのはなんだかなあと思う。
少なくとも、日本の領土に不法に居座ってる韓国や条約破棄して占領しっぱなしのロシア、領海侵犯を平気で繰り返す中国とは
今すぐ全面的に仲良くするのは難しいと思うんだけど、そういう考えは悪なの？
自分の国が潰れたら国際貢献も何もあったもんじゃないと思うんだけど。
で、こういう考えの持ち主の俺はやはりネトウヨなのかね？
原発には反対なんだがなあ。
http://anond.hatelabo.jp/20111001100318
これにインスパイアされた。
ソーラーパネル取り付けからプラント設計、工場設備保守まで幅広く仕事をした。出向も経験。
もちろん海外にも駐在。その間にエネルギー管理士の資格を取得。
海外生活に飽きたというか、老親の面倒をみないといけなくなったので、親の近くで仕事ができる企業を中心に転職活動。
あれよあれよと運良く○年前に電力会社に中途採用枠で転職した。
給料はもちろんアップ。むしろ、親の介護の関係で休みがとりやすくなったのがよかった。
仕事は面白い。資格をいかした省エネ診断から提案まで、大きな仕事をさせてもらった。
業務が一変。電力逼迫でオール電化どころじゃない。
もちろん省エネ対策は必要だけれども、社内の体制は戦時体制へ。
息子は父が電力会社の社員というだけでいじめにあっているようで、登校拒否になってしまった。
幸せとは何なのか 自問している。
エネコンの仕事は開店休業。お先真っ暗な会社なので転職活動中。
ただ、この年になると求人はグっと減る。厳しい。
電力会社なんて入らなければ良かった。
何らかの権威に対する反対表明の手段としてデモをしろ、と左翼は就職問題にも、原発問題にも主張してきた。
デモは国民に認められている当然の権利であるとも、主張していた。
そして、デモが起きた。
彼らは支持しなかった。ときに数が足りないから影響力がないと、かえって大して影響がないことの証左だと主張し、ときに前大戦を引き合いに出してレイシズムには与しないと主張した。
彼らは何がしたいのだろう。よくわからない。
努力のやり方が間違っている、ということや、排除を含めた質の向上は、彼らの理念と合致しないはずではなかったか。
デモをする、それ自体は何もすなわち左翼と同じ勢力に含まれることを意味しない。それは保守からさえ嫌われる在特会を見れば明らかだ。
これまで、日の丸に限らず、デモには趣旨から離れた幟が掲げられることは珍しくなかった。それ自体がデモの嫌悪のひとつとなっていることは、度々指摘されてきた。
しかし、私がネット上の議論などを見続けてきた限り、どうやら彼らはそれに対する問題意識は持ち合わせていないようだ。「何が悪い」と言い切る人も見た。
まさに鏡像。
鏡像であるがゆえに一般大衆からかけ離れて市民社会を叫び、「活動家を排して欲しい」というこれまでの経緯からすれば自然ともいえる要求には唾棄する。
これが左翼だ。
彼らは大衆の要求を政治ごっこと蔑むだけで改善しようとしない。これらが政府や社会、企業や個人を批判しようというのだから説得力がないのも肯ける。
一部の人（左翼や右翼を含む）が指摘しているとおり、原発関連デモも、偏向報道デモも、いずれ下火になるだろう。
デモをしてもその相手を変えられなかったことに対する諦め、そこから立ち現れる、主催者側との意識乖離から導かれる呆れと市井の人々の無力感、終末期学生闘争のようなしらけなどが、渾然一体となり場を閉塞感で満たすだろう。
そこに残っているのは、いつもどおりの人々だろう。
この二ヶ月、0時前に帰宅できたことがありません
正直なところ仕事についていけません
設計も製造も試験も全て一人でこなせませんし、常に誰かに付き添われている状況でしたが、
誰にでも出来ていることですが私には出来ません
聞かなければ仕事は終わらず、聞けば叱責され、聞こうにも聞く相手がいない状況です
大学から都内で一人で暮らしており、家族からは「我侭で好きなことしてきたんだから一人で生きて死ね」と言われています
同じ路線の上司・同僚が遅刻すると仕事が回らなくて困ると思い、
毎朝なんとか踏みとどまっていますがいつ耐えられなくなるか分かりません
仕事を続けなければ生活費は稼げず、かといって仕事を続けても死にたくなるだけ。
生活費を稼げないというのはつまり死ぬってことでそれなら今死んだって何も変わらないとも思います。
首相のオツムがアレ。学歴的には正反対なのに何故かどっちも馬鹿。
斜め上の理念(「真保守」や「友愛」)が先行して経済政策などの見識が付いてきていない。地に足の付かない政治。
ねじれ状態(もしくは参院選即突入でねじれ必至状態)でバトンを受け取る。
所信表明してすぐ外遊して帰ってきたらもう内閣が爆散していた麻生氏。就任してすぐ党内で倒閣が始まっている菅氏。足元にいるのが馬鹿か敵ばかり。
よりにもよってねじれの真っ最中に国難に見舞われる。かつその状況下で野党が後先考えずに審議拒否する政局。野党の馬鹿さがピークに達する。
立法が全く(菅)ないしほとんど(麻生)機能しないため、行政の裁量で危機を乗り切ろうとするのが常態化。
財務通の財政再建論者で、どちらかというと調整型のキャラ。そして地味。
ねじれに対しては諦観に近く、とにかく野党が審議拒否しないように調整するのが仕事。
少しだけ政治も安定するだろうが、福田政権が長続きしなかったように、野田政権も長続きしない可能性が高いだろう。
後ろ2人の順序が前後しているが、なんか似てるなーと。民主信者や自民信者は「全然違う」って言うかもしれないけど傍目には、ね。
こういう人よく見かけるなぁ。
反原発派とは、強く原発を廃止せよと主張している人々。とにかく原発があるとロクなことにならないから原発をやめようという人々。
原発派とは、原発残せと言う人々。原発ないと電力がまかなえないからとりあえず原発は残せ、数減らしてもいいから残せという人々。
あれ、こう考えるとなんか見えてくる。
つまり、反原発派は革新、原発派は保守なんだよね。古いものを壊して新しいことをしようという考え方と、古いものを残そうという考え方。
どちらも偏りすぎてる。本来は、原発を減らしつつ新しいエネルギーにもシフトしていくというのが中道なんだ。
で、一見すると中道に見える元増田はどうかというと、実は全く中道ではない。
原発嫌いと言いながら原発に関する発言はほとんどない、代わりに反原発派の主張だけを非難してる。
つまりは反原発派の言ってること、やってることが気に食わないんだけどそれだけを言うと「原発擁護派」とカテゴライズされて批判されてしまうからとりあえず原発嫌いという言葉も入れておいたって感じ。
こういう考え方をする人間ってどういう人間なんだろうと少し真面目に考えてみる。
原発派を批判しているように見せかけて反原発派のほうだけを批判しているのは、保守に属する考え方に見える。
つまり、原発を維持することを望んでいて、それに反対する反原発派の主張が気に食わないと。
しかし、重要なのは「原発擁護の発言がほとんどない」という点だ。反原発を批判するなら、原発擁護の意見を入れてバランスをとらなければならないのにそれがない。
これはどういうことかというと、目的は原発支持ではなくあくまでも「反原発派批判」なんだということ。
批判が目的というのは、批判することだけが目的であると言ってもおかしくはない。
通常の主張というのは批判をしながら自分の考えを言うことになるが、元増田は自分の意見が無い、意見がないのにタイトルを使って「中道派」を装ってる。
批判だけして中道のフリをするとはいかなる人々か？これはまさしく中道保守を自称するネット右翼そのものではないかと思う。
彼らも、批判や何かの否定だけは喜んでするが建設的な議論になりそうな意見はほとんど持ってない。ただひたすら自分の気に食わないものを否定し続けるだけ。
元増田も、「じゃあどうすればいいのか？ どうすればいいんだろうね。」と言っているように、批判だけが目的なので自分の意見を見失っているようだ。
どうすればいいかって、そんなのは簡単。さっきも書いたように「原発を一気になくすのではなく、これまでの体制を維持するのでもない、中間のやり方。すなわち原発を減らしつつ新エネルギーに転換していく」というのが最も可能性のあるやり方だし、実際新エネルギー導入に向けた動きが加速しているのはNスペなどでもよくやってる。
意見がないならないだけでいいような気もするが、元増田のような人間の気持ちになってみると、意見がないのに「原発支持」という保守派の意見を持っているように誤解されるのは妙な感じがする。
革新的な主張を嫌うのは右翼、つまりネット右翼の特徴だから反原発批判するのはおかしくないし、右翼と呼ばれながら実際は何の意見も持ってないから原発支持と公言も出来ない。
なんとなく、こういう人たちの歪んだ心がわかったような気がした