オブジェクト指向は万能の薬ではなかった。関数型の流行へ。【プログラミングパラダイム・シフト5】#68

Рет қаралды 109,855

Күн бұрын

「プログラミングパラダイム・シフト」シリーズ第5回。「オブジェクト指向神話からの脱却」「デバッガ殺しのオブジェクト指向」「新たなプログラミングパラダイムは人間に優しくない」など、オブジェクト指向の問題点と関数型言語について知っていることだけ話しました。
【目次】
0:00 オブジェクト指向神話からの脱却
3:23 オブジェクト指向の問題点「テストのしにくさ」
9:40 堀元のMPのせいでテスターが困る
11:44 関数型については、情報隠ぺいします
15:23 関数型言語あるある言います
18:52 思ったより来なかったScala
21:23 制約により発展するという共通点
24:05 非エンジニアにもおもしろさを伝えたい
27:05 皆さまのパラダイムシフト募集してます
【参考文献】
○コーディングを支える技術
amzn.to/3TscsJp
○オブジェクト指向の考え方 5th Edition
amzn.to/3lpDaFQ
○WEB+DB PRESS Vol.132
amzn.to/3JtYkuv
○プログラミング言語大全
amzn.to/3yNiYRf
○はじめてのLisp関数型プログラミング
amzn.to/3yNj3V3
○完本 1976年のアントニオ猪木
amzn.to/3ziioes
【サポーターコミュニティ加入はこちらから】
yurugengo.com/support
【親チャンネル：ゆる言語学ラジオ】
/ @yurugengo
【実店舗プロジェクト：ゆる学徒カフェ】
/ @yurugakuto
【おたよりフォーム】
forms.gle/BLEZpLcdEPmoZTH4A
※皆様からの楽しいおたよりをお待ちしています！
【お仕事依頼はこちら！】
info@pedantic.jp
【堀元見プロフィール】
慶應義塾大学理工学部卒。専門は情報工学。WEBにコンテンツを作り散らかすことで生計を立てている。現在の主な収入源は「アカデミックに人の悪口を書くnote有料マガジン」。
Twitter→ / kenhori2
noteマガジン→note.com/kenhori2/m/m125fc452...
個人KZfaq→ / @kenhorimoto
【水野太貴プロフィール】
名古屋大学文学部卒。専門は言語学。
某大手出版社で編集者として勤務。言語学の知識が本業に活きてるかと思いきや、そうでもない。
Twitter→ / yuru_mizuno
【姉妹チャンネル】
◯ゆる音楽学ラジオ( / @yuruongaku )
◯ゆる民俗学ラジオ ( / @yuruminzoku )
◯ゆる天文学ラジオ ( / @yurutenmon )
◯ゆる書道学ラジオ ( / @yurushodo )
◯ゆる生態学ラジオ ( / @yuruseitai )
◯ゆる哲学ラジオ (open.spotify.com/show/7t8NNVq...)
#プログラミングパラダイム・シフト #ゆるコンピュータ科学ラジオ_プログラミングパラダイム・シフト

Пікірлер: 427

@yurucom Жыл бұрын

【参考文献】 ○コーディングを支える技術 amzn.to/3TscsJp ○オブジェクト指向の考え方 5th Edition amzn.to/3lpDaFQ ○WEB+DB PRESS Vol.132 amzn.to/3JtYkuv ○プログラミング言語大全 amzn.to/3yNiYRf ○はじめてのLisp関数型プログラミング amzn.to/3yNj3V3 ○完本 1976年のアントニオ猪木 amzn.to/3ziioes 【サポーターコミュニティ加入はこちらから】 yurugengo.com/support 【おたよりフォーム】 forms.gle/BLEZpLcdEPmoZTH4A ※皆様からの楽しいおたよりをお待ちしています！

@xenos013 Жыл бұрын

11:10 副作用は関数が外部のデータを変更することなので「魔法を使うとMPが減る」ことが副作用であって「MPのせいで出力が変わる」は参照透過性がないだけかと

@nayutaito9421 Жыл бұрын

関数型に「堀元」を入れると毎回「挫折した堀元」が出てくるのも参照透過性

@toneryo Жыл бұрын

関数型の堀本は関数型を永遠に習得できない

@user-jf6rx9pw3y Жыл бұрын

内部変数「習熟度」が100以上になるまでループさせたいけど、内部変数「やる気」が一定値以上になるまでウェイトするし、習熟度up関数の中で呼ばれるダニングクルーガー関数によって、「習熟度」が一定以上になると習熟度の上がり方に補正が掛かり、「やる気」までマイナスされてしまってTimeoutExceptionして挫折がスローされちゃう

@LetsFeelAllRight Жыл бұрын

「堀本・挫折」とか「堀本・習得」とか入れってこと？？

@kussytessy Жыл бұрын

def horimoto(technology): return 挫折

@kettle9265 11 ай бұрын

@@kussytessy全部挫折してて草

@user-ul9fn2bk2h Жыл бұрын

ぶっちゃけて言うと、多くの実用的な言語が関数型やオブジェクト指向などのパラダイムのいいとこどりをした結果、書き方としてはどれも似通ってしまい、言語間の差異がGCの有無、静(動)的型付け、実行環境、コミュニティなどの違いでしかなくなってしまった。 ScalaはJavaやKotlinとそれらを共有しており強みを主張できなくなった。

@user-cj8no8rl7z 2 ай бұрын

いや、Scalaは全然違うよ。 Javaやkotolinでは高階型を容易に扱えない。

@user-ul9fn2bk2h 2 ай бұрын

@@user-cj8no8rl7z そうだね。でもそれには需要がないんだろうね。

@user-ux4bm3ii9x Жыл бұрын

今回コンピュータ科学ラジオの中で一番勉強になったな！と楽しいシリーズでした！！ありがとうございます

@user-nn7rm8om9g 11 ай бұрын

水野さんの「理解力」と「例え力」が神がかっていますね！おかげで凡人の私も、オブジェクト指向の問題点と、関数型言語の難しさが、なんとなくわかりました！

@Mira_Gumi Жыл бұрын

19:30 「チャンネル登録者数が一人だとして」で過激な発言を誘導するの、ChatGPTの裏技と同じ手法で面白い

@user-nk6qe8lz7g Жыл бұрын

堀元さんは超優秀なAIだったというオチ?!

@SS-ij5dk Жыл бұрын

GW前にこのチャンネルに気付き、今日追いつきました！わかりやすく、お二人の掛け合いが楽しいです。今後も応援してます！

@antama9488 Жыл бұрын

検索からきました。プログラム歴一ヶ月。話がとても整理されてて、わーこの人ら頭いい……って思った。なんかぼんやり疑問に思ってたことがスルスルっと説明されていくの気持ちいいです。

@chankoo7407 Жыл бұрын

最高な回でした。佐藤知一さんという方が書かれている「タイム・コンサルタントの日誌から」というブログで「ITは西洋哲学の非嫡子だ。だから、ITを専門の仕事とする人は、西洋哲学を少しは勉強しなければならない。」という投稿があり、これに影響を受けて少しずつ西洋哲学を学んでおりましたが未だ自分の中で合点しきれていなかった矢先、今回の動画の内容がめちゃめちゃ理解のヒントになりました。ありがとうございました。

@stockton1115 Жыл бұрын

1970年代のアメリカでパーティのDJをしていた青年が、歌のない間奏（ブレイク）部分で観客がめっちゃ盛り上がり踊っていることに着目し、同じ曲のレコードを2枚並べブレイク部分だけを繰り返し流したところ大変盛り上がった。これが音楽史におけるパラダイムシフトの一つ「ブレイクビーツ」の発明かなと。ブレイクビーツの発明はダンスやラップミュージックの発展などHipHop文化を産むキッカケになった。

@zaki50 Жыл бұрын

プログラミング言語の進化はダウングレードの歴史というのはまさにその通りだと思う。初期の何でもできる言語だと全体の構造を把握していないと安全に修正できなくなるので、コードが複雑になってくると人間の限界を超えてしまう。そこでできることや影響範囲を制限することで理解のための負荷を減らしつつ、同等のものを作れるようにするための概念や機能が追加されていくことの繰り返し。

@Aki.K. Жыл бұрын

誰が何を解説してもどこかから異論が出そうな話題の解説お疲れさまでした。自分がちょっと気になったのは、ここら辺の話題はこういう解説だけを聞いていても本質的にわかる事が絶対ないだろうという部分です。あくまでも自分の場合ですが、理論で覚えたんじゃなくて身体で覚えたっていう感覚があります。本当に理解したい人は、理論と一緒に実際に自分でたくさん読み書きする事が必要だというのを伝えたいですね。

@hidesanh1601 Жыл бұрын

最近このチャンネルを知り楽しく拝聴させていただいています。30年前の学生時代、Pascalで構造化プログラミングを学びTeXで修論を書き就職してからオブジェクト指向を知り戸惑った事を思い出しました。90年代にコンピュータ業界から離れましたが懐かしいです。

@mosquito5831 Жыл бұрын

25:19 汚したい訳じゃない。と、怪我したい訳じゃない。をかけてますね。すごい。

@すっとんきょー Жыл бұрын

非エンジニアですが、感動が伝わってきました良いシリーズだと思います

@user-of1wb9hn7g Жыл бұрын

めっき業界の技術革新は様々な産業、それこそコンピューターや電子産業のパラダイムシフトの一翼を担っていて奥が深いですよ。

@ken05216 Жыл бұрын

null安全性の話をしてほしいです！個人的には「関数型とはなにか」を勉強しようとすると抽象的すぎて挫折しやすい気がしますが、「その処理、Haskellだとこう書けます」を学んでいくのが新しい考え方にたくさん出会えて楽しいと思います。他の方のコメントで「仕事に使うべきではない」、といった強い意見もありますが、そう構えずに選択肢を増やすのもいいかなと思います。

@miner1227 Жыл бұрын

プログラミング言語の思想本といえば・7つの言語 7つの世界 (Bruce A. Tate, まつもとゆきひろ, 田和勝) が良書ですね。題材はRuby、Io、Prolog、Scala、Erlang、Clojure、Haskellです。

@miner1227 Жыл бұрын

ちなみに著者の一人、まつもとゆきひろさんはRubyの作者です

@user-qk5ic1we3h Жыл бұрын

21:52　計算容量が増えたことによって変わった事を挙げるとすれば、「プログラマがメモリの管理をあまり考えなくても良い仕組み」が生まれた事だと思います。その仕組みが組み込まれている言語では、メモリ管理よりも他の事にリソースが割けるようになり、カジュアルにプログラミングできるようになりました。「メモリの事よりも他の事を気にした方が良い」という考え方が変わったので、これもパラダイムシフトと言えるのではないでしょうか。

@umanizer Жыл бұрын

趣味プログラマーですが、楽しくてたまりません。関数型言語触った事ないけどreactに近しいなと思いました。

@keisukesugi5085 Жыл бұрын

折り紙における蛇腹折りの導入と写実的な作風はパラダイムシフトかもしれない。一方で高度な抽象化への回帰も面白い。

@kaz-jn7ro Жыл бұрын

8:25 Rustは関数型ではなくてマルチパラダイム(オブジェクト指向も関数型も使える)ですね。すごく雑にいうと、一切速度を犠牲にせずにCの課題だった安全性や利便性を向上させた言語といったところで現実的にCを代替しうる初の言語として採用例が増えています。関数型のパラダイムを含んでいるという側面は人気の理由にはあまり関係無い気がします

@moroha10085 Жыл бұрын

そうですよね。Rustって関数型のエッセンスがあるだけですよね。

@kiyotakainaba48 Жыл бұрын

Rust を関数型という時点で、中身が無茶苦茶なのがよくわかる。ゆる言語のまじめさの対局を行くのがこのチャネルですね。

@user-uy4br8kv4b Жыл бұрын

@@kiyotakainaba48 堀元さん自体が前からずっと無茶苦茶せめて Erlang とかの名前を出してくれれば……

@kiyotakainaba48 Жыл бұрын

@@user-uy4br8kv4b Erlang 知らない方に賭けるな。Web+db で取り上げられてないもん。

@kiyotakainaba48 Жыл бұрын

でも、この世から Erlang 消えると、携帯基地局の約半分は消えるんだよなあ。はじめて、スウェーデンのLundという町に行った時、本当に交換機の source が Erlang で書かれてるの見せられて、仰け反った。

@TA-mr8kv Жыл бұрын

関数型の高階関数と再帰ははデータ構造をリストかツリーに誘導できるので並列処理に強くていいですよね、Erlangtとかまさに典型ですし...。いまだに並列・分散化のための決定版みたいなのは出てきてないので関数型の発展に期待です。なにも考えなくてもスケールしてくれるプログラムとかになればいいですね。

@kiyotakainaba48 Жыл бұрын

Erlang はスウェーデン語で、the language みたいな意味なので、最後に t は付きません。まあ、map が適用できるってのが、高階関数の売りだから、そりゃ並列化に向くはずですよね。マッカーシーもさすがにここまでは、考えてなかっただろうなあ。しかしまあ、Simula といい、Erlang といい、パラダイムシフトで取り上げられる言語に北欧発が多いこと。

@user-kw7sj8dm1n 7 ай бұрын

オブジェクト指向プログラミングにハマってプログラムしているので、参考になりました。関数型プログラミングのイメージを理解できればと考えますが、難しそうですね。

@mudaso-heavy-user Жыл бұрын

楽しみに待ってました

@user-nc9xb4gx8p Жыл бұрын

待ってた！

@ioritobeta6293 Жыл бұрын

やっぱり関数型言語の話だ〜！予想当たりました😊 楽しく聞かせていただきます〜

@eisuke_kuwahata Жыл бұрын

Scala2でいろいろな使用例を経て良いとこと悪いとこを整理しながら、改めてScala3で関数型プログラミングの側面をきちんと再設計しているのが面白いですね。ということで関数型言語が好きなパラダイムです。オブジェクト指向ももちろん使うけど。

@tenrai3065 Жыл бұрын

22:10 技術ではなく発想で変化する話について、技術が発達したおかけで効率を考慮する必要がなくなったり、実現可能となったりすることが、新しい発想を促したり発想を実装でき、パラダイムシフトが進む原因となったと思います。

@kuribo-6051 Жыл бұрын

私が一番感じるパラダイムシフトはサーバについてです。昔は物理サーバが一般的でしたが、CPUが仮想化をサポートしたあたりからVmwareなどによる仮想化が急にホットになったと思います。その後ブレードサーバによる仮想化と集約があって、しばらく仮想化の時代でしたが、開発環境としてDockerが流行ってコンテナ化の時代に来たと思ったらオーケストレーションツールのk8sが来て、今は大きなサービスのほとんどのサーバはコンテナで動いているのではないかなと思います。言語もそうですがインフラも流行り廃りが激しいですね。

@user-xn4ng2mm1d Жыл бұрын

構造化プログラミングもオブジェクト指向プログラミングも、「お作法」なんですよね。「他にもやり方があるけれど、このやり方しかしないことにする」として混乱を防ぐ。特定のやり方しか使われなければ、プログラムの見通しが良くなります。記述に秩序が生まれるので、プログラムを読んでいて何をしているか分からないとなる確率が減るからです。人間の頭の思考力は有限なので、決まりは少ない方が楽です。どんな風に決まり事を少なくするかが、それぞれのパラダイムのアイデアの違いなんだと思います。「いかようにも書ける」のは自由でいい気がしますが、サルトル風に言うと、「プログラマは自由の刑に処せられている」状態になって、実はしんどいのですよね。

@Fhtfethhfdhjgf 9 ай бұрын

PLCのラダーとexcelのVBAしか知らないので、オブジェクト指向という単語は知っていても内容まではちんぷんかんぷんでした。今回のシリーズはとても面白かったです。

@sattoman Жыл бұрын

プログラミング初学者にどの言語を勉強すればよいかという質問に対して、冗談半分に「英語」と答えることがありましたが、chatGPTの登場でその説がより強固になったと感じるのが最近のパラダイムシフトです

@kuma056 Жыл бұрын

「英語」と「日本語」って答えることがある。

@haine102 Жыл бұрын

初学者にポイントなのは、彼の言うように、その冗談は初めから半分本気だったということ。

@user-qk1tr9jk7z Жыл бұрын

英語がUIになったってことだしね、GUIの代わりで

@user-tk4nv7zy6z Жыл бұрын

AI学習によって英語の学習の効率化が進んでより自然な形で翻訳される様になるから関係ないよ｡そもそも英語7年選手でも意思疎通がうまく取れていないんだから英語勉強するよりもAIに丸投げのほうがいいに決まっている｡読書する習慣つけたりとか､英語以外の勉強をすることに尽力したほうが明らかにリターンが大きい｡

@sattoman Жыл бұрын

@@user-tk4nv7zy6z 正確には英語で情報収集すること、英語を使うことを躊躇わないことが重要ですね。英語による情報量は圧倒的だし、chatGPTへの質問も英語を使った方が精度が高いんですよね。

@user-re9mh1co6b Жыл бұрын

8:25 Rustが関数型だと言ってたけど、関数型の特徴を多く持っているだけでマルチパラダイム言語なんですよね。

@HitYoutube Жыл бұрын

まあRustはCを置き換えるんじゃあというのが前に出すぎていてそういう印象で刷り込まれがちというのはあるかも。

@kiyotakainaba48 Жыл бұрын

つか、better C を作ろうとしたときに、メモリモデルをきちんと乗りこなせるようにしたら、関数型がぴったりだったねえ、ってだけですよね。まあ、いまさら、ラムダの使えない言語でプログラム書こうとも思わないけどw ねっからの Ruster からしたら、ここまで、Rust のことを貶めてくれるのは、芸術的とも思える。恐らく、メモリーリークで困ったこととかもないんだろうな、この人。

@user-re9mh1co6b Жыл бұрын

RusterではなくRustaceanでは(どうでもいい)

@rawegg Жыл бұрын

ジャズの世界のパラダイムシフトは概ね構造が複雑になる方向に向かっていくのが常だったのですが、ここ最近のジャズのムーブメントの一部では逆に純粋な要素を積上げていくようなミニマルミュージックの影響が強くなりつつあって、オブジェクト指向から関数型へのパラダイムシフトとリンクするところがあるなと感じますね。

@user-wt3yu7ym4h 11 ай бұрын

プログラミング言語の思想とても面白いでした。本出したら絶対買いますよ。

@kai_kamome Жыл бұрын

線形型と依存型を持つ関数型言語とか始めるとめちゃくちゃ面白いですよ。処理系あんまりありませんけど。

@shoyofilms Жыл бұрын

ゲームはパラダイムシフトの宝庫だと思います。技術の進歩でどんどん凄い３Dのグラフィックとかが作られるようになっても、同時に２Dのチープなゲームが人気になったりするし、とにかくあらゆるところで発想の転換が評価される世界です。一番好きなのはペルソナ5っていうゲームがゲーム内容はそれまでのシリーズの延長にあるような内容なのに UIが当時の画面上からなるべくUIを減らすっていう流行に逆行したド派手なUIを採用したらRPGをあまりやらない人にも好評になったという話（一応ペルソナシリーズは昔からUIに力を入れていたのですが革新さが話題になったのは5からかと）

@BLUELUNA001 Жыл бұрын

ゲームの話であればMMORPGなんかもそうですね。第1世代ではどこでもPvPできたり持ち物を落としたり盗まれたりといったファンタジー世界におけるリアリティーと自由度の高さの追求が主眼でしたが、第2世代ではゲームとしての遊びやすさの為にむしろリアリティーと自由度には制限が課せられた作品が多くなったと思われます。

@yoke9162 Жыл бұрын

参照透過性の問題で関数型言語が流行ってしまうと、オブジェクト指向神話の再現になりそう… ちなみに、oopと言いつつ名前空間の管理くらいにしか使ってないことも多い(特にDB絡むと)ので、関数型言語が流行っても実態は変わらない気がします

@GivemeGenuine Жыл бұрын

white spaceの話、全てのコードは"透明"なのに"参照透過性"はゼロになってるの面白いですね

@haine102 Жыл бұрын

その概念ですらwhite spaceになっているんですね。

@user-cp5wn2iu7z Жыл бұрын

関数型言語ができるごく一部の優秀な人と、万人向けで裾野の広いオブジェクト指向プログラミングという二極化が進むと思っています。平凡な人々が設計に対して共通認識を持ちやすいのはオブジェクト指向なんですよねぇ

@kiyotakainaba48 Жыл бұрын

一列に並んでるデータに、同じ処理を適用する、っていかにもコンピュータらしい処理を、素直に書けない oo より、map 一発で素直に書ける関数型言語の方が、コンピュータの勉強には良いけどね。

@currysita 5 ай бұрын

ちょっと勉強する必要があってこの動画を見たんですが、水野さんの頭の良さに驚きました。その観点が思いつくのすげえ。人生2週目なのでは。

@kt-wl3xo Жыл бұрын

数学はパラダイムシフトの塊です。中学で学ぶユークリッド幾何に対しデカルトにより座標平面が導入されたり。自然数→整数→有理数→実数→複素数とか。

@kiyotakainaba48 Жыл бұрын

数(すう) の拡大はむしろ、パラダイムが変わらない典型例と習いましたけど？複素数まで広げても、同じ演算が適用できる。むしろ、シフトならデカルト座標から極座標とかでは？

@chromarock5928 Жыл бұрын

RustはLinuxカーネルにも一部採用されつつあり、勉強しなきゃと思っています。最近の自分の中のパラダイムシフトはワンパンで割と本格的なカルボナーラが作れることを知ったときですね

@chromarock5928 Жыл бұрын

@@vonneumann6161 確かにたとえがまずかったので変えました。日本語難しいですね

@kiyotakainaba48 Жыл бұрын

いや、ワンパンのカルボナーラは、十分パラダイムシフトだと思いますよ。ただ、あれって使うパスタを選ぶんだよな、茹で上がりの時間が厳密だから。

@kotokoto8362 Жыл бұрын

パラダイムシフト、理系基礎学問・コンピュータ・情報科学界隈だとarXiv（プレプリントサーバ）でしょうか。今日投稿したら明日には誰でも無料でその論文が読めるのは革命的だと思います。「論文を投稿したら査読があり数カ月後に雑誌に掲載されお金払わないと読めない」というパラダイムを覆しました。（※arXivも一応査読はあるが、落ちることはほぼない）雑誌社がそれを許すというのも考えてみるとすごい話だと思います。現在では月に18,000本を超える投稿があります。機械学習・AI関連の発展が目覚ましいことの一端はarXivにあると思います。

@TANAKA_YASUHIRO Жыл бұрын

昔のSNSには「あしあと機能」があって、LINEでも「返信する時間がなくてもとりあえず既読は付けようよ」みたいな風潮だったけど、いつの間にか「LINEを返せないときは返信するまで未読にしておく」というのが当たり前のマナーになっていて、LINEを開かなくても読めるようにアップデートされた時がマナーの転換点だったと思います🤔

@Kei-IWA_Siliconated Жыл бұрын

送るのか公開するのかの違いでは？

@kurukruatama-moutuaruto 7 ай бұрын

非プログラマだけどプログラマが普段何してるか、どんな勉強をしてどんな考えなのかわかるのがとても良い

@HitYoutube Жыл бұрын

堀元さんには様々な質問をChatGPTに打ち込んで出てきた回答について論評を語る ChatGPT教養悪口本回をゆるコンピュータ科学ラジオでやってほしいところですね。

@windymelt Жыл бұрын

普段Scalaを書いているエンジニアです。オブジェクト指向はルネサンスだという例えがありましたが、よい例えですね。物事の具体的な表現に迫るオブジェクト指向とは対照的に、関数型言語は普遍的な性質や特性を抽象的に取り出してきて、それを物事に合わせて定式化して組み合わせる、というアプローチを取りがちなので、とっつきにくい部分がありますよね（例えば、「なにかを写すもの」という枠組みであるファンクタという概念が登場したりします）。そういうわけなので、考え方をがらりと変えないと大変な部分がありますね。ちなみにScalaはJSに変換する技術が出現したりネイティブコンパイルする技術が登場したりと、地味ですがどんどん進化しているようです。

@matetaiyo4126 Жыл бұрын

[訂正1]ガベージコレクションはオブジェクト指向よりもっと前からあるようです。 [訂正2]といよりHaskellもGC使っているようです。。。 Rustの話に繋げるのであれば是非ともメモリ管理の話をしていただきたかった。昔はメモリマップなるものを自作していたらしく本編でもそれとなく取り上げてくださっていたけれども、ガベージコレクションとオブジェクト指向がたまたま同じ時期に流行ったというだけでGCが主流になってしまいメモリを意識しなくてよくなりすぎたため、昨今の障害の根本原因の多くがメモリリークやヌルポに起因するようになった背景もありRustが脚光を浴びるようになったと感じています。これは非エンジニアにとってはとてもマニアックな領域の話でピンと来ないかも知れないですが、僕を含めて最近のエンジニアはあまり実感が湧かない話だと思っています。

@user-fw5xp1hd6k Жыл бұрын

組み込み系で30年ぐらい前にメモリマップ書いてました。当時は手書き。メモリが数Mバイトしか使えないので、その中でいかにデータを扱うかを考えてました。その頃に比べるとメモリへの配慮は薄くなってますね。ただし、メモリ管理その他もろもろの考慮から開放されて、複雑なものを作れるように開発者のリソースを使えるようになっています。メモリがどう動いているかカプセル化されるのは、ほとんどの場合は助かるのですが、困った時に分からんのは、手に負えなくて泣きたくなります。

@kiyotakainaba48 Жыл бұрын

えと、ガベコレは LISP からあったんで oo なんかより圧倒的に古いんですけど... 最近、給料貰わないソフト書く時に Rust しか使わないのは、仰るとおりメモリ管理の真っ当さではありますが。組み込みで、ガベコレは、勘弁なのよねえ。それと、人の書いたプログラムを、Rust に移植すると、意図しないメモリリークのネタとか発見出来るのも楽しい。

@matetaiyo4126 Жыл бұрын

@@kiyotakainaba48 おお！そうだったんですか！不勉強でした。。。ありがとうございます！訂正しておきます！オブジェクト指向から10~20年前だったんですね。

@yobital1873 Жыл бұрын

待ってた

@karaswe1l Жыл бұрын

19:15 堀元配慮スイッチで遊ぶ水野さん

@syo5100 Жыл бұрын

22:50 「プログラミングの基礎の基礎」とかプログラミング言語を書くほどじゃないけれど、プログラミングする上で何が大変なのかを説明している本として近いジャンルなのかなあ

@blackhowling782 Жыл бұрын

趣味でプログラムを嗜む程度なので、オブジェクト指向から関数型に戻ってる流れを知らなかったです😅 ぶっちゃけ何でもかんでもオブジェクト化とか微妙だなと思ってたので納得しかないです😁

@yt-ci9sw Жыл бұрын

にわかですが、関数型は低級言語へのシフトダウンの様な感じですかねぇ。モジュール化の楽さというのもあるので透過性の高いオブジェクト指向が出てくる気がします。個人的に思うパラダイムシフトはPCを一般生活で使用する様になったこと。とっかかりはOSあっての前提ですが、ワープロと通信とゲームだったのかな？後のスマホ普及への下地も作っているので大きいと思います。

@user-hb7sn1lb8w Жыл бұрын

パラダイムシフトの関連を考えてたはずなんですが、ダウングレード方向の進化は車で似た事が起こってるなと思いました、 MT→AT（ギヤ選択の制限）アクセルの電子化(エンジン制御のカプセル化) カーナビとハンドルやブレーキの自動制御（車の位置選択の制限）明らかな間違いを排除する為の進化とマシンを要素単位で細かくコントロールする方法の制限のトレードオフ、超低レイヤー領域では使い手、作り手の技術的な需要があったり理解が求められる分野が残っている所など。急速に進化した年代も似てますね。

@tekoku3 Жыл бұрын

パラダイムシフトかはわからないけど「二六時中」が「四六時中」に変わったって話が好きです。なんか明治くらいのバカリズムみたいな人が「あってないじゃん！」って感じで使い始めたのかなぁ等と妄想すると楽しい。

@user-sssssmoon 10 ай бұрын

『盲亀浮木』より『盲亀浮き輪』の方が説明しやすい。パラダイムシフトしよっ

@user-gm1zn5og2k Жыл бұрын

チャンネル登録者数別解説、今後もやって欲しいです。

@user-nj5st3ho9t Ай бұрын

関数型の触りは勉強しました。 Reactなどは関数型っぽく記述しますよね。例えば、MapやFilter、Reduceなんかは関数型の初期のものだと思います。パイプを使って小さな関数を束ねて大きな関数を作って、それで処理すると、その大きな関数が何をやっているのかは、小さな関数の名前を見るだけでわかるので、結構便利です。

@okita0621 Жыл бұрын

ミニマリストプログラムと関数型の動画に期待

@user-pt3oy4pe1j Жыл бұрын

水野さんはRustをwasm化してWebページで動かせという非常に勘の鋭い宿題を提示している可能性がありますね

@haine102 Жыл бұрын

深読み！

@viewercontents-sy7ho Жыл бұрын

自分で関数型のこと調べてもチンプンカンプンだったから今日は関数型のことちょっと知れるんじゃないかと思ったのに堀元さんも同じぐらいの理解度で笑ったこういうオブジェクト指向難民結構いるんじゃないか？

@OneMeterNutz Жыл бұрын

一部の職人エンジニアにしか使いこなせない技術ってパラダイムとしては浸透し難いと思うなあ。学びやすさとか開発のしやすさってプログラムの世界じゃかなり重要ですよね。

@user-cu3wx3qm4v Жыл бұрын

それこそ学び方のパラダイムシフトが起きないと無理だと思います。

@FoxInFlame Жыл бұрын

大学の情報学科の学部一年の最初の講義が「関数型プログラミングとHaskell」だったの、今考えたらめっちゃラッキー

@user-jb1kz9ov6n 8 ай бұрын

Scala，便利そうだな、と思いつつまだ勉強していない。アクセシビリティが豊富なところとかが魅力的。

@bookers4064 Жыл бұрын

良くできたOOPでは、状態（属性）と振る舞い（関数）が同じ関心事で一つにまとまっていますが・・・『副作用』はカプセル化された内部の状態が可変（Mutable）であり、それが振る舞い（関数）によって書き換わることで、同じ振る舞い（関数）でも返す結果が異なることを示します。これは単一のオブジェクトで起こる問題です。クラスは同一でもインスタンスが異なるオブジェクト指向では、その複雑さはより増していきます。特にUIの状態と振る舞いにオブジェクト指向を適用した場合、この問題が起こりやすいです。具体的には、繰り返しの画面操作によって再現性が低い特殊な状態で振る舞いが実行されることがしばしば発生し、それが問題へと繋がります。また、その再現テストも困難です。最近では言語ではなく、フレームワークで不変性（Immutable）な状態と関数型を強制するものが、UIフレームワークとして人気を集めています。

@ababba Жыл бұрын

関数型プログラミング、特に数学の知識は要らない（あったら尚よし)派閥なので、頑張って挫折しないでほしい

@sounisi5011 Жыл бұрын

次に来る“かもしれない”パラダイムシフトでいうと、Algebraic Effects (Algebraic Effects and Handlers) でしょうか。オブジェクト指向で言うところの「内部状態」を、「状態と組み合わせる事で結果を得られる」返り値を返すようにするイメージ。「副作用の入力を後回しにする」点ではHaskellのIOモナドに似ていますが、try catch文を用いる例外処理やasync/await式による非同期処理に近く、個人的にはモナドよりも分かりやすいと感じました。……などと世迷い言だけを書き残させていただきたく

@mudaso-heavy-user Жыл бұрын

23:16　ホントだ！プログラミング言語は官能小説と全く一緒だ！(確信)

@yo11111111111 Жыл бұрын

Scalaをメイン言語で仕事してます。Javaと互換性があるので、業務ではかなり役に立ってますよ。私も関数型には苦労した口で、モナドがすんなり分かる人は天才だと思う。参考書では理解できず、習うより慣れろで、何度も書いては直しを繰り返してようやく感覚がつかめた感じです。

@kiyotakainaba48 Жыл бұрын

モナドは参考書を読めば読むほど判らなくなる。少し大きめの scala native な人の書いたソースを読むと、なーんだ、と思うけど、ひとに説明しようと思うと、また判らなくなるw

@kiyotakainaba48 Жыл бұрын

なので、人に教える時は、「はい、必要なモナドの使い方だけを覚えましょう」と言うことにしてる。io と maybe くらいで良いじゃんw

@Kei-IWA_Siliconated Жыл бұрын

何を言ってるのかわからねぇが、また制限という自由度ダウングレードで人間に平易化するバラダイムシフト・準パラダイムシフトが起こる臭いを嗅ぎ付けたぜぇ…

@ohneta Жыл бұрын

関数型プログラミングは1950年代のLISPの昔からあるわけで、昨今の流行りとしてマルチパラダイム言語の流れとして関数型を取り入れてる感じがありますね。JavaScrip(ECMAScript)のすごい勢いでの言語拡張を見ていると感じます。

@haruka_52 Жыл бұрын

なんせLISPは2番目に古い高級言語ですもんね。構造化言語の回で出て来たC言語より14年古く、構造化以前のGOTOスパゲティで一世を風靡したBASICよりさらに4年古い。

@ohneta Жыл бұрын

@@haruka_52 私の視野が狭いだけかもしれませんが、実際のプログラミング現場での関数型プログラミングの扱いは高階関数や無名関数(ラムダ式やクロージャ)などのいいとこ取りがメインで、関数型プログラミングでのみでのシステムすべての記述はまだメインストリームではないような気がします。またクロージャはどちらかというとオブジェクト指向の流れから来ているし、いまどきの言語は関数型と呼ばれてなくとも第一級関数が使えるものが多いのでオブジェクト指向の次のパラダイムは関数型だ！と言い切ってしまうのもどうかな？と個人的には思って聞いてました。それでもここ10年くらいのプログラミング業界全般での流行りは関数型だし関数型風味であることは間違いないし、実際のプログラマでも堀元さんくらいの理解度で関数型風味を使っているのが実情でしょうｗ

@haruka_52 Жыл бұрын

@@ohneta たしかに、あまりパラダイム転換にはなっていなくて、流行りの新要素くらいの感じに落ち着いてますね。 Haskellが流行り出した頃は割と思想的というか純粋関数型の世界にどっぷり浸かろうとする人たちが多かったように思いますが、今はもうちょっと実用主義的というか使える時に使うツールのひとつになった感じがします。

@user-fn8rx6wc5w Жыл бұрын

ガンダムが勧善懲悪からのパラダイムシフトと言われています。（ウルトラセブンにも地球外生命との共時構造が挿入されていました）

@kuma056 Жыл бұрын

結局は「銀の弾丸などない」と。 ※ たしか「再発射」の方で(当時はまだ未発達だとは言え)オブジェクト指向にも触れてたはず。

@user-fc9ue9ms4s Жыл бұрын

将棋の戦術パラダイムシフト。・盤面中央の勢力争いが重要だ（江戸〜昭和初期） →・中央の歩を突くと角を打ち込まれる隙ができるからやめよう（〜昭和後期） →・金銀を密集させた強固な守りが最強（〜平成） →・金銀をバランス良く配置して隙を作らないほうがもっと優秀（〜令和） →・なら結局は盤面中央の勢力争いが勝負の要になるんじゃね？（今）

@mukadenodaiou Жыл бұрын

16:57 みんながこぞってすごいH本買ってはツイートしてたの思い出した

@spike2.tracker Жыл бұрын

はじめてのCからのすごいH

@Madara_Baku Жыл бұрын

利他的行動の解釈のパラダイムシフトが「利己的な遺伝子」By リチャード・ドーキンスによって起こりました。行動主体に不利益な行動の利益を受ける対象が、「利他的行動行動をする個体？その個体の属する群れ？それとも種？」という長年の議論に「個体が持つ遺伝子の一部」が正解という主張が成されました。

@kiyotakainaba48 Жыл бұрын

その前のパラダイムシフトは、用無用説から脱却した自然選択説ですね。両方とも、後になって数値シミュレーションで、実現可能性も実証されていますし。

@user-cv2nw7rs4x Жыл бұрын

ゲーム作っているとオブジェクト指向から外れた(?)、コンポーネント指向、Immediate mode GUIとか便利だなってなりますね、、コンポーネント指向というかECSはメモリを豊富に使える今だから使えるところもあるのでアイデアだけではないですけど

@FoxInFlame Жыл бұрын

ImGUIはお世話になりすぎてる…　開発用ツールが綺麗に出来すぎて、あれでゲームのユーザー画面も作ろうと思ったこともありますね（最終的にはちゃんとしたUIライブラリを導入しましたが）

@QPSAexpress Жыл бұрын

関数型は emacs + lisp で触って挫折しました。思考回路の切り替えができなかったのと目が慣れませんでした。

@kiyotakainaba48 Жыл бұрын

うーむ、確かに。 infix ばかり触ってると、S 式はきついですね。まあ、Lisp は高級言語じゃなくって、中級言語だから。逆に、アセンブラの次が、lisp なんて人にはあまり違和感なく受け入れられたんですよね、昔は。

@lilede44 Жыл бұрын

え、クジラ飛行机さんのご本だ！　サクラにお世話になってます

@akinaka7543 Жыл бұрын

たぶん大きくないけど漫画やラノベのタイトルのつけかたのパラダイムも何通りかありそう。「奇数文字が売れるのだ時代」「４文字時代("らぶひな"とか)」「くそ長い説明調の時代」

@sakyodan Жыл бұрын

ここ最近のプログラミング言語で流行るかどうかの要素には、万民にも扱いやすい理解しやすいがあると思います人工知能の初歩でLispを学んだのですが中盤から拒否反応がでて挫折したましたorz

@kiyotakainaba48 Жыл бұрын

人工知能用に書かれたサンプルコードは、あまり良いサンプルでない事が多いので、Lisp の入門に向きませんね。結局リスト生成をやるだけだから。で、関数型っぽくするのなら、「繰り返しっぽいけどちょっと違う」を、いろいろ書いてみると良い。lambda と map の強力さがわかるから。まあ、この二つの基本概念は今日びの言語ならどれにでも入ってるから、Lisp 使うまでもないのだけど。

@akinaka7543 Жыл бұрын

2:46 「初心者でもOOP」は或る意味同意ですー。(初心者ゆえに理解が曖昧って点はOOPと関係あるか微妙とは思いますが。因果じゃなく相関ってやつ？)

@oxy2745 Жыл бұрын

私はScala大好きなプログラマーなのでバイアス入りまくってますが「Scalaは難しい」とか「Scalaは終わった」という発言をする事が「関数型理解して乗り越えました」感を演出するパフォーマンスのようになってしまっていて、そういった界隈の表面的な雰囲気だけで学習すべき言語から除外されてしまっているのに危機感を持っています。実際のところは、Javaの膨大で枯れたライブラリやエコシステムを利用することができる、オブジェクト指向と関数型パラダイムをいいとこ取りしたような言語なので、とても良い言語です。現在、goやrustが流行っているのはマイクロサービスアーキテクチャの潮流と、クラウドベンダーがインフラでのマイクロサービスアーキテクチャのサポートを強化して現実的にマイクロサービスアーキテクチャで運用することが可能になってきた頃合いだからという背景があります。

@ケントマン Жыл бұрын

猪木アリの話補足。当時最強チャンピオンだった誰でも勝負を受けると言ったところに猪木が挑戦表明。ただしアリ側は異種格闘技ということもあり猪木側に条件(ルール)を提示しあらゆる攻撃手段を封じた(非公開)。それでも勝つために猪木ができた戦い方があれぐらいしか残っていなかった。期待していたファンとしてはがっかりだったが、アリは猪木に対して好意を持つことになり、友情の証としてアリボンバイエという曲を猪木に贈った。それが猪木ボンバイエ。

@nabesun Жыл бұрын

ピールのパラダイムシフトですが、第三のビールが出てきたあたりに起こってた気がします。その辺り水野さんの方が詳しいと思いますが、酒税法が変わってビールだと税金が高いので副原料を少し加えて「これはビールじゃなくて発泡酒です！」って言い始めたり、年間の酒造量が第三のビールだと6000Lでクリア出来てマイクロブルワリーができ始めて国産クラフトビールの流れが出来た気がしますが、あいまいです！！！！！！

@average334 Жыл бұрын

堀元さんくらいの勉強上手い人でも、関数型言語の勉強難しいって言ってくれるのめちゃくちゃ安心する

@user-kr7wx2ht4l Жыл бұрын

オブジェクト式言語はバグを取ろうとすればするほど増えていくという根源的な欠点があるw

@kiyotakainaba48 Жыл бұрын

だって、関数型じゃない言語取り上げて、勉強しようとしてるから。モーターボートの免許取って、車の運転は難しいとか言ってるようなもん。

@kazuselen 9 ай бұрын

@@kiyotakainaba48まず君がちゃんと日本語を理解しないとダメだぞ

@rivieramente Жыл бұрын

楽しみ

@user-fu6vm1nt1u 7 ай бұрын

好きなパラダイムシフトは、クラウドコンピューティングです。これによって、あんましサーバに詳しくない人でもクラウドでサーバ立ててスケーラブルにウェブをサービス運用できる時代になったと思っています。

@haruka_52 Жыл бұрын

11:10 「参照透過性」の定義が少し足りていなくて、参照透過性というのはある式と式の結果を置き換えても結果が変わらない事です。この定義の不足している部分が「副作用」にも絡んでいて、じゃあ主作用は何かというと参照透過性を語るときに出てくる式の結果です。関数の作用が式から式の値を返す以外の作用を持っていると、式を式の値で置き換えた時に主作用以外の作用=副作用が得られなくなってしまうので透過的で無くなるのです。だからprint(10)は必ず同じ結果になりますが、参照透過性を持ちません。式を値に置き換えると失われる、標準出力への出力が副作用です。

@user-fb4kc6ji4h Жыл бұрын

58歳イラストレーターです。「コンピューターで絵が描けるようになった」がパラダイムシフトでした。これによってアナログの画材を持たなくて良くなり無限の絵の具を手に入れたこと、データで納品が可能になったこと、何より修正が飛躍的に楽になったことは大きな恩恵です。これらにより私のアナログイラストはすっかりダウングレードして、めっちゃ下手くそになりました。

@efo1187 Жыл бұрын

スポーツの世界は多いかもですねサッカーの戦術がフォーメーション+ポジショニングになったのとか

@tatsu1974g Жыл бұрын

僕はオジさんエンジニアなので、関数型プログラミング言語というとErlangや、LISPを連想してしまいます。可能であれば堀本さんにErlangの思想を解説して欲しいです❤️

@user-yk1ph1fe1f Жыл бұрын

パラダイムシフトとは少し異なる気はしますが、学生ロボコンの界隈で現状大きな転換点を迎えつつあると感じています。というのも、モーターと減速機(ギア)がセットになっているギアードモーターというものの中で特にロボコンで使いやすいものを販売していた業者が廃業したのです。今後ロボコンで使用されるアクチュエータに関しては追いかけると少し面白いのかなと思います

@user-mq1be3zd6s Жыл бұрын

関数型言語は圏論とも関係が強いし、圏論で多分野の成果を横断して利用できそうな気がしているので、是非圏論に堪能な方を呼んであらゆる概念を関手で繋いでもらいたい

@jikovvv4981 Жыл бұрын

やめとけ、典型的な失敗パターンだぞ、人生が３００年くらいないと無理だ

@seichi65 Жыл бұрын

プログラムのゆる歴史？物語として、読みたいです。戦闘マンガのパラダイムシフトが、ありそう。

@user-gn6so8bs3g Жыл бұрын

聖子ちゃんなんかの神聖な存在の時代から秋元康が会いに行けるアイドルにしたのはパラダイムシフトですかね？

@user-gu3ue8cm2x Жыл бұрын

たしかにダウングレードしてる。

@nkgwsy Жыл бұрын

秋元康の前に、つんくがいる気がします。それまでは手の届かない憧れの存在だった物が、モーニング娘。の登場で応援する物に変わり、そこに会いに行けるというコンセプトが来てファンとの距離が一気に縮まって、昨今の「推し」の文化に発展してきたのかなぁ、と。

@nishok56ww Жыл бұрын

関数型のプロの人の話は是非聞きたいですね。ぜひぜひ。型システムの話が聞けたら嬉しいです。ただ、自分が理解できるかは知らんけどww

@blackp13d26 Жыл бұрын

プログラミングパラダイムは面白いですね。

@user-nz8xb1un6h Жыл бұрын

同じく関数型は挫折したなぁ。一般プログラマでも理解出来ないと流行らんのやろうな。

@hinamega Жыл бұрын

タロットカードのパラダイムシフトですが、「Sheridan Douglas Tarot」以前以後の違いはデカいかな？とそれまでは、オカルト団体の偉い人が啓示を受けて作るものだったのが、一般人でもいい感じに作っていんじゃない？に変わった瞬間今、アニメやらゲームやらで作品オリジナルのデザインがあるのも、その時のパラダイムシフトの影響なんだろうなぁと思ってます。

@il-fo7796 Жыл бұрын

Cが持っている構造体は変数のみで、オブジェクト系のクラスは構造体に関数を加えた変数と関数を持つもので、関数型は変数を取っ払って関数だけになったと解釈すると、制御工学の状態方程式みたいに制御安定性が綺麗に出せるのかなと思いますね。ただ、プログラミングの世界は現実と違って全てを定義しないと入力が発生しないからこそ変数を”利用者に向けて”用意する必要があるのかもしれませんね。