Размер видео: 1280 X 720853 X 480640 X 360
Показать панель управления
Автовоспроизведение
Автоповтор
【ハッカーと画家 コンピュータ時代の創造者たち】www.valuebooks.jp/bp/VS0053739931【ゆるコンピュータ科学ラジオ書店】www.valuebooks.jp/shelf-items/folder/0a655b11699edf9
本当はめっちゃ優しくておもろいやつなのにそれに気づくのに入学から半年かかるクラスメイトみたいなサムネ
人の血が通ってない連続殺人鬼にも見えるから、半年もかかるのには納得せざる得ない。
「入れ子にする(カッコで包む)」しかまともな構文が存在しないのにプログラミング言語として成立する、というところに、「入れ子構造こそ表現力の根源・必要十分条件である」ことを実感できて、そこに自然言語との共通点も(個人的に)感じます
歯科の話、ちょうど先週思ったことだったのでタイムリーで共感した。忙しいわけではないけど、情報溢れる現代、SNSのチェック、アニメや漫画の新作……などと暇なはずの時間でも意外と労力を使ってるなと、麻酔が効くまでの待機１０分で思った。１０分くらいなら、寝る前に目をつぶる機会であるはずなんだけど、本心は「寝たくない」。明日仕事だから、寝ないと体調に支障をきたすから、寝るのであって、寝付くまで休んでいる感じはしない。本当はしたいことを思い浮かべて今日は出来なかったとくやしがったり、明日の仕事にうんざりしたり、そもそも残業なくともフルタイム８時間という制度がもう嫌だと思ったり、寝る前は妄想すると聞いて試してみても楽しいものでなかったり。そんな感じで、穴の開いたタオルで顔を覆われ、タイマーがなるまで待ってる時間は意外と心地よかった。
いつにもまして今回のグッときた。テーマ本筋の話題、脱線した話題、コネクティングドッツみ、真面目な話、チョケた話、がうまいことバランスよく融合してた。
ポールグレアムは「The Roots of Lisp」というエッセイも書いていて、何年か前に訳したのですが、Lispはマッカーシーがデザインしたものというよりは発見したものという方が近い。Lispとは、計算を公理化しようと試みた結果として得られる何かなのである。と書いていたのが印象的でした
「最後までチョケたっぷり」細かい部分への遊び心が見ていて嬉しいです。
川合さんはGaucheと呼ばれるscheme処理系を作った方ですね。昔はFFの開発にも参加しててLisp界隈ではめちゃくちゃ有名な人です。
そうそう、FF7のワールドマップエディタを書いたって聞きました。
楽しみに待ってました
奇遇ですね、僕もです😊
たのまち
@kinsyu_man そだよ
ぼくも！
4:36 ヤク者の方は、Lispハッカーであり自身でLisp処理系まで作っている方なので、プログラマーで画家で投資家でもある人の本をプログラマーで役者で翻訳者でもある人が訳したのです！
静かなLispの森の陰から（中略）括弧 括弧 括弧・・・・・
13:02 おそらくカンブリア紀に生息していたオパビニアじゃないかなと
Lispが難しい理由が理解できてよかったわいくら書き言葉なら、ツリー化できるとは言ってもツリーになっている文章を普段見たこともないし、どう読めば理解しやすいかとか知らないもの
24:03 「発声器官が無い人の発想」の表現いいですね。
on lisp、let over lambdaも面白いですね
(数理論理学における意味論について)数理論理学では例えばx
lispの１つであるschemeは、繰り返し構文すら「末尾再帰最適化があれば不要」とする思い切りの良さが好きです
眼鏡なし水野さんに対していつも以上に眉毛描き足したい気持ちが湧いています
逆にこのままで髪形だけパンチパーマに変更するのも似合う気がしてる
全ての機能を備えた言語回、楽しみです
Lispの本読んでたらLispの機能の説明でLisp readerこの本の読者のことではないってまず書いてあって吹いた。日本語ではLisp使いは格好()つけたがるって呼ばれるけど、英語ではCarをCdrに変えるときはcarefullyにしなければならない、さもなくばcdrefullyなんて言葉を見つける。って言い伝えがありますね。
河合さんはSchemeの実装Gaucheを作った人ですよね。バリバリですよね。
自宅で使ってるメール振り分けソフト、gaucheで書かれてます。
堀元さんのLisp回＆水野さんの意味論回を楽しみにしてます！
意味論とＵＭＬの技法は、似ているよね。
関数型言語以外でも、- できるだけ状態を持たない- 副作用を最小限にするとして関数型風味で書けたほうがいいなとは感じております。
そのうちD言語くんも紹介されるかないな。ちょうどいいゲームとして2048を上げる水野さんセンスある。
訳者川合さんもLispハッカー
「やくしゃとやくしゃをやっています」と言うためだけに、役者と訳者を目指そうかな。
LISPは英語より日本語に近いLISPは( )の中に小さな世界を作れる神の言語
水野さん、普通の言語をあまり知らんうちにLispから入る、を経験できたら素晴らしいのではないでしょうか
クロマニョン人にクロマニョン人と書いてあるのはもうみすず学苑だろ
堀本「副作用がなくなるのが関数型！！」純粋関数型至上主義者だ怖い
つ setq prog cond
「(プログラムの動作の分類である)副作用が無い」というのは関数型プログラミングの「(主作用でなはいという意味での)副作用」なんだよね
LISPを逆ポーランド記法で書いて括弧を使わないこともできそう FORTHかPostscript
関数型言語ってなんとなくとっつき悪かったけど、興味出てきた
関数型プログラミングって実はそんなに高尚なものじゃなくて、なんなら普段からわかりやすいプログラミングを心がけてると、無意識下でやってる可能性すらあったりする。
@@kettle9265 ほんそれ。
俺もこないだ似たような事を実感したんですよ。Excelの関数を書いてて、これがもしプログラミング言語だとして、このプログラミング言語をもし口頭で人間が言うとしたら、頭の中で構文を構築するのが大変だし、耳で聞いた相手はぜんぜん聞き取れないだろうなぁ、プログラミング言語は話し言葉には向いてないよなぁ、って思いながら帰宅してました。それとほぼ同じ話が出てきたので、そうそう、それそれ、って共感しました。
Lispは存じ上げなかったですが、関数型言語のRしかほとんど使えない人なので、関数型というだけでなんだかとっつきやすく思っちゃいました。
Lispに強い影響を受けて開発されたJulia言語も取り上げてください！
エクセルの開発タブとマクロボタンはデフォでは隠されてたりするので「俺のエクセルにはそんなもの無い」は往々にしてある
コメントの多さをみてこんなにLispを好きな人が多いのにびっくりした。『千のプラトー』にも出てくるから出会いの裾野は広いと思うけど。
「Lispが奇妙に見えるのは(実際にはそれがLispの特質を決定づけているのだが)、「LispがLisp自身によって書ける」ということだ。」グレアム「Lispの起源」。アラン・ケイも「LISP1.5マニュアル」（マッカーシー）のそこの部分が超重要だと言ってますね。多分そうなんでしょう。入門者向けにそれを教えてるのが「Scheme手習い」なので、取り上げてみてはいかがでしょう。Yコンビネータも出てきますよ。
Lispの括弧の多さの意味が生成文法の系統樹と関連しているとは、Lispの理解が進んだ。
Lots of Insipid Stupid Parenthesesの頭字語だから括弧が多いwww
11:15 Lispから交雑した言語…の話で、もう一回動画つくれますね！！(^^;
「インプットをしていない時間が無い」と聞いて、普段ボケっとyoutube見て何も残らない自分とは全く違う人間なんだと痛感した。
ハッカーと画家を学生時代に拗らせた身としてはLisp合宿超やりたいです
途中でストレージとメモリがごちゃまぜになっているという発言がありましたけど、計算機科学的にはDRAMは主記憶装置で、NANDメモリは補助記憶装置でどちらもメモリだと思います. レジスタ、SRAM(2次キャッシュ)、DRAM、NANDメモリは速度、容量、揮発性など特性に合わせて使い分けされているだけですべてメモリです. あとNANDメモリは普通にGCがあります(勝手にやられてれ気づいてないだけ)
14:22 知ってる人は知っている、川合史朗氏は日本で有名なschemeの作者でlisperですね。ご存知なかったようですので、一度、wikipediaでもお調べになってみてはいかがでしょうか。たぶんshiro（川合氏のネットのハンドルネーム）さんはゆるコンのことを知ってる可能性が高いので、いつか、ゆるコンに登場していただける日を楽しみにしています。
(+(* 12 80) (/ 20 5)) コンピュータよく分からないし数学は高校の文系範囲しか知らないけど、この書き方は結構しっくりくるな。f(a,b,c,…)=a*b*c*…g(a,b,c,…)=a/(b*c*…)h(a,b,c,…)=a+b+c+…みたいな感じで予め関数を定めて、h(f(12,20),g(20,5))このように表してるのと似たような見た目してるな〜って思いました。
分かりやすい！だから関数型言語というのか
水野さんの天井に朝刊を投影してくれ発言は目の手術中に数学の論文を読もうとして主治医と大喧嘩になったポール・エルディシュの思想に似ている
34:35 Lispは当時と同じ形で生き残ってるけどJavaScriptは滅びてESになったと言っても過言ではないと思う
今日の名言「パソコンができるんだね〜」
24:38 括弧コンソーシアムきたーーー
関数型の良い所は、書く事が少なくなる点だと思う
Lispは数学的言語でほかは工学的言語!Haskell「ほーん？」
Shiroさんだけで1回分いけるので頼みます！
自分の河合史郎君へのイメージは天才プログラマでめちゃキータイプが速い人ですね。バリバリのLISPERでもなくて普通にCでも書いてます。トースターを改造してPCを作った逸話もある人
13:21 bisonやflexをゆる*でやってほしいです(なんとなくテリトリーとしては言語学でなく計算機科学になりますか？)
25:04 「開発者に口はある」が「死人に口なし」の形式に見えてしまった
30:54 ということはよしのぶさんにドンピシャの本ってことですね！
言語学の先生とか他分野の人が専門外の勉強する番組とかもみたいな
「OOエンジニアの輪！ ～ 第 21 回 川合史朗 さんの巻」がお薦めです！
ラムダ計算と意味論の話だと、ちょっと道を踏み外して表示的意味論の方に逸れて領域理論に突っこんだり、あるいは項書換え系とかコンビネータ論理とか (つらそう
水野さんの下に出る字幕にスラッシュ入ってるなぁと思ったら、マイクに照明が反射してるだけだった😂
12:58 もしかしてオパビニア？
24:03 ここで映画『メッセージ』の解像度がさらに上がった気がしました
歯科の話を聞いてアキバ歯科という歯科助手がみんなメイドの格好をしている歯医者のことを思い出したけど、実はとんでもなく素晴らしいご楽なのかもしれないと思った
確かにJavaScriptが駆逐されてないのよく分かんないですね……改良版？のTypeScriptも結局jsにトランスパイルして使ったりするし。結局ブラウザ上で広く扱えるっていう部分が強みなんですかね。
「未来を予測する最善の方法は、それを発明することだ」
サムネにチベットスナギツネ紛れちゃってますよ
おい水野！あれだけメガネを外すなと言ったであろう！
余談ながらLISPと聞いて、十数年前その名で声優ユニットが音楽活動初めてすぐ休止したのを思い出したのはここだけの話
堀元さんも関数型言語を学ぶガチコンピュータ科学ラジオやればいいのでは？ガチ言語学ラジオよりもついてくる人が少なそうだけど。
ジョン・マッカーシーは今回出てきた人(AIの命名者)として認識してたので、川原先生会でびっくりしました
3:10 そういえば、ロータス123のマクロで給与計算組んだなぁ。
37:20 「関数型言語」に「強い型付け」が必須だという姿勢が最近の流行、一方ちょい前のLispブームの頃だと必須とは言ってなかった(気がする)ので、これは流行なのか、それともどっちか(!)が間違えているのか、は気になっています。
「強い型付け」というワードは結構問題含みなので避けます（し使うのをおすすめしません）が、これが静的型付けのことだとすると、関数型プログラミング言語に静的型付けは必須ではありません。HaskellやOCamlなどの言語によって静的型付けの威力が知られるようになって以来の流行りのようなものです。もし言っているとしたらそれは便利だよ！という意味で言ってると思います。静的型付けではない関数型プログラミング言語としてはclojureが挙げられます。ちょうど今回話題になったlispの末裔で、意図的に動的型付けを採用するなど作者の明確な思想の下作られた言語です。個人的にはかなり美しい言語だと思うのですが、lispハッカーがどう思ってるか私も気になっています（彼らはjavaのランタイムを毛嫌いするかもしれませんが、言語仕様の感想を聞いてみたいですね）。
昔マイコンが辛うじてBASICが使えた時代に、CASIOからLISPが動くポケコンが出たのよ。使いこなすまで出来なかったけど、全然違う世界が面白かった。なぜ商品として世に出たのかが不思議。
LISP について、lambda とか、シンボルというデータ型とか、データ構造(CONS)とプログラムの同型性とか、どこまで語られるのかなぁ。
病院で治療受けてるときはスマホ触らないから「ああ、俺休んでるなぁ…」と感じるよなぁ
24:43 嶋村先生の真似の解像度が高くなってる
3:56 佐賀県のSCP
Lispの本を買ったのは25年も前のこと。積読になったあと、どこかに死蔵されました。😅
コネクティングドッツみ！
Land of lispを怪物本っていうひともいますね
Racket学んでるけど難しい
『ハッカーと画家』って、ビル・ゲイツの写真が載ってる本でしたっけ？
３～４０年前はコンピューターを使う＝プログラムを作る、だったのかなぁ
22:05 LISPでバスに乗るのではなくCARに乗るのでは？えっ、クダーらんこと言うな！？
クロマニョン人はクロマニョン人なの、カバはカバと思ってる奴じゃないか？
LEANも数学的なプログラミング言語だった気がしますそれ以上は何も知りません教えて
表紙はオパビニアですね。カンブリア紀に登場した節足動物の仲間です。
飯田さんに勧められた本、飯田さんが読んだかどうかを当てる会、希望。
水野さん、意味論はいつですか
うんざりベンチはおもろい視点やなぁ😮
水野さんが話している「言語学と哲学の間くらいの人」の解説、どっからどう聞いても言語学の肩を持って、言語哲学を軽視してるとしか思えないんですけど…。（分析哲学は数理論理をかじることで大陸哲学から分裂して対立しているみたいな立ち位置でありそれまでの歴史的流れをかなり軽視する傾向にあるので、ひょっとするとその言い分を真に受けている可能性がある？）プラトンにとって単語の意味はイデアのことでしたし、アリストテレスにとっては属性の包含関係でした。これらが全部ゴミかっていったら、言語学の各種基礎概念ってこの2つの亜種がボロボロあります。たとえば通時的観点で英語のイデアを想像したら印欧祖語という発想になり、各語族や語派のイデアを考えたら言語化以前の内的言語という発想になる。品詞の文法的分類は属性の束って話でしたけど、これもアリストテレスの発想を言語学専用に狭めたものと見ることが可能。普通名詞と固有名詞の違いなんて中世の普遍論争を経てようやく論じられるようになっていますし。言語学と言語哲学は相性が悪すぎて、隣接領域のはずなのに話が全然合わないです。
鳥谷敬さんが座ってる
我らがLisper藤井さんを召喚してはいかがですか？ゆる学徒カフェにてレンタルできるみたいですし。
関数型言語なら任せてくれい...って言いたい
シンギュラリティは2030年までに到来する
全然関係ないですが、プログラミングでラベル(label)ってしばしば出てくる用語なんですが、なぜこれってレイベルとかレーベルじゃないんでしょう？テーブル(table)のことタベルって発音するレベルで発音が違うと思うのですが。音楽の会社とかはレーベルっていうのだけど。コードについて英語話者と喋っているときにthis labelって言われると母語の干渉がでかすぎてえーっとどのラベルの事？となって困ります。labelをラベルの意味でラベルって発音する言語って日本語以外にあるんでしょうか？
コンピュータ科学悪魔の辞典をつくってほしい。そもそもオズボーンの予測はもう外れたと思ってよいと思いますね。
加減乗除をオペレーターと考えるから変なのであって、関数と考えればふつうですよね。Lispは設計思想は関数型ですが、(特にCommon Lisp制定前の)現実のプログラムは下手したらGO(GOTO)まであって、とっても手続き的です。プログラマパラダイムを学ぶのであれば、応用的な話がない方がいいかもしれません。あと、もっと変態的な言語としてはPrologもおすすめします。一階述語論理をそのまま実装しています。が、言語としては未完成な部分が多く、実用的なプログラムを書くのはなかなか大変です。
！！！！LISPモンスターだ！！！！
電検(電検3種)じゃなくて電気工事士2種かな。
![Hunxho - Ball Forever [Official Video]](http://i.ytimg.com/vi/nki9ZTF9Uls/mqdefault.jpg)
【ハッカーと画家 コンピュータ時代の創造者たち】
www.valuebooks.jp/bp/VS0053739931
【ゆるコンピュータ科学ラジオ書店】
www.valuebooks.jp/shelf-items/folder/0a655b11699edf9
本当はめっちゃ優しくておもろいやつなのにそれに気づくのに入学から半年かかるクラスメイトみたいなサムネ
人の血が通ってない連続殺人鬼にも見えるから、半年もかかるのには納得せざる得ない。
「入れ子にする(カッコで包む)」しかまともな構文が存在しないのにプログラミング言語として成立する、というところに、「入れ子構造こそ表現力の根源・必要十分条件である」ことを実感できて、そこに自然言語との共通点も(個人的に)感じます
歯科の話、ちょうど先週思ったことだったのでタイムリーで共感した。
忙しいわけではないけど、情報溢れる現代、SNSのチェック、アニメや漫画の新作……などと暇なはずの時間でも意外と労力を使ってるなと、麻酔が効くまでの待機１０分で思った。
１０分くらいなら、寝る前に目をつぶる機会であるはずなんだけど、本心は「寝たくない」。明日仕事だから、寝ないと体調に支障をきたすから、寝るのであって、寝付くまで休んでいる感じはしない。
本当はしたいことを思い浮かべて今日は出来なかったとくやしがったり、明日の仕事にうんざりしたり、そもそも残業なくともフルタイム８時間という制度がもう嫌だと思ったり、寝る前は妄想すると聞いて試してみても楽しいものでなかったり。
そんな感じで、穴の開いたタオルで顔を覆われ、タイマーがなるまで待ってる時間は意外と心地よかった。
いつにもまして今回のグッときた。テーマ本筋の話題、脱線した話題、コネクティングドッツみ、真面目な話、チョケた話、がうまいことバランスよく融合してた。
ポールグレアムは「The Roots of Lisp」というエッセイも書いていて、何年か前に訳したのですが、
Lispはマッカーシーがデザインしたものというよりは発見したものという方が近い。Lispとは、計算を公理化しようと試みた結果として得られる何かなのである。
と書いていたのが印象的でした
「最後までチョケたっぷり」
細かい部分への遊び心が見ていて嬉しいです。
川合さんはGaucheと呼ばれるscheme処理系を作った方ですね。昔はFFの開発にも参加しててLisp界隈ではめちゃくちゃ有名な人です。
そうそう、FF7のワールドマップエディタを書いたって聞きました。
楽しみに待ってました
奇遇ですね、僕もです😊
たのまち
@kinsyu_man そだよ
ぼくも！
4:36 ヤク者の方は、Lispハッカーであり自身でLisp処理系まで作っている方なので、プログラマーで画家で投資家でもある人の本をプログラマーで役者で翻訳者でもある人が訳したのです！
静かなLispの森の陰から（中略）括弧 括弧 括弧・・・・・
13:02 おそらくカンブリア紀に生息していたオパビニアじゃないかなと
Lispが難しい理由が理解できてよかったわ
いくら書き言葉なら、ツリー化できるとは言っても
ツリーになっている文章を普段見たこともないし、どう読めば理解しやすいかとか知らないもの
24:03 「発声器官が無い人の発想」の表現いいですね。
on lisp、let over lambdaも面白いですね
(数理論理学における意味論について)
数理論理学では例えば
x
lispの１つであるschemeは、繰り返し構文すら「末尾再帰最適化があれば不要」とする思い切りの良さが好きです
眼鏡なし水野さんに対していつも以上に眉毛描き足したい気持ちが湧いています
逆にこのままで髪形だけパンチパーマに変更するのも似合う気がしてる
全ての機能を備えた言語回、楽しみです
Lispの本読んでたら
Lispの機能の説明で
Lisp reader
この本の読者のことではない
ってまず書いてあって吹いた。
日本語ではLisp使いは格好()つけたがるって呼ばれるけど、
英語では
CarをCdrに変えるときは
carefullyにしなければならない、さもなくばcdrefullyなんて言葉を見つける。
って言い伝えがありますね。
河合さんはSchemeの実装Gaucheを作った人ですよね。バリバリですよね。
自宅で使ってるメール振り分けソフト、gaucheで書かれてます。
堀元さんのLisp回＆水野さんの意味論回を楽しみにしてます！
意味論とＵＭＬの技法は、似ているよね。
関数型言語以外でも、
- できるだけ状態を持たない
- 副作用を最小限にする
として関数型風味で書けたほうがいいなとは感じております。
そのうちD言語くんも紹介されるかないな。
ちょうどいいゲームとして2048を上げる水野さんセンスある。
訳者川合さんもLispハッカー
「やくしゃとやくしゃをやっています」と言うためだけに、役者と訳者を目指そうかな。
LISPは英語より日本語に近い
LISPは( )の中に小さな世界を作れる神の言語
水野さん、普通の言語をあまり知らんうちにLispから入る、を経験できたら素晴らしいのではないでしょうか
クロマニョン人にクロマニョン人と書いてあるのはもうみすず学苑だろ
堀本「副作用がなくなるのが関数型！！」
純粋関数型至上主義者だ怖い
つ setq prog cond
「(プログラムの動作の分類である)副作用が無い」というのは関数型プログラミングの「(主作用でなはいという意味での)副作用」なんだよね
LISPを逆ポーランド記法で書いて括弧を使わないこともできそう FORTHかPostscript
関数型言語ってなんとなくとっつき悪かったけど、興味出てきた
関数型プログラミングって実はそんなに高尚なものじゃなくて、なんなら普段からわかりやすいプログラミングを心がけてると、無意識下でやってる可能性すらあったりする。
@@kettle9265 ほんそれ。
俺もこないだ似たような事を実感したんですよ。
Excelの関数を書いてて、これがもしプログラミング言語だとして、このプログラミング言語をもし口頭で人間が言うとしたら、頭の中で構文を構築するのが大変だし、耳で聞いた相手はぜんぜん聞き取れないだろうなぁ、プログラミング言語は話し言葉には向いてないよなぁ、って思いながら帰宅してました。
それとほぼ同じ話が出てきたので、そうそう、それそれ、って共感しました。
Lispは存じ上げなかったですが、関数型言語のRしかほとんど使えない人なので、関数型というだけでなんだかとっつきやすく思っちゃいました。
Lispに強い影響を受けて開発されたJulia言語も取り上げてください！
エクセルの開発タブとマクロボタンはデフォでは隠されてたりするので「俺のエクセルにはそんなもの無い」は往々にしてある
コメントの多さをみてこんなにLispを好きな人が多いのにびっくりした。『千のプラトー』にも出てくるから出会いの裾野は広いと思うけど。
「Lispが奇妙に見えるのは(実際にはそれがLispの特質を決定づけているのだが)、「LispがLisp自身によって書ける」ということだ。」
グレアム「Lispの起源」。
アラン・ケイも「LISP1.5マニュアル」（マッカーシー）のそこの部分が超重要だと言ってますね。
多分そうなんでしょう。
入門者向けにそれを教えてるのが「Scheme手習い」なので、取り上げてみてはいかがでしょう。
Yコンビネータも出てきますよ。
Lispの括弧の多さの意味が生成文法の系統樹と関連しているとは、Lispの理解が進んだ。
Lots of Insipid Stupid Parenthesesの頭字語だから括弧が多いwww
11:15 Lispから交雑した言語…の話で、もう一回動画つくれますね！！(^^;
「インプットをしていない時間が無い」と聞いて、普段ボケっとyoutube見て何も残らない自分とは全く違う人間なんだと痛感した。
ハッカーと画家を学生時代に拗らせた身としてはLisp合宿超やりたいです
途中でストレージとメモリがごちゃまぜになっているという発言がありましたけど、計算機科学的にはDRAMは主記憶装置で、NANDメモリは補助記憶装置でどちらもメモリだと思います. レジスタ、SRAM(2次キャッシュ)、DRAM、NANDメモリは速度、容量、揮発性など特性に合わせて使い分けされているだけですべてメモリです. あとNANDメモリは普通にGCがあります(勝手にやられてれ気づいてないだけ)
14:22
知ってる人は知っている、川合史朗氏は日本で有名なschemeの作者でlisperですね。
ご存知なかったようですので、一度、wikipediaでもお調べになってみてはいかがでしょうか。
たぶんshiro（川合氏のネットのハンドルネーム）さんはゆるコンのことを知ってる可能性が高いので、いつか、ゆるコンに登場していただける日を楽しみにしています。
(+(* 12 80) (/ 20 5))
コンピュータよく分からないし数学は高校の文系範囲しか知らないけど、この書き方は結構しっくりくるな。
f(a,b,c,…)=a*b*c*…
g(a,b,c,…)=a/(b*c*…)
h(a,b,c,…)=a+b+c+…
みたいな感じで予め関数を定めて、
h(f(12,20),g(20,5))
このように表してるのと似たような見た目してるな〜って思いました。
分かりやすい！だから関数型言語というのか
水野さんの天井に朝刊を投影してくれ発言は
目の手術中に数学の論文を読もうとして主治医と大喧嘩になったポール・エルディシュの思想に似ている
34:35 Lispは当時と同じ形で生き残ってるけどJavaScriptは滅びてESになったと言っても過言ではないと思う
今日の名言「パソコンができるんだね〜」
24:38 括弧コンソーシアムきたーーー
関数型の良い所は、書く事が少なくなる点だと思う
Lispは数学的言語でほかは工学的言語!
Haskell「ほーん？」
Shiroさんだけで1回分いけるので頼みます！
自分の河合史郎君へのイメージは天才プログラマでめちゃキータイプが速い人ですね。バリバリのLISPERでもなくて普通にCでも書いてます。トースターを改造してPCを作った逸話もある人
13:21 bisonやflexをゆる*でやってほしいです
(なんとなくテリトリーとしては言語学でなく計算機科学になりますか？)
25:04 「開発者に口はある」が「死人に口なし」の形式に見えてしまった
30:54 ということはよしのぶさんにドンピシャの本ってことですね！
言語学の先生とか他分野の人が専門外の勉強する番組とかもみたいな
「OOエンジニアの輪！ ～ 第 21 回 川合史朗 さんの巻」がお薦めです！
ラムダ計算と意味論の話だと、ちょっと道を踏み外して表示的意味論の方に逸れて領域理論に突っこんだり、あるいは項書換え系とかコンビネータ論理とか (つらそう
水野さんの下に出る字幕にスラッシュ入ってるなぁと思ったら、マイクに照明が反射してるだけだった😂
12:58 もしかしてオパビニア？
24:03 ここで映画『メッセージ』の解像度がさらに上がった気がしました
歯科の話を聞いてアキバ歯科という歯科助手がみんなメイドの格好をしている歯医者のことを思い出したけど、実はとんでもなく素晴らしいご楽なのかもしれないと思った
確かにJavaScriptが駆逐されてないのよく分かんないですね……
改良版？のTypeScriptも結局jsにトランスパイルして使ったりするし。
結局ブラウザ上で広く扱えるっていう部分が強みなんですかね。
「未来を予測する最善の方法は、それを発明することだ」
サムネにチベットスナギツネ紛れちゃってますよ
おい水野！あれだけメガネを外すなと言ったであろう！
余談ながらLISPと聞いて、十数年前その名で声優ユニットが音楽活動初めてすぐ休止したのを思い出したのはここだけの話
堀元さんも関数型言語を学ぶガチコンピュータ科学ラジオやればいいのでは？
ガチ言語学ラジオよりもついてくる人が少なそうだけど。
ジョン・マッカーシーは今回出てきた人(AIの命名者)として認識してたので、川原先生会でびっくりしました
3:10 そういえば、ロータス123のマクロで給与計算組んだなぁ。
37:20 「関数型言語」に「強い型付け」が必須だという姿勢が最近の流行、一方ちょい前のLispブームの頃だと必須とは言ってなかった(気がする)ので、これは流行なのか、それともどっちか(!)が間違えているのか、は気になっています。
「強い型付け」というワードは結構問題含みなので避けます（し使うのをおすすめしません）が、これが静的型付けのことだとすると、関数型プログラミング言語に静的型付けは必須ではありません。HaskellやOCamlなどの言語によって静的型付けの威力が知られるようになって以来の流行りのようなものです。もし言っているとしたらそれは便利だよ！という意味で言ってると思います。
静的型付けではない関数型プログラミング言語としてはclojureが挙げられます。ちょうど今回話題になったlispの末裔で、意図的に動的型付けを採用するなど作者の明確な思想の下作られた言語です。個人的にはかなり美しい言語だと思うのですが、lispハッカーがどう思ってるか私も気になっています（彼らはjavaのランタイムを毛嫌いするかもしれませんが、言語仕様の感想を聞いてみたいですね）。
昔マイコンが辛うじてBASICが使えた時代に、CASIOからLISPが動くポケコンが出たのよ。使いこなすまで出来なかったけど、全然違う世界が面白かった。なぜ商品として世に出たのかが不思議。
LISP について、lambda とか、シンボルというデータ型とか、データ構造(CONS)とプログラムの同型性とか、どこまで語られるのかなぁ。
病院で治療受けてるときはスマホ触らないから「ああ、俺休んでるなぁ…」と感じるよなぁ
24:43 嶋村先生の真似の解像度が高くなってる
3:56 佐賀県のSCP
Lispの本を買ったのは25年も前のこと。積読になったあと、どこかに死蔵されました。😅
コネクティングドッツみ！
Land of lispを怪物本っていうひともいますね
Racket学んでるけど難しい
『ハッカーと画家』って、
ビル・ゲイツの写真が載ってる本でしたっけ？
３～４０年前はコンピューターを使う＝プログラムを作る、だったのかなぁ
22:05 LISPでバスに乗るのではなくCARに乗るのでは？
えっ、クダーらんこと言うな！？
クロマニョン人はクロマニョン人なの、カバはカバと思ってる奴じゃないか？
LEANも数学的なプログラミング言語だった気がします
それ以上は何も知りません
教えて
表紙はオパビニアですね。カンブリア紀に登場した節足動物の仲間です。
飯田さんに勧められた本、飯田さんが読んだかどうかを当てる会、希望。
水野さん、意味論はいつですか
うんざりベンチはおもろい視点やなぁ😮
水野さんが話している「言語学と哲学の間くらいの人」の解説、どっからどう聞いても言語学の肩を持って、言語哲学を軽視してるとしか思えないんですけど…。
（分析哲学は数理論理をかじることで大陸哲学から分裂して対立しているみたいな立ち位置でありそれまでの歴史的流れをかなり軽視する傾向にあるので、ひょっとするとその言い分を真に受けている可能性がある？）
プラトンにとって単語の意味はイデアのことでしたし、アリストテレスにとっては属性の包含関係でした。
これらが全部ゴミかっていったら、言語学の各種基礎概念ってこの2つの亜種がボロボロあります。
たとえば通時的観点で英語のイデアを想像したら印欧祖語という発想になり、各語族や語派のイデアを考えたら言語化以前の内的言語という発想になる。
品詞の文法的分類は属性の束って話でしたけど、これもアリストテレスの発想を言語学専用に狭めたものと見ることが可能。
普通名詞と固有名詞の違いなんて中世の普遍論争を経てようやく論じられるようになっていますし。
言語学と言語哲学は相性が悪すぎて、隣接領域のはずなのに話が全然合わないです。
鳥谷敬さんが座ってる
我らがLisper藤井さんを召喚してはいかがですか？ゆる学徒カフェにてレンタルできるみたいですし。
関数型言語なら任せてくれい...って言いたい
シンギュラリティは2030年までに到来する
全然関係ないですが、プログラミングでラベル(label)ってしばしば出てくる用語なんですが、なぜこれってレイベルとかレーベルじゃないんでしょう？テーブル(table)のことタベルって発音するレベルで発音が違うと思うのですが。音楽の会社とかはレーベルっていうのだけど。
コードについて英語話者と喋っているときにthis labelって言われると母語の干渉がでかすぎてえーっとどのラベルの事？となって困ります。labelをラベルの意味でラベルって発音する言語って日本語以外にあるんでしょうか？
コンピュータ科学悪魔の辞典をつくってほしい。
そもそもオズボーンの予測はもう外れたと思ってよいと思いますね。
加減乗除をオペレーターと考えるから変なのであって、関数と考えればふつうですよね。
Lispは設計思想は関数型ですが、(特にCommon Lisp制定前の)現実のプログラムは下手したらGO(GOTO)まであって、とっても手続き的です。
プログラマパラダイムを学ぶのであれば、応用的な話がない方がいいかもしれません。
あと、もっと変態的な言語としてはPrologもおすすめします。一階述語論理をそのまま実装しています。が、言語としては未完成な部分が多く、実用的なプログラムを書くのはなかなか大変です。
！！！！LISPモンスターだ！！！！
電検(電検3種)じゃなくて電気工事士2種かな。