  |
はてなキーワード: 関数型言語とは
長く書きます。お金の話の経験とかも、少しでも参考にしてください。
10年前のVistaが搭載されていた頃の家電量販店で一番安かったCeleron 1コア メモリ1GB グラボなしノートだからプログラミングに向いてないのかもしれない
お金のない環境を整えられない学生はつらいよね。明らかに札束で殴れず時間を使って損してる。
twitterできないメインで使えないのもまず、重すぎるからっていうのもありそう。
スペックが足りてなさすぎる。まずは６，７万出してスペックを整えよう。
すごい人たちは幼少の頃からパソコンがあって、パソコンをいじるだけの時間があって、承認されてる。
しかも、コミュ症だとかなんだかんだ言いながらも、ネットではきちんと弾けてるし、人望もある。
彼らを理解するのはすっごく難しい。
経済格差が多すぎて、彼らが積んできた経験と持っている環境が違いすぎるから。
プログラム自体は数学を解くようですごく楽しいのだけれど、なぜ苦しい勉強をしながらプログラムをずっとやっていられるのかわからない。
環境はMac（高すぎて揃えるなんてとんでもない）じゃないから、先人たちの簡単に手順化された知恵を受けづらく、プログラムの環境をととえるまでが大変だし、
ライブラリ関係のエラーコードは自分の力で、ライブラリを見つけに行かないとダメで、ウェブで検索しても彼らよりもずっと時間がかかる。
そこをきちんと理解したうえで、自分がどこまでやりたいのか、どうしてやりたいのか
自分はプログラマに向いているのか、考えながら、勉強していったほうが良い。
ちなみに私はプログラムを解くの好きだったし、ある程度は得意だった。
ADHDと自閉症混じってるから、だから職人的なことをやりたかったし、テストをかけば不注意で大きな損失を出す可能性も低くなる。
だからプログラマを目指しているし、プログラマとして就職するつもりなんだよね。
私も無名で、プログラム力的にはpaizaのSランクは、後ちょっと足りない、運が良ければ成功するんじゃない？ってレベル。
ツイッタランドのすごい人たちは目指すと疲れるだけなのでほどほどにね。
彼らは多分余裕綽々でS取れる。
paizaの出題は競技プログラムの一種で、競技プログラムっていうのはある程度出題の仕方が似通ってる。
複数回解いていると昔に残ったコードとか再利用できたりするから有利になるっていうのもある。
ゲームで例えるとRPG好きな奴にFPSやらせても全く活躍できないけど、FPSが得意な奴に別のFPSゲーやらせてもできたりするでしょ。
開発のジャンルの違いがあることは覚えといて。
Mac買えなくて開発環境として選ぶなら,windowsよりlinuxのほうが良い。
windowsだと環境整える前にストレスがやばいし、パソコンが死んだ場合のストレスもやばい。
あと、古いパソコンだとUSBブートができなかったのも割とめんどくさかったし、回線がめちゃくちゃ低速だったから、ISOファイルのダウンロードに半日かかってたかな。
VirtualBoxはすごいスペック持っている人が使うものなので、買い換えないならクリーンインストールかデュアルブート推奨。
ubuntuにしとけば、ウイルス系もあんまり構う必要性がなくなるからね。
起動にVirtualBox起動に数分待って、端末以外を使おうとすると固まるみたいなことやってると辛さが溜まるから。
デビットカードでも行ける。
するが銀行に口座を作ってデビットカードを申しこめば、２０歳以下でもなんとかなる。（年齢によっては親の同意は必要だけど）
２，３週間かかるけど、デビットカード作っておくことで色々なサービスを体験できるようになるのは選択肢を増やすにあたって重要なことだから是非。
一応著名なプログラマーをTwitterでフォローしてるけど、ご飯の画像を載せてたり、若者の僕には通じない寒いギャク連発してたり、ロリっぽい画像をRTしてたりと、twitterはメインの情報収集としては利用してない。
ネット上は怖い人もたくさんいるし、まさかりがちょくちょく飛んでくるけど、変にウケると拡散してくれて色々な人が声をかけてくれるのも確かだったりする。
ゆっくりと自分の使い方を覚えていけば少しずつ楽しめると思う。
実際、SNSは情報の精度としては当てにならないし、勉強のためってSNSを使うとストレスで辛くなった。
自分の好きな人だけをフォローすると精神安定するよ、あとフォロー返しはやる必要はない。やってるとTL荒れるからね。
（リストとか使いこなせるなら別なんだろうけどね）
おすすめ度は◎○△であらわす。
おすすめ度：◎ 条件：最低で６，７万円のお金が必要。 おすすめはlenovoのeシリーズ。 重いけど、コスパは良好比較的安めに上がってキーボードも打ちやすいのが良い。 いまはcorei5, メモリ8GBの使ってて、大体（重めのゲーム以外）したいことはなんとかなる。 SSDはあったら便利だけど、一番重要なのはメモリな。 開発したいなら８GBは必須。 （苦労話： 古すぎてノートなのにキーボードを常時接続必要だったり、画像が多いサイトはブラウザを選ぶ必要があったり、何よりもIDEが使えなくて辛かった。 windows vistaのupdateで数日固まったり、ゴミでしかなかった。 ）
おすすめ度：◎ 条件：契約できる年齢か、親の同意（年４万円くらいの出費）が必要 何をするにもまず回線速度が遅いと話にならない。 IDE落としたり、クラウドにファイル上げたり、AWS使う時のアップロードとか、音声会話とか。 〇〇をしてみたいと思ったら,ダウンロードに時間がかからないことは、モチベーションのためにめちゃくちゃ大切。 （苦労話： ISOファイルをダウンロードするのに半日かかるのが普通だと思ってたけど、 まともな光回線＋まともなルータを利用したら、ダウンロードに１時間ちょいになってびっくりした。 特に古いルータだったりするとボルトネックになったりする。 ）
おすすめ度：○ 条件：linuxで生きていくという覚悟 windowsよりは快適。 他のlinuxISOファイルを焼いたりするときにちょっと苦労するかもしれないし、軽いの選ぶと良いかも。 実際普段使うものがネットとプログラムツールだけだったから、なんとかなったし、ゲームの選択肢が強制的に排除されるので、 少しはプログラムに触りやすくなるかもしれない。 （苦労話： エクセル、パワポ必要とか言われた時に、officeのレイアウトで死んだりする。 資料はPDFな。 買い換えない場合のクリーンインストールは↓ 昔のパソコンでもLinuxとか入れればそれなりに動くよっていう人はいるけど、やっぱり社会的な通信網と平均的なマシンスペックが上がっているせいで、ウェブ自体が要求するスペックも上がってて低スペックだとつらい。 ブラウザはw3mとか使って、端末タブを開いてvimで開発してた。 なんでかって言うと普通にブラウザ使うとレスポンスが重すぎたから。 でもその使いづらさの分だけ損してるんだよね。 ）
おすすめ度：○ 条件：電車代などの交通費を用意可能 できること： 他人に触発されるタイプなら、すごい人たちの興味の方向を見て学ぶ方向が増えるかもしれない。 後は交通費と宿泊費の出る勉強会なんてものもあるので応募してみると良いかもしれない。 高校生なら、交通費出してくれるっていう太っ腹な勉強会もちらほらある。 一、二回は顔出し推奨。 欠点はあって、コミュ症は治らないので、友達ができるとは限らない。
おすすめ度：△ 条件：家庭環境による できること： 自分の向上心による。 大学生になって一人暮らしになったら、パソコンに触れる時間は多くなったとは思う。 （勉強しているとは言っていない）
おすすめ度：○ 条件：３，４万円の出費 できること： まず、パソコンを長時間触っていても疲れなくなる。 デスクの高さと椅子の高さはとても大切なもの。 疲れなくなるし、指が攣りそうになることもない。 机の高さはきちんと調べたほうが良い、あってることが重要 今使っているのは１万ちょいの新品デスク（ニッセンのフリーテーブル）と３万弱の中古のオフィスチェア 基本的に３０００円位のデスクは耐久性と高さがゴミだったりするので注意。 机は http://blog.livedoor.jp/itsoku/archives/38727329.html の６６のテンプレを見ておくと良いかな。 （苦労話： しかもノートパソコンでデスクと椅子がなくて狭いこたつの上か100均で買ってきた台の上で、パソコンを使っていたからパソコンの位置の高さが合わなくて姿勢がどうしても悪くなるせいで長時間パソコンをいじることもできなかった。 後は寝ながらパソコンをいじるみたいなみたいな堕落生活してたら、筋肉が硬直してまともに手を握れなくなって、医者にかかることになって１万円程度お金がかかったし、 ２ヶ月位まともにパソコン触れなくなった。 ちょうどその時期は、筆記用具をほとんど使わない単位だけだったから良かったものの、他の単位とってたらもっと治療に時間がかかったかもね。 ）
おすすめ度：○ 条件：それなりのスペックのパソコン、それなり大きさのディスプレイ できること： 設定しなくても、複数のファイルから補完が聞くし、フォルダ内の全てのファイルから検索、置換ができるのが良い。 ただし、ディスプレイが小さいと実際に開発できる範囲が小さくなるのは注意。 （苦労話： IDEは普通に使えるなら作業効率が全く違って、設定少なくても補完も他のファイルやライブラリから保管してくれるたりする。 でも、昔の環境だとeclipseはフリーソフトだけど環境整えるまでが辛いし、重いしで、開くとブラウザすらまともに操作できなくのが辛い。 だから、ブラウザでチュートリアルとか見ててもパソコンに待たされてストレスだった。 まともに使うには設定がめちゃくちゃ必要なのは実際疲れた。 （ac.jpのメールアドレスは必要だけど）学生無料なIDEでjetbrains製品があるけど、設定しなきゃダメなvimとかと違ってマウスで操作できるのがすごい良い。 端末ではコピペが簡単にできなくて、数は少ないけどよくあるミスが、間違えてcommandモードで貼り付けてやり直したり、vimのline numberの設定をいじらずにvimからコピペができる。 コレだけでイライラ具合が全然変わる。 ）
おすすめ度：◎ 条件：図書館や図書室で本を注文できるか、本があるか できること： プログラムの能力が向上する。 おすすめされている本を探すと良い。 プログラム初学者なら、ネットだけで勉強するよりは効率がある。 とりあえず、やりたいことなくて、プログラム力をただ上げておきたい場合は、 競技プログラムやりたいとしても下の順番で進めると良いかもしれない。 あと、プログラムには自分が到達しているところまでで言うと、次の順で壁があって能力が足りないと行き詰まることがある。 >> 関数化 → クラス化 （→ ポインター） → 再帰 → 関数型言語 << 数年かけて勉強して次の段階に勧めないならプログラマは諦めたほうが良いかもしれない。 （能力が足りないのは上司も自分もつらくなるよ）
おすすめ度：○ 条件：１万円弱のお金 できること： ノートパソコンなら２個の画面を使えると作業効率が違う。 特に手打ち系のコーディング練習とかがめちゃくちゃ捗るようになる。 （苦労話： IDE系列は画面を割と占拠するので、ノートパソコンの狭い画面だと辛い。 でも大きすぎる画面だと持ち運べなくなるのでダメ。 画素数が上がればその分だけ小さく表現ができるので、画面サイズが同じでも画素数が違うとかなり大きさが違って見えたりする。 ）
おすすめ度：○ 条件：学力があること努力すること、覚悟 できること： 奨学金を利用して環境を整えたり、時間が増えるから更に勉強できる。 プログラム関係もそれ以外も就職先が増える。 また、これからの転職したくなった時に逃げ道が増える。 欠点、国立は安いけど、入学にそれ相応の努力が必要。私立行けるなら、苦労してないと思う。 あと免除制度っていうのがあるから、そういうのも利用しつつ費用を安く上げよう
おすすめ度：○ 条件：年齢（か、親の同意） できること： ちょっとした電子払いができるようになる。 多重債務は起こらない。 欠点としては、定期払いはできないので携帯の契約とかはできないことに注意。
低スペックのパソコンしか無いのは、多分家庭環境のせいでもあって、
君がアルバイトもできるかどうかわからないし、アルバイトしてもそのお金が君のもとに入ってくるかはわからない。
お金も無限にあるわけじゃないし、時には経済格差を感じて辛くなることもあるだろう。
少ないお金の中でうまくやりくりして、それでも自分の力にしていってほしい。
（お金が潤沢にあるなら親を説き伏せることをがんばって）
応援してるよ。
高校時代からプログラミングに興味を持ち、ショボいCGIなんかを書いていた。
んで、大学時代はバイトと学業に勤しんでいた（情報科には行かなかった）。
就活は自己分析してやっぱり自分はITだね！とか思ってSIerになった。
Ajax、関数型言語、クラウド、モバイル、統計、機械学習色んなトレンドが来たが、自分で何かをやろうとしたことはほぼなかった。
やろうとしたが、マシンスペックがしょぼいと言って何もしなかったり、失敗したり、身につかなかった。
致命的だったのは何かを作ろうという意欲が自分には全くなかった。あんなツールがあったら便利だなとか、こんなサービスがあったら楽しそうだとかという気持ちがまったくなかった。
人見知りの性格と、何も作れていない自分が惨めでSNSにも勉強会にも参加できなかった。
この10年、仕事でやっていたプログラミングの技術は少しは向上したけど、ただそれだけだった。
プログラマ定年説まで半年。向上心も枯れて、人見知りは治らないし、仕事はできない。おまけに鬱持ち。
何度も指摘されているが「岡部氏のFRP」は同じメンバ変数tに何度も値を上書きしてるだけの
FRP以前に関数型でもない普通の命令型プログラム。いくら論文を曲解したり哲学とか言い訳しても
客観的には単なるメンバ変数への破壊的代入。オブジェクトにconstをつけたところで
じゃあOCamlで純粋関数型や（本当の）FRPで複雑なGUIアプリが書けるかと言うと、
誰もそういうライブラリを整備してないから、ライブラリから作るのは
まあ面倒だろうし、わざわざ非純粋関数型言語で純粋関数型のGUIを作る動機も
現時点ではまずないだろう。これもすでに指摘されているとおり。
もっとも「岡部氏」は「お絵かきアプリ」も「FRPの実装が必ず必要となります。」と自分のブログで断言し、
ああ。住井＠東北大かな？
>（分析哲学ではなく関数型言語の意味で）参照不透明なので、関数型プログラミングのメリットは享受できない、命令型の破壊的代入と等価ですね。
君の役にもたたない机上の空論は皆そろそろ聞き飽きていると思うので、適当なハッタリではなく、timeengine(FRP)がいったいどのような局面で、参照不透明と名実ともになり「破壊的代入」のデメリットが顕在化し、関数型プログラミングのメリットが享受できなくなるのか、具体的に示せよ？１００％無理だろうけどね。机上の空論じゃないなら、やれるもんならやってみな？ｗ
ああ。住井＠東北大かな？
>（分析哲学ではなく関数型言語の意味で）参照不透明なので、関数型プログラミングのメリットは享受できない、命令型の破壊的代入と等価ですね。
君の役にもたたない机上の空論は皆そろそろ聞き飽きていると思うので、適当なハッタリではなく、timeengine(FRP)がいったいどのような局面で、参照不透明と名実ともになり「破壊的代入」のデメリットが顕在化し、関数型プログラミングのメリットが享受できなくなるのか、具体的に示せよ？１００％無理だろうけどね。机上の空論じゃないなら、やれるもんならやってみな？ｗ
ああ。住井＠東北大かな？
>（分析哲学ではなく関数型言語の意味で）参照不透明なので、関数型プログラミングのメリットは享受できない、命令型の破壊的代入と等価ですね。
君の役にもたたない机上の空論は皆そろそろ聞き飽きていると思うので、適当なハッタリではなく、timeengine(FRP)がいったいどのような局面で、参照不透明と名実ともになり「破壊的代入」のデメリットが顕在化し、関数型プログラミングのメリットが享受できなくなるのか、具体的に示せよ？１００％無理だろうけどね。机上の空論じゃないなら、やれるもんならやってみな？ｗ
今回のように、
----------------------------------------------------------------------------------
「オブジェクト指向と関数型は対立していますか？」について権威論証のきらいがありますし、
関数型プログラミングとオブジェクト指向のパラダイムとしての対立 国内の【自称】関数型コミュニティと海外の論調の違いというブログ記事
http://kenokabe-techwriting.blogspot.jp/2015/04/blog-post.html
では、
以下が広く一般的で国際的な【「関数型言語」に関する一般的説明】です。
----------------------------------------------------------------------------------
----------------------------------------------------------------------------------
SaitohMDMA_Love
0 contribution
その方は万能感・誇大妄想のきらいがある電波系として別の意味で有名な人ですよ。
----------------------------------------------------------------------------------
このコメントに対しては、
----------------------------------------------------------------------------------
@SaitohMDMA_Love 私が示したのは見解なので。そのような中傷行為や個人攻撃、悪意が見て取れる属人性の主張をしながら、その論者による見解を否定する試みは、属人論法であり権威論証だと言えます。(蛇足ですが、MDMAというのは違法薬物なので中傷行為同等に良俗に反するHNだとも思います)
----------------------------------------------------------------------------------
。。。。。。。。。。。。。。。。。というのは、「荒らし」とは言わない。
「荒らし」というのは、@SaitohMDMA_Loveであり、「荒らし」コメントがそのままで、「荒らし」コメントを叱る、妥当な技術論を削除したQiitaが問題だということ。
そのおまえが念仏唱えてるとおり、「３００以上の荒らしコメント」という文言は実態として虚偽であり、実態として虚偽であることをわかってわざとデマ流してるよな？
「Qiita社長コメント」という「弁明」があったことも捻じ曲げて念仏唱えながらさ。
@SaitohMDMA_Loveみたいな「荒らし」をはじめ、おまえみたいな異常な念佛教徒は「異常者」であり、技術論にわいてでてきてしきりに念佛を唱えるおまえらが荒らし。
http://qiita.com/esumii/items/ec589d138e72e22ea97e#comment-0bad8d4aabf92ec70352
http://qiita.com/esumii/items/ec589d138e72e22ea97e#comment-0bad8d4aabf92ec70352
----------------------------------------------------------------------------------
「オブジェクト指向と関数型は対立していますか？」について権威論証のきらいがありますし、
関数型プログラミングとオブジェクト指向のパラダイムとしての対立 国内の【自称】関数型コミュニティと海外の論調の違いというブログ記事
http://kenokabe-techwriting.blogspot.jp/2015/04/blog-post.html
では、
以下が広く一般的で国際的な【「関数型言語」に関する一般的説明】です。
----------------------------------------------------------------------------------
っていう投稿が通知されてくる。
http://kenokabe-techwriting.blogspot.jp/2015/04/blog-post.html
----------------------------------------------------------------------------------
SaitohMDMA_Love
0 contribution
その方は万能感・誇大妄想のきらいがある電波系として別の意味で有名な人ですよ。
----------------------------------------------------------------------------------
このコメントに対しては、
----------------------------------------------------------------------------------
@SaitohMDMA_Love 私が示したのは見解なので。そのような中傷行為や個人攻撃、悪意が見て取れる属人性の主張をしながら、その論者による見解を否定する試みは、属人論法であり権威論証だと言えます。(蛇足ですが、MDMAというのは違法薬物なので中傷行為同等に良俗に反するHNだとも思います)
----------------------------------------------------------------------------------
というお叱りが加わって、俺も全くそのとおりだと思うのだが、すぐに記事主のコメントがあって、ほどなくこのコメントが消されてしまった。つまり、
「万能感・誇大妄想のきらいがある電波系」と誹謗中傷しているコメントについては、記事主もQiita運営もまるで反応しなかったのに、誹謗中傷、個人攻撃、ヘイト良くないというお叱りコメントがあったら反応しだして、びっくりするのが、
「万能感・誇大妄想のきらいがある電波系」は温存したまま、反論コメントや、誹謗中傷を咎めるコメントだけがまるまる削除されてしまった。
http://kenokabe-techwriting.blogspot.jp/2015/04/blog-post.html
には、誹謗中傷は見当たらないし、それならまず「万能感・誇大妄想のきらいがある電波系」と誹謗中傷しているほうのSaitohMDMA_Loveのコメントが消されてしかるべきだと思うんだが、いったいどういう運営判断なんだろう？
もちろん、このブログ記事の筆者が、過去Qiitaでトラブルになったことも知ってるが、そのときのアンチの誹謗中傷コメントふくめ全部Qiitaは温存したまんまなんだよね。
ちなみに、そのときもQiita運営に消されたのはkenokabe氏を擁護しアンチの誹謗中傷行為を咎めたコメントのみで、これらは全部真っ当な技術的な議論をするコメントだった。もちろん俺自身も含めて見ている人は参考になる情報だったと思う。
その一方でQiita運営は、茶化したり個人攻撃しかしていないコメントは完全放置で温存したまま。今も探したら見れると思うけど。
２chのスレも知ってるけど、酷い有様だし、一部ではQiita社員も加担しているという書き込みすらある。もちろんアンチは「完全勝利」だの「Qiitaの騒動は最初から俺が書いた絵」だとか言ってマッチポンプ自慢してはしゃいでる。
Qiitaの中の人もこの状況は知らないわけじゃないとは思うんだよね。
それどころか、これひょっとしてQiita運営もグルになって誹謗中傷に加担してないか？ そうじゃないと
＞その方は万能感・誇大妄想のきらいがある電波系として別の意味で有名な人ですよ。
その他、過去のアンチの誹謗中傷コメントはまるまる温存してるとかいうダブスタが説明できないんだよなあ。
----------------------------------------------------------------------------------
wgt_cosmos
0 contribution
なんにもできな～い
なんにもできな～い
すぐ消されて
なんにもできな～い
----------------------------------------------------------------------------------
こういうのはQiitaは見てみぬふりなんだよなあ。迷惑なんですけど。
追記）メール通知によると、
----------------------------------------------------------------------------------
「オブジェクト指向と関数型は対立していますか？」について権威論証のきらいがありますし、
関数型プログラミングとオブジェクト指向のパラダイムとしての対立 国内の【自称】関数型コミュニティと海外の論調の違いというブログ記事
http://kenokabe-techwriting.blogspot.jp/2015/04/blog-post.html
では、
以下が広く一般的で国際的な【「関数型言語」に関する一般的説明】です。
@SaitohMDMA_Love 私が示したのは見解なので。そのような中傷行為や個人攻撃、悪意が見て取れる属人性の主張をしながら、その論者による見解を否定する試みは、属人論法であり権威論証だと言えます。(蛇足ですが、MDMAというのは違法薬物なので中傷行為同等に良俗に反するHNだとも思います)
ちなみに当コメントが消される現象および、上記複数の不適切なコメントが消されない不可解な現象については、某所で話題にもなっているとお知らせいただきました。
http://b.hatena.ne.jp/entry/anond.hatelabo.jp/20160226093209
----------------------------------------------------------------------------------
というコメントがあった。その直後、Qiitaは、このアカウントを停止してしまった。
あとから見た人は確かに、この投稿主がなにか「荒らし行為」や「悪い投稿」をしたからこんな結果になると思うだろうけど、実際の投稿は上記のように無害どころか情報として有益なもので、さらに誹謗中傷行為を咎めるもの。
The user qualification of the comment's author is cancelled.
という文字。
こんなことをして喜ぶのは2chスレとブコメに湧いてる偏執的なアンチだけだと思うんだよなあ。あとは、間違ってると批判されてる記事主の住井氏と取り巻き。
ちなみに、このQiitaが「闇堕ち」しているとか言われている評価については、ブコメに湧いてる偏執的なアンチによって擁護されてる。
誹謗中傷もヘイトもアンチも関心がない「普通のひと」にとっては、単純に有益な情報が損なわれて、変な界隈がはびこるようなコミュニティになってしまっているだけ。
正確性が要求される技術情報サイトがそんな変な状態になってるのに、そんな変な状態が好都合な変な連中に擁護されてメンツを保つQiitaの現在を「闇堕ち」と言われてるんだけどね。
結果を見ると、Qiita運営もグルになって誹謗中傷に加担していると思う。
＞この投稿した奴は、kenokabe本人か、最低でも「削除された」投稿の投稿者。そうでなきゃ、「メール通知」でコメントを把握できるのは、あのエントリに投稿したことのある人物だけ。
またやってるよ。はじまった。推論は間違い。理由。
たしかに
http://qiita.com/esumii/items/ec589d138e72e22ea97e#comment-0bad8d4aabf92ec70352
でもこの記事にコメントしたのは、kenokabe氏本人（いつもの偏執狂による認定決めつけ？）か、（最低でも）「削除された」投稿の投稿者 だけなの？（笑）何人もいるのにね。
ひとりひとりにあなたですか？って確かめてみたら？もちろん俺はここで匿名で投稿したわけなので、聞かれてもしらばっくれるか答えないけどね。Qiitaでこういう人に目つけられて同じように偏執的につきまとわれるのは嫌だから。
