【検証】40時間Lispを勉強したら信者になれる?【Lisp1】

แชร์
ฝัง
  • เผยแพร่เมื่อ 24 ธ.ค. 2024

ความคิดเห็น • 288

  • @yurucom
    @yurucom  8 หลายเดือนก่อน +36

    【参考文献】
    ◯Land of Lisp
    www.valuebooks.jp/bp/VS0036813874
    ◯はじめてのLisp関数型プログラミング
    www.valuebooks.jp/bp/VS0003745575
    ◯◯ポール・グレアム『Lispの起源』有志による日本語訳
    masatoi.hateblo.jp/entry/20151210/1449948614
    【サポーターコミュニティへの加入はこちらから!】
    yurugengo.com/support
    【おたよりフォーム】
    forms.gle/BLEZpLcdEPmoZTH4A
    ※皆様からの楽しいおたよりをお待ちしています!

  • @chaiple
    @chaiple 8 หลายเดือนก่อน +146

    数学寄り:より正確に簡潔に書くことを目的として、厳密性を追求する
    工学寄り:人間が扱いやすくなることを目的として、可読性を追求する
    ということか

    • @fujimarudesu
      @fujimarudesu 8 หลายเดือนก่อน +29

      そんな気がしますね〜
      工学は人間の実用のための学問で例外的ルールが多いのもそっくりだと思いました
      数学より理学のほうが表現的に良いのではなんて思ったり

  • @tenrai3065
    @tenrai3065 8 หลายเดือนก่อน +47

    熱狂的な信者はね意識してるかは別として沼にはめてくるんです。だから親切だし丁寧だしフレンドリーなんです。

  • @pomeranodon
    @pomeranodon 8 หลายเดือนก่อน +35

    指数対数を習うときの難しさの原因は語順だと思ってます
    - や÷なら前に来てたはずの数が、logや√の後に来るんですよね
    こんなに演算間で語順が統一されてないのに、なんで理系の人がこれを許せるんだろうとずっと思ってました

  • @クアントロ大尉
    @クアントロ大尉 8 หลายเดือนก่อน +123

    コメント欄がLispの合理性を力説する人が多くてびっくり!
    素晴らしい言語なんですね!
    僕はC++勉強するのでここで!それじゃ!

    • @nysnysnysnys
      @nysnysnysnys 8 หลายเดือนก่อน +18

      rustやろうぜ

    • @しさみさん
      @しさみさん 8 หลายเดือนก่อน +36

      明らかにヤバいやつから逃げるムーブ

    • @2balbore397
      @2balbore397 7 หลายเดือนก่อน +4

  • @鉄人-x8b
    @鉄人-x8b 8 หลายเดือนก่อน +19

    正直、Lispのとっつきづらさは概念の難しさもありますが、Lisperの人たちの「Lispは神の言語」的な冗談なのか本気なのかよくわからないことを言ってる感じのコミュニティの雰囲気が怖くて近づきたくないってのも感じてしまいます

  • @Fnak202
    @Fnak202 8 หลายเดือนก่อน +6

    C++ の場合、演算子も [クラスのインスタンス]->[メンバ関数]->[引数] という記法に基づいていて
    「3+5」は(概念的にですが)以下の様に解釈されるようです。
    ①3 を初期値としたインスタンスの作成
    ②そのインスタンスのメンバ関数「+」に引数 5 を渡す
    ③メンバ関数「+」は、自身に 5 を足した値を戻り値として返す
    演算子をオーバーロードしてみると、この概念が分かるようになりますが、ややこしいことには変わりないです。
    Z80 アセンブラの「SUB s」(アキュムレータの値から s を引いてアキュムレータに入れる)の命令文に似ていると思えば、分かりやすい?

  • @mos399
    @mos399 8 หลายเดือนก่อน +15

    31:42 「コンピュータは旧約聖書の神に似ている 規則は多く慈悲はない」 ーJoseph Campbellー

  • @fruitkiwi-dev
    @fruitkiwi-dev 8 หลายเดือนก่อน +61

    他の言語だと 1 + 2 * 3 って書いた時に処理順が実は処理系依存になったりする、もちろん常識的にわかるけど
    Lispの場合だと (+ 1 (* 2 3)) という記載となり処理順に曖昧さがない
    そして四則演算の記号も処理系が勝手に処理することがなくなるため関数名等のシンボルにハイフン(-)が使えたりする
    ハイフン(-) は一番の敵で、引き算だったりマイナス値として扱わないといけなかったりするのでかなり面倒

    • @魚人サバ
      @魚人サバ 8 หลายเดือนก่อน +3

      すげぇ!そういうことか!
      プログラミング言語やったことないが、凄さは分かった!

  • @oboro307
    @oboro307 8 หลายเดือนก่อน +95

    + 3 5は、plus(3 , 5)の省略記法だと考えたら超わかりやすい、というかそもそもPython書いてるときもKotlin書いてるときも頭の中ではずっとそう思ってた

    • @かなだのたなか
      @かなだのたなか 8 หลายเดือนก่อน +13

      Cとかで演算子オーバーロードをやると、演算子も引数をとるただの関数なんだっていう意識が芽生えたなー

    • @nthdthdyjsehsnw4ethwbt
      @nthdthdyjsehsnw4ethwbt 8 หลายเดือนก่อน +5

      それ聞いてて自分も思ったwC#だと自作クラスの四則演算をoperatorのオーバーロードで定義しなおせるし、+ 3 5の方が超自然

    • @hukihamu
      @hukihamu 8 หลายเดือนก่อน +5

      Kotlinだと中置記法を作れる`infix fun`があるのは目鱗だった`3.plus(5)`= `3 plus 5`
      人間としてはinfixの形式のほうが読みやすいからなー

    • @Seiya_laugh
      @Seiya_laugh 8 หลายเดือนก่อน +6

      ExcelのSUM関数なんかはまさにその書き方ですね
      SUM関数の場合、値そのものよりセル番号やセル範囲を引数にすることの方が多いですが

  • @graph23
    @graph23 8 หลายเดือนก่อน +26

    「3+5」、日本語だと「3と5を足す」で、云わば「3 5 +」だから、日本語には逆ポーランド記法は相性がいいと思う。
    (2*(3+5) 、2に 3と5を足したものを掛ける → 2 3 5 + * )
    (”逆”の逆で、言ってみれば、正の)ポーランド記法は日本語で考えると(むしろ)”逆”に感じるのかもしれない。

    • @quux-
      @quux- 8 หลายเดือนก่อน +4

      「3に5を足す」や「add 3 to 5」が自然言語的であって、3+5のような
      infix notation が自然言語的というのは感覚的に違和感がありますね。

    • @graph23
      @graph23 8 หลายเดือนก่อน +2

      @@quux- 確かに"自然言語的”と言ってしまうのは違和感。なんだろうなぁ…ただ、「3 足す 5」と言い、「3+5」と表記するのにも慣れている自分もいる…、 ”日常的”、”慣れ親しんだ学校算数的” でもある…^^;

  • @chimieal3757
    @chimieal3757 8 หลายเดือนก่อน +10

    4:56 「潜入して見ないと...」プログラミング言語は大丈夫ですが、宗教ではやらないでください。島田裕巳先生の二の舞になります。

  • @nanoriKYDO
    @nanoriKYDO 8 หลายเดือนก่อน +22

    水野さんが「神が作ったものなら美しいはず」のところで、量子論について「神はサイコロを振らない」と言ったアインシュタインがオーバーラップしました

  • @こね-i3g
    @こね-i3g 8 หลายเดือนก่อน +23

    そろばんの読上算は、最初に「加えて」とか「引いては」とかで演算の種類提示して、その後は「〇円也、〇円也…」で数字を羅列して行くらしいので、Lisp的かつ自然言語的な計算方法ですね。

  • @reinejy
    @reinejy 8 หลายเดือนก่อน +10

    +3 5
    って書き方は確かに一見わかりづらいけど
    ExcelのSUM関数みたいなもんと思えば入ってきやすいですね

  • @kitassh
    @kitassh 8 หลายเดือนก่อน +15

    別分野から同じ話に近づいていく様がめちゃめちゃおもしろいですね。
    真理値の話をして、booleanが通じないところとかおもしろかったです。

    • @kitassh
      @kitassh 8 หลายเดือนก่อน +2

      トキヒロさんも呼んでほしい😂

  • @morefiveyt8ub
    @morefiveyt8ub 8 หลายเดือนก่อน +42

    水野さんが頑なに、プログラミング言語の事をコンピュータ言語と言おうとするの好きです

  • @あまた-i3n
    @あまた-i3n 8 หลายเดือนก่อน +10

    Lispは(というかS式とマクロは)、実用的なプログラミング言語では隠蔽されている本質をダイレクトに見せてくれるので、初心者には一度Lispに触れてほしい(実用しろとは言わない)

  • @bombipap2687
    @bombipap2687 8 หลายเดือนก่อน +10

    Lispのキモは四則演算の表記法がどうこうではなく、コードとデータが同じ構造であるため自然な形で自己言及ができるところにあると思います。

  • @ヒトガタ芝刈機
    @ヒトガタ芝刈機 8 หลายเดือนก่อน +59

    ポールグレアム「Hei! Mr.Horimoto!」
    堀元「ちょっとわからないですねぇ」
    ポールグレアム「ネビッチ4」

  • @ΚατταΚοσμου
    @ΚατταΚοσμου 8 หลายเดือนก่อน +10

    冪乗もpower(2,10)と書いたりしますし、その延長でadd(3,5)があると見れば、表記揺れで+ 3 5があっても自然な気してきますね〜

  • @tsuwaroi
    @tsuwaroi 8 หลายเดือนก่อน +8

    形式意味論:全ては集合か真理値である
    Lisp:全てはアトムかコンスセルである

  • @gg_p8879
    @gg_p8879 8 หลายเดือนก่อน +9

    沼への道は親切でできている

  • @wadoooon
    @wadoooon 8 หลายเดือนก่อน +6

    プログラミング言語は機械と人間を橋渡しするための手段なので、人間への優しさを忘れてしまったら本末転倒なんだよなー、とか思いつつ、次回を楽しみにしてます。

  • @knu2112
    @knu2112 8 หลายเดือนก่อน +19

    n個の整数を足すぞ、ってときに、 ns=[1,2,3,4]; ns.reduce((x,y)=>x+y, 0) みたいに書いてから、「いやいや + が複数引数取れよ」って思っちゃいますよね(?)

  • @sattoman
    @sattoman 8 หลายเดือนก่อน +6

    日本語は分かち書きをしないので、引数列をスペース区切りで記述するのに違和感を覚えやすいなって思います
    中置記法はオブジェクト指向的な書き方だなとも思ったりします:1 + 2 - 3 = (1).add(2).sub(3)

    • @kazuhisamatsumoto9383
      @kazuhisamatsumoto9383 8 หลายเดือนก่อน +1

      Scala では 1.+(2).+(3) と書けますよ。

  • @白梅みさと
    @白梅みさと 8 หลายเดือนก่อน +7

    31:23 理科のテストで「三 容女 某」に見えて☓になった子いた。手書きスペース難しい問題漢字編。

    • @霊夢儲
      @霊夢儲 8 หลายเดือนก่อน +1

      文字を 横→木黄 みたいに横倍角相当に書く友人がいた。同類だ。

    • @gnwf47
      @gnwf47 8 หลายเดือนก่อน +1

      溶媒をそんな書き方するの?と思ったけど、確かに部首と旁の間と文字間のバランス感覚が弱い人もいるんでしょうね。でも、不正解にした先生は厳しいなぁ

  • @Ayato-s2r
    @Ayato-s2r 8 หลายเดือนก่อน +3

    ML系言語を触るとまた違う感想がでてきそう

  • @鬮Nあ
    @鬮Nあ 8 หลายเดือนก่อน +23

    26:53 数学だと f(x) 、sin x とか最大公約数もgcd(84,32) = 4 みたいにプログラミングの関数っぽい書き方になっていますよ~

  • @MAS256_konbu
    @MAS256_konbu 8 หลายเดือนก่อน +30

    プログラミング言語の形式的意味論入門っていう本があったきがします

    • @xkkd-zs7oe
      @xkkd-zs7oe 8 หลายเดือนก่อน +7

      Lispの方言の一つである、Schemeの言語仕様書には形式的意味論による定義が載っていたような。

  • @アイスクリーム-p6k
    @アイスクリーム-p6k 8 หลายเดือนก่อน +3

    処理は入力と出力に還元できるということに自力で気づくのに、学部で4年、社会人になってから2年プログラムを書いてようやく気づきました

  • @早川眠人
    @早川眠人 8 หลายเดือนก่อน +50

    是非Forthを40時間学んで下さい。逆ポーランド記法が如何に自然なのかが分かる。
    動詞が最後に来るのは日本人にとって優しいのでは?
    LISPだと、括弧から閉じ括弧までを切り出して、最初を関数その余を引数とする様に構文解析しなければいけない。
    Forthだと、リテラル(数字・文字列)はスタックに積む、名前(ワード)だと関数として実行する。この規則だけでいい。パラメータをスタックからどれだけ使うかはワード(関数)に依存するので、構文解析の感知するところでない。

    • @reinejy
      @reinejy 8 หลายเดือนก่อน +8

      確かに逆ポーランド記法は日本語に直すと理解しやすいと学んだなぁ
      3 4 +
      で3と4を足すと言う日本語文法になるみたいな

    • @essauouo5251
      @essauouo5251 8 หลายเดือนก่อน +1

      FORTHを触るとカッコの有り難みを感じますね。
      自動でインデントをつければ良いのかも知れないけど

    • @genj2557
      @genj2557 8 หลายเดือนก่อน +1

      ​​@@essauouo5251
      FORTH を学ぶとカッコが要らない有り難さを感じますw
      (馴染みのない方のために:カッコはコメントで、主にスタック操作の仕様を書くために使われます)

  • @ZooM200805
    @ZooM200805 8 หลายเดือนก่อน +10

    昔はアセンブリ言語でプログラムを作ってたことを考えれば、プログラミング言語が自然言語寄りになっているのは当然ですね。人間が理解しやすいものを目指して作られたのが今のプログラミング言語ですから。生成AIにコードを書かせるというのはその究極の到達点かもしれません。
    Lispはその流れの外というか、アセンブリ言語の記法を受け継いだような感じ・・・?

  • @0x07d1
    @0x07d1 3 หลายเดือนก่อน +2

    アンサイクロペディアのLISPのページめっちゃ好き

  • @pico-pong105
    @pico-pong105 8 หลายเดือนก่อน +67

    Pythonはオランダ人が作った...

    • @kaz-jn7ro
      @kaz-jn7ro 8 หลายเดือนก่อน +29

      dijkstraはオランダ人なので、コンピュータサイエンスはオランダ人が作ったと言っても過言

    • @おれの名は
      @おれの名は 8 หลายเดือนก่อน +22

      コンピュータサイエンスは蘭学だったのか

    • @MINNMINNMI
      @MINNMINNMI 4 หลายเดือนก่อน +3

      過言ではあるのか…

  • @ysdytk
    @ysdytk 8 หลายเดือนก่อน +4

    17:15 「処理を返す」から、高階関数の話が始まると思っちゃいました。まだでしたね。
    でもLispの話ならば避けて通れないと思いますので、次回以降が楽しみです。

  • @ぺさぺさ
    @ぺさぺさ 8 หลายเดือนก่อน +14

    言語学とコンピュータ科学の間というとやはり自然言語処理の回を見てみたいです😃

  • @立風tachikaz
    @立風tachikaz 8 หลายเดือนก่อน +11

    8:06 日本も埋め立てをし過ぎたせいで「世界は神が作ったが、日本は日本人が作った」って言われてました

    • @ukkieMFCelenElf
      @ukkieMFCelenElf 8 หลายเดือนก่อน +1

      日本は埋立どころか、河川はほとんど「サイボーグ」状態で、「森林」も「野生動物」もかなりの比率で「家畜化」されてますよね。一番大きいのは、人間の「自己家畜化率」の進展度合いが「最先端」なところ。※個人の感想を念みます。

  • @wooden-nut27
    @wooden-nut27 8 หลายเดือนก่อน +3

    去年HSP3という言語のプログラムコンテストで、文字列で四則演算をするモジュールを作ったのですが、関数型言語もLispも全く知らない状態で作ったのがadd(p1,p2)のような記述でした。
    四則演算も比較も関数で全て定義しましたが、何も知らない身ながら結局内部的な作りやすさも使い勝手も関数が最強なのだと思いました。

  • @miner1227
    @miner1227 8 หลายเดือนก่อน +3

    真理値と集合の2つしかない、というのは数学基礎論(公理的集合論)の立場と同じですね。
    数学で扱うあらゆるモノは(写像や関係みたいなモノも)集合として構成可能であるという立場です。

  • @純銀-g5x
    @純銀-g5x 8 หลายเดือนก่อน +133

    今日初めてゆる学徒カフェにお邪魔します!

    • @merida2590
      @merida2590 8 หลายเดือนก่อน +6

      楽しんできてね😊

    • @kikyo6472
      @kikyo6472 8 หลายเดือนก่อน +4

      お、いいなあ
      行ってらっしゃい

    • @純銀-g5x
      @純銀-g5x 8 หลายเดือนก่อน +15

      せっかくなので相席でお喋りしました!超楽しかったです!!

    • @merida2590
      @merida2590 8 หลายเดือนก่อน +3

      楽しまれたようで何よりです👍

  • @diegof4083
    @diegof4083 8 หลายเดือนก่อน +3

    3 + 5は自分のメンタルモデルでは、+関数の引数が中置されてるのではなく、3のメソッドaddに引数5を渡すことの特殊な書き方なんだなと気づきました

  • @masahase0117
    @masahase0117 8 หลายเดือนก่อน +10

    本筋には全く関係ないくらい非常に細かいこと言うと、C言語のforで()の後に来るのは文であって、{}がよく来るのは複数の文を単一の文と同じ扱いにする複文を表す記号だからってだけ。forで繰り返す内容が単一の文で表せるなら{}は要らない。

  • @mudaso-heavy-user
    @mudaso-heavy-user 8 หลายเดือนก่อน +18

    楽しみに待ってました

    • @tsuyuki007
      @tsuyuki007 8 หลายเดือนก่อน +2

      ぼくも!

    • @tsicsafjapan9371
      @tsicsafjapan9371 8 หลายเดือนก่อน +2

      たのまち

  • @iotatoi
    @iotatoi 8 หลายเดือนก่อน +3

    演算子オーバーロードできる言語は"5+3"の5をオブジェクトとして 5.plus(3) とメソッドチェーンぽく解釈されている印象です

  • @Anliy-i1n
    @Anliy-i1n 8 หลายเดือนก่อน +8

    むしろ
    小学校の足し算をLISPに合わせて + 3 5 と表記すべき。

    • @Anliy-i1n
      @Anliy-i1n 8 หลายเดือนก่อน +5

      (過言である)

  • @totto2727
    @totto2727 8 หลายเดือนก่อน +3

    演算子というルール自体特殊、というのはHaskellなどからも読み取れますねー
    関数にカッコつけると演算子にできる、逆に演算子にカッコつけると関数にできたり

  • @nobuoimamoto4185
    @nobuoimamoto4185 8 หลายเดือนก่อน +3

    アセンブラは、操作(ニーモニック;関数とか機能に相当)の次にレジスタ(パラメータ)や番地(ジャンプ先ラベル)の順番で統一ですよね。例えば
     ADD  X Y
    戻り値(ALUの結果)の格納レジスタが固定で特殊だけど。

  • @sabak7390
    @sabak7390 8 หลายเดือนก่อน +48

    Booleanの訳は真偽値でもいいと思うけど、教科書的には真理値かと思います。
    真理値表とはいうけど、真偽値表とはあまり言わない。

  • @ぼふぃ
    @ぼふぃ 8 หลายเดือนก่อน +5

    Haskellなら関数名をバッククォートで囲めば中置記法として使えるから過激派も安心

  • @rabutlilriddle1904
    @rabutlilriddle1904 8 หลายเดือนก่อน +4

    11:21
    「3 + 5 + 8」 が「+(3 5 8)」になるのですか?「+(3 +(5 8))」等ではなく?
    それは数学的にはどのように定義(解釈)されるのだろう・・・?
    後者なら例えば「+:R2 -> R; +(x y):=x+y」みたいな感じだと思うのですが、
    前者(引数の数(次元)が任意)だと、数学的には、めんどくさい(きれいじゃない)定義になりそう。。。
    まあ、見た目の問題だけといえばそうなのですが。

    • @user-nn7nh1jl2c
      @user-nn7nh1jl2c 8 หลายเดือนก่อน

      lispわかんないですが+という記号がsum関数として解釈されてるかも
      それなら+ 3 5の場合の処理も変わらないので拡張として便利かと

    • @rabutlilriddle1904
      @rabutlilriddle1904 8 หลายเดือนก่อน +1

      ​ @user-nn7nh1jl2c
      そうですね。便利さ、という観点ではその通りだと思います。
      ただ、数学的な美しさ、と言われるとどうか、という話ですね。
      ざっとは以下のような定義になるかと思うのですが
      (+だと見にくいのでfにしています)、
      突然出てくるnとか気持ち悪くないですかね…?
      for ∀n ∈ N f:R^n -> R: f(r1,r2,...,rn) := r1 + r2 + ... + rn
      まあ、他にも書き方はいろいろあるとは思うのですが。

  • @256yayo
    @256yayo 8 หลายเดือนก่อน +3

    nim言語というプログラミング言語では
    UFCS( f(a, b) と a.f(b) を同じ意味を持つ別表記とする ) があったり
    `+`(1, 2) と 1 + 2 を同一視することができたり
    など 論理的な美しさ と 利便性 をうまく両立させているなと感じます。

    • @paalon3303
      @paalon3303 6 หลายเดือนก่อน +1

      前置記法も中置記法もそれぞれのメリットがあるので両方使えるのが一番人間寄りですよね。Nim は流行りそうなのに流行ってなくて残念です。😅

  • @tambaren
    @tambaren 8 หลายเดือนก่อน

    27:00
    数学にも演算子→引数をとるもの多くありますね
    三角関数
    対数関数
    exp
    ライプニッツ記法の微分
    一般的な関数f(x)とかの記法も
    それらも内側から処理していく(右から処理していく)のも
    LISPに似ています

  • @ラムぴ
    @ラムぴ 4 หลายเดือนก่อน +1

    処理→引数の順番であるべきと聞いても尚+3,5は変だろーと思っていたんですが、ExcelでSUM関数が同じ書き方であるにも関わらず、当たり前に使えていることに思い当たりました。はからずもLispの一端に触れていたんですね。

  • @ken_to_delicat
    @ken_to_delicat 8 หลายเดือนก่อน +5

    1:50
    実態を反映しない例えはこの番組のお家芸なので歓迎です❗️

  • @術中hack
    @術中hack 8 หลายเดือนก่อน +6

    関数と引数は、動詞と目的語でいいんじゃないかな

  • @kkaratei
    @kkaratei 3 หลายเดือนก่อน

    ポーランド記法は自然言語(動詞+目的語)。逆ポーランド記法はスタックマシン。1+2=は算盤。算盤は最初に置いた数に次の数を作用させる。電卓の場合は逆ポーランドが論理的に最適。ポーランドは関数fxで統一。どれにも合理性は有る。

  • @kanametatsuya
    @kanametatsuya 8 หลายเดือนก่อน +9

    16:34 形式意味論を勉強してる人にLispの話をするものすごく稀有な状態笑

  • @sirius8203
    @sirius8203 8 หลายเดือนก่อน +3

    Lispの「+ 3 5」は,関数や引数のくだりも含めてExcelの「=sum(3,5)」に通ずるものを感じた.

  • @hipopo_tamagawa
    @hipopo_tamagawa 8 หลายเดือนก่อน +2

    集合と真偽値だけとかそんなわけ、とか思ったけど、よくよく考えると大抵のプログラミング言語の「型」もそうなっているように思えた。
    「整数」っていう集合の中に 0 とか 1 とか 2 とか 256 っていうのがあって、「文字」っていう集合の中に 'a' とか 'Z' とか 'あ' がある、みたいな。
    ユーザー定義する型やクラスも複数の要素からなる集合なわけだし。
    形式意味論面白そう。

  • @spike2.tracker
    @spike2.tracker 8 หลายเดือนก่อน +4

    急に2人の分野がシナジーし始めてコレを聴きたかったんよって粋に入りましたね。
    でも「ブーリアン」「へぇ~」はちゃんと拾ってよとも思ったw

  • @user-river_mountain
    @user-river_mountain หลายเดือนก่อน

    数学だと3+5+8のことは+(3,+(5,8))と書きたくなるところですね
    20:13 論理学や数学基礎論、デジタル回路とかの文脈だと真理値が普通だと思います。意味論でもそうなんですね。でも、プログラミング言語のboolean型の文脈だと真偽値が使われるみたいですね。両者は同じものを指していてどちらも正しそうです

  • @ameiro-n3r
    @ameiro-n3r 8 หลายเดือนก่อน +4

    Lisp初学者はまずevalを作るのあるあるですね
    言語設計がシンプルだからできること

  • @vonneumann6161
    @vonneumann6161 8 หลายเดือนก่อน

    26:53 大学の厳密な数学では定義の部分ではLispと同じ書き方がされますよ
    例えば、足し算の定義の部分で、 (x,y) を引数として、z を返す関数を考えて、それの略記として z = x + y と書く みたいな感じです
    この動画でいう自然言語的な書き方はあくまでも略記という扱いです

  • @stackam786
    @stackam786 8 หลายเดือนก่อน +3

    32:57 「Lispは自然言語的」って言ってますけど、「Lispは数学的」もしくは「Lispは非自然言語的」では?

  • @shachah_svaahaa
    @shachah_svaahaa 8 หลายเดือนก่อน +1

    22:00 過去の嶋村先生と福田先生のゲスト回でも嶋村先生がいってましたよね。

  • @ba-el2wl
    @ba-el2wl 8 หลายเดือนก่อน +2

    あからさまな信者なのに信仰をはぐらかそうとするのコントのフォーマットとして優秀すぎる

  • @zudah228
    @zudah228 8 หลายเดือนก่อน +8

    そうなんだよ!
    int や String とかは、演算子を「わざわざ用意」してくれてるんだよ!!!
    俺もLispやったほうがいいのか…?

  • @equi_nokusu
    @equi_nokusu 8 หลายเดือนก่อน +5

    lispはvso語順と言うと水野さんにはわかりやすいかと

  • @magical_hippopotamus
    @magical_hippopotamus 8 หลายเดือนก่อน +2

    Lispは未経験なのですが、昔読んだアルゴリズムとデータ構造の本で扱っていたSchemeならそこそこ触っていました。
    シンプルでいいですよね。
    今時の言語でコードを書いているとき、たまにもどかしくなるときあります(笑)

  • @ologn8939
    @ologn8939 8 หลายเดือนก่อน +2

    真偽値より真理値の方が情報系だけどなれてるな 論理回路とか

  • @wa-i
    @wa-i 8 หลายเดือนก่อน +20

    Lispはやったことないけど、S式信者だし、逆ポーランド記法信者です
    Lispもやってみたくなりました

    • @山田太郎-t3j
      @山田太郎-t3j 8 หลายเดือนก่อน +1

      S式ってLISP発祥だと思ってたんですけど、LISP以外でS式って出てくるんですか?

  • @anohana
    @anohana 8 หลายเดือนก่อน

    「手書きできない」: Lispが作られた頃の計算機はインタラクティブにコードを打ち込めないので、紙に手書きでコード書いてからパンチカードに穴開けて計算機に読み込ませてたんですが、その時に手書きで書いてたのは PLUS[3;5] みたいな表記でした。それをパンチカードに打つ時に(PLUS 3 5)に直してたのです。

  • @c-yan8096
    @c-yan8096 8 หลายเดือนก่อน +1

    Forth を少しかじってもらって感想を聞きたいですね. Forth は 3 5 + です

  • @kuboaki2
    @kuboaki2 5 หลายเดือนก่อน +1

    90分×15コマ=22.5時間、8時間5日=40時間ですから、通年の講義や1週間程度の研修があれば、こんな到達点が待っているといえる!?

  • @lonestar930
    @lonestar930 8 หลายเดือนก่อน

    英文法的にも
    add 3 and 5 とか add 3 to 5
    の方が自然だし、実際会話の中でこちらの方が使われる。
    自然言語は+ 3 5の方を選択している。
    小学校数学は例外。

  • @pureflower292
    @pureflower292 8 หลายเดือนก่อน

    水野さんすごい…
    形式的意味論はプログラミング言語にも密接に関わってきますよね
    僕はよくわからないですが

    • @pureflower292
      @pureflower292 8 หลายเดือนก่อน +1

      文法が少ないということは、scheme寄りですかね

  • @あまた-i3n
    @あまた-i3n 8 หลายเดือนก่อน

    「Lispすげー!」って言ってる初学者を見ると、「俺にもあんな頃があったな〜」と生暖かい気持ちになります

  • @highjumptaka
    @highjumptaka 8 หลายเดือนก่อน +1

    数学の数式の記述ルールが「数学的」ではなくて「工学的」というのがおもしろいですね。
    数学の数式がポーランド記法なら、演算子の優先順位は不要で、括弧による優先順位の切り替えも不要になってルールがすっきりしますね。(括弧が増えて読みにくくはなりますが)
    オブジェクト指向言語で組み込み演算子のオーバーロードを知った時、数学の演算子と関数の呼び出しルールの違いが美しくないなぁと思っていました。

  • @haine102
    @haine102 8 หลายเดือนก่อน +5

    相変わらず、米欄が本体

  • @eve0223ss
    @eve0223ss 8 หลายเดือนก่อน

    30:12  堀元さんがアセンブリ言語では"+35"に翻訳されているとおっしゃっているのは"ADD レジスタ0, 5"のような命令のことだと思うのですが、その前に"MOV レジスタ0, 3”のようにレジスタに値を格納する処理が入るためやっぱり"3+5"が正しいのではないかと個人的には思いました

  • @narfidort
    @narfidort หลายเดือนก่อน

    Lisp2を見つけて、初回からみようと思ってたんだけど、Lisp0が存在したらどうしようっていうよくない考えが脳裏によぎるようになってしまった

  • @KimioKASHIWAZAKI
    @KimioKASHIWAZAKI 3 หลายเดือนก่อน

    状態遷移がシンプルで構文解釈機が作りやすい。これって自然言語に当てはめるとどうなるのかな。たとえば冠詞は解釈を助けている?

  • @shachah_svaahaa
    @shachah_svaahaa 8 หลายเดือนก่อน +1

    ゆる言語学ラジオの形式意味論シリーズ待ってます!
    (あるいは言語哲学シリーズでも可)

    • @人生パラドックス
      @人生パラドックス 8 หลายเดือนก่อน

      概念も、オブジェクトだよ。
      今この世の中は、オブジェクトだらけ。

  • @TarisukeAriki
    @TarisukeAriki 8 หลายเดือนก่อน +1

    Land on Lispが参考文献の最初にあげられているので、このLISPはCOMMONLISPですかね。Schemeなら分かった気になるのに40時間も必要ないような気もしなくもなくもない。

  • @toby-ou4fe
    @toby-ou4fe 8 หลายเดือนก่อน +1

    次回も目玉を増やして楽しみにしています

  • @ba-el2wl
    @ba-el2wl 8 หลายเดือนก่อน

    13:23音韻論の音韻規則と制約の話を思い出した
    あれも最少まで突き詰めると宗教化しそう

  • @tsuwaroi
    @tsuwaroi 8 หลายเดือนก่อน +2

    Lispも有理数や複素数では中置記法を採用してるのだから、あまり中置記法をクサしすぎないほうが良いのでは

    • @yakushima1
      @yakushima1 6 หลายเดือนก่อน +1

      そういう意味では、CommonLispってかなり汚いですよね。実用的にして結果ってのは理解してるし、嫌いでもないけど。

  • @kazuhisamatsumoto9383
    @kazuhisamatsumoto9383 8 หลายเดือนก่อน +11

    足し算の‘+’は二項演算なので、引数は2であるべき思います。(+ 1 2 3)ではなくて(+ (+ 1 2) 3)とあるべきではありませんか?別の言語では(+) 1 2 3はエラーになり、(+) ((+) 1 2) 3 は計算するというものも有ります。Lispの構文が悪いという意味ではなくて(+ 1 2 3)に対する水野さんの質問に肯定した直後に小学校で習った’+’を例に出した説明と食い違っている気がして違和感を感じました。とはいえ今回も面白く拝見させて頂きました。

    • @yakushima1
      @yakushima1 6 หลายเดือนก่อน +1

      Lispでの「+」は演算子でありません。単なる関数名ですよ。(関数を持ったアトム)
      つまり、二項とかは関係ありません。

    • @kazuhisamatsumoto9383
      @kazuhisamatsumoto9383 6 หลายเดือนก่อน

      @@yakushima1
      リプライありがとうございます。やっと突っ込みが入りましたね。Lisp の + は haskell の foldl1 (+) と等価と認識していますが、動画中に学校で習う足し算と比較した上で、関数としての挙動を肯定されていたので、混乱を避けるためにもう一言説明が有った方が良いなと思ってのコメントでした。
      先日、ゆる学徒ハウス別館に「プログラミングの穢れ」という動画が配信され、とても共感が持てる内容で楽しめましたのでお勧めです。同チャネルで Lisp 関連を取り上げたものの 3 回目に当たるものだと思います。

  • @たき-u2w
    @たき-u2w 8 หลายเดือนก่อน +1

    この文脈で読むと逆に先頭に書くはずの関数を2番目に持ってくるのがUFCSですね

  • @kumasan1969
    @kumasan1969 2 หลายเดือนก่อน

    3+ 5 + 8 はポーランド記法だと
    + 3 + 5 8 (こっちが素直?)
    + + 3 5 8
    + 演算子がふたつスタックに入ってこないと2回加算が走らない。
    これも学校の課題で実装させられた。

  • @Ethereal-Wind
    @Ethereal-Wind 8 หลายเดือนก่อน +1

    逆・逆ポーランド法のことを正ポーランド法っていう派閥もあるんですね!

  • @ba-el2wl
    @ba-el2wl 8 หลายเดือนก่อน +2

    ルールを最小化したいなら四則演算記号を使ったポーランド記法なんか廃止して関数だけにしろってマックのJKが言ってた

  • @yuichinishiyama3338
    @yuichinishiyama3338 8 หลายเดือนก่อน +1

    ゆる言語ラジオのどこかの回で言っていた
    飲み会で監修者の先生にプログラミング言語について問われて困った話に繋がるような気がして
    次回期待してます

  • @ゆーり-f9c
    @ゆーり-f9c 7 หลายเดือนก่อน +1

    集合の全体は集合として扱えない(ことくらいお二人はご存じの可能性高そう)けど本大丈夫そうっすか

  • @ぎんぎょ-c3q
    @ぎんぎょ-c3q 8 หลายเดือนก่อน +2

    lisperとしか付き合いたくないって人は地球平面論者より貴重そう

  • @ウヅル-クヅル
    @ウヅル-クヅル 8 หลายเดือนก่อน

    「留保」という言葉、私も「誤解を招かないように補足しておくこと。また、誤解を招く表現を言わないようとどまること。」という意味で運用することがあるけど、なぜか「留保 意味」でググってもその意味が出てこない……

  • @crowrain1765
    @crowrain1765 8 หลายเดือนก่อน

    数列の一般項ってan + k (a,kは整数でnは自然数)って表記するけど
    kに対してaにnかけたものを足すって考えたらちょっとだけ 処理 対象 の形なんかな
    an + k って n の項を前に置くってのは慣習的なものらしいし

  • @オカムラ-k7g
    @オカムラ-k7g 8 หลายเดือนก่อน +1

    話されてる計算箇所については、addみたいな関数使えば同じじゃね

  • @marknvr
    @marknvr 8 หลายเดือนก่อน +1

    Resoniteっていうメタバースが敷居高そうと思われがちでユーザー少もないけど
    中にいる人は熱狂的なユーザーが多くて、初心者さんとかがくるとみんなが手取り足取り教えてくれる感じがLispに似てると思った

    • @masuo64
      @masuo64 8 หลายเดือนก่อน +1

      少数のファンコミュティ―はどこもそうなんでしょうね。
      人工言語アルカみたいになることだけは避けたい。