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

Рет қаралды 74,374

Күн бұрын

「Lisp」シリーズの第1回。「気難しそうで気難しくないLisper」「"3+5"より"+ 5 3"の方が良く見えてくる」「神が作った言語と呼ばれる理由」など、Lispを40時間勉強してその魅力に迫りました。
【目次】
0:00 40時間勉強したらLisp信者になる？
2:03 熱狂的な信者が多いLisp
3:23 気難しそうで気難しくないLisper
8:59 キレイなLispのルール
16:23 Lispと形式意味論は隣接分野
22:44 3+5は例外
28:09 Lisp以外の言語は自然言語的
29:55 Lispは神の言語たりうるか
【参考文献】
◯Land of Lisp
www.valuebooks.jp/bp/VS003681...
◯はじめてのLisp関数型プログラミング
www.valuebooks.jp/bp/VS000374...
◯ポール・グレアム『Lispの起源』有志による日本語訳
masatoi.hateblo.jp/entry/2015...
【サポーターコミュニティへの加入はこちらから！】
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 )
◯ゆる哲学ラジオ ( / @yurutetsugaku )
#Lisp #ゆるコンピュータ科学_Lisp

Пікірлер: 263

@yurucom 2 ай бұрын

【参考文献】 ◯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 2 ай бұрын

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

@fujimarudesu 2 ай бұрын

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

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

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

@nysnysnysnys 2 ай бұрын

rustやろうぜ

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

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

@2balbore397 Ай бұрын

笑

@tenrai3065 2 ай бұрын

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

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

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

@oboro307 2 ай бұрын

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

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

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

@nthdthdyjsehsnw4ethwbt 2 ай бұрын

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

@hukihamu 2 ай бұрын

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

@Seiya_laugh 2 ай бұрын

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

@fruitkiwi1526 2 ай бұрын

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

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

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

@Chesterjg-yt8ub 2 ай бұрын

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

@pomeranodon 2 ай бұрын

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

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

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

@bombipap2687 2 ай бұрын

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

@gg_p8879 Ай бұрын

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

@pico-pong105 2 ай бұрын

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

@kaz-jn7ro 2 ай бұрын

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

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

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

@UrushiR 2 ай бұрын

楽しみに待ってました

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

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

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

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

@merida2590 2 ай бұрын

楽しんできてね😊

@kikyo6472 2 ай бұрын

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

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

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

@merida2590 2 ай бұрын

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

@nanoriKYDO 2 ай бұрын

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

@reinejy 2 ай бұрын

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

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

めっちゃ待ってた

@kitassh 2 ай бұрын

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

@kitassh 2 ай бұрын

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

@knu2112 2 ай бұрын

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

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

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

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

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

@wadoooon 2 ай бұрын

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

@masunosushi21 2 ай бұрын

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

@xkkd-zs7oe 2 ай бұрын

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

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

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

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

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

@graph23 2 ай бұрын

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

@quux- 2 ай бұрын

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

@graph23 2 ай бұрын

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

@hayakawa_mint 2 ай бұрын

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

@reinejy 2 ай бұрын

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

@essauouo5251 2 ай бұрын

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

@genj2557 2 ай бұрын

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

@pureflower292 2 ай бұрын

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

@pureflower292 2 ай бұрын

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

@wa-i 2 ай бұрын

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

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

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

@shachah_svaahaa 2 ай бұрын

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

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

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

@mos399 2 ай бұрын

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

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

すご！

@kinoko-dake 2 ай бұрын

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

@totto2727 2 ай бұрын

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

@yuichinishiyama3338 2 ай бұрын

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

@nobuoimamoto4185 2 ай бұрын

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

@Fnak202 2 ай бұрын

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

@miner1227 2 ай бұрын

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

@KiyokazuOami 2 ай бұрын

古い高級言語の設計は算数的ではないものもありますよ。 COBOL で足し算を書くと下記のようになります。 ADD A TO B. 引数は argument 以外にも operand と呼ぶことがありますね。演算子や関数、命令のことを operator と呼ぶので対比できてわかりやすい。

@wooden-nut27 2 ай бұрын

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

@tsicsafjapan9371 2 ай бұрын

次回は生成AI堀元が信仰を告白する回ですね！

@_hagi3 2 ай бұрын

8:50 実際にPythonはオランダ人が作ってますね

@ZooM200805 2 ай бұрын

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

@matsuri66 2 ай бұрын

ちょっと神回みがあります

@diegof4083 2 ай бұрын

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

@uminolemon 2 ай бұрын

0:52 リスプのリの字までわかったということはリスプについて3分の1ほど修得したということでよろしいでしょうか？

@kanametatsuya 2 ай бұрын

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

@zudah228 2 ай бұрын

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

@user-uu4nf3vj5k 7 күн бұрын

プログラミングってやったことなかったけど、おもしろそうだからlisp始めました。コンソール？はgunなんたらを使ってるんですけど、読み込むlspファイルってgunなんたらと同じ階層じゃなきゃダメなんですかね。

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

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

@spike2.tracker 2 ай бұрын

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

@yuukostar3129 2 ай бұрын

面白いですね～ Lispってスタックと相性がいいような気がします。

@tambaren 2 ай бұрын

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

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

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

@toby-ou4fe 2 ай бұрын

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

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

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

@ken_to_delicat 2 ай бұрын

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

@sabak7390 2 ай бұрын

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

@iotatoi 2 ай бұрын

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

@atoncap1991 2 ай бұрын

機械音痴ですが、sum()ってポーランド記法になってますか？

@anohana 2 ай бұрын

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

@chimieal3757 2 ай бұрын

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

@shachah_svaahaa 2 ай бұрын

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

@eventHandler0130 2 ай бұрын

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

@sattoman 2 ай бұрын

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

@kazuhisamatsumoto9383 2 ай бұрын

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

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

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

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

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

@ukkieMFCelenElf 2 ай бұрын

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

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

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

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

水野さんは、3+5 において + が区切る機能を果たしているっていう認識だと思うけど、日本語読んでると同様にひらがな、カタカナ、漢字、アルファベットとか色んな文字の種類があってそれが区切りになって読みやすいよなぁって思う。僕は若干ディスレクシアなのかもと思うことがあるけど、英語で form と from を勘違いして何分も混乱するみたいな事が結構あるので日本語は便利だと思う。覚える文字が多いのかも知れないけど。

@highjumptaka 2 ай бұрын

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

@magical_hippopotamus 2 ай бұрын

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

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

ぜひRubyも検証してみてほしいです！ Lispに似て例外が少ないです。足し算も例外じゃなく定義してます

@genj2557 2 ай бұрын

Smalltalkも

@Ethereal-Wind 2 ай бұрын

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

@masahase0117 2 ай бұрын

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

@kazuhisamatsumoto9383 2 ай бұрын

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

@TUUKUU 23 күн бұрын

プログラム言語の開発にはチョムスキーの言語生成理論が欠かせなかったよいうのはホントですか？

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

chatGPTに、日本語喋らせると明らかに英語訛りの日本語になっていて、大量の英語音声データで学習させることで人と同じ訛りを獲得するのか？について話を聞いてみたいです！

@yuyakepc1 2 ай бұрын

Lispとは神社の神主さんが神に申し上げる難解な言葉、祝詞（のりと）ではあるまいかと思いました

@ba-el2wl 2 ай бұрын

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

@jolnon 2 ай бұрын

なるほど、ということは次のゆるコンピュータ科学ラジオでは形式意味論をやるってことかｗ

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

演算子が最初にあって後に引数を取るものといえば微積の演算子でしょうか積分も高校だとf(x)を∫とdxで挟みますがそのうち∫dx f(x)の形で記述するので

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

HaskellかLispで競プロ入門してみた動画出してほしいなあ

@c-yan8096 Ай бұрын

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

@ba-el2wl 2 ай бұрын

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

@crowrain1765 2 ай бұрын

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

@vonneumann6161 2 ай бұрын

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

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

むしろ小学校の足し算をLISPに合わせて　＋　３　５　と表記すべき。

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

（過言である）

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

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

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

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

@gnwf47 2 ай бұрын

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

@hipopo_tamagawa 2 ай бұрын

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