「メンテ」を含む日記 RSS

はてなキーワード: メンテとは

2012-02-12

http://anond.hatelabo.jp/20120212134238

様々な悩みに対応する窓口を紹介するサイト

○ いきる・ささえる相談窓口 (独立行政法人国立精神・神経医療研究センター精神保健研究所 自殺予防総合対策センター

さまざまな問題で悩んでいる方や、その方のことを心配しているご家族や友人の方のために作成された都道府県指定都市別の相談窓口一覧があります

http://ikiru.ncnp.go.jp/ikiru-hp/ikirusasaeru/index.html

いのち暮らし相談ナビ (特定非営利活動法人NPO法人自殺対策支援センターライフリンク

相談窓口情報検索できるサイトです。対象地域は、順次拡大中です。

http://www.lifelink-db.org/index.html

悩み別 相談窓口情報等を紹介するサイト

○ 働く人のメンタルヘルスポータルサイト こころの耳 (厚生労働省

-心の健康確保と自殺過労死などの予防-

専門の相談機関医療機関のご案内、悩みを乗り越えた方の体験談、心の病や過労死に関する基礎知識、心の健康度や疲労の蓄積度を診断するセルフチェックリストなどがあります

http://kokoro.mhlw.go.jp/index.html

 

10代・20代メンタルサポートサイト こころメンテしよう (厚生労働省

10代、20代の方向けのメンタルヘルス情報サイトです。ゆううつな気分、やる気がなくなる、不安な思いなど、こころSOSサインに気づいたときにどうすればいいのか、など役立つ情報を分かりやすく紹介しています。ご家族や、教職員の方々向けのページもあります

http://www.mhlw.go.jp/kokoro/youth/index.html

○ みんなのメンタルヘルス総合サイト厚生労働省

こころの不調・病気に関する情報をまとめた総合情報サイトです。病気や症状の説明や、医療機関相談窓口、各種支援サービスについての紹介など、治療や生活に役立つ情報を分かりやすく提供しています

http://www.mhlw.go.jp/kokoro/index.html

 

○ 返済に困った場合相談窓口一覧 (金融庁

債務整理借金問題)についての相談先、ヤミ金融についての通報相談先、登録賃金業者にかかる苦情・相談先、その他の法律相談についての相談窓口一覧があります

http://www.fsa.go.jp/soudan/index.html

配偶者から暴力被害者支援情報内閣府

配偶者から暴力に関する支援情報をまとめたサイトです。法律や支援制度相談窓口などを紹介しています

http://www.gender.go.jp/e-vaw/index.html

暮らし相談窓口のご案内 (内閣府

子育てについてのご相談犯罪被害等についてのご相談交通事故被害者やその家族の方で、損害賠償問題、生活福祉問題等でお困りの方からのご相談等、内閣府が所管する分野のうち、特に国民の皆様が日々の暮らしを送る中で直面する悩み事についての相談先をまとめてあります

http://www.cao.go.jp/soudan/soudan.html

いじめ相談の窓口 (文部科学省

24時間いじめ相談ダイヤル(0570-0-78310)、いじめ相談機関情報、全国の児童相談所相談窓口等の情報があります

http://www.mext.go.jp/a_menu/shotou/seitoshidou/06112210.htm

○ ひとりで悩まずにご相談ください。 (法務省人権擁護局)

毎日の生活の中で、これは人権上問題ではないだろうかと感じたり、あるいは法律上どのようになるのか、よく分からなくて困ったことはありませんか。そのような場合に気軽に相談できる場所として、法務省人権擁護機関が開設している人権相談所があります相談無料で、相談の内容については秘密を厳守します。

http://www.moj.go.jp/JINKEN/index_soudan.html

 

電話相談

こころ健康相談統一ダイヤル内閣府

0570-064-556(相談対応曜日時間道府県によって異なります。)

電話をかけた所在地都道府県政令指定都市実施している「心の健康電話相談」等の公的な相談機関接続します。

平成241月現在、31都道府県政令指定都市北海道岩手県宮城県福島県茨城県栃木県群馬県東京都神奈川県石川県福井県山梨県長野県静岡県愛知県滋賀県京都府兵庫県和歌山県広島県山口県徳島県愛媛県福岡県佐賀県長崎県宮崎県鹿児島県沖縄県札幌市京都市)に共通の電話番号を設定しています

http://www8.cao.go.jp/jisatsutaisaku/link/kokoro/kokoro_dial.html

日本司法支援センター法テラス

コールセンター 0570-078374(おなやみなし)

通話料:全国一律3分8.5円 (PHSIP電話からは、03-6745-5600)

平日 9:00-21:00、土曜日 9:00-17:00

法テラスは、労働問題多重債務問題など法的トラブルの解決に役立つ法制度や、相談窓口を紹介しています

http://www.houterasu.or.jp/index.html

警察安全相談窓口 (警察庁

#9110(対応時間都道府県警察によって異なります。通話料がかかります

警察では、犯罪等による被害の未然防止に関する相談その他国民安全と平穏についての相談に円滑に対応することができるよう、警視庁及び各道府県警察本部に警察相談専用電話を開設し、全国統一番号「#9110」番に電話をかければ自動的に接続されるようになっており、相談の利便を図っています

http://www.npa.go.jp/safetylife/soudan/madoguchi.htm

金融サービス利用者相談室 (金融庁

0570-016811ナビダイヤル) (IP電話PHSからは03-5251-6811

平日 10:00~16:00

金融行政に関するご意見・ご要望貸し渋り貸し剥がし、口座の不正利用、金融の円滑化等の各種情報提供を承ります

http://www.fsa.go.jp/receipt/soudansitu/index.html

行政相談総務省

0570-090110 (おこまりなら まるまる くじょーひゃくとおばん)

通話料:全国一律3分8.5円

PHSIP電話などの場合は、リンク先にある管区行政評価局及び行政評価事務所の電話番号におかけください。)

総務省行政相談は、国の行政全般について皆様の苦情や意見要望をお聴きし、公正・中立の立場から関係行政機関などに必要なあっせんを行い、その解決や実現の促進を図るとともに、皆様の声を行政制度及び運営の改善いかしています

また、ご相談無料で、特別な手続もなく、お気軽にご利用いただけ、相談者の秘密は、固く守ります

http://www.soumu.go.jp/main_sosiki/hyouka/soudan_n/kyokusyo_madoguchi.html

自殺予防いのちの電話日本いのちの電話連盟)

毎月10日にフリーダイヤル無料)の電話相談0120-738-556)を行っています。(午前8時から11日午前8時まで)全国のいのちの電話一覧もあります

http://www.find-j.jp/network.html

http://www.find-j.jp/

東京自殺防止センター特定非営利活動法人NPO法人)国際ビフレンダー東京自殺防止センター

電話相談が中心ですが、必要な場合面接手紙による相談にも応じます

03-5286-9090

年中無休

夜8時から 翌朝6時まで

ただし 毎週(火)は夕方5時から翌朝6時まで

http://www.befrienders-jpn.org/index.html

チャイルドライン (特定非営利活動法人NPO法人チャイルドライン支援センター

チャイルドラインは18歳までの子どもがかける電話です。

0120-99-7777(フリーダイヤル

通話料:無料携帯PHS OK)

毎週月~土 ごご4時~ごご9時

http://www.childline.or.jp/

震災関連情報電話相談心のケア等)

首相官邸 災害対策のページ (首相官邸

首相官邸災害対策のページです。首相官邸から災害関連の政府活動情報を掲載しています

http://www.kantei.go.jp/saigai/index.html

東日本大震災心の相談電話東日本大震災心理支援センター一般社団法人日本臨床心理士会

0120-719-789(フリーダイヤル

(従来の 03-3813-9960 もご利用いただけます。)

実施期間】7月1日(金)~未定

実施曜日】月、火、木、金(※水、土、日は休み

実施時間】夜7時から9時まで

【ご相談頂ける内容】

被災者の方々の、被災に伴う精神的な悩み・問題に関すること

支援活動に関係する方々の精神的なサポートに関すること

PTSDに関する啓発的支援

原発損壊に伴う各種不安に対する啓発的支援

相談員臨床心理士

http://www.jsccp.jp/center/tel.php

いのちの電話震災ダイヤル一般社団法人日本いのちの電話連盟)

不安な気持ち、つらいこと。話してみませんか。

発信地域限定岩手県宮城県福島県茨城県にお住まいの方の相談窓口です。

0120-556-189(こころ いちばんやさしく)(フリーダイヤル

通話料:無料

毎日13:00~20:00(9月11日(日)~)※毎月10日は除く

いのちの電話では、毎月10日は、自殺予防いのちの電話0120-738-556(フリーダイヤル)を実施しています

http://www.find-j.jp/free.html

http://www.find-j.jp/

こころ無料電話相談社団法人日本産業カウンセラー協会)

全国の避難施設に移っている被災者の方々とそのご家族関係者のための無料電話相談です。

0120-216633

毎日13時~20時(4月1日(金)から6か月間の予定)

http://www.counselor.or.jp/news/110331.html

東北地方太平洋沖地震メンタルヘルス情報サイト独立行政法人国立精神・神経医療研究センター

災害時のこころケア等に関する情報が掲載されています

http://www.ncnp.go.jp/mental_info/index.html

○ 大震災支援情報サイト日本トラウマティック・ストレス学会

心理的支援(こころケア)を行うために必要な情報を集めたサイトです。

こころケア活動は、被災地域のニーズに応じた持続可能なものであることが重要で、十分なアセスメントと準備が必要になります

http://jstss.blogspot.com/

○ ほっと安心手帳内閣府

災害経験した方、家族や友人を支える方向けの心のケア手帳です。

http://www8.cao.go.jp/souki/koho/anshintetyo.html

ボランティアこころケア だれもができる災害時のこころケア (PDF形式) (日本赤十字社

http://www.jrc.or.jp/vcms_lf/care1.pdf

災害時のこころケア (PDF形式) (日本赤十字社

http://www.jrc.or.jp/vcms_lf/care2.pdf

東北地方太平洋沖地震等による災害激甚災害の指定及び被災中小企業者対策について (PDF形式) (経済産業省

上記災害は、広い範囲で甚大な被害が発生しているため、激甚災害法に基づく激甚災害として指定されることとなりました。本指定等を受けて、被災中小企業者対策として、災害関係保証の発動、小規模企業向けの設備金融資の償還期間の延長、事業協同組合等の施設の災害復旧事業に係る補助、災害復旧貸付の金利引下げ等の措置を講ずることとしました。措置の対象は「全国」となります

http://www.meti.go.jp/press/20110313003/20110313003-1.pdf

 

相談窓口 - 内閣府http://www8.cao.go.jp/jisatsutaisaku/link/soudan.html より転載

2012-02-09

http://anond.hatelabo.jp/20120209021210

まぁ拡張性とかメンテナビリティとか考えないんだったらそれでいいんだけどね…

2011-12-24

認知の微視的構造 リマインダー

リマインドしようにも、これを書いた人(=自分)の学力だと読めない本だったから無理。無理ゲーだった。



第一章

1

認知主義、古典認知主義

意味論的に透明なシステムと結びついた心の概念および計算機モデル意味する。

 この主義の限界を

2

 ・チューリング

 チューリングの形式化が持っている特徴

(1)物理的組織によってではなく、記号操作の形式的特性によるメカニズムの集合全体を包括

(2)そのメカニズムいかにすれば十分に明確化された問題すべてに取り組むことができるか示している

(3)万能チューリングマシンを定義する方法を示している

⇒ 素材は重要ではなく、形式的特性が能力を原理的に保証している

フォン・ノイマンコンピュータを設計し、1960s、ジョン・マッカーシーLISPプログラム言語)を開発。

 ⇒ 研究開発が可能に

A・ニューウェルとH・サイモンが物理記号システムという概念を提出

 ⇒理論的に自覚化・明確化される

3

・物理記号システム

①適切に操作可能なトークンに対して任意に意味を割り当てることができるシステムであり、

②正確にプログラミングすればこの割り当てられた意味論的内容と細かい点においても一致した仕方で行動すると信じられるようなシステム

by 1976 ニューウェル & サイモン

・強い物理記号システムの仮説

SPSS strong-physical-symbol-system

「標準的な記号アトムフォン・ノイマン型の操作を行っている仮想機械は、一般的な知的行為を実現するための直接的かつ十分な手段を持っている」

①仮想機械

現実の物理機械上で実行されるプログラムのみによって存在し、

そのプログラムに我々が命令を与える機械を模倣させるような「機械」

 高級プログラムによって定義されるエミュレータ

フォン・ノイマン型の操作

コネクショニズムとは異なった操作

・記号を割り当てる

・変数を束縛する

・記号列の複写、読みとり、修正

・基本的な統語論パターンマッチング操作

等々

③標準的な記号アトム

「テーブル」「ボール」「愛する」「軌道」「電子」のような語

④一般的な知的行為を実現するための直接的で必要かつ十分な手段

そうした機械は、それを支えている特定のアーキテクチュア(その基盤になっている他の現実的もしくは仮想的機械から)まったく独立に真に知的でありうるのであり、逆に言えば他のアーキテクチュアや機械をシュミレートすることなく真に知的でありうる

 このような主張(標準的なLISPアトムのごちゃごちゃした操作が、知能や思考の本質を構成しうるという見解)が、ニューウェルとサイモンのものだとできる動かぬ証拠は、彼ら自身の実践

彼らの仕事の特徴(例:BACON

 ・規則あるいはヒューリスティックス(発見的手法)の直列的(経験則を用いたも多少は運が左右する⇔体系的)適用に依存している

 ・そうしたヒューリステイックスの大部分が、かなり高いレベルで意識的に内省可能

 ・選ばれた課題領域を扱う

BACON:一連のデータから科学的法則を帰納する(ケプラーの第三法則、オームの法則

BACONに対するいくつかのコメント

BACONが取り組んだデータフォーマット化下のは、人間の労苦

BACONは十分に構造化された課題にしか取り組めない。

 ケプラーの第三法則は見つけられても、ペトリシャーレのカビとバクテリアの関係からペニシリンを発見する事はできない

BACONが展開する知識とヒューリスティックスは、人間のプロトコルや実験記録に大いに頼り、われわれが自分自身の思考について内省する思考のレベルからかなり直接的にコード化されたもの

 ⇒この種の思考は原初的で瞬間的なプロセスの上に後から被せられたもの。理解するということを具体的な例で説明する事には役に立たないであろう

 サイモン等は、人間の思考のすべてがただ一つの種類の計算アーキテクチュアに依存すると信じている。

 しかし、筆者は違う考えを持つ。サイモンラングレイの仕事では、洞察のひらめきといったタイプの認識を表現できない。

 心は、多くの仮想的アーキテクチュアからなる複雑なシステムであると考える

 BACONは、人類の一部のモデル

 知的課題や、感覚運動的な課題のような、なめらかに無意識的に行われるものは無視されている

 古典システムは記号アトムの使用に頼り、コネクショニズムはこれを避ける。

 古典主義者:意味論的に透明なシステムの構築に対して、方法論的にコミットしている人々

意味論的に透明、意味論的な透明性

STS semanttically transparent system

システムの振る舞いについての記号的な(概念レベルでの)意味論記述と、システムの形式的な計算活動の内的に表現された対象についての投影可能な意味論的解釈との間にきちんとした写像関係の記述が可能な場合にのみ、そのシステム意味論的に透明であるといえる」

 きわめて大ざっぱにいえば、あるシステムかSTSと見なされるのは、そのアルゴリズム記述レベル2)における計算の対象が、概念レベルの用語で表現されたその課題の分析の記述レベル1)と同型である場合である

レベル1:計算理論:(高い抽象レベルにおいて)どのような関数が計算されるかについての考え

レベル2:表現とアルゴリズム:それを計算する(具体的な)方法

レベル3:インプリメンテーション:現実の機械において計算がいかにして肉体あるいはシリコンなどで実現されるか)

古典アプローチコネクショニズムの重要な違い

(1)古典理論は――コネクショニズムはそうではないが――統語論意味論を組み合わせた記号システムを仮定している

(2)もし何らかの種類の構造化された表現が利用可能であれば、それらの表現についての計算操作を、その構造に鋭敏に反応するかのような形で規定できる。

 もしそのような構造が存在していなければ、(すなわち、どんな記号表現も存在していなければ、)計算操作を規定することはできない

◎要するに、古典システムは、統語論的に構造化された記号的表現を仮定し、そうした表現の構造によって、それに適用される計算操作を規定するものである


第二章

 古典認知主義に対する懸念

 ドレイファス:古典認知主義の問題は、人間の常識的な知識を表象として再現し表現しようとする形式主義の妥当

 サール:形式的なものと志向的なものとの間に、あるいは統語論意味論との間にギャップが認められる

 この二つの種類の懸念について検討する。

あなたの持っているのはそんなにいいボールじゃないわ。それを私にちょうだい。そしたら私、このキャンディーをあなたにあげるわ」

 この言葉を理解するために、ミンスキーちとパペートは膨大な概念リストをあげる。

 ウィノブラードのSHRDLUでは不十分。

 ウィンストンの、フレームを使ったアプローチも不十分

 ・フレームは、常識がうまく対処している偶発的出来事のすべてをカバーしているとは思えない(バースデーケーキに立つ黒いローソクに、フレームは対処できるか?)

 ・フレームからフレームへの移行を促す規則(メタフレーム?)をいつ適用すべきか、システムはどうやって知るのだろう?

 ドレイファス:互いに関連しあった特徴や可能性のすべてを、文脈に依存しない事実や規則によって形式的に把握するという課題には際限がないのではないか

ドレイファスの二つの主張

(1)身体問題

「このシャンプーが目に入らないようにご注意ください。もし入った場合は、ぬるま湯でよく洗ってください」

 コンピュータは、身体、欲求、感情、共通言語や社会習慣も持たない。だからコンピュータは、この文章が何を洗うように言っているのか理解できない

(2)コード

 人間は自分たちを取り巻く状況がどんなものかを絶えず感じ取ることができる。

 このノウハウは、何らかの知識表現言語によって、一種の知識として表現できるものなのだろうか?

 

 AIプログラム(=言語)が知識を表現する仕方が、現実の課題に対して根本的に不適合だと懸念する。

「強いAI仮説」を、サールは批判する

強いAI仮説:適切にプログラムされたコンピュータは、文字通り認知的な状態をとり、その際プログラムは人間の認知を説明するものとなる

Schank and Abelson 1977の、「ストーリーを理解するという志向的活動をシミュレートしているかに見える特別なプログラム」に対して、「中国語の部屋」を使うことで批判する。

サール:形式的に区別される要素に対する計算操作を行っているだけでは、どんなコンピュータも〈理解する〉ことはできない。したがって、そのような計算操作を規定するプログラムが、心の固有の性質について何かを示すこともあり得ない。

具体例:英語話者が英語を理解することと、中国語の部屋操作者が中国語を「理解すること」の比較

「人間は何も理解していなくても形式的な原理に従うことができる」

 以下、サールの誤りについて論じる

 

 サールに対する仮想反論「脳シュミレーター説」

 脳シュミレータ説:あるりプログラム中国語を理解する実際の中国人の形式的な構造をモデル化したと仮定すると、そのときそのプログラムは間違いなく真の中国語の理解を構成したことになる

↑(サールの再反論)

(1)脳の形式的な性質は志向性を構成しない(三章にて説明)

(2)脳の形式的な性質が志向性を構成しないのは、ある種の素材だけが思考を支えることができるからである

 ↑(アナロジー

 光合成光合成の形式的な記述を手に入れても、素材が違えば光合成は再現できない

 では、思考をもたらすような脳の物理的性質とは?

  :外因的および内因的な刺戟に対して脳に大規模な変動が引き起こされること


↑(コメント

中国語の部屋』が大規模な構造的変動を必要としないシステムなら、中国語の部屋による反論は無効

 微視的機能主義

 機能主義は、心的状態の本質を、

 入力、内的状態の変換、出力からなるプロフィールと同一視した。

 (適切なプロフィールを持つシステムはどんなものであれ、その規模や性質や構成要素にかかわれなく、当の心的状態を実現するであろう)

↑(批判)

中国国家脳のような)心的状態を実現する見込みがないようなシステムも、「入力、内的状態の変換、出力」のプロフィールを持つシステムへと組織することは可能であるよように思われる。

 こうした極端な寛大さは、機能主義の立場を掘り崩してしまいそう

・問題は、「入力、内的状態の変換、出力」の系列をどこに位置づけるか

×大まかなレベルに位置づけ

  ⇒感覚質の欠如、極端な寛大さ

ライカンの「小人機能主義」

○微視的機能主義

・機能主義の批判はゲシュタルト盲に陥っているのでは Lycan 1981

ゲシュタルト

 :機能的な構成要素があまりにも大きい、極度に小さい、それらしくない等であるために、そうしたものからなるシステムに志向性を帰属させるという考えに抵抗するということ

ライカン「小人機能主義」

 :機能的な下位システムは、それがエージェントのために何をしているかということによって同定される)

 微視的機能主義

  :システムの内的な機能的プロフィール(内的状態の変換)を、

   内容や目的に関連づけからはかけ離れた用語で

   記述しようとするもの

   ・処理ユニット間の形式的な諸関係を記述する

   ・諸関係が得られたとき、システムには大規模で柔軟な構造的変動が引き起こされ、またそれによってさまざまな創発敵的性質が得られるようになる


第三章

 認知科学における民間心理学の役割はあるのかないのか

「民間心理学

 :自分や他人が、信じたり、希望したり、恐れたり、欲求したりしているということについての日常の理解

 民間心理学は、行為・運動を説明するときに、信念や欲求という表現を用いる

チャーチランド & スティック

「民間心理学は、人間の行動に先立つ内的原因についての素朴で原初的な科学

 民間心理学問題点

(1)民間心理学は、偏狭な、特定の人々に限定されたような理解しか与えない。

 民間心理学は、子供狂人外国人を前にすると、まごついてしま

(2)民間心理学は停滞したまま、なにも生み出さず、長い間ほとんど変化も進化も発展もしていないところが他の諸科学と異なる

(3)民間心理学は、これまでのところ科学の主要部分にうまく統合されていくような徴候をまったく示していない。残念なことに民間心理学は自然を神経生理学的ないみで妥当な要素にまで分割することには関心がないようである

 最近の分析哲学

  :頭の状態に関する科学理論というゲームと、民間心理学というゲームを比較することが、そもそも不適当なのではないか

Daredevil believes that Electra is dead.

Mary hopes that Fermat's last theorem is true.

 のthat以下を、心的状態の内容と言う。

 心的状態が考えられる傾向

  :われわれの心理学的状態が、本質的に、周囲の世界がどのような状態にあるのかということによって決まるのではなく、

  われわれにとってどのように見えているかによって決まる

 ↓(言い換え)

 我々の意識や無意識に何らかの形で影響を与えられないものはどんなものであれ、

 本質的に我々の心的状態の正確な限定に関わることはあり得ない

⇒我々の心的状態が現に持っているような内容を持つものは、われわれ自身のあり方ゆえであって、

 知られていないかもしれないような周囲世界の事実とは関わりがない……☆

・双生地球……☆に対して疑いを投げかける

双生地球で、「海に水がある」と発話される。

地球A:海にH2Oがある

地球B:海にXYZがある

 この違い以外は同質だとする。

 すると、

 地球上の発話と双生地球の発話は、それぞれH2OがあるかXYZがあるかによってその真偽が決まる

(たとえば、地球Aの海にH2Oがなくて代わりにXYZがあるとしたら、地球Aでの発話は偽になる)

 もし意味が真理条件を確定するのだとすれば、

 自然種に関する表現(水、金、空気など)を含む陳述の意味は、

 単に主体の限定的に規定可能な状態に言及するだけでは十分に説明できない……☆に反して

二つの選択肢

(1)心理学的な内的要素(地球の話し手と双生地球の話し手に共通)と、

 世界関与的な外的要因(仮定上、二つの地球を越えて不変ではない(H2OとXYZ))の両方によって内容が決まるとする、意味と信念に関する合成説

(2)そういったケース(地球と双生地球のケース)は

  〈心的状態の純粋に内的でまったく心理学的な要素(☆のこと)〉という観念にさえも疑いを抱かせるものであると考えることもできるだろう

プティ と マクダウェル

「頭の中にあるものが、心の状態と因果関係を持っていることは疑いがない。

 しかし、

〈頭の中〉にあるものが心の状態に対して構成的関係にあると考え必要があるのだろうか?」

 筆者

 :あらゆる内容が根本的に世界に関与している(選択肢(2))ということが判明したとしても、

 そのこと自体は必ずしも〈認知科学は心の理解に深く(ことによると構成的にではないかもしれないが)関わる研究である〉という主張を覆すものではない


 その主張に対する仮想反論と、それに対する再反論をHornsbyは行った。

 仮想反論

 :「「行動傾向(心性はこれに随伴して生じるとされる)が二者の間で異なるためには、

 内的構成に違いがなければならない。」

 という考えを保持すべきである」とするならば、

 心的内容は限定的に規定されねばならない(自然種を指示しない)

(「「行動傾向(心性はこれに随伴して生じるとされる)が二者の間で異なるためには、

 内的構成に違いがなければならない。」

 という考えを保持すべきである」までが、プティとマグダウェルの、「頭の中にあるものが、心の状態と因果関係を持っていることは疑いがない」に対応する。)

 仮想反論の詳細

:仮定①:

 二人の動作主の心的状態は、彼らの行動傾向に何らかの違いがある場合にのみ異なる

 (そこに赤いボールがある、と信じなければ、ボールを投げようとは思わない)

 仮定②:

 行動が異なる(すなわち、行動が異なる)ためには、内的な物理的状態に何らかの違いかなければならない

 結論:それゆえ、心的状態に対応する内的な物理的状態に何らかの違いがなければ、心的状態が異なるということはありえない

「(民間心理学的な心的状態を帰属させることは、限定的内容のみに関わることであるという)結論は、深刻な疑義にさらされることになる。

 限定的内容といっても、それを妥当概念として了解できるかは明らかではない」

 なぜなら、

「民間心理学的な内容を(物理的状態に?)帰属させることは、身体的な動きを規定するような頭の状態についての独我論的な研究から引き出すことができるような切り口とは

 まったく違った切り口で現実を切り取ることであるように思われる。

 その具体的理由として、

 ボールをひろうことは、「そこにボールがあると私は知っている」という心的状態と関連するが、そのときの細かな指の動きはそのような心的状態と関連するものではない。

筆者

 :広域的内容を伴うによ伴わないにせよ、

 民間心理学カテゴリーや分類が

 頭の中で起こっていることに関することに関する科学カテゴリーや分類に

 きちんと還元されるなどということは

 とてもあり得ないように思われる。

・民間心理学は、科学心理学と同じゲームを行ってはいないかもしれない

 世界を記述しない信念であり、なおかつ

 ある人が同じ考えを抱いているといえるような別のケースに投影可能な述語が(科学記述の上には)存在しないことも可能

 民間心理学の道具立て(信念と欲求という概念によって、命題的態度を帰属せさるという道具立て)を用いて、心的状態を二者が互いに帰属させあうという日常の慣習(傍点)の目的は?

 :

 他人の頭の内的状態を追跡しようと試みることによって、

 その人の身体の動きを予測し説明するための手段

民間心理学の主要な目的

 :

 世界の中で活動している仲間たちの行動を、(傍点開始)我々が(傍点終わり)理解できるようにすること

(予測したい対象であり主体である)われわれの仲間たちの四つの特徴

①世界に対する感受性、すなわち感覚生得的な原書的概念の道具立てをわれわれと共有している

②世界をわれわれと共有している

③彼らは我々自身のもっと根本的な関心と必要の大部分を共有している

④彼らの思考の有用性は、

(我々自身の思考と同様に、)

 彼らが世界の実際の有様をたどっていることと関わっており、

 彼らの思考作用が、世界の実際の有様に十分適応していると我々が(進化論的な理由から)考えるような目的と関わっている

 この特徴があるので、

「~したい」という欲求さえ同じであれば、

 神経生理学的な詳細は関係なく、地球人にも火星人にも有効。

・民間心理学は、脳の状態の違い(that かなり目の粗い、行動上の違いとしては現れてこないような)に対しては、敏感に対応しないように設計されている

・民間心理学は、個人の間の差異を覆い隠し、

 さらには種の間の差異さえも覆い隠してしまう(長所であっても短所ではない)

 筆者の見解

 :私の見解では、われわれが信念を帰属させるのは、

 行動の全体に一種の解釈の網をかぶせることによってである

 ……関連する行動を可能にするものとしての、

 根底にある物理的あるいは計算論的な構造がどのようなものであれ、

 そうした構造における自然な区分に、網の結び目(すなわち信念と、欲求の特定の帰属)が

 対応している必要はない。

――

 筆者の意見は全体論である。(行動全体に網をかけるから。)

 ということは、Davidson(全体論者)に対するFordorの批判は、筆者の意見にも当てはまるのではないか

<Fordor>

意識の全体論というのは、

命題的態度の同一性――特に志向的内容――が、その認知的連関の全体によって決定される」

 という考え方。

 これに、Fordorは懐疑的

命題pの認知的連関というのは、主体がpの意味論的評価、すなわちその真偽の決定に関係するすべての命題のこと)

われわれは、信念や志向的状態を共有している。が、そのとき、すべての命題認知的連関)を共有しているとは思えない。

 なので、意味全体論はありえない。

 →信念の内容が、その認知的連関に依存するということを否定。

 信念は、その内容をそれぞれ別に持つ。

 外延的意味論の一形態に賭ける

:信念がその状態を獲得するのは、脳の状態が逐一、世界と因果関係を結ぶことによってである

「ある生物が『牛』という概念を持とうと持つまいと、その生物は『馬』という概念を持ちうる」

</Fordor>

筆者

 :Fordorの間違い

 全体論は、もしそうであれば、人間の心の理解が芋蔓式に進んでくれるのにという、いわば願望。

 Fordorが軽蔑したものの通りに進んでくれるかは別問題。

Fordor:バラバラになったブロックを一つの全体に組み合わせるやり方が、全員同じになるはずがない。

筆者:一つのブロックの組み合わせ全体を理解するために、各人が別々のやり方でバラバラにしている

 全体論という言葉の使い方が違うから、Fordorの批判は筆者には当てはまらない(という、批判をかわすための節)


 一章3節での、チャーチランドによる民間心理学批判に、今では応答できる。


(1)民間心理学は、狂人や言葉の通じない相手には使えない

(2)民間心理学は、長い間停滞している不毛な学問である

(3)民間心理学は、神経科学ときちんとつながっていない

(3)に対して、

 民間心理学の関心事は、他の主体の顕著の行動パターンだけを可能な限り効率的に分離することである神経科学とつながることを目的とはしていない

(1)に対して、

 民間心理学の道具としての適用範囲は、仲間。狂人の理解は、そもそも目標としていない

(2)に対して、

 民間心理学の目的は限られたものである

 なので、その中核部分が時間的および地理的な次元を越えて相対的に恒常的であり続けてきたことは驚くべきことではない。

整理。

 心的状態に関するわれわれの常識的理解と民間心理学は、違う。

 民間心理学には、きちんとした定義がある。

 これまで「民間心理学」として使われてきた言葉の、新たな用語法:「素朴心理学」、「メンタリズム的な理解」

 因果関係と、構成的関係の区別

構成的関係

 :

 研究の主題と何らかの形で密接に結びついているということ

因果的に関係

 :

 因果的に関係している様々な要素は、それほど密接に思考と結びついているわけではないので、

 それらの要素を差し引いてもそれによって思考という観念そのものが存続しえなくなる

ということはない。

チェス盤がなくなっても、チェスの続きは打てる。石を駒に見立てたり、口頭で)


・広域的内容の理論認知科学は心を解明しえない

・消去主義的唯物論:民間心理学が、心に関する科学に対して歪んだ影響を及ぼすのではないか民間人は自分自身の心を知らないと、消去主義的唯物論は思っている


科学(物質、プログラム

(構成的関係)

科学と心とを結びつける構成的関係。その得難さが二つのスタンスの対立を生んでいる。が、どちらの立場も同じく、認知という地形に同じ隆起とくぼみを見ている。

では、構成的関係とは何か。


構成的関係←→因果関係

構成的関係:研究の主題(この場合は心)と、何らかの形で概念上密接に結びついていること

因果的関係:因果的に関係している様々な要素は、それほど密接に思考と結びついているわけではないので、それらの要素を差し引いても、それによって思考という観念そのものが存続しえなくなるというひとはない

(駒はなくてもチェスは打てる)

Permalink | トラックバック(0) | 15:30

2011-12-01

いまどきの職員室事情



酔った勢いで書く。

適当に読み流してくれ。



ちなみに学校ぐるぐる周ってパソコンとかのメンテしてるみかか様の下請け業者の社畜です

職員室とかよく出入りしてる。



痛いニュース(ノ∀`) : 【ニコニコ動画】 プレイ動画投稿にゲームメーカー激怒…投稿者、示談金支払う - ライブドアブログ

上の記事で407が言ってること。

もうすでに画像音楽アップロード違法認識がなくなってるだろ

これその通りです

最初びっくりしました。



先生普通に「昨日見逃したドラマを帰ったらyoutubeで探してみよう」とか言ってる。

しか全然隠して言ってない。

堂々と言ってる。

さもそれが普通なように。

今はそういう時代なんだと。



あほあほか。

違法ですよそれ。

何を言ってるんだ。



しかもそういう会話が生徒ともされてるんですよね。



「◯◯の資料作るのに◯◯の音源が欲しい。先生どうしよう」

youtubeで探してみよう」



あほかと。

ばかかと。



でもどの学校にもパソコンに詳しい先生は必ずいて、その人はある程度問題のある行為だという認識を持ってる。

しかしまぁそんな会話がされてても注意はしない。



違法だとわかってても、実際問題便利なので「言わなきゃバレないし」となって結局注意まではいかないんだと思う。



まぁ大人はそれでいいと思いますよ。

たとえそれで捕まったとしても自ら責任を取れるので。



私が本当に悲しく思うのは、そんな先生たちに教育を受ける生徒たちです



彼らは間違った認識を「普通」として義務教育過程ナチュラルに仕込まれて、

間違った認識を持った「普通」の大人になるんです



彼らは「テレビとしてもう全国放映したんだから別にネットに流しても問題ないじゃん」と本気で思ってるし、

その考えが間違っているという認識も全くない。

恐らく言っても理解できない。



正直ゾッとします。

著作権ってなんでしょうかねー。



どの学校パソコン室には必ず著作権についてのポスターが張ってありますが、

パソコン室なんかどうでもよくて、先生全員の机に貼ってほしいです

どうせあんな硬っ苦しいポスター、生徒は見ないだろうし。



テレビ会社も、違法アップロードダウンロードの取り締まり強化とかそんなイタチごっこするくらいなら、

文科省と組んで先生たちの情報意識の向上に取り組んだほうがいいと思います



教育改革とか声を大にして言ってる人たちは、教員免許更新時に基本情報などの資格も受けさせるようにしてほしいもです

2011-11-13

基金訓練講師

基金訓練講師をやめました。

基金訓練、今は求職者支援制度名前が変わったみたいですけど、そこの講師をやめたというか、会社ごとやめて転職しました。

何の講師をやっていたかというと、今をときめく(?)Android講師です

転職先にも少しなれてきて、今までのことを振り返って書き留めてみたのですが、せっかくなので発表することにしました。もともと僕だけが読むメモのつもりで書いたので、読みやすい文書ではないですがご容赦のほど。

Android講師になるまで

Android講師になるまでは、Javaサーバーサイドのエンジニアをやっていました。

お客様のところに常駐し、システムの一部ではあるけど、自社メンバーだけで上流行程から担当し、僕はそのチームリーダーでした。

でも、このご時世なので、仕事がどんどんなくなっていきます

プロパーの方でも仕事がないような状況で、それでも僕らのチームは半年ほどは細々とメンテなどの作業をやっていたのですが、最終的には契約終了になってしまいました。

自社に戻って、何をするのだろうと思っていたら、Android講師をやれ、といわれました。

Androidは、暇だった時期に少し動かしてみて、簡単なアプリなら組めるようになっていたのですが、人に教えるほどの技術はありません。しかも準備期間は1週間ほどしかありませんでした。

ビデオ教材と教科書が用意されていて、それに従っていれば最低限の講義はできるのと、最初のうちは純粋Java講義だったので、前半をやっている間に講師Android勉強をしよう、という、何とも乱暴な計画を立てたのでした。

基金訓練をはじめて

ほぼ定員いっぱい近い受講者の方が集まったのですが、スキルが全くバラバラです

JavaC#,C,C++経験者がいるかと思えば、人差し指だけでキーボードを打っている方もいます

講義最初のうちはコマンドプロンプトを使うのですが、教材には説明がなく、最近の人は知らないだろうと思って説明書を作っていたのですが、まさかコピーペーストのやり方から説明することになるとは思っていませんでした。

それでもやる気のある方はまだましで、どうみても給付金目当てとしか思えない、やる気のない方が何人もいます

こちらも準備不足の中、生まれて初めて「先生」と呼ばれる仕事を始めることになりました。

問題だらけの講義

基金訓練を始める前は「きちんと技術を教えられるかな」ということばかり気にしていたのですが、講義の運営の方が問題続出でした。

いかにもやる気のない方々は講義中もトイレ電話だといって抜けてしまう、講義中に当てても「わかりません」しかいわない、かといって質問もしない。当然課題も期限までに出さないので0点しか付けようがません。

そういう方でも、こちらから無理にやめさせたりすることはできないので、何とか講義だけはでてもらっていました。

けど、それがよくなかったようです

まじめに受講されている方々から「金をもらって受講しているのにあの態度は何だ」「入校条件(キーボード入力)すら満たしていないのではないか」「講義のペースが遅すぎて時間が余る」などの苦情があがり、まじめな方から就職が決まった」などの理由で辞めていってしまいました。

後に残った、やる気のない方々と、講義を続けていくしかありませんでした。

2回目の講義

1度目の皆さんが修了し、2回目の講義を行うに当たって、前回の反省点を改善すべく、いろんな手を打ちました。

最後の手は、会社に怒られるのではないかと正直不安でした。実際辞めていく方が増えたのですが、こういう方は「家業が忙しくなったので手伝う」「体調が悪くなったので療養する」といったもっともらしい(?)理由で辞めていったので会社から怒られるようなことはありませんでした。

むしろ受講生の方の中から、積極的に他の方にアドバイスする方が増えたため、スキルの低い方からも「質問をしにいける人が(講師以外にも)大勢いたのでよかった」といってもらえるようになりました。

今回は、終了後の受講生の方どおしの打ち上げ会に呼んでいただきました。おおむね好評だったのだろうと思います


本気でプログラマになりたい方へ

経験だけど、求職者支援制度を利用してプログラマになりたい方向けに、こういう人がプログラマに向いている、こうした方がいい、という条件を挙げてみます

プログラム勉強ははっきり言って辛いです。やりたいことが明確になっていないと、なかなか続かないです

僕は「写経」と呼んでいるのですが、サンプルプログラムを実際に打ち込んでみて、エラーがあれば自分で修正する

という「訓練」をやらないと基礎が身に付かないです。そもそもキーを打つのが苦手、という人はきっぱりあきらめましょう。エラーの原因を自分でぐぐって調べられないような人も、この業界には向いていないです

  • 計画的に作業できる。

いき当たりばったりではなく、最初に手順・段取りを考えてから作業を始める方が向いています

講義でも、課題作成に何日もかかる課題があるので、何も考えずに適当にやっていると期限までに終わりません。

  • 共通点を見つけるのが得意。抽象的な考え方ができる。

僕がプログラマもっとも必要な能力と考えています

「きりん、うさぎあひるかば、4つの動物で仲間外れは?」みたいな問題が苦手な人は、向いていないと思います

単に「読める」ではなく、課題を理解し、既知の技術で解けるものと未知のものに分けたり、繰り返し処理や、複数の似たような処理を一つにまとめるといった作業ができるかどうかです

さっきの抽象的な考えもそうですが、今までそういうことを意識してやっていない、という方が多いと思います。そういう人は、しんどい思いをすると思います

  • 習ったこと以外にもいろいろ自分で試してみる。

「AとBという方法がありますが、ここではAについて説明します」と講師がいったら、Bは自分で調べましょう。習ったプログラムを少し変えてみてどうなるか試してみましょう。それがうまくいかなかったとしても、経験というプラスが残ります

  • 自分で問題を考え、解く。

講師の言うことが理解できたと思ったら、自分で応用問題を考えて、プログラムを書いてみましょう。もしそれが期待した結果にならなければ、どこかで理解が間違っている可能性が高いです

先ほどの「試してみる」もそうですが、BLOG実施すると、それをみた方からコメントアドバイスをもらえることもあります

  • ちょっとずつ試す。

いきなり何十行もプログラムを書いて動かなかったとしても初心者はまず動かせるようになりません。少し書いて、動かして動作を確認し、また動かして、を繰り返す方が結局早く完成します。

ちゃんと動く「プログラムの断片」を増やすことは、後で同じようなプログラムを書くときに、「断片」をそのままコピーして使えるようになると言うことです


  • 動くものを書くのが先、きれいに書くのは後。

一度プログラムを書き始めたら、まずやることはプログラムを完成させて動かしてみることですプログラムを書いている途中で、同じような処理があるからforで書きたいとか、メソッド化したいとか、思うかもしれませんが、プログラム初心者はまず動くプログラムを書いて、それができてからきれいに書き直しをした方がいいです


  • 頭の中で考えてまとまらないときは、それを文書や図にして書き表せる。

すぐに解けない課題は、書いて残しておきましょう。書いて整理することで、解けることがあります。今は解けなくても、後で見返して解けることがあります

特に図に書く、という作業は意識的にやった方がいいです講師に質問するときも、口で説明するより、図に書いた方がずっと通じやすいことがあります

  • 困っている人を助ける

自分ができたことで他の人が詰まっていれば、アドバイスしてあげましょう。助けてあげると言うだけでなく、他人に説明すると言う作業は、自分自身の理解をより深める作業でもあります

もちろん自力で最後まで解くことが重要課題もありますが、そういうとき講師がそれとなく言ってくれるはずです

とりあえずアプリを書いたら、同じ講義を受けている人や講師に見せて感想をもらいましょう。

アイコンを書くのが苦手なら、イラストが上手そうな人を見つけて、書いてもらったり、書き方を教わったりしましょう。

講師以外にも味方を増やしましょう。

訓練を受けているのは同じような環境の方ばかりなので、相手だって同じことを考えているはずです


  • ノートに書いたことは理解できるようになるまで何回でも書き直す。

紙のノート講義内容を書いたり、テキストの余白にメモしている人がいますが、それは講義の内容を聞いて即理解できる人が、聞いたことを忘れないためのやり方です

からない人は、わかるようになるまで、何回でもノートを書き直した方がいいです。わかったことを継ぎ足して、表現を見直して、時には冗長な表現を削って、自分だけのオリジナルテキストを作るつもりで書きましょう。当然書くのは紙のノートではなくパソコンをつかいます

プログラミング以外の世界でもプロや、プロ顔負けの技術を持つセミプロハイアマチュアといった方は自分の作品を世に出すときに恥ずかしがったりしません。不安はあっても、それを上回る意欲を持って、どんどんアプリを書いて、マーケットに載せましょう。

ひょっとすると業界の習慣よりあなた意見の方が正しいこともあるかもしれませんが、未経験の人が言っても周囲はたぶん聞いてくれません。「私はずっとこのやり方でやってきたしこれからもやる」という意見はひとまずおいておいて、まずは周囲に認めてもらうようにしましょう。

余りに差がありすぎて自信をなくすと逆効果ですが、技術を身につけたければ自分より優れた人から学ぶのが一番ですコミュニティー勉強会にも積極的に参加しましょう。


最後のが理由で、僕は講師を辞めたんですけどね。

訓練されている方から学んだことも多いですが、僕は、僕自身が技術を磨ける環境に身を置きたかったのです

2011-10-04

まともな国産 MMORPG

国産Master of Epic という良ゲーがあるのだがマイナーだ。

自分の知ってるまともな国産 MMORPG だ。

古きよき時代の UO良心を正当に受け継いだ完全スキル制。

クリックゲーとは全く別物の FPS に近いアクション性の高い戦闘

タイマンから 100 vs 100 規模まで様々な思惑と戦略戦術プレイスタイルが錯綜し、プレイヤースキルが反映される PvP

戦闘bot 化が難しいため戦闘系の bot がいない。

生産一筋で全く戦闘をしないプレイスタイルでも困らない。

高いカスタマイズ性。ほとんどすべてのキーバインドUI の配置を変更できる。

課金アイテム時間を金で買う系のチケットやおしゃれ系のアイテムばかりで、ありがちな「強くなるアイテムや装備」が無い。

多少強くなる装備はあるが、課金しなくても全く問題ない。

生産物が強い。生産物課金アイテムも装備も含めすべて消耗するため、生産が死んでいない。

課金アイテムゲーム内で売るいわゆる公式 RMT が安定しているため、RMT 取引がほとんどない、中華殆ど見なくなった。

プレイヤーの年齢層が高く、厨プレイヤーに遭遇しにくい。

5年以上にわたって大きなインフレも無い、安定した経済サイクル。

と、国産/アジア産としては奇跡的な出来なんだが、いかんせんベースになってるエンジン10 年近く前のものだ。グラフィックが当時が基準なのでどうしても見劣りするのだが、グラフィック以外の出来は国産らしくない。

ライトユーザーグラフィックで選ぶから入ってこないのかもしれないが、だらだら生活プレイでもなんら困らないので時間の無い人やライト向けでもある。自由度が高いしレベリング存在しないから、何をしていいのかわからず挫折する人もいるので人は選ぶ。昔の UO面白かったという人には間違いなくお勧めできる。

原型はハドソンがつくった RA という MMORPG だ。なぜハドソンという弱小がこれを作れたのか?まったくもって謎だが、弱小ゆえに好き放題出来たのではないかコナミ傘下になってしまったハドソンは、今や多くのスタッフを失い身動きできず、今後は携帯アプリ開発しかやらせてもらえないとの噂だが残念でならない。

とても面白いのだが、規模でいえば相変わらず弱小だし、課金アイテムにいたってはあくどい商売をしてこないのでちゃんと儲けているのか不安になるほどだが、Fate/Zeroコラボするあたりまあまあ儲かっているのかもしれない。

今定期メンテ中だから公式ページ見れないけど。

http://anond.hatelabo.jp/20111004065108

2011-09-23

「新しいプログラミングパラダイム」の目次


第1章 新しいプログラミングパラダイムをめぐって (井田哲雄)
	1.1 はじめに
	1.2 プログラミングパラダイムの形成
	1.3 プログラミングパラダイムの展開
	1.4 パラダイム作法構造プログラミング
	1.5 構造プログラミングを超えて
	1.6 関数型プログラミング論理プログラミング,対象指向プログラミング
	1.7 新しいプログラミングパラダイム
	1.8 まとめ


第2章 ラムダ計算と高階プログラミング (横内寛文)
	2.1 はじめに
	2.2 ラムダ計算
	2.3 最左戦略
	2.4 コンビネータによる計算
	2.5 まとめ


第3章 マルセイユPrologProlog Ⅱ,Prolog Ⅲ
	3.1 はじめに
	3.2 準備
		3.2.1 述語
		3.2.2 項
		3.2.3 項の単一化
		3.2.4 節およびHorn節
		3.2.5 論理式の意味
		3.2.6 論理的帰結と導出
	3.3 マルセイユProlog
		3.3.1 Prolog記法
		3.3.2 Prolog計算規則
		3.3.3 Prologプログラムの例
		3.3.4 カットオペレータ
		3.3.5 DEC-10 Prologとの相違
	3.4 Prolog Ⅱ
		3.4.1 difオペレータ
		3.4.2 freeze
		3.4.3 ループ構造
		3.4.4 Prolog Ⅱのインプリメンテーション
	3.5 Prolog Ⅲ
		3.5.1 制約の枠組
		3.5.2 Prolog Ⅲのプログラム例
		3.5.3 束縛の領域と制約系
		3.5.4 Prolog Ⅲのインプリメンテーション
	3.6 まとめ


第4章 制約論理プログラム (相場 亮)
	4.1 はじめに
	4.2 制約プログラミング
	4.3 制約の分類
	4.4 プログラムの実行
	4.5 制約の評価
	4.6 まとめ


第5章 オブジェクト指向 (柴山悦哉)
	5.1 はじめに
	5.2 モジュラリティと抽象化
		5.2.1 抽象化
		5.2.2 手続抽象
		5.2.3 データ抽象
		5.2.4 オブジェクトによる抽象化
		5.2.5 並列オブジェクトによる抽象化
	5.3 共有
		5.3.1 多相型
		5.3.2 継承
		5.3.3 多重継承
		5.3.4 Self
		5.3.5 動的束縛の意義
	5.4 対話性
		5.4.1 クラスの再定義
		5.4.2 表示機能の一体化
	5.5 オブジェクト指向の弱点
	5.6 まとめ


第6章 型推論ML (横田一正)
	6.1 はじめに
	6.2 LCFの超言語からMLへ
	6.3 プログラミング言語と型
	6.4 ML表現と型宣言
	6.5 ML型推論
	6.6 LCFへの応用
	6.7 まとめ


第7章 Miranda (加藤和彦)
	7.1 はじめに
	7.2 Miranda概観
		7.2.1 等式による定義
		7.2.2 基本データ型と基本演算子
		7.2.3 ガード付き等式とスコープルール
		7.2.4 高階関数カリー化
		7.2.5 パターンマッチング
		7.2.6 ノンストリクト性と遅延評価
		7.2.7 ドット式とZF式
	7.3 型
		7.3.1 強い型付けと静的な型付け
		7.3.2 多相型
		7.3.3 型類義
		7.3.4 代数データ型
		7.3.5 抽象データ型
	7.4 処理系
	7.5 まとめ
	7.6 文献の紹介


第8章 項書換えシステムと完備化手続き (大須賀昭彦)
	8.1 はじめに
	8.2 項書換えシステム
	8.3 TRSの停止性
		8.3.1 意味順序
		8.3.2 構文順序
	8.4 TRSの合流性
		8.4.1 完備なTRS
		8.4.2 危険対
		8.4.3 危険対を用いたTRSの合流性判定
	8.5 Knuth-Bendixの完備化手続き
	8.6 KBの応用
		8.6.1 帰納的な定理証明への応用
		8.6.2 等号論理定理証明への応用
	8.7 まとめ


第9章 等式プログラミングから融合型プログラミングへ (富樫 敦)
	9.1 はじめに
	9.2 等式プログラミング
		9.2.1 等式プログラム
		9.2.2 代表的な等式プログラム
		9.2.3 プログラミング技法
		9.2.4 正則プログラム正規化戦略
	9.3 条件付き等式プログラム
		9.3.1 条件付き書換え規則
		9.3.2 条件の種類
		9.3.3 利点と問題点
	9.4 融合型プログラミング
		9.4.1 AMLOGシステム
		9.4.2 向付き等式
		9.4.3 実行戦略の変更
		9.4.4 代入操作
		9.4.5 合流するプログラムへの変換
	9.5 まとめ

2011-08-29

http://anond.hatelabo.jp/20110829131837

5、6号機ならメンテ完了で即時に稼働準備に移れると。

2011-08-28

http://anond.hatelabo.jp/20110828025019

輪番停電後に通常の電力供給に戻れたのは、メンテ明けの発電所を動かしたからだと聞いたけど。

まり発電所とはメンテのために止めなきゃいけないものなわけで、例えば10基ぶんの発電が必要なら10基以上の発電所を用意しとかないとローテーションできずメンテで止められないって事でしょ。

福島が止まっているせいで、その余剰がない。ずっとメンテができないフル稼働の状態で日本はぎりぎり動いてる。って状況なんじゃないの。おおざっぱに言ってさ。



この状況を見て「なんだ、福島なくてもいいんじゃん、輪番停電茶番じゃん」って言ってるのはつまりメンテしないでずっと動かせって言ってるのと同じだったりしないの。

もしそうなら、それって発電所がどこか故障したら一発停電でいいって事だよ。そのへんどうなの。

2011-08-18

プログラマ浮気の基準について

http://anond.hatelabo.jp/20110817224009

プログラマ浮気の基準について、皆さんの考えを教えて下さい

A、メイン言語以外でコーディングをする

B、気になる言語オープンソースダウンロードする

C、fork OK なオープンソースを改変する

D、コミットが自由なオープンソースプロジェクトに参加する

E、コミット承認制なオープンソースプロジェクトに参加する

F、一度だけバグフィックスのリビジョンコミットする

G、いつでも別れられる感覚プロジェクトに参加する(≒メンテナになる)

H、プロジェクトに参加した結果、他の言語の方に本気になる


プログラムで思う存分浮気しろってことですね、分かります

2011-08-11

http://anond.hatelabo.jp/20110811102145

自分ではそう思ってないけど、人から見ると負け犬の遠吠えに見えるから

冷めた目で見てもらってかまわないです

はいわゆる今まででWEBサービス開発したことない(年齢=ユーザー様暦)。

小中高と情報弱者だったか大学ではがんばってプログラミングやろうと思ってた

んだけど、普通大学でIT系の奴全然いないから、友達結構紹介してもらった。

まず、なんで俺がWEBサービスを作りたかたかというと。世間体を気にしていて、

早く情報弱者というレッテルをとりたかたから作りたかった。

まあそんな男がサービス開発できる分けないんだけど。

友達にも情弱情弱ってネタにされて(まあ冗談ってわかってるけど)、

惨めでとにかく早くレッテルをとりたかった。

まあ察してると思うけど、サービス公開はできなかった・・・一応完成までこぎ着けて

全部知人のお試しで酷評が8回(8連敗)、全く後に続かなかった。

一回目は、うまれて初めてサービス開発したから完全に舞い上がって

ものすごい労力をつぎ込んだ。ハウツー本で普段使うものを作ると良い

と書いてあったから、俺が取り込んだCDを公開して、皆さんも公開してくださいと書いたり、

調子に乗って動画も公開しましょうとか書いたり、ゲーム(ry という構想をしていた。

(まあ内容は置いといて・・・

サービスのURLをメールで送ってからPCの前で待ってて来るかな来るかな、って3時間くらい

待ってたこともあった。そして、最初サービスでがっつきすぎたか著作権とかダウンロード違法化とか知ってる?」

っていわれて1回目撃沈。

それから友達から指摘を受けて、ありがちなWEBサービスを学んで次から次へ

どんどんアプローチをかけていった。

2~6回目位までは1回目と同じくらいか、少し少ない熱意を持って

やったがそれも全て撃沈。

7~8回目位になったあたりで精神が病んできちゃって、8回目が撃沈した

次の日位から、食事が喉を通らなくなった。食べてもほぼ100%吐いてた。

なんで自分情弱なのか?情弱すぎて劣悪な遺伝子だな、頭も悪いし

こんな遺伝子残さない方がいいんじゃないか、という劣等感を感じるようになった。

大学はそのときまで全然さぼらなかったんだけど、あまりのだるさに1日さぼって、

次の日は学校行っただけでダウン、ついた瞬間保健室へ駆け込み、休憩して授業を

受けずにそのまま帰宅。一週間で飯は食えるようになったけどそれでも前に比べる

とかなり小食になった。

なんてことが2年の夏休み~2年の冬休み直前まで続いた。

そして、自分の気持ちの中でいくつかの結論が出た。

自分は本当に情弱で、やればやるほど空回りする。そして、無理すればするほど

ぼろぼろになっていく。努力して、相手の為に尽くしても思いが届かないことに気づいた。

傷つくくらいなら、最初からしなけりゃいいというのが一つ。

完全に逃げてるけど、俺の中でWEBサービス作ることはただたんにレッテルをとりたいだけ

から、そんなアホなことに労力使うのがばからしくなった。

そう思ってて今日まで過ごしてきたら、韓国戦見てたときに母さんが「あんたWEBサービス作らんの?」って

言ってきて「俺はもう作るのあきらめた」と言ったら、親父がいかSNS運営が儲かる

か説いてきた。それと「1万人も集めたことがない奴が分かったような口聞くな」とか

「そんなの負け犬の遠吠えだ」などと言ってきた。それでこっちの

意見を全く聞こうせず、ずっとSNSのすばらしさを熱弁してくれた。

自分で逃げてるなんて百も承知、俺はもう疲れたんだよ。

日々見下されてて、俺に対する態度がひどくて劣等感を感じて、バイトは土日絶対1日入って、

そして、家では心からゆっくりできなくて疲れが全然取れない。

それでWEBサービス作成するだけでも多大な労力を使ったのに、それが完成したら

毎日メンテ?毎月の生活苦しいのに、定期的に鯖増強で金を使う?

そもそもプログラマでもないのにWEBサービス作成意味を見い出せない。

作るだけでも楽しい?今の僕には理解でないよ。

から今はもう一生独身情弱でいいかなと思っています

だけど、やっぱり物寂しい人生に成ってしまうのだろうかと

思うと少し残念な気持ちに成る

ここまで読んでくれた人ありがとう、下手な文章でごめんなさい。

2011-08-07

美しく賢い妻に恵まれて夫は幸せにゃー

景気の話になるたびに、どこかで仕入れてきた浅薄日銀批判を語っても笑って受け流してくれる妻、実はメガバンク美人アナリストとして鳴らしていた

子ども教育で小言を言うたびに、「そんなに言ってもかわいそうだにゃー」と笑って娘をかばう妻、実は超一流大学経済学部

家の段取りでぶつくさ不満を垂れる夫に、「妻は要領がわるいにゃ^^」と言いながら、実は余った時間資産運用をして結婚以来何百万も溜め込んでいた

お肌のメンテができなくて若い頃より冴えないと嘆く妻、実は何人かの同僚が、結婚したと聞いて泣いたらしい

おっぱいはFカップ、容姿読者モデル並み、申し分ない妻なんだけど。





…さえない仕事で疲弊しているさえない夫でごめんよ。

2011-07-18

ナンパ事始め レッスン0 なぜナンパなのか

 前回の記事(http://anond.hatelabo.jp/20110716012416)が予想以上にブクマがついたので、引き続き書いてみたい。予想通り「ナンパ=イケメンに限る」みたいな、すっぱい葡萄を全開にしたコメントを残すバカもいたが気にせずいこう。いいだろうか、ナンパイケメンに限らない。もちろん女性の中には「イケメン以外お断り」という奴もいる。だがそんな女性は存外少ない。気にせず、そして図太くなれ。厚顔無恥になることがナンパにおける必要条件だ。そして「ナンパ事始め」は内向的なうじうじ君からアクティビティを取り戻すための、スモールステップだと考えて欲しい。大丈夫ワンステップはこれ以上ありえないくらい小さく刻んでいる。内向的引きこもりが、いきなりどんなコミュニケーションでもイニシアチブが取れるようになる魔法は、残念な事に存在しない。誰もが「長年」かけて、異性にアプローチする方法を磨いてきたからだ。だが「いきなり」でなければ可能だ。しかリア充が「無意識的」に磨いたスキルを「意識的」に磨けば、それは「いきなり」ではないが短期間で到達できるものに過ぎない。ステップを確実に登っていけば、少なくとも現状は脱出出来る。もちろんステップ一つ一つは楽ではない。だが時は来た。今まで逃げていたであろう苦しみと向かい合う時が来たのだ。

 さて前回の記事のブクマコメントに以下のようなコメントがあった

IT系の人が、マニュアルも読まず、アンチウイルスも入れず、DISKのメンテもせず、画面も読まずyesを押しまくり、それでPCが不調になって愚痴や文句を言いまくる人に対して抱く印象を、この人は彼らに抱いている気がす」

要するに「お前ちょっと見くびり過ぎだろ」という苦言だろうと思うが、これは誤解だ。この記事が必要な人間は多くはないだろう。(というか圧倒的少数だろ)私は、「読み手全員」に配慮しているのではない。照準している対象は、コミュニケーションハイアラーキーの「最下層」、つまり彼女もいなければ、友人もおらず(いても同じような非モテ)、異性とのコミュニケーション母親だけに限定されているような人々である大学受験に必要な数学を学ぶために小学校の算数からやり直してもらうプログラム、と言えば分かりやすいだろうか。「よしナンパしてこい!」と言われて「わかりました!」と行動出来る人にこんな記事は必要ない。もちろんナンパすら必要ない人、つまり自分で満足な人間関係が構築出来る人なら尚更である。「ナンパ事始め」は、ナンパをするためにに必要な自信を、出来るだけ短期間で取り戻す(そう、それは元々貴方から欠如していたのではない。不幸なキッカケでいつの間にか貴方から脱落してしまったのだ)プログラムである

 唐突だが水城せとなの『失恋ショコラティエ』は読んだことがあるだろうか。(名作だ。読んでおいたほうがいい。)第三巻で主人公の親友オリヴィエはこんな事を言う。

「どんなアコガレがあっても 出会えた人としか恋はできないよ 人生の中で巡り会える相手って案外限られてる ハムスターは同じカゴの中にいるハムスターつがいになる それと同じでしょ?」

当たり前だが、時間が有限である以上、出会いもまた有限である。満足な人間関係を今まで築けなかった貴方の「出会い」は非常に限定されたものだったろう。そしてそんな「限定的な出会い」は貴方の可能性を大きく縮める。内向的な奴らが集まりがちで、男女比が極端に偏っているサークルで起こるのは、視野狭窄野郎による少数のさして可愛くもない女の血みどろの奪い合いである。何故そのような現象が起きるのか?それは彼らがそれ以外に「出会う場」に参入出来ないからだ。恋愛をするためには、まず出会わなければならない。ナンパが出来ない人間出会いを作るためには、金銭的・時間コストをかけてなんらかの共同体所属する必要がある。もうお分かりだろう。ナンパこそコミュニティに参入する必要なく(コミュニティ参入にはそれなりのコストがかかる。そしてそのコストは多くの場合コミュニケーションスキルアップに何ら貢献しない)出会うことが可能な唯一の方法である出会う奴の数を飛躍的に伸ばせ。視野を拡大し、サークル会社の女の評価を修正しろ。身近な女性がただのクズか素晴らしい人かは、多くの人と出会ってこそ初めて分かる。また出会った数だけ、貴方の生活におけるデスク滞在時間が短縮するはずだ。

 さてまだまだナンパ効用を書くことは出来るが、この辺にしておこう。最後ナンパ啓蒙した文章で恐らく最高のものをあげておく。

 http://d.hatena.ne.jp/qqille/20101227 性とナンパについて渋谷で考えた

書き手はやり手ナンパ師(ちなみに、「ナンパをする人」と「ナンパ師」は明確に違う。これはまた今度触れよう)であるが、非常に巧みな修辞と理論化で読ませる記事をいくつも書いている。ただ私の目的は、貴方を「ナンパは最高に打ち込める趣味だ」と公言させる事にはない。「ナンパを通じてスキルを磨き、そのスキルを用いて日常生活を豊かにする」(これも詳しくは今度)ために、それ以前に必要なスモールステップを提示することこそが私の目的だ。さて、まずはレッスン1から始めよう。今すぐ外に出て道をたずねろ。「スイマセン、ここから駅はどう行けばいいんでしょうか?」

2011-07-11

福島原発事故は反対派が新規建設邪魔をしたから論」について

最近目にする分量は減ったけれども、一時期非常によくみかけた主張

原発反対派のおかげで原発の新規建設が困難であった。それがなければ福島第一原発をこんなにも延命させる必要がなかった。したがって、今回の原発事故責任原発反対派のそれも大きい。

というものである

まぁ、これはじつにけったいな議論である。では、ここにまつわる論点を整理してみる。

第一に、私も、「原発反対派の反対運動が新規建設を困難にした」という「因果関係」については、ある程度存在すると認めている。これを科学的に立証するのはいろいろ文献を引いてこなければいけないが、さすがにこれを否定するのはナンセンスだろう。

しかし、一般論として「因果関係が生じている場合、原因となったもの結果責任が必ずある」という命題は明確にNOであることも議論の余地はない。

さて、今回それが当てはまるか、という風に考えてみる。原発反対派と一口にくくっても、「自分のところに原発をつくるな、ともかく」な人たちから原発は廃止にもっていきたかった」人までいろいろある。

これはこれで当初の命題に大いに関係がある議論だが、詳細な論証は私はやめておく。論じるだけのデータがないのが最大の理由であるが、以下の指摘だけは私の印象からしておく

・冒頭の「原発反対派論」を言う人間は、大抵(例外はあるかもしれない)、原発の新規建設が困難であった理由のさまざまなものの中で(一つではまさか、ない)、反対派の運動がどれだけ寄与しているかなどどうせ検討していない。

・そして、「原発の稼働期間延長」の理由も同様である原発をあまりに長く稼働させると、老朽化によるメンテコストの上昇はあるが、一般的に原発は一度稼働してしまうと、他の発電所と比べても「使えば使うほどコストが下がる(変動費が相対的に低い)部類に入るのは明らかである(水力とかもある意味そうなんだけど、火力と比べれば…。いくら原発廃炉後や使用済み燃料のコストが高い、と批判があっても、一度動かしてしまったら、早くとめた場合と延長した場合の差が劇的には違わないことは素人概算でもある程度言える)。新規建設ができなかったら電力会社は運転延長をしなかったなどと言い切れるかどうか。

因果関係責任の関係も今回の論証では結構やっかいであると考えられるが、科学的に検証してこの手の主張をしている人はほとんどいないので、そんなの抜きに自分真実を述べたところで、まぁ少なくとも議論は平行線だわな。

さて、ここからが本題である。さて、仮に「原発反対派が新規原発建設を困難にした主因の一つであり、老朽化した福島原発の運転延長の責任を十分に問える」まで認めたとしよう(私は大いに疑問があるが、その仮定を滑稽とまでは思ってはいない)。

冒頭のロジックの一部を切り出すと

原発の運転を延長しまくったのが被害拡大の大きな原因である

ということになる。

しかしながら、私が一番ひっかかるのはここだ。

今回の原発事故原因について、まだ不明な点も多々あるが、あえて以下の三つにおおむね分けられる

1)そもそもの福島第1の1~4号炉の「構造上の問題」(作った時から抱えていた問題)

2)原発運転上の問題(通常運転時にどれだけ事故に強い運転をしていたか、運転後に施された防災対策や事故後の処理のよさ、悪さ等)

3)老朽化故に事故に弱くなっていた点

で、…ええと、私が今までの情報総合すると、どうも3)もゼロじゃあないっぽいんだけど、事故拡大要因は1)と2)の方がずーーーーっと大きいんですけど。

からすると、今回の惨事は、「原発の運転延長をしていなくても、もしこれがじゃあ1985年震災が起こっていたとしても」やっぱりあったんじゃね?ということ(老朽化問題さえなければ少しは被害が小さかった可能性をまったく否定するものではないけれど、当時は当時で他の条件もいろいろ違っていた)。

まり、「これって今回の震災対応できたかどうか、という観点でいうと、はじめから動かしてはいけなかった原発であったという指摘もあるんだど、これは否定できるの?」「運用面の問題も捨てきれないのでそうも断言が難しいのだけど…」と。

結論に移ろう。

少なくとも、私に言わせれば

・「福島原発事故は反対派が新規建設邪魔をしたから論」を言うのであれば

A)運転延長前の震災であれば今と比べて劇的に問題は小さかった

B)運転延長前には地震が起きないことが明らかであった(=地震を予知していた)

といううちのいずれかでも満たしていないことには、かなり無理筋の責任論ではなかろうか、ということだ。

こういう論点をあまり見かけないので書いておくが、まぁ異論反論もあろうから煮るなり焼くなり好きにしてくれ。

※公平を期すために1点だけ論点を追記しておくなら「十分な事故対策の準備が整わなかったであろう理由の一つは、原発反対派の批判があったから」というのがある。詳細の記述は避けるが(書きたい人は色々と反論に持ち出すだろう)これはある程度私も同意する。しかし、それだけがなければ事故はたいしたことがなかったとまで言えるのか?という疑問と、(311以前の)原発反対派の動きをろくにしらない人は気づいていないかもしれないが、(311以前の)原発反対派の批判等で改善された原発の安全対策というのもこれはこれでいろいろあるというのも記しておいていいだろう。

2011-06-27

http://anond.hatelabo.jp/20110627000359

被災者のみ無料化の件を聞いた時に懸念してたけどやっぱりそうなってるのかぁ。

元々高速道路無料化は、これ以上高速道路を積極的に増やさないのと引き換えに、既存高速道路をなるべく使い尽くそうというという政策だった。道路ガラガラでも結局痛むのでメンテは必要だしどうせメンテが必要ならガラガラで少数の利用者から通行料を取るよりなるべく使って貰って経済効果を高めた方が国としては得。本当は通行料取った上でみんなが使ってくれればいいんだが、政治家子飼い土建屋に金を落とすために使いもしない道路を量産してしまった後なのだから、作ってしまったものをどうにかして有効活用するしかない。

無料化のもう一つ大きな利点は料金の徴収コストが掛からなくなることでこれにより道路自体のキャパが上げられる。日本高速道路では渋滞は料金所で発生するため料金所が無ければ渋滞は劇的に減るor渋滞が起こるラインを引き上げられることになる。

これを踏まえると被災者無料なんてのはナンセンスなのが分かる。もちろん休日1000円も論外だ。エリア単位フリーウェイ化してしまうことに意義がある。

常識的に考えて被災「者」ではなく被災「地」無料で良かったはず。高速無料化は無駄遣い(キリッとか言うけどこの金は被災地支援として全く惜しくないというかこんなコスパの良い支援もないだろう。物資流通の支援のみならず、被災地工場東京に安く運べるようになるので事業復旧しやすくなるし、観光業にもプラスになる。

2011-06-24

http://anond.hatelabo.jp/20110624100627

2000年問題も、笑っちゃうよなバグがあったりしたからな。

事前に大騒ぎしたから、大きい企業場合は社命で全チェックが行われ、そこで発覚したようなのもある。

自販機がただで買えるようになる、とか笑い話であったけどさ、あれ少しだけマジなんだぜw

価格時間変動できるようになってるんだが、そこの設定がおかしくなる=テストモードになるってのがあってな。

どこに問題があったかは伏せたけど、2000年対応って言って、全数メンテしたはずw

(何を売る自販機とは言わない、身が危ういから)

2011-06-17

http://anond.hatelabo.jp/20110617122418

減速に2速ロックとか多用している俺が言うのもアレだけど、ATでそれやると、ミッション痛むからメンテには気をつけてください。

まぢすか(汗

# 私も減速に2速ロックは多用しています

http://anond.hatelabo.jp/20110617115919

ただそれだと、ロック外して急加速ってのには対応できないから、元増田

緩める方向は随時OK、踏むときロック解除。

ブレーキのかわりにアクセルを踏んだとしても、ロックを解除していないから踏み込めない。

というのにはならんよな。

たぶん、一定の開度に達するたびにロック解除しないとならないと思う。


Nに入れとけばアクセル全開にしても(エンジンの回転を理由に)クルマは動かない

減速に2速ロックとか多用している俺が言うのもアレだけど、ATでそれやると、ミッション痛むからメンテには気をつけてください。

2011-05-30

http://anond.hatelabo.jp/20110530105327

「光の道」だっていつか光ファイバーになる事自体はNTTも認めてるから

いつどのようにやるかの問題だと思うけど。

それを一気にやっちまいましょうってのが「ソフトバンクの提案」なわけで。

工事の日程や、人員などのリソースから言っても無理に決まってるのに、「できる」と言ってた。

そりゃそうだよね、単なる自社内のメンテが、国家事業に切り替わり、帳簿上の名目が異なるものになる。

そりゃやりたいよ。


むしろ、「いつどのようにやるかの問題だと思うけど」とか言って、方向ずらしてる方がカルト

この提案はNTTがしようが、KDDIがしようが批判の対象なのであって、ソフトバンクが提案したから批判されてるわけじゃない。

http://anond.hatelabo.jp/20110530011126

孫が設備投資を諦めて、NTTのを使わせろって言ってるが、そのNTTの設備を維持してるのは、誰が払ったお金だ、とか

その挙句接続料金が高いとか、なにぬかしてんだ、とかそんな話かね。

ちなみに、一般視聴者にはわけがからないと評判だった「光の道」CM

あれは、ソフトバンクが推すプランでいくと、老朽化した自社設備メンテ問題が解消するって話。

から一気に変えたかった、自社都合でな。

無茶な新規獲得に対応するため、同じ時期にまとめて設備を作っているから、メンテも一気にくる。

それを、「光の道プラン」で新しい設備に切り替えれば、国からの補助も出るしホクホク、みたいな感じ。


首都圏地方都市クラスに住んでると、通常時にキャリアーの差なんか感じることはないぞ。

差が出るのは、今回のような震災時や、過疎地

過疎地なんか関係ねぇって言うかもしれないが、山に登って良い景色写真にとって、その場で送れるかどうかは結構大きい。

2011-05-20

http://anond.hatelabo.jp/20110520103411

こうした言語の話ってさ、いつもいつも狂信者みたいな人とか、単に引っ掻き回すだけの人が現れて

高級言語なら簡単なことが簡単にできる」とドヤ顔で言うんだよな。

「簡単なことを簡単に書くために、高度な言語サポートがある」といって「簡単な事では問題が起こりません」って言うんだ。

そして、メンテナンス性とかの話をしてたはずなのに、「言語カバーしてくれる」とか言い出す。

んなわけないじゃん・・・・ドキュメントの不備ひとつで、どんな言語だろうが難攻不落の砦になったりするんだよ。

逆言えば、アセンブラだろうがドキュメント(そして設計)さえちゃんとしてれば、全然普通にメンテできる。

コーディング時の他人の思想を伝えてくれる言語なんざ、いまだ見たことねぇよ。

それは君が、高級言語の機能を活かした質の良いコードを見たことがないだけだと思うよ。

そうしたコードは、たとえドキュメントが皆無でも実装者の意図を推測するのは難しくないし、メンテナンス性が高く、機能追加も容易だ。

アセンブラでも設計さえ確かなら問題ない。うん、そうだね。これは単純に比較の問題だ。アセンブラで堅牢さを実現できる設計なら、高級言語を使えばさらに堅牢に作れる。したがって、特に理由がない限り、アセンブラC言語を使う理由はない。

ましてや、常に完璧設計をすることは不可能だ。また、「完璧」な設計は要求変更に弱い。ならば、なおさら堅牢性の低い言語を使って実装する理由はない。

http://anond.hatelabo.jp/20110520001116

こうした言語の話ってさ、いつもいつも狂信者みたいな人とか、単に引っ掻き回すだけの人が現れて

高級言語なら簡単なことが簡単にできる」とドヤ顔で言うんだよな。

「簡単なことを簡単に書くために、高度な言語サポートがある」といって「簡単な事では問題が起こりません」って言うんだ。

そして、メンテナンス性とかの話をしてたはずなのに、「言語カバーしてくれる」とか言い出す。

んなわけないじゃん・・・・ドキュメントの不備ひとつで、どんな言語だろうが難攻不落の砦になったりするんだよ。

逆言えば、アセンブラだろうがドキュメント(そして設計)さえちゃんとしてれば、全然普通にメンテできる。

コーディング時の他人の思想を伝えてくれる言語なんざ、いまだ見たことねぇよ。

http://anond.hatelabo.jp/20110520002441

横だが、アホくさい。

というか、C言語で書かれてメンテ不能に陥ったガラケーが、Javaで書かれたAndroidに駆逐されている点について、誰も指摘していないのが不思議

Java管理できるチーム、もしくは個人なら、Cでも管理できる。

プロダクトの管理は、言語依存じゃない、構成依存だ。

あとな、ガラケーの開発がCって、それどこの開発をさしてんの?

プラットフォームアプリ

ガラケーアンドロイドの、「何を」比較してんのさ?

http://anond.hatelabo.jp/20110520001116

C言語にこだわるのは良くない。けど、パフォーマンスを上げ、他社のプロダクトに勝つタメにはCは必須。ネットワーク、描画系はjavaの何倍も処理速度が変わるのを忘れてはならない。

既に本人から突っ込み(「Javaの方が早くなるケースは多い」)が入ってるけど、たとえ多少遅くなったり、それを補うために値段の高いチップを積まなくてはならなくなったとしても、プロダクトの開発生産性が上がることで、総合的には製品力の強化に繋がる場合だってあるわけでだな。

というか、C言語で書かれてメンテ不能に陥ったガラケーが、Javaで書かれたAndroidに駆逐されている点について、誰も指摘していないのが不思議

- 転職ならen
- 派遣ならen
9ページ中1ページ目を表示(合計:219件)