Лучшее на RU-vid
Кино
Авто/Мото
Видеоклипы
Животные
Спорт
Игры
Приколы
Развлечения
Хобби
Наука
Авторизоваться
Зарегистрироваться
No video :(
大人の勉強は「夢の中」が主戦場。寝ながらマクロを書くといい【Lisp雑談】
ゆるコンピュータ科学ラジオ
Подписаться 104 тыс.
Просмотров 56 тыс.
50%
1
Видео
Поделиться
Скачать
Добавить в
Опубликовано:
24 авг 2024
Поделиться:
Ссылка:
Скачать:
Готовим ссылку...
Добавить в:
Мой плейлист
Посмотреть позже
Комментарии :
153
@yurucom
4 месяца назад
【参考文献】 ◯Land of Lisp www.valuebooks.jp/bp/VS0036813874 ◯はじめてのLisp関数型プログラミング www.valuebooks.jp/bp/VS0003745575 ◯形式意味論入門 www.valuebooks.jp/bp/VS0002530471 ◯魔法少女リリカルLisp lyrical.bugyo.tk/ ◯「Lisp はカッコが多い!」のか実際に調べてみた qiita.com/snufkon/items/db4b7239e073317a6284 ◯文字渦 amzn.to/49A2XOq ◯Lisp 1.5 Programmer’s Manual amzn.to/3vPgKmw ◯Semantics in Generative Grammar amzn.to/43YzWuJ ◯集合とはなにか はじめて学ぶ人のために amzn.to/4cEQagu ◯論理学をつくる amzn.to/4aoOc2q ◯論文の教室 レポートから卒論まで amzn.to/3xrWmZe 【サポーターコミュニティへの加入はこちらから!】 yurugengo.com/support 【おたよりフォーム】 forms.gle/BLEZpLcdEPmoZTH4A ※皆様からの楽しいおたよりをお待ちしています!
@早川眠人
4 месяца назад
固定コメの ❌魔法少女リリカルLisp ⭕魔法言語リリカル☆Lisp
@user-li5ru9ed3e
4 месяца назад
😂😂❤😂❤😂😂😂😂😂 16:47 🎉
@shachah_svaahaa
4 месяца назад
13:50 「失敗例の情報が欲しい」は死ぬほど同意です。 苦労話や失敗談は表に出ない「楽屋話」扱いになることが多いと思いますが、その中にこそ貴重なアイディアや経験値が豊富に含まれているんですよね...。 失敗例の共有が価値のある情報として評価されるような世の中になってほしいですね。
@術中hack
4 месяца назад
研究者のタマゴでよければ、『女子中学生の小さな大発見』(清邦彦・編著)とか
@Jinkei2016
4 месяца назад
大学院生は毎日30時間くらい研究のことを考えているので水野さんが寝ている時に勉強したくらいじゃ追いつけませんよ
@Mesubutamia
4 месяца назад
院生ってジャックハンマーだったんだ。今度Tボーンステーキの骨あげてみよう。
@habatakukami
4 месяца назад
文系の院生だと理系よりガチ勢率高そうですね
@miner1227
4 месяца назад
集合と論理は線形代数に帰着する…のは逆で、線形代数が集合と論理に帰着しますね。究極、全ての数学は集合論と論理学に帰着します。集合論は数学の宇宙です。 ※宇宙という数学用語もあるのでややこしい
@Okabi
4 месяца назад
行列も数ベクトル空間間の線形写像の表現であって、 純粋な代数系(集合と演算の組)としてのベクトル空間になると姿を消しますからね
@7743v
4 месяца назад
ゆる言語学ラジオという番組も好きなので楽しみです
@MrAngellonewing
4 месяца назад
「文字禍」と言えば中島敦でしょーが! 寝る前に学んで、夢の中で反芻する…やってみます。
@musicdm7644
4 месяца назад
混乱用語シリーズ 音楽における「C」の意味 ①単音でドのこと ②曲のキーて、ハ長調のこと ③和音の「ドミソ」のこと 全て文脈で判断です
@user-mn9bp8kc7u
4 месяца назад
リハーサルマークのこともありますね
@doctorz7988
4 месяца назад
ただ、それは全部「C=ド」に起因していますよね。 「ド」なのか「ドを主音とした調」なのか「ドを根音とした和音」なのかってことだと思います。 いわゆる「後省略形」?
@necessitywastedthoughts7338
4 месяца назад
記される場所が場所なので他の用法との混乱はしませんが、4/4拍子を表す拍子記号のC(Common Timeの略)もありますね。
@musicdm7644
4 месяца назад
@@doctorz7988 うわ、その答えスッキリしますね。ありがとうございます。
@user-hm9qc2rs1e
Месяц назад
それでいうと、日本語の「ド」の方がよっぽど混乱用語だと思う。 単音Cのこと(音名としての「ド」)だったり、スケールの主音を「ド」(階名としての「ド」)と言ったり。 個人的に日本の音楽教育に悪影響出てるくらい失敗命名だと思う。 翻訳者何考えてたんや
@mudaso-heavy-user
4 месяца назад
楽しみに待ってました
@tsuyuki007
4 месяца назад
ぼくも!
@tsicsafjapan9371
4 месяца назад
たのまち
@Pepe-dn4od
4 месяца назад
奇遇ですね、僕もです(大遅刻)
@lat.s
4 месяца назад
集合論についてですが、教科書によってその後の行先に合わせた書き方をしているのでお気を付けください。代表的な行先だと、位相空間論パターン (『集合と位相』というタイトルのもの各種) と純集合論のパターン (キューネンなど) があります。 お二人の場合、他の方も紹介されていましたが、志賀浩二『集合への30講』がいちばんよいような気がします。fully formalな現代の公理的集合論ではなく、より直観的な取り扱いで集合についてまとめられています。なんなら濃度の記法がカントールのものそのままだったので私は逆に驚きました。
@miner1227
4 месяца назад
強く同意です。集合論の教科書は数学科向けに、基礎論や位相への入門として書かれるコトも多いので、結構初学者泣かせですよね。 論理学もヒルベルト流の形式論理・証明論で完全性定理と不完全性定理に至るような教科書も多いから、初学者には大変かも…?
@absant2913
4 месяца назад
何のための集合論か。という目的意識を無茶苦茶問われますよねw
@user-kl7hd2vv3e
4 месяца назад
良いコメ!
@kanametatsuya
4 месяца назад
Lisp回もうおしまいか… もっと見たかったな〜 集合論の勉強会たのしみ!
@SAWAMURAshinya
4 месяца назад
円城塔、大好きなんですが、「これ、プログラムのことを分かってる人が読んだらもっと面白いんだろうなあ」とちょっと悔しい想いをしています。堀元さんの円城塔話をぜひ聞きたいです。
@qohelet9091
4 месяца назад
28:25 お二人の学びの姿勢に触発されて最近本格的に統計学を勉強してるのですが、やはり集合論が重要だなと感じています。
@Claus_Ray
4 месяца назад
めっちゃタイムリーです 今朝の夢でプログラムやりました
@graph23
4 месяца назад
人間の脳は、「わかった!」と思った段階で、そのことを考えるのは「おしまい!」とする ようになっているという説を聞いたことがある。 (脳のエネルギー消費は大きいので兎に角、適当なところでやめないと、とか、一つのことに集中して、他が滞るのは兎に角まずい、とか…) だから、問題解く(アウトプット)をしないと本当にわかったか?わからない、と。
@multifeb13
4 месяца назад
根底が同じなのに別々のジャンルの立場で話しているの、異種格闘技感があって楽しく拝聴している堀元さん側(エンジニア)のAPIです。
@mitsuharuakikaze409
4 месяца назад
水野さんには『群論への第一歩』という本がオススメです! 数学書の読み方から説明してくれる、初学者に大変優しい本になっています。 ホントに入門的な内容なので、言語学に必要な部分にまで触れられているかは、分かりませんが最初の一冊にぜひ!
@hokrin
4 месяца назад
夢から夢へ!❤
@ko-dx5md
4 месяца назад
数学科だから集合論とか論理学の話聞けるの楽しみ
@ba-el2wl
4 месяца назад
交わる予定のなかった2つの物語が1つになって一緒に強大な敵に立ち向かう激アツ展開
@ofoneDyag
4 месяца назад
おお、素晴らしい。夢の中でもLisperとは。
@ofoneDyag
4 месяца назад
@AlicetiaNexnorce けれど、けれどね。リストは巡り、そして終わらないものだろう!(循環参照)
@shomwoys
4 месяца назад
まったくうまくいってないのに なんとかうまくいったふうに見せて 「素人質問で恐縮ですが」からの「今後の発展に期待します」で締められる論文は たぶん毎年大量に生産されてストックされてる…
@absant2913
4 месяца назад
もしもゴリゴリの数学書っぽい書き方の集合本を手に取った時に気を付けてほしいことが一つあります。 初めの章は読み飛ばしてください。知らない用語が出てきたときに参照するためだけの章です。基本知識をざっくりと一覧にした、”略解”のようなものなので、究極ググった方が理解できることも多々あります。 どの数学書も正味で数えて2章目からが本編です!論理学としての良い集合本に出会えることを祈って応援してます!
@absant2913
4 месяца назад
追:公理系のイメージなんですが、パズルだと思っていいと思います。 迷路があって、どの行き止まりから水を流したらちゃんと水がいきわたるか、最低何個の行き止まりからで十分か、みたいな試行錯誤をやって今の公理系があるので、先に作りたいものがあってそれを実現する為に整備されているという事を逐一思い出されると進みがスムーズかと思います。
@user-tv7yg2ze4t
4 месяца назад
しかもLispのnilは他の言語のnullのようなもので、Lispのnullはnilかどうかを判定する関数みたいだった
@kotokoto8362
4 месяца назад
数学基礎論に近い話をしているようにも思えます。 ホフスタッターの「ゲーデル・エッシャー・バッハ」良いかも。
@takasan_ino
3 дня назад
続巻の『メタ・マジック・ゲーム 』まだ読んでない!
@Okabi
4 месяца назад
是非、基礎論の沼にはまってほしい
@hiroshikaga
4 месяца назад
うつ病発症してこのチャンネル終了するやろなあ
@hiroshikaga
4 месяца назад
基礎論に沼ったらうつ病なってこのチャンネル終了してまうぞ😂
@tamarind_kingdom
4 месяца назад
集合論・記号論理学待ち続けてました!楽しみです ついでに圏論もやって欲しいです
@user-uz5km9rl3z
3 месяца назад
一階述語論理を学習してZFCから自然数の集合を構成する回楽しみにしてます!!!!!!
@NndNerd
3 месяца назад
ほんとうはlispのカッコについて語るならマクロの威力についても話したいけれど ゆる〇〇ラジオとしてどこまで説明すべきか...という葛藤を堀元さんから感じる
@user-hk2dn5gw1m
4 месяца назад
夢中で勉強する(ガチ)
@100EIZO
28 дней назад
「やっぱり駄目でした」の事例。雑誌の一覧から「Journal of negative results」を見つけたは衝撃でした。
@tatake8932
4 месяца назад
たのまち!
@HANEKAWAhaorenoyome
4 месяца назад
集合論についても動画で出して欲しいです! 自分は大学行ってないので、高校数学の集合と論理程度しか知りません。 今後の話についていくためにも集合論について動画にして頂けたら嬉しいです😊
@user-zg2yg3hm8j
4 месяца назад
集合論やれば計算論(チューリング機械とか)も理解しやすくなりますよ! まぁ数学が基本的に集合論を基礎にしてるんでなんでも理解しやすくなるんですが笑
@user-bh8gn7hj6d
4 месяца назад
言語学で用語の混乱の例としては再帰があります。 ①reflexive(再帰代名詞のそれ) 行為が自分自身に向くこと ②recursion recursionについてはその内部においても混乱があります。一つは旧来的用法で、文の中に文が埋め込まれる、名詞句の中に名詞句が埋め込まれるなど、ある範疇の表現に同一範疇の表現が埋め込まれることです。もう一つはHauser, Chomsky, and Fitch(2002)が人言語に固有な狭義の言語機能として提唱した意味でのそれです。the とmanから作られる{the, man}が、loveとともに{love, {the, man}}をなすという具合に併合操作の出力(句)が次の併合操作の入力になりうることです。 以前ゆる言語学ラジオでDaniel Everettの『ピダハン』が扱われました。動画では言及がありませんでしたが、Everettは「ピダハン語にはrecursionがないことを発見した。よってrecursionが全ての言語に共通する普遍文法だとする生成文法を反証した」と主張しました。実際Everettが観察したのは前者の意味でのrecursionの欠如なのですが、彼が名指しで批判したのはHauser Chomsky Fitchで、二者の間でrecursionの理解がずれているのです。(なおピダハン語に同一範疇埋め込みがないという主張自体も、これを疑問視する研究はあります)
@mem10
4 месяца назад
机上の空論とはよく言ったもので。 ゆるコンピュータ&言語学ラジオは、深夜に机に向かって、キャンパスノートと三菱鉛筆とマーカーを用意している、勤勉な視聴者が多い番組ときいています。 インプット奴隷合宿回楽しみ。
@MasaakkiS
26 дней назад
関数型プログラミング言語としては、Haskellが個人的にはお勧めです。Lispとは一味違う美しさがあると思いますよ
@user-lk9ib9xx2x
4 месяца назад
入門書の壁の件、 「適量」がわかるやつはレシピみねえから!っていう気持ちとちょっと似てるかも
@rollinhumburg
4 месяца назад
私も大学のテスト前は夢の中でも勉強してること割とありました。人間関係を蔑ろにして勉強してたために、夢に登場する素材が勉強内容しかなかったのかもしれません。
@user-Phi
4 месяца назад
広く使われている集合論の公理系のZFCではあらゆる数学概念は集合だからLispに通づるものがある
@user-xd7xr2qy5j
4 месяца назад
夢勉はけっこう気持ちいい
@TheWiredline
4 месяца назад
動画内で言われていた用語の混乱とは違うのですが、 中学生の頃に初めてのプログラミング言語としてCを学習していた際に 学校の数学の授業で習った括弧の順番は「[]:大括弧、{};中括弧、():小括弧」なのに対し Cでは{}で関数を囲い、[]はリストで使われていて逆では??とずっとモヤモヤしていました。 後に、日本と海外で括弧の順番が違うと知るのですが、数学界隈の人は海外の文献を読んで混乱しないのでしょうか……
@harumaki7155
4 месяца назад
7:20 似たタイトルで中島敦の『文字禍』というのもありますが、あちらも文字のゲシュタルト崩壊を題材にした話でしたね。堀元さんがもし古代アッシリアに生まれていたら、最終的に粘土板を噛み砕いたり、書庫の棚に埋もれていたかもしれません…
@kenichisasagawa4900
4 месяца назад
ZFC公理的集合論 楽しみにしてます。🎉
@zip7362
4 месяца назад
終盤、友達同士が今度遊ぶ約束してるのを見せられてるだけでウケる
@kikyo6472
4 месяца назад
いまHaskellの勉強をしていますが、「型, 型クラス, インスタンス」の意味がオブジェクト指向言語における意味と違いすぎて混乱してました。
@user-pg2vp1lb4x
4 месяца назад
3:25 グレゴリウス8世ではなくグレゴリウス7世かつ、カノッサの屈辱はハインリヒ4世とグレゴリウス7世で、 アナーニ事件はボニファティウス8世とフィリップ4世です。
@poroneizu1356
2 месяца назад
いつかOCamlの回が来るのを楽しみにしてます
@user-sr5sq4dl7c
4 месяца назад
堀本さんの「論理学ちょっとだけわかる」期待してます!
@miner1227
4 месяца назад
論理学作れるレベルの人の感想だ!
@Ukyo_Itayama
3 месяца назад
31:20 えっ?!ゆる言語学ラジオの水野さんと堀元と、ゆるコンピュータ科学ラジオの水野と堀元さんって同一人物だったの?!
@user-ol1gy1gz5r
4 месяца назад
13:50 実際、実験結果を機械学習させて材料開発するマテリアルズ・インフォマティクスという試みでは、論文を教師データにすると失敗データが不足する点が課題になっています。 プロジェクトによっては、実験部隊に失敗データも含めて全実験データを提出しろと指示される事があるのですが、実験部隊にとっては面倒なデータ形式の事が多く、結局、出し惜しみされたりします。
@user-wg7kk3nw6h
4 месяца назад
リストを処理するからエクセルとかCADに相性いいんだなっていう発見があった
@rachelhash1603
4 месяца назад
LispのインタープリタはLispで書かれている、のは知ってましたがそれの論文は知りませんでした!折角なので読んでみたいと思います!(1ページ目で挫折する前振り)
@minsk-km8qg
4 месяца назад
戸田山先生の本は文体に耐えられなくていつも序章で脱落してます
@user-rq3xy8qt7c
4 месяца назад
セキュリティの事を話すときに、本当にわかっている人はhttpsの事を、広い意味を込めてSSLといい、わかっていない人ほどTLSという言葉にこだわる。
@gamma9472
4 месяца назад
グローバル変数と同じものを指してスペシャル変数というのはどういう命名なんだろう。ジェネラリスト/スペシャリストの対比から考えるとジェネラルがグローバル、スペシャルがローカルに対応してもよさそうなものだけど
@user-xx4cr5fx9e
3 месяца назад
数理論理学の雰囲気を掴む目的として、「恋と禁忌の述語論理」という小説はいかがでしょうか。
@yoshi46-319
4 месяца назад
「論理学を作る」持ってます(読んでないけど💦)。パラパラと見て、とっても面白そうとは思ってたんですが…。ここで取り上げてもらえると読む気になると思います!
@koi506
4 месяца назад
禍の方の文字禍は中島敦ですね。 プログラミング言語コーパスはまだ無いのかな?
@sentuli
4 месяца назад
27:00 最近出会ったのはRustを勉強しているときに同じインスタンスという言葉が出てきたのですが、オブジェクトの実体的な使われ方ではなく型クラス(プロトコル的な)を実装している型を指すと言われたときに一瞬「は?」となりました。あと、今圏論やりたいところです。
@pureflower292
4 месяца назад
型理論やるならHaskellですね!! それか型システム入門
@wiiu7943
4 месяца назад
25:24 動詞をある種の関数とみなせば自然に捉えられませんかね? たとえばgiveは前者に後者を与える2変数関数として解釈すればgive(A, B)のように書けるので同じ語が当てられてるのはそんなに違和感がない気がしました
@sabak7390
4 месяца назад
集合論やるなら、志賀浩二 集合への30講、松坂和夫 集合・位相入門 このあたりが初心者にもいいんじゃないでしょうか
@立風tachikaz
4 месяца назад
集合論って武器ベン図1本で戦えるかな…
@kettle9265
4 месяца назад
ベン図って万能そうで実は4つ以上になると急に形が複雑になるからあんま役に立たなかったりする
@user-kl7hd2vv3e
4 месяца назад
集合論は極めるとゲーデルの不完全性定理だの図示出来ない領域に入る 絵画思考だとキツいかも
@absant2913
4 месяца назад
図示できないときは、情報が落ちていることを承知のうえで、「コレみたいなもん」と言える状況を想像すると理解がうまくいきます。その意味でベン図一本でも行けなくはないです。 証明を書くのはそれだけでは無理なんですが、感覚を養うだけなら十分だと思いますよ。
@umitz1729
4 месяца назад
大学院で公理的集合論やってたワイ、高みの見物 Python で充分間に合ってるから Lisp の勉強するモチベなかったけど、今回の話聞いてちょっと興味湧きました (自分で自分を定義してる、ってどうやって整合性取ってるんだろう?🤔)
@shotamatsumoto3037
4 месяца назад
スタティックとインスタンスが9年目にしてやっとわかった
@user-uu4nf3vj5k
2 месяца назад
初プログラミングの自分はland of lisp楽しくやれてます。 トーハンの通販で取り寄せようとしたら版元欠品になってたから、今そこまで出回ってないかもですけとま。
@user-cp8sx4zd4n
4 месяца назад
アナーニ事件はボニファティウス8世です!俺たちのアイドルぼにはちを二度と間違えないでください!
@user-ye6mm4kp5r
4 месяца назад
15:42 人文か文系が 人間を特別視するというのを 言っておられたのを思い出しました
@user-ot2xz2gi6w
4 месяца назад
クリシェすぎて例に出すのもはばかられますが 関数とメソッドの意味の違いはオブジェクトとインスタンス並に混乱します なまじどっちもオブジェクト指向の中核を担う概念だからよりタチが悪い
@yuki-xo3sb
4 месяца назад
コンパイラ理論やってほしい
@user-mq1be3zd6s
4 месяца назад
そのうち全パーソナリティが圏論で会話し始めそう
@adnon2604
4 месяца назад
32:30 堀元さんがおっしゃってるのは群論かな?
@user-xn2vo4eo4k
4 месяца назад
表紙の怪物はおそらくオパビニアですかね? アノマロカリスやハルキゲニアなどが生息していたカンブリアモンスターの一種です。 プリミティブな言語という意味で原始的な生物を充てたのでしょうか。
@arcsin1203
4 месяца назад
集合は全単射が分かったら入門のイメージです
@golgobgoo
4 месяца назад
プログラミング言語初心者ですが、コッカ使いますよ。ルマ、クカ、ミナなど使ったりしますね(*_*)
@tatapi1993
4 месяца назад
自分の分野では「Journal of Negative Results in Biomedicine」という、仰る通りの「やってみたが上手くいかなかった」を投稿する為の雑誌が存在した。が、引用しづらい、自分はこんな失敗をしたと公にはしづらい(飲み屋では幾らでも話すのだが)等の理由からか投稿する人が少なく(世界で年20報も無しとか)、廃刊になっている。
@terish
4 месяца назад
昔、成恵の世界と言うコミックが有りまして。まぁ、World of Null-Aのもじりなんですけどね。
@user-tv7yg2ze4t
4 месяца назад
ネジ工場にネジが使われているのと同じだと有名なプログラマが言ってた
@REIA-t1
4 месяца назад
GPTに訳させたら意外にいいの出てきそう
@user-mq1be3zd6s
4 месяца назад
結局みんな数論,集合論,論理学,数学基礎論をやる羽目になるんじゃね? リスナーのあるあるが高度すぎて共感できない【おたより読む回】#47 - RU-vid m.ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-yNK58rgDS9E.html
@user-fx8dc4gk6p
4 месяца назад
失敗の公開必要ですよね。 実験試薬が、この種のこの臓器に対してこの方法だと適用できました、しか公開されていなくて、毎度買って試さなければならなかったりするのが資金と時間のロスを生んでいる。
@早川眠人
4 месяца назад
12:50 何故ランキングでJavaScriptとTypeScriptが離れているのだろうか?
@roadevery9434
4 месяца назад
else if の表記揺れもひどい
@早川眠人
4 месяца назад
26:15 コモン変数ですね
@k.s.841
4 месяца назад
なんか投稿できてなかったので別垢から失礼します。 17:08 ChatGPTにLISPのインタープリタをLISPで記述できる理由を聞いてみましたので、返信に回答をぶら下げておきます。 抜粋すると: LISPの最初のインタープリタはLISPで実装されたわけではありません。LISPは1958年にジョン・マッカーシーによって開発され、最初のインタープリタはアセンブリ言語でIBM 704コンピュータ用に書かれました ということなので、外から定義されてるというのがオチかと思いました。 と何も知らねぇ素人ですが書き残しておきます。
@k.s.841
4 месяца назад
LISPでLISPのインタープリタを作成することが可能な根本的な理由は、LISP言語が持つ「評価器」(evaluator)の性質と、その最小限の実装がLISP自体で簡単に表現できることにあります。ここでのポイントは、「評価器」という一つの小さなLISP関数が、LISPプログラム(または式)を受け取って評価し、結果を返すことができるということです。 ### 具体的な説明 1. *最初の評価器(プリミティブ・エバリュエータ)の実装* - LISPの創設者であるジョン・マッカーシーは、LISPの基本的な評価機構をLISP自体で表現することを示しました。彼の論文「Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I」では、`eval`関数として知られる評価器の仕組みが紹介されています。 - この`eval`関数は、LISP式と環境(変数と値の対応)を引数として受け取り、式を評価します。この関数自体が再帰的に自身を呼び出すことによって、任意の複雑さのLISPプログラムを解釈・実行できます。 2. *自己適用性(self-applicability)* - 評価器`eval`は、他のどんなLISPプログラムも評価できるため、自分自身を評価することも可能です。つまり、LISPの評価器をLISPで記述することで、その評価器自体をLISPプログラムとして扱い、評価することができます。 3. *メタ・サーキュラー・エバリュエータ(Meta-circular Evaluator)* - メタ・サーキュラー・エバリュエータは、評価器が自身の実装言語で記述されるという概念です。LISPではこのアイディアが特に有効で、簡単に実装できるため、LISPでLISPのインタープリタを作ることが可能です。 - メタ・サーキュラー・エバリュエータは、LISPのシンプルな構文規則とデータがプログラムコードとしても機能するホモイコニシティの特性を利用しています。 このように、LISPでLISPのインタープリタを実装することは、言語の根本的な設計において意図されており、評価器という単一の概念を中心に展開されます。これにより、他の言語では難しいかもしれない自己参照的な実装が、LISPでは直接的かつ自然に行えるのです。
@k.s.841
4 месяца назад
LISPの最初のインタープリタはLISPで実装されたわけではありません。LISPは1958年にジョン・マッカーシーによって開発され、最初のインタープリタはアセンブリ言語でIBM 704コンピュータ用に書かれました。この最初の実装は、LISPの基本的な概念と機能をサポートするために設計され、特に記号処理能力に重点を置いていました。 LISPの自己適用性、つまりLISPでLISPのインタープリタやコンパイラを書ける特性は、その設計が完全に理解され実装されてからの話です。LISPの設計においては、プログラムが自身のコードをデータとして扱える「コードとデータの同一性」が非常に重要な役割を果たしていますが、初期の実装はよりプリミティブな手段で行われました。後になって、LISPのインタープリタやコンパイラがLISP自体で書かれるようになると、その強力な抽象化能力と拡張性がさらに明らかになりました。
@norirumi8644
4 месяца назад
あれ?ゆる言語学ラジオってひょっとして文理融合のゼミだった?
@quatrequarts1594
4 месяца назад
17:20 「無矛盾な公理系は自らの無矛盾性を証明できない」みたいなのを思い出した
@absant2913
4 месяца назад
重箱隅つつきで恐縮ですが、二階以上の述語を含む...という前提が必要だったと思います。 命題論理と一階述語論理は少なくとも自身で自身を証明できる記号体系持ってますよ!
@takutoezx
4 месяца назад
お二人の集合の勉強、位相とか無限とか厳密な所は要らなそうだけど、どうなんだろ...
@tanaka0404
4 месяца назад
3ヶ月後って言ってたから2年後くらいかな
@mm-oc5rf
4 месяца назад
バケモン本買おうかな
@tamarind_kingdom
4 месяца назад
素朴集合論やらずに公理的集合論に手を出して怪我しないか心配
@tktk5656
4 месяца назад
5:58 まさかAIではなかった!!?
@tktk5656
4 месяца назад
オライリー本よく読んでた。なっついな
@SitouIru
4 месяца назад
用語の混乱で言えば、酸と塩基でしょう まずそもそも『酸素』と『酸』で違うものですし 中学から高校になるとアルカリ→塩基と変わりますし アレイニウスの酸塩基 ブレンステッド・ローリーの酸塩基 ルイスの酸塩基 と定義も微妙に異なる…… どうにかしろ!!
@tanaka0404
4 месяца назад
それはボニファティウス8世では?
@術中hack
4 месяца назад
15:15 iPS細胞にたとえられると思った。
@gsowheyg
4 месяца назад
明日、4月18日のQiita Conference 2024 にお二人が出演されることに触れられていない件
@genie_mago
4 месяца назад
ゆる集合論ラジオ
@user-oj9ew4ro3r
4 месяца назад
選択公理とかZornの補題やるのかな(それとももっと高度な話題?)
@user-kl7hd2vv3e
4 месяца назад
宗教戦争に持ち込むのやめろ…
@user-oj9ew4ro3r
4 месяца назад
@@user-kl7hd2vv3e 認めるか認めないか気になりますね~
@user-hg9fv4mo5t
4 месяца назад
オーム社の仕入れは返本出来ないので勘弁してあげてください・・・
Далее
37:24
索引の発明者はサイコパス。人間性を捨てることで生まれた大発明【索引の歴史】#121
Просмотров 113 тыс.
38:55
「451エラー」の由来がおしゃれすぎる。楽しいHTTPステータスコードの世界。【おたより回】#73
Просмотров 82 тыс.
00:25
Побег из Тюрьмы : Nuggets Gegagedigedagedago удирает от Nikocado Avocado !
Просмотров 823 тыс.
00:14
🤣 Летающий батут шокировал жильцов дома и всех соседей! | Новостничок
Просмотров 205 тыс.
03:05
FC BARCELONA 2 - 1 ATHLETIC CLUB | RESUMEN LALIGA EA SPORTS
Просмотров 2,1 млн
00:25
'BEST FRIEND?' 👀 ERLING HAALAND plays FOOTBALL WORD ASSOCIATION #shorts
Просмотров 2,7 млн
55:45
【飛び級で博士号】天才すぎる数理モデル研究者は、東京で消耗しているらしい#104
Просмотров 78 тыс.
35:13
【検証】40時間Lispを勉強したら信者になれる?【Lisp1】#118
Просмотров 89 тыс.
58:47
囲碁AIを飛躍的に強くした「モンテカルロ木探索」は、ランダムに打ちまくる手法。【人工知能3】#72
Просмотров 97 тыс.
45:21
人間工学キーボードを買ったら左手がクサくなった【PC周辺機器雑談】#117
Просмотров 81 тыс.
36:41
インターネットの仕組みから学ぶ「死ぬことさえもかすり傷」【ネットワーク3】#18
Просмотров 95 тыс.
38:50
データ構造はトレードオフの芸術。最強のデータ記録法とは?【データ構造1】#48
Просмотров 87 тыс.
38:45
論理的に解けない難問「ガヴァガイ問題」を赤ちゃんは解く【赤ちゃんの言語習得2】#108
Просмотров 262 тыс.
44:28
オブジェクト指向は、世界を写実的に描く営み。ルネサンスと同じ。【プログラミングパラダイム・シフト3】#66
Просмотров 122 тыс.
38:10
Lispはなぜ狂信者を生むのか? その答えは、奇妙な出自。【ポール・グレアム3】#112
Просмотров 60 тыс.
38:45
専門家に聞く、世界を知る道具としての数理モデル。【数理モデル1】#101
Просмотров 78 тыс.
00:25
Побег из Тюрьмы : Nuggets Gegagedigedagedago удирает от Nikocado Avocado !
Просмотров 823 тыс.