【大いなる罠】プログラミング言語の意味論を勉強したら7時間がムダになった#127
Summary
TLDRこの動画は、共同のテーマである「意味」について勉強会形式で語り合う様子を記録しています。温泉旅館での集まりながら、プログラミング言語の形式的意味論に焦点を当てた本を読んでいく姿が描かれています。ゲストとして参加する者がおり、悩む姿や理解を深める様子がリアルに表現されています。プログラミング言語の理論を学ぶ過程で得られた知識や、自然言語との違いについても議論され、言語の美しさと効率性に関する視点が提供されています。
Takeaways
- 📚 スクリプトは、共同のテーマである「意味」について勉強し、言語学やプログラミング言語の意味論に関連する議論が行われていることを示しています。
- 👥 参加者は温泉旅館に集まり、プログラミング言語の形式的意味論に関する書籍を読むことで、議論を深めようとしています。
- 💡 プログラミング言語の意味論は、その言語で書かれたものがある意味を持つために重要な役割を果たしており、理論的研究が重要だと強調されています。
- 🎓 大学のコンピューターサイエンス分野では、プログラミング言語の基礎理論を学ぶことが重要で、コンパイラ構成論などの科目がその一例として挙げられています。
- 🔍 スクリプトでは、形式理論と型理論の違いと類似性を探求し、プログラミング言語を作る上で必要な数学的な理論であると認識しています。
- 🛠️ コンパイラの作成にはシンタックスとセマンティクスの理解が必要で、それらがどのように関連しているかが議論の中心になっていました。
- 📖 本の内容を読みながら、参加者はプログラミング言語の意味論の基礎を学び、自分たちの知識を深めようと努力しています。
- 🤔 スクリプトでは、参加者の間で理解の誤解や議論の混乱が生じることもあるが、最終的には理解を深めることに成功していることが伝わってきます。
- 😅 参加者は、勉強中に行き詰まったり、間違った方向に進んだりする瞬間も経験しており、学びの過程での苦労や悩む姿勢が描かれています。
- 🌟 旅館での集まりは、単なる勉強会ではなく、参加者同士の交流や新しい知識の獲得を通じて、視野を広げることができる貴重な機会であると感じています。
- 🔑 スクリプト全体を通して、言語やプログラミング言語の意味論の理解は、人工知能やコンピューターサイエンスの発展において不可欠な要素であると示唆されています。
Q & A
インプット奴隷合宿とはどのようなイベントですか?
-インプット奴隷合宿は、参加者が共通のテーマを勉強し合うイベントであり、今回は温泉旅館にこもりながら意味について勉強するというものでした。
ゲストとして参加された江崎先生やレオさんについて教えてください。
-江崎先生とレオさんは、今回のインプット奴隷合宿にゲストとして参加された方々です。彼らは他の参加者と同じようにプログラム言語に関する議論に加わっていました。
形式的意味論とはどのような理論ですか?
-形式的意味論は、プログラミング言語を支える数学のような理論であり、言語の形式的な側面を扱う理論です。この理論はプログラミング言語を作る人に必要な知識の一つです。
型理論とは何ですか?また、形式理論との違いは何ですか?
-型理論は、プログラミング言語の型システムを定義する理論です。形式理論と型理論は似ているが、形式理論は言語の形式的な側面全体を扱い、型理論は特に型システムに焦点を当てています。
コンパイラ構成論とはどのような学科ですか?
-コンパイラ構成論は、コンピューターサイエンスにおいてコンパイラの作り方やその理論について学ぶ学科です。慶応大学においては、この分野に関連する授業が開設されていました。
プログラミング言語の基礎理論にはどのようなジャンルが含まれますか?
-プログラミング言語の基礎理論には、シンタックスとセマンティクスの2つのジャンルが含まれます。シンタックスは言語の形式的な側面を、セマンティクスは意味論的な側面を扱います。
表示的意味論とはどのような理論ですか?
-表示的意味論は、プログラミング言語の意味論の一種であり、言語が持つ数学的な挙動を扱う理論です。これは特定の言語に依存しない抽象的な理論であり、言語の挙動を数学的に検証する際に用いられます。
操作的意味論とはどのような理論ですか?
-操作的意味論は、プログラミング言語の意味論の一種で、言語の各構文がコンピューターの操作としてどのように働くかを説明する理論です。これは言語の具体的な動作を理解するのに役立ちます。
自然言語とプログラミング言語の違いは何ですか?
-自然言語は人間のコミュニケーションに使われる言語で、曖昧性や多義性があります。一方、プログラミング言語はコンピューターとコミュニケーションを取るための言語であり、正確性と明確性が求められます。
言語学における意味とはどのようなものですか?
-言語学における意味とは、言語的形式とそれが支持する現実世界の事象との関係です。言い換えると、言語の形とそれに対応する現実世界の意味です。
Outlines
😀 プログラミング言語の基礎理論と意味論の学習
第1段落では、インプット奴隷合宿というイベントに参加し、温泉旅館にこもりながら意味論とプログラミング言語の形式的意味論を学習する旨が説明されています。プログラミング言語の自作を目的に、形式理論と型理論を学ぶ重要性が強調され、ゲストとして江崎先生やレオさんによる協力を期待していることが語られています。
😉 プログラミング言語の作り方とコンパイラの関係性
第2段落では、プログラミング言語を作成することとコンパイラを作成することの関係が探求されています。コンパイラは翻訳屋さんのようなもので、さまざまなプログラミング言語を01のコードに変換する役割を果たします。また、言語の文法と意味論の基礎理論についても触れられており、言語の表面的な部分と数学的な証明の必要性が語されています。
🎓 プログラミング言語の基礎理論の学習と挫折
第3段落では、プログラミング言語の形式的理論入門という書籍を読んで挫折した経験が共有されています。100ページ程読んで難しさに直面し、心が折れましたが、最後の20分で誤解を解くことができました。また、意味論の下に操作的意味論と表示的意味論があることが明らかになり、自分が必要としていたのは操作的意味論だったことが気づかされました。
🤔 表示的意味論と数学的挙動の関係性
第4段落では、表示的意味論が扱う内容が数学的挙動に関連していることが議論されています。特定の言語に関係しない抽象的な挙動を扱うという点が強調され、整数の集合に対する処理が例に挙げられています。また、数学の定義や数論との違いについても触れられています。
📚 学習の成果とチューリングの理論の理解
第5段落では、学習の成果とチューリングの理論について語られています。表示的意味論の学習が終わった後、チューリングの決定問題に関する理論を理解することができました。また、学習過程で分からない部分が明確になり、専門用語の理解が深まったことが強調されています。
🤓 自然言語と人工言語の意味論の比較
第6段落では、自然言語と人工言語の意味論について比較されています。自然言語は不完全であり、状況によって意味が変わる点が特徴とされています。一方、人工言語は数学的で明確な定義を持つ点が魅力的であると語られています。また、自然言語の柔軟性と表現力についても議論されています。
😌 自然言語の表現力とメタファーの曖昧性
第7段落では、自然言語の表現力とメタファーの曖昧性について議論されています。自然言語は表現力豊かであり、メタファーがその一例として挙げられます。しかし、メタファーは解釈の曖昧性を持っており、言語学の対象となっている点についても触れられています。
😅 自然言語の柔軟性と情報伝達の効率性
第8段落では、自然言語の柔軟性と情報伝達の効率性について話されています。自然言語は状況によって意味が変わり、表現力豊かであると同時に効率的な情報伝達体系であることが強調されています。また、自然言語の柔軟な表現と人工言語の明確な定義のどちらが優れているかについても議論されています。
😓 自然言語の曖昧性とコミュニケーションの誤解
第9段落では、自然言語の曖昧性とそれが招くコミュニケーションの誤解について語られています。自然言語の表現は文脈によって意味が変わり、誤解を生むことがあると指摘されています。一方で、自然言語の柔軟性と表現力はコミュニケーションにおいて有効であると同時に強調されています。
🙂 自然言語の強みと大学教育の重要性
第10段落では、自然言語の強みと大学教育の重要性が強調されています。自然言語は非常に効率的であり、背景情報と共鳴して伝える力を持っていると語られています。また、大学での勉強は貴重であり、人生の虚しさを感じずに済むように、大学の機会を有効に活用するよう促されています。最後に、視聴者が学んだことを共有するよう呼びかけています。
Mindmap
Keywords
💡インプット奴隷合宿
💡意味論
💡形式的意味論
💡型理論
💡コンパイラ
💡表現的意味論
💡操作的意味論
💡自然言語
💡人工言語
💡言語枠
Highlights
共通のテーマを勉強する「インプット奴隷合宿」というイベントに参加
言語枠における意味論の学習と堀本さんとのコラボレーション
プログラミング言語の形式的意味論に関する本を読む
形式理論と型理論の関係について議論
プログラミング言語を支える数学的理論に興味を表明
コンピューターサイエンスの文脈での意味論の説明
プログラミング言語の意味論とコンパイラの関係について述べる
自然言語とプログラミング言語の意味論の違いについて議論
プログラミング言語の基礎理論を学ぶことの重要性を強調
意味論の2つの分類: 操作的意味論と表示的意味論
プログラミング言語の意味論の理解を深めるための苦労
意味論の分野における専門用語の混乱について触れる
人工言語と自然言語の意味論の比較
自然言語の柔軟性と表現力について討論
プログラミング言語の意味論を理解するための数学的アプローチ
意味論に関する議論が自然言語とプログラミング言語の双方の理解を深める
意味論の学習が個人の知識や視点を広げることの重要性
Transcripts
[音楽]
本日は我々共通のテーマを勉強する
インプット奴隷合宿という模しに来ており
まして温泉旅館にこもりながらね一緒に
意味について勉強しようということで意味
関連の本を読んでいましたはいゆる言語枠
ラジオの方にねえ僕がえ言語枠における
意味について勉強して堀本さんに喋るか
上がっていますそうですね昨日更新された
やつでえ本日は僕がコンピューター
サイエンスの文脈からプログラミング言に
おける意味論の話をするという趣旨で
めちゃ気になるよ俺コラボでねやれたら
いいなと思っております初のコラボ参加者
は完全に一緒ですけれどもはい僕今日
ゲストですもんね江崎先生とかレオさんと
じでゲストとしてはいそう変わり映えが
ないんですけどま絵が絵が変わってるから
ねまいい今回メイン種本にしたのがこちら
ですねプログラミング言語の形式的イロ
入門水野さんがさずっと形式意味論をや
るっていう話してたからさうん俺もなんか
意論ぽいことやかと思ってプログラミング
意味論で調べたらですねあなんか形式意味
論みたいなつ出てきたと思ってこれどん
かぶりなのでわと思って盛り上がるかなと
思ってこれをやり始めた感じですでさらに
ね本当は俺やりたかったのがこの肩理論
ってやつなのようんうんこの型理論
プログラミング言語支える数学っぽい理論
でこれ面白いテーマなんでいつかやりたい
なと思ってたんですけどまだから今回は
これ目標にしつつちょっとよりね
ダイレクトなせっかく今回論の話しよう
ぜってことなんでこっちの方が繋がってき
そうだなと思ったんでこっち中心に読んで
ました合わせてくれてありがとうござい
ますちなみにこの2つは近接ジャンルなん
ですかて同じだよね形式理論と型理論は
同じなのうん同じま同じとまでは言わん
けどプログラミング言語を作る人に必要な
話なんですよこれうんうんだから
プログラミング言語で書かれたものが何を
意味するのかていうのは考えなきゃいけ
ないし作る人はねはいはいその上で
いかなる方うんどんな型を使ってその方が
どのように変換されるのかみいな数学的な
証明ができなきゃいけないってことで近接
ジャルですねなるほどなるほどまそんな
わけでねこのプログラミング言語の理論
基本的な理論今まで僕が避け続けてきた
やつうんこれね大学のコンピューター
サイエンスであるんすよプログラム演習
みたいなやつとまた別にプログラミング
言語を自作しようみたいな講義があるん
ですよはいはいはいコンパイラ構成論って
いう名前で慶応にありましたけどうんこれ
僕撮ってたんですけどあの無事にタインを
落としましてですねあ落としたんだあだ
からなるほど苦手意識があるってのは
コンパラできなかったタイプですえ結構
単位の取得とかあるいは勉強する上での
難易度が高いジャンルなんですかまそう
でしょうねやっぱオキャルとか書かないと
いけないからさオーキャルうんもうねオー
キャメルって読むタイプの人いますけどね
さんどっちはかわかんないですけど初の
インプットを受けたんで
インプリンティングされましたこのはい
ひなと一緒ですそうすね最初に見たものを
親だと思い込むですねだからこの
コンパイラ構成とかの話も込みでさ
プログラミング言語を支える基礎理論を
今回しっかりやろうということでこの辺の
本も持ってきたしまもうちょっとね
ちょっと難易度の低いプログラミング言語
の基礎理論とかも持ってきたまいずれも
大学の教科書ですねはいはいを持ってきて
まこの辺をパラパラ読みながらやろうかな
と思ったわけですよただねうんこれね
悲しいかなですね丸2日勉強して多分この
意味っぽい本読んでただけで8時間ぐらい
あったと思うんだけどえ7時間40分
ぐらいやったところですね僕のやっていた
ことは大いに間違っていたって
いうええはいあのイなる誤解をして7時間
40分勉強したんだっていうことが分かり
ましてですねラスト20分で俺の今までの
努力いってちょっとなったのでえ僕8時間
やった人でさん20分20分やった人
ですただの収録やんそれ一緒に旅行行く
意味あってこれ今日旅行だと思ってきて
ない君いやでもね僕はねこれ非常に実りが
あったんすよ7時間40分やった結果これ
じゃない俺がやりたいのはこれじゃないっ
てことに気づけたんだよねこれはね参考所
間違えたってことままあまあ順を追って
ちょっと説明させてくださいなまちょっと
繰り返しになるんですけど僕片理論やり
たいなと思っててこれ思った理由がね
やっぱプログラミング言語作りたいんです
ようんプログラミング言語の自作って
やっぱみんな憧れてるからはあやりたい
わけよ作りたいんだそこ新情報だけどそう
なんだ作ホリモティラングイッジ作りた
いっすよねそのブーリアン台数みたいな
名前のねいちょっとおしゃれななんかま
だけ変えようみたいなやつ作ったりしたい
うんよでもそのためにはさこの基礎理論が
分かってないとそうだよねその解釈する
ものが作れないんですよああだそれが
えっとコンパイラに与そうそれが
コンパイラーて言われるやつでま水野さん
が書いた指令をねそのコンパイラーを通し
て翻訳してま最終的には機械後01に直す
ていう下りが必要だからだイメージとして
は翻訳屋さんみたいな人が挟まって
コンピューター対するみたいな感じだね
その翻訳屋さんを作ろうと思ったらこの片
理論みたいなさ数学理論ができないと
まずいわけですよあえとだから翻訳屋さん
自体も作んいけないんだあそうあてかね
市販の翻訳屋さんみたいいない翻訳屋さん
を作ることがプログラミング言語を作る
ことですあそうなんだうんだってその01
のとこはみんな一緒なわけだからさあ
ちょっとやめてくださいあのコンパイラー
とアセンブラーを動してるなこいつって
いう指摘はやめてくださいしてないして
ない何でもしてないから大丈夫ですよはい
あのまあま単純がしてねコンパイラーを
全ての翻訳屋さんだとしますが翻訳して
01ができるんだとしたらさこの01の
とこはみんな一緒なわけじゃんどの
プログラミング言語で書いてもあままだ
からこれもねシリ系統とか色々ねもて違う
だろうとかねんアーキテクチャーによって
違うだろとかいろんな話はあると思うん
ですけどまその置いといていただいてみ
さんも気になったと思うんですけど系なの
か86なのかと色々あると思うですけど
はい進めてください最終的にさ同じ01に
なるんだったらさ翻訳屋さんが全部の仕事
してくれてるわけじゃんえでもなんかさ
書き方が違うんでしょそのあそうそう
プログラミング言語のねその表面の部分と
いうかさはだからそこの部分を定義する
ことじゃないんだ完全な翻訳屋さんって
どんな言い方をしてても正しくしてて
くれるねえっとそうですねはい日本語でさ
どんななんかちょっと難しい文語帳の
言い回しをしようが平いな言葉で喋ろうが
同じ意味のこと言ったら同じような英語に
ちゃんと直してくくれるよねだから完全な
翻訳屋さんってつまり新しい
プログラミング言語を作ったのとイコール
なんですよああこの話難しいな自然言語に
例えると難しいなイコールじゃないもんな
完全な翻訳屋さんを作ることは新しい自然
言語を作ることじゃないもんねじゃないね
自然言語と違うところはさその言語自体で
意思疎通しようとしてる人が誰もいないま
そうわけでもないだろはい
読ともいるんだけどま単純化するためにい
ないとすると日本語の不随言語を作りたい
わけだねうん日本語最終的には全部日本語
に翻訳されるでもその翻訳される前の言語
を作りたいっていうイメージだとしたらさ
エスペラントみたいなを作りたい全部日本
語になるためのプレ日本語みたいな言葉を
作るとしたら完全な翻訳屋さんそのプレ
日本語を日本語に直す完全な翻訳屋を作る
てことてつまりプレ日本語を作ることうん
でああはははこの翻訳屋さんのルールその
ものがプレイ日本語のルールだからうん
うんうんうんああなるほどねだから
コンパイラーを作ることつまり新しい
プログラミング言語を作ることなんです
翻訳屋さんか文法書かもう言ったら
もうそのまま逐語訳できる文法書みたいな
のを作るってことは実その言語作ることわ
ないてってるそうことそうこと完全な翻訳
屋さんの脳内ってつまり文法書だよねこと
かなるほどあ最終的にはその機械後
コンピューターが実行できる01に
落とし込むんだったらその翻訳うんを作っ
たらそれってプログラミング言語を作った
ことと言えるよねはいで改めてそれが
コンパイラーに当たるとはいことですね
オッですオッですそうでだから僕は大学生
の頃やりたくてコンパイラー構成論の講義
取ってましたけど無事に単品を落としまし
たのでコンパイラー作れずじまでしたねだ
かいつか作りたいなとか思っててさこの型
理論みたいな基礎的な勉強したいなと思っ
てたわけですよはいこのプログラミング
言語の基礎理論っって2つのジャンルに
分けられるんですようんうんうん何と何に
分けられるか分かります型理論とうん非片
理論うんあ全然違いますねミシに完璧に
分けました語理論で非片理論違いますよ
みずさんも多分めっちゃ知ってる分類であ
分かったシンタクスを狭はいあってます
オッケーオッケー言語学でもね多分Sうん
サイドですねSサイドって言ですかね統語
文法とイ論はいていうセマンティクスが
イロシンタクスが統語論ですね知らんけど
多分言語学でもでかい2つのそうですね
テーマですよねメインストリームの
プログラミング言語の基礎理論も全く一緒
でシンタクスとセマンティクスに分け
られるわけですよはいはいはいま多分言語
だとシンタクス統合って言うと思うんだ
けどプログラミング言語の文脈だと高文論
あして当てることが多いっぽいですねそう
うわやめてそれは公文は
コンストラクションだからさそれ新にや
てんのやめてこういうやつややこしいけど
ままあいいでしょうはいあだから公文期と
かいうのかまそうだろねそうだねれ統語的
なやつだなと思ってたんですよ分かなそれ
と思ってたんですけどあそうだ
シンタックス3の翻訳だからだそうマジか
そうなんだねオオはいはいはいでもわかり
ました1つまこの辺のさ翻訳というか用語
の混乱めっちゃ難しくてさ今回読んでた本
にも出てきたのがさ構造機能法ていうま
概念があるらしいんだけど構造機能法を
より厳密にしたやつが清楚機能法って言わ
れるやつなんだけどえ数のせにあ違うそれ
じゃなくて整数のせに基礎のそう聞いう
専門用語ですね僕も初めて聞きましたそれ
だから構造機能法より厳密にしたやつが
清楚機能法なんだけどえ大学の教科書に
よっては清楚機能法のことを構造機能法と
呼んでうん場合もあるあダメですよ素人で
も分かるだめめっちゃ難しくないそんな
ことされたらもう大パニック絶対わかん
でしょそれまみたいなことが書いてあっ
たりしてま用語の混乱難しいっすねこの辺
のねうんまいずれそシンタクスは公文論
って言われることがしばしばあるっぽいん
ですけどまだからさ今回さみさんイ論や
るって言ってるからさま俺も
セマンティクスやった方が良かろうという
ことではいセマンティクス方面から攻めて
みることにしたわけですえっとコンパイラ
を構成してるのがシンタクスと
セマンティクスでセマンティクス方面から
攻めそうことそうことその結果やっぱね
めちゃくちゃ苦しんだんですようんうんま
だからこのメイン種本よねはい
プログラミング言語の形式的理論入門これ
100ページぐらい読んで挫折したんです
けどうんはいはい1/3ぐらい読んだかな
うんまあ難しいんすよねうんだしねなんか
ねなんか心折れるなって言語化できないん
だけどすごい苦しかったんすよはいうん
最初の方面白かったんだけどね最初の30
ページぐら面白かったんだけどその後の
70ページぐらいずっと心折れててへえで
も自分でも何が分からないかわからない
からああ難しい苦しいなって思いながらさ
まあなんだかんだ7時間40分ぐらい
頑張って色々学んだわけですねでラスト
20分ぐらいでうん偶然たどり着いたんす
よはいこのプログラミング言語の基礎理論
の中にある一説うんこれが衝撃でして衝撃
今までやってたこと間違えてたなってこれ
あの謎が解けたんですよこいつの解説の
おかげでジトリックみたいな感じですか俺
が7時間40分苦しかった理由がここで
明された実はみたいな遅いねそう結末に
来るからねやっぱね早く気づけばよかった
ねはいここに書いてあったことがね
プログラミング言語の理論は公分論と意味
論に分かれるとまさっき言ったことねそう
ですねでさらに操作的意味論と表示的意味
論に分かれるうん表示ってのはえあのリ
そうそうそう表示的意味論うんていう2つ
がありますようんていうことでまみさん
これ聞いてどう思います全あの言語枠の
分野ではあんまり聞ことあのなんか意味
表示っていう用語とかあるんですようんで
もその捜査的意味論とかちょっと聞いた
ことないですねはいはいはいはいじゃ知ら
ない言葉ですねからみさんの中で正しく
描けてますかね分類はいまず
プログラミング言語の基礎理論が公文論と
意味論に分かれてで捜査的意味論と表示的
意味論がどこにどう分かれるかわかります
うんだからそのセマンティクスの下に2個
分るって思うじゃん違うのようんはえ
えっとね術ストリックじゃそうなのうんえ
意論の下に表示的意味論はあるんだけど作
的意味論は公論の下にあんのうん
はこれやばないやばない意味論って言っ
てんのに操作的意味論はシンタクスの方
だった
えダメじゃないそれはこれやばいよなえ
そのみな引っかかるってそれ絶対無理やる
それ叫んのこれやばいよねでそれがさイロ
て同じ名前で表されててでしかも僕がん
興味あるやつ俺コンパイラー作りたいと
思ってたのでコンパイラーは公文論も意味
関係あるし意味論も関係あるって噂は聞い
てたのでもコンパイラー作るのに関係ある
の公文論とこの捜査的意味論だったのうん
えっと捜査的意論公論にくっついてるやつ
そうだからあのコンパイラ作りたいなと
思ってでしかも意味論関係あるらしい
ぞって思って意味論勉強してたんだけど
意味論関係なかった
ええ的意味論つまり論が関係あっただから
表示的意味論とかやってもうんそうあんま
関係ない関係えあの完全に無関係ではない
んですようんやった方がざしやった方が
良いんだろうけどあのダイレクトにあんま
関係なくてうん俺が求めてる意味論は操作
的意味論だったから意味論頑張ってやる
必要はあんまなかったすえっとこの
プログラミング言語のえ形式的意味論入門
この本がやってるのは表示的意味論そうだ
から割と表示的意味論あの最初の30
ページぐらいに捜査的意味論の話入ってて
あじゃあテンション上がるんだ楽しかった
ところであのずっと苦しいなと思いながら
やってた後半70ページは大体表示的話を
してたのそりは苦しいはずだわ関係ね俺が
やりたいことじゃないもん
それ関係ねえこと名前に引っ張られて俺
70ペぐらいずっと頑張ってたうわ俺さ
この後さなんかさ建設的な議論とかできる
かなと思ったのバカ旅にてきちゃった
ミスっ
た関係ねこと勉強して関係ねえこと勉強
するバカ連れてきちゃった最悪最悪自分に
腹立ってきたもう時間あなたが旅の相棒に
選んだやつは7時間半関係ねえこと勉強し
ますいやこれびっくりしたわもうなんか
おかしかったんすよちょくちょく堀本さん
風呂で使ったタオルをさ全く干さないまま
さ僕が干したらっててもあの干さなかっ
たりとかそうハに干忘れびちゃびちゃの
タオルがね押入れの中から発見されたりし
ましたねそうそうそうなんかすごい今日
抜けてるなとったんですけどちょ最後に大
決めましたねあんたそ関係ないことった
本当お前マジ
でじゃあうんせっかくその皆様のお休みの
日曜日のね時間を使ってこう30分だの1
時間だの番組のパーソナリティをやらして
いただいてる身としてはいはいこ
申し上げることはその何の成かも得られ
ませんでしたうんそうですね進撃の巨人
バリの感じですねになっちゃうんですかあ
そんなことはないすあ良かったそりはね感
さすがにね山から徒歩帰宅もあり得たよ今
危なかったね危なかったねうん生殺の件俺
が今握ってっからいや違うんですあの全く
無駄なことやってたわけじゃなくてまず
外感図俺全く分かってなかったのが外観
できるようになってうんあそうそれでかい
だねこれでかいのよだから別に無駄じゃ
ないのよこの7時間半はこの旅行でさ宿の
裏にある山をさ1時間ぐらいかけて登った
じゃないですかでその結果さミトリズ
やっぱ見えたじゃんでその時にさ今宿で
提供されてるこの料理がこうかもみたいな
さ知識を得れたじゃんねなんかあれやっぱ
でかいよね高いところからあこいつと
こいつがこう関わり合っててこういう風に
やってんだって見ること意味あるなって
うん意味あるね二重の意味で今回の旅行で
思いましたねそうなんすよでかい地図を
見ると大事なんで今回理解したのがその
プログラミング言語の基礎理論における
意味論うんまだから特に表示的意味論はい
はいそうですよね今の話から論に
ぶら下がってない方ね的意味論何なの
かっていうのがやっと分かりましてうん
うん特定のプログラミング言語に関係し
ないもっと抽象的なものはいはいはいなん
ですようん僕ね今回この論理学を作
るっていう本を読んだんですよ実はこの本
うんうん人工言語を作ろうとする話が第2
章から始まるんですよあめちゃくちゃ
コンパイラー構成論じゃないですかはいで
しかもシンタクスとセマンティクスって出
てくるんですシンタクスの定義読み上げる
とそれぞれの記号の意味を無視してんを
純粋に図形のつりとして捉える立場を
シンタクスあるいは統語論とか公文論と
いうとうんほほほで一方で記号の意味
例えばこのここで出てくる記号ってのは
またはっていうこういうマークがあこっち
かがまたはを意味したり勝つていうのが
えっとこういうのを意味したりっていう
ような三角形みたいですねはいていう記号
の意味に関わる現象をセマンティクスと
いうって言っててうんはははこの理屈と
言ったらさその記号の意味を無視してその
にけのつりとして取れた立場シンタクスと
言て言てるからさなんか今の話はなんか則
合ってない気がしたけど逆かうん今の話
ってのはさ特定の言語の実装に関係ない
純粋に数学的な挙動ああごめ考のが
セマンティクスあめっちゃセマンティクス
あオそうですよねえっとだから勝つって
いうのはaとbがそれぞれ1と1の時のみ
1を返しますそれ以外は全部0を返します
ていう定義とかはセマンティクスにえっと
この本の定義でも入るしマさんのやつでも
入るわけねそうそう純粋数学的な動だけを
見るはいはいはいそうだねだから記号の
つり方がどうなっているかみたいなのの話
をするのってシンタクスなわけですよね
そうはいだからそうだねこれ
コンピュータープログラミング言語の理論
の話っていう文脈で紹介しましたけどま
論理学がそもそもそうなんだろうねそうだ
よねはいはいてことはうんプログラミング
言語一般に普遍的な記号についてその記号
がえ取る数学的な挙動をえ記述し尽くすの
がセマンティクスってことですかそうすね
ま記号っていう言い方すると多分変で
なんて指令そう一般的な挙動うんを扱うふ
ていうのが意味論セマンティクスだと
だいぶ見取り図は取れてきましたねそうす
ねだからコンパイラを作るのに必要な
レベルよりさらに抽象化されているふん
ふんふんですよねうんだから僕がなんか
やりたいこととちょっとレベルが合って
ないえだからンは個別言語それぞれに与え
られる文法書なわけですもんねそうそう
一方でえここで考えたいセマンティクスっ
てのは個別言語を超えた遍的な挙動の話
ですねちょっと中小的すぎるからもう
ちょっと具体的なこと言うと
セマンティクス表示的意味論が扱うものっ
てもう整数の集合がある中でそれに対して
ま例えばね整数を掛け算するっていう処理
をすると出てくるものはやはり整数になる
よねはいうんうんみたいなやつあなんか
じゃあさ数学のさあ数論とかさ何理じゃ
ないと思うんだけどなんかそういうさ俺の
思ってるようなレベルの意味論と違うな
それももはやそうだねそうだねうん数学で
習う定義なんかさ有利数とはMMでMとN
が互いにそうである時みたいなやつある
じゃんそれを有り数と言いますみたいな
なんそういう感じのこと言ってるねそうだ
ね数と数かけたら絶対になりますよみたい
なそうだね感じじゃないかなまなんかそこ
までくと多分ね論みたいな話はいはい
イメージとしてってことかなそうそうそう
イメージとしてはそんな話もっとシンプル
な例えを本当は出したくてこういうのが
表示的意味論なんだよねみたいな話したい
んだけどねうんさすがにだけど
プログラミングしたことないやつには
ちょっと厳しすぎますかねそうすねま
プログラミングですらもうないですよね
論理記号なんかうんうん見して見して68
ページなんからこういうのだよねああ論理
記号一応ね僕も論理学を作るよんだけど
はいはいほとんどわからんねなんかこう
いう集合の中でこういう処理をすると次に
出てくるものってこれだよねみたいなのが
書かれてますねふーん何言ってるかなんと
なくは分かるんだこれもこれなんとなく
分かるようになったよいつか僕もそこまで
行くのかもしれんけどまだ出てきてない
ですね僕のやつはそうねうんだからこの
表示的理論どっちかっていうとあれなんす
よプログラミング言語の点検をしたい人
はい本当にこの言語は完全かみたいなうん
こういう時にバグが出ないようになって
いるのかみたいなのを確認したい人が数学
的にい純粋に挙動を確かめるのに使いたい
だからあのメンテナンスする人みたいな
個別具体的なレベルじゃなくて例えばその
プログラミング言語を作りましたって言っ
てるやつをチェックする人みたいなのが
うん数学的に問題なさそうだってやる
ぐらいの話かそうみたいなやつがこのイミ
論なのではいはいイロやってもしょうが
なかったな人工言語を作る上ではチェック
マンのためのものみていう感じなんじゃ
ないかなあのあってるか知りませんはい
はいそう思った話大そうそういう勉強した
限りそんな感じだったふーんなんかじゃあ
繋がらなさそう悲しいとはいえ発見は
たくさんあってさうん前にチューリングの
会やったの覚えてるはいはい
アランチューリングアランチューリングの
コンピューター科学の父っていう名前で
やったんですけど数学的なことについては
一切の元気を避けたやつですねよく覚え
てらっしゃるはいはいはい避けた理由が
よくわかんなかったからなんです
けどあるあるいや僕ねちゃんとねあれはね
勉強したんすよチューリングを読むって
いう本うん読だんけど普通チューリングを
読むみたいなやつてさチューリングの元
論文があってそれを平に噛み砕いてくれて
さだいぶ読みやすくなってるはずじゃない
ですかチューリングを読む多分600ペジ
ぐらいあってさうんうんすげえ正知な話し
てるから難しいなと思ってピンと来なかっ
たんで諦め気味だったんですけど雰囲気を
つむと思って読んだのに読つめなかっただ
よね雰囲気をつめなかったあの
チューリングを読むがえ雰囲気つめました
今回やったでそうだあれ表示的論の話なの
よあそうなんだなんとか決定問題みたい
そう停止性問題かな決定問題の話もあるか
ま停止性問題ってのが結構1台ジャンルで
プログラムってこれ本当に終わりますか
必ず終了するっていう条件満たせますかね
みたいなのって論理的に解けない任の
プログラムに対してそれがちゃんと終了
するかどうかを証明するプログラムで書け
ないうんうんうんうんてことを言ったって
いうのがチューリングのでかい功績の1つ
なんだけどその話をどうやって論証した
かっていう話がうんなんかね数学的にね
こう積み重ねていったわけよみたいな
みたいなこと言ってモヤモヤしてたやつが
え今回ちゃんとね数理論理学の文脈の方法
を学んだんであ大体こんなことしたんだ
なっていうのがねなんとなくイメージ使
ましたそうだから嬉しいと思ってそうだ
あの時ごまかしたやつがなんとなく分かっ
たぞって嬉しくなりましたねしかもじゃあ
だいぶ堀本さん当たり前だけど俺よりも
だいぶ論理学上行ってるねのかな数理論理
学分かるてことだもんね俺まだ全然初歩だ
からさま僕はちゃんと生の法やりましたん
でうんえでも分かってたあの清楚機能法が
さなんとか機能法も指すみたいなことしか
知らないでしょ君どうせそうなんよあの
清楚機能法鉄が多分それこそ停止性問題の
話とかにめちゃくちゃドンピシャで関わっ
てくるからよしここ分かればもう
チューリングのあの時飛ばしたやつが完全
に分かるぞと思って言うてもねしかも清楚
機能法ってことは方法論の話じゃん数学的
機能法とか俺らさ聞いてあこういうやつ
ねってわかるからさえ清楚機能法の特別な
場合
の方は生息の本中の特別な場合ですそうな
んだえってことはじゃあさその特別の場合
分かってるってことはそれを一般化した
ものが分かればいいわけでしょうんそう
そうそうそうえじゃなんかわかりそう
分かりそうだなと思ってやったと思って
読んであんまよくわかんなかったです
けどえだからだから分かりましたあの
ビフォーアフターちゃんと説明しますね
ビフォーはチューリングのやったこと
あんまりよくわかんなかったんですよで
アフターはチューリングのやったこと
あんまりよくわかんなかったあれ
あれやっぱバカじゃんごその改った一緒
でしたけどあのピンとき度合が変わりまし
たねあとあれでしょ多分どこの部分が
分からなかったか分かるようになったん
じゃないのそうだねそそうそうそうそう
そうそういやでもねそういうことそういう
ことまでもそんな感じでどういう方法論を
使ってうんどんな感じで論証していくの
かっていうのは実際数式見ながらおった
から理屈をだからあこんな感じでやったん
だなチューリングもっていうのは分かり
ましたねあだからあれだわプロの
ピッチャーのボール全く打てないけど
バッティングセンターにも行ったこと
なかったやつがバッティングセンターで
100kgの弾を打ったっていう態っちゃ
いいことじゃないでしょこれめちゃ成長
じゃないかだから打てるイメージは湧き
ましたあ全く打てないですけどうんうん
打てるということが何かは分かったなんか
多分初めてインプット奴隷が宿に行った時
にゆ言語学ラジオの方で僕がさ無知の地と
いうかさうんはいはいわからないっていう
ことについて喋った会があったじゃない
ですかであの時に言ったのがよく知ってる
人と何も知らない人の違いってよく知っ
てる人はこの分野のこの部分について
わからないっていうわからないことの改ね
あたね逆に何もわからないっのは全部
わかんねなていううんそうだねで帰って逆
に分かる部分だけ際立つからいや俺意外と
分かってんじゃねって思うみたいな話をし
ましたけどニングクルーが効果的なねそう
そうそうだから分からないっていうのの
改造度上げるのってマジでもっと自分をね
褒めた方がいいんすよそうだいやマジで
そうだわうんだから僕もね前まではね何も
わからないっていう状態だ停止性問題の
証明わからないっていう状態だったのが楚
機能のところでつまづいたなってなったん
でだいぶ改造分かりましたねそうなんすよ
ねもちろんねちょっと勉強したらすぐ
分かる一部のすごい頭のいい人からしたら
なんか凡人だなっていう話だと思うんです
けど僕らの目線から行くと何々について
わからないっていうことって勇気いるん
ですよていうのもその分野以外について
ある程度分かったって難易があるんでだ
から意外とそのAについて分からないって
いうのって勇気のいる発言なんですよね
その勇気を7時間半の勉強によって得たん
だからうんうんそれはめちゃめちゃ貴重な
時間だなって思うのでよく頑張りました
ああめちゃくちゃ上から目線んだすごい上
から君のような観でよくできるになって
えいですよ先生うんすごいね子すみうんあ
でもそう頑張りますありがとうございます
ありがとうござますあとちょっとだけ小た
さんいましたね今ねさんいあの君のような
感が嫌いだよって言ったことでお馴染みの
の連て部分的にまし一出てきたから小かな
と思ったらちょっとすごい勢で引っ込んで
てただの偉そうな人になりましたよねそう
なんですよ
じゃあ僕ここでそろそろ気になってる話
聞いてて気になることいっぱいあるで聞い
てもいいですか言語学における意味って
いうのって言語形式とそれが支持するもの
をま結びつける作用だっていう説明がよく
あるんですねソシ風に直すんだったら
シニフィエに対してシニフィアンの形式が
与えられるこのま連合のあり様はあははで
この全体が意味なんだお対応こすか意味
そうですねはい対応け指示されるもが指示
するものによって指示される現象のことを
意味っていう風に多分捉えていたんで
なんかその話聞いてと思ったのはえその
コンピューターサイエンスにおける意味
意味論とかセマンティクスってその指示
するものて何なんすかその形式が指示する
ものはあか指示するものとされるものが
あるんだねシニフィアンとシフィがある
そうですねコップっていう今まKあCうん
うんで綴られるま書かれるあれがうんうん
ん違うなCupか
コップコップってあれ俺Kって最初言った
よねバカだと思われてないですよ僕大丈夫
ですよね分あの英語全くできない人だと
思われてる可能性はあります可能性はね
ありまえカカなねコップって書かれるあれ
がこの今目の前に画面で映ってるコップを
刺すんだってこのま運動というかさこのを
そう刺すのだとしてそちら側の
セマンティクスてのがまずえ僕はいのその
音とか文字っていう記号が多分分かんない
けどプリントとかさまもうちょっと抽象的
なレベルかもしれないけど形式があるき
それは分かるんだけど刺すものは何になる
さすものは究極的には機械語だと思うん
ですよえ010101みたいな
コンピューターに読み取れる令あそうてん
のかうんそこを差していると言ってよい
うんはいはいはいはいはいじゃないかなま
も手前のレベルでもあるんですけどねその
アセンブリ言語っていうそのだから01に
なる手前のうんもうちょい原始的な
プログラミング言語みたいなやつそいつを
指示してさらにそいつがまたそのそうだ
信号を指示するていうま階層的な指示構造
によって最終的には0と1の連続にあ対応
してる言っていいんじゃないかなだから
その中間のそのめどくさいことをはって
単純化すると最終的はそのコンピューター
の指示に1対1体をしてる01あそれを
セマンティクスになってるそうだねいい
なあ確定してていいなだ自然言語は確定し
てないんだよね多分ねうんうんしてないし
てないこれは確実にこれになるよねみたい
なやつがないうんですよね本当に意味がえ
世界の何かを支持するっていう見方でいい
んだろうかっていうやっぱ自己批判みたい
なのもあるしはいはいそれでは捉えられ
ない部分もあるんですよそうだよねだって
水野さんが喋ってるものコンパイルしない
もんねえ水野さんが喋ってる声コンパイル
して動き出さないもんねみんなねあでもね
それはいい問題定期で実際その音声言語
ってのい
うんによって解釈するじゃないですかそれ
が最終的に神経基盤的にはそういうレベル
に落ちてる可能性もちろんあるわ
コンピューターと一なんじゃないかとて
いうそれがだから多分そのノイマン的な
発想なのかなとかだと思うんですけど
つまり人工知能的に逆に捉えてみたらどう
だろうかみたいな考え方もあると思うよく
あるよねだからある人と流行ったらあれ
意外と人の脳もそうなんじゃねみたいな話
持ち上がってくることあるよねうんそうま
実際ね外から見てるだけだと本当にその
電気信号レベルに落ちてるしそれ以上の
ことを脳をパカッと開けて様子を見ても
なんか起きてないように思われるから神経
科学者は脳に惹かれてると思うのでその
可能性ももちろんあるんですよねそれ
面白いね水野さんの頭も実はコンパイルし
て同じように最終的なマシン語の01で
いい感じに落ちているってい可能性もある
わけだねうんそうあとね例えば指示対象
だけでえるっていう前立つとめっちゃ困る
のがねメタファーなんすよああ例えてこと
ですか君はバのようだうんてうんそんな気
しちゃうどあ違違違違帰れ帰れ帰れえ俺に
言ったんじゃないの山行け
てめえ山行けてめてなんで今いるし山に
いるかもう山ここ標高1800mあります
からねそうですねでそれとかもさどう
捉えればいいのっていう感じじゃない進化
ギ科っていうさので捉えたらさどうすんの
そのあ君はバラのようだに君はバラのよだ
に対応する事態ってどこにあるんすかああ
あまあでもなんかそれ昨日ゆげコラで話し
たことですけどその真義でいけそうです
けどね本人の中でバラのようだと思ってれ
ばうん真だよなみたいなうんうん感じ
えっとだから堀松さんはじゃあえ一中の
女性に君ってバラのようだねって言った時
ってホモさんのモデルの中ではバラの集合
の中にその人が入っちゃって
るってことですか花だと思ってるですか
それ違いますよね当然よバラのよであるあ
バラのよであるっていう性質があるの
かって言われるとなさそうですも例えば
多分素朴に考えたらえバラが帯びる属性の
集合とその女性が帯びる属性の集合の
えっとなんだっけインターセクションて
なんてうんだえっと石集合はいて考えれば
いいつまりそうですねだからバラの属性の
集合とその女性の持つ属性の集合のま
なんかなんか美しいみたいなことよねバラ
の共通点そうだから
赤いとか美しいとかトがあるとかそういっ
たものがあってでその女性にも美しいとか
背が高いとか髪が黒いとかっていうののま
席を取ってていう風に考えることもできる
被ってるのは美しいだなとかねうんでもま
例えば色々かぶってる部分はあるのでその
うちの例えばさ美しいを優先して取り出す
のはなんでなんだろうとかも元に疑問とし
て出きますよねそうですね例えばバラと
人間どちらも空気が必要ですけど君って
バラのようだねってわれてうん呼吸してる
もんな私て解釈がしないじゃないですかだ
から単純に中合と集合の席を取っただけだ
とあのような意味は出てこないわけじゃ
ないですかうんそうだねでそしてまたイ論
の人たちはそもそも何を意論の対象にす
べきかってこともうん昔までは分かって
なかったからメタファーって実はちょっと
前まで言語学の対象じゃないよそれって
ええそ文学とか修学の対象だからなっ
ちゃったりしていてなるほどつまり
こっち側は何をイ論の対象にすべきかの
時点でもううんもう揉めてる元を分かっ
てるような分野もあるはいあそれはね
プログラミングの世界には絶対ないです超
羨ましいよね学会とか言ってもその議論に
なんないわけでしょそうだね何を持って
プログラミング言語とするんだみたいな
こと言ってる人いないプログラミングの
意味とするのかみたいなのでこの部分はさ
そのプログラミング言語のセマンティク
スって扱うのはちょっとなんかねありじゃ
ないとかないわけでしょそうないすねいい
な喧嘩とかなさそうあどうなんだろうね
論争とかあんの設計レベルではめっちゃ
あると思うようんなんかこのなんだ理論的
な研究者の人たちの間ではさまあでも違う
な何かの分野突き進んだら普通対立はする
かするんじゃないするかでもわかんないね
そういうのもね全然わかんないですね
わかんないよねなんかね読む限りでは結構
ビッグネームやっぱ出てきてうん
ダイクストラがはいコンピューター
サイエンスのビッグネームですね
ダイクストラがこれ提案したとかだから
この発想で捉えるとこの数学的枠組
すっきり行くんじゃないかみたいなで
ちょっとこの記法いまいだなつって改善し
たみたいなうん話が結構出てくるんで
やっぱ多少あるでしょうね学派とかはない
じゃあどうなんだろうね全然わかんないっ
すふさっぱりだいやなんかねやっぱ
ちょっとそう聞いてると俺物価的というか
さ羨ましいが来るよね先にうん自然言語
難しすぎてさうん例えばそのさっきの話の
流れでいくとりんごは赤いはじゃあその
形式的に扱えそうだねってなったとして
これは赤いのこれが現実世界に何に対応
するのかってさ発話したコンテクストに
よるじゃんうんうんそうだね困っちゃうん
だよねこれでねこれなんてさ小学生とか
使ってるわけじゃんうんこれ赤いよとか
言ってるうん超簡単じゃんなのに一流の
研究者たちがこれはやめてこれはやめてっ
てなるわけちょっと面白いですね小学生が
これ赤いよとか言ってるのを見てね言語者
のお父さんはねやめてこれやてその初は
やめてて思ってきねってなるわけでこれは
悩ましいんですよねあ面白いてか大変だね
だからめっちゃ大変すだからさうん僕さ意
論のその勉強した時にさはいはいなんて
こったとうん自然言語出来悪いかもてうん
俺好きだったあれなんかああなんか出来
悪いのかもってあるよねそういう時悲しい
よね昔好きだったアニメ見直したらそんな
に面白くないなこれってなる瞬間ねそう
そうそう特にこの論理学を作るで出てくる
ものってのはま完全に形式的なんですよね
AならばBは高定義しようとかてやるとま
矛盾なく体型が上っていくうん
一緒に体験できるからだ行けてるじゃん
人工言語いいなあ人工言語いいなてそっち
の方がいいすやっぱ思ったんすうんでも
この言語の科学意味読んだらちょっとね胸
がキュンと熱くなるようなね記述に出会い
ましていいじゃないですかちょっと長い
ですけど読み上げましょうかはいはい自然
言語で用いられる分は基本的に言って同一
の形式であってもそれが発話される状況に
応じて異なる内容を表すうんこれあのこの
とかささっきのやつねそうそうそうこれ
赤いねとか言ったにとか堀本さんが僕が
正しくて君が間違ってるっていう時と僕が
言うのって全然味違うじゃん逆になっ
ちゃうじゃんだからさっき言ったように
この同じ形式でも発される状況主で意味
変わっちゃうよねって話があったでこの
特徴は自然言語が記号体型として不完全で
あるということを示しているのではなく
違うそうむしろそれが情報伝達において
効率的な体系であるということ示しああ
そうなんだそっちの方が効率いいんだ
つまり極端なこと言うなら我々目とか耳
あるんすようんなんとうんはいはいはいだ
からこれコミュニケーションに取り込める
コミュニケーションとかこの言語形式に
取り込めるんですよあはいはいああそう
いう話ねつまりこれとかってのは完全に
あるその何かってのを刺すんだっていう
ことを言語体験にそのまま取り込めば
ややこしい定義をしっかりしていかなくて
もファジーな形で使えるシャープで効率的
な形うん体系になっていることの現れなん
ですよ確かにああなんかそれをその目とか
耳とかつまり認知体系がないも用に作られ
た言語を見て完全で定義されてて羨ましい
なって思うのって盗作してるんですようん
そうだねだって自分の方が恵まれてる環境
なわけですもんねそうそうその楽に
コミュニケーション取れるようにねそう
我々はこう普通に生きてるだけで様々な
ものが目に飛び込んできたり耳から入って
きたりして刺激をほとんど無限に受けてる
んですようん僕こないださうん部屋の掃除
しててはいうにあるテーブル動かそうと
思ってうんでこのテーブル動かしたかった
んだけどその上に乗っているあのアロマ
ディフューザーあはいはいアロマの液体
入っててそっからいい匂い出るやつそれ
倒しそうで怖かったからアロマ
ディフューザーのその瓶を机から避けて棚
近くの棚に置いてくださいうんはいていう
意味のことを奥さんに言いたかったんだ
けどそれであのななんか慌てちゃってビ
それって言ったんだよね誰があなたえ
あのあのビそれって言ったらあの何も言わ
ずに避けてくれてうんあ正確に解釈したな
と思って俺の言いたいこと解釈してくれて
ありがとうと思ってこれで伝わったの
すごいなって思ったんすようんうん
うんうんいい話ですよそれマジでそうなん
です今のそういうことでしょその瓶それ
たったらそこから意味を引き出すのって
めっちゃ難しいけど我々が受け取ってる
目線の情報とかそういうの使えばそれだけ
で全部意味分かるよねそうそうそう
そうそうだから最近ね思ったんすよく
プログラマーうんエンジニアの方がなんか
あのスーパーに買い物頼むコペみたいない
あのうんああはいはいはいはいえっと
買い物に行って牛乳を1つ買ってきて卵が
あったら6つ買ってきてうんうんていうの
に対して牛乳を6つ買ってきて6本買って
き
てなんでそんなことするのって聞いたら
だって卵があったからって返したっていう
有名なジクありますよねはいはい本来卵が
あったら卵を6つ買ってきて欲しかったし
牛乳はそもそも買ってきてほしかったこと
ねでも牛乳買ってきて卵があったら6個
買ってきてって言われたからえ卵がある
場合は牛乳も6個買ってくればいいんだ
なって勘違いした話ですねそうねでそれが
多分えプログラミング言語的にはえ条件
分岐みたいなの書くとそのように解釈さ
れるような言い方なんだねきっとそうね
そうねまそう言っていいんじゃないですか
ねうんでそれでそのエンジニアの方がうん
そのなんで伝わらねえんだこれなんで俺が
怒られてんだみたいなでそれに対してその
他のエンジニアの方が分かるみたいな
なんか自然言語が悪くないこれみたいな
こと言って自然言語のもっと正確なううん
初期そういう論言ってましたねそでもその
提案するのってせっかく我々目とか耳から
日や常に主力死中無限のインプットを受け
てるのにそれを全部捨てた言語体系に戻さ
ないって言ってるわけようんそうだね
使える情報を無駄にしてるんだねそう当然
確かにそれによってすれ違いが起きるんだ
けどただそれによって相当に効率的になっ
てるってメリット捨てるのかていうことを
この今回意味の勉強したに真っに思ったん
うんうんうんうんだから最初なんか自然
言語出来悪いな日本語も出来悪いんじゃ
ねって最近ちょっと思い始めてたんです
けどだいぶ過激派でしたけどねそう逆に一
周回って違うわと俺らが持ってるこの体と
いう特性をフルに使った結果がこれだった
だめちゃくちゃそうだわめちゃくちゃそう
だっって使わないの損だもんねそうなんだ
よそうせっかくそんだけさ使える情報が
あるんだからそう使わないと大さ共通し
てるじゃないどの人でもその使うパースと
かはねしてるからそれ使わないのって
すっごいもったいないわそうだよだからさ
推理もとかでさもうめちゃくちゃいろんな
状況から推理するわけじゃないですか
タバコについてる指紋がとか火がついてい
たっていうことは直前まで被害者を生きて
いてタバコを吸っていたんだみたいなやつ
とかを推理するのが楽しいのが推理もなん
だけど自然言語出き悪いなっていう人の話
からするともう最初から犯人は田です
みたいなのを書いておかないと曖昧だろう
てぶち切れてるのと一緒ですねそうそう
そういやま全然違うくね今の全然違うく
そうそうそうじゃないよ全勢いで押し関係
うん全然関係なかったですねままあでも
使える情報がいっぱいあるなら使った方が
いいっていういい例えは皆さんよろしくお
願いしますなんかいいのは思いつくと思う
置いといて
もだからさそのプログラマーの方が自然
言語に対して不満を表明するじゃないです
かうんよしてますよねこんな曖昧な言葉は
みたいなねそうそうそうそうそうでそれに
対して自然言語を擁護する人の論法って
うんうんいやそのに定義されたよう書き方
みたいなのてなんか感じないし人間性が
ないしなんか何でもかんでも言葉にするの
怖いみたいなそうだね言外の意図に価値
あるだろうみたいなね奥ゆかしさが大切
じゃんみたいなこと言いがちかもしれない
よく見るしでそれをまたそのプログラムの
方はその論証ってあんまりささらないじゃ
ないそうだねくらねえなこいつら奥ゆかし
さなんていらねえよみたいなね正確性と
パフォーマンスが全てだろうって言うじゃ
ないですかだったら多分彼らに本当に響く
のはえじゃあ目とか耳っていう毎日既に
作動してて無限のインプットを受け続ける
期間のメリットを捨てて非効率な体験に
戻したいんですかていえばだなと思っめ
それねエンジニア回心します一撃でほんま
ですか回してか俺回心するしそれ言われ
たらおっしゃる通りでございますてなる
自然言万歳ってなりますわそうなんですよ
しあのねもっと多分定量的にも説得できて
はいはい自然言語って達効率が
めちゃくちゃいいわけですようんうんごく
少ないシンボルその口から発せられた音で
意味を伝達できるでそれはその背景情報と
か色々あるから伝えなくていいものがある
わけだよねこの本プログラミング言語の
形式的論入門取ってって署名で毎回言う
必要はなくてそれとってでいいっていうだ
からこれをそれにしたいでしょとこの長い
署名を言うんじゃなくてそれにしたいよね
ていうことってプログラマーが常に考え
てることなんですよ短くしたいなと名前を
書かなくていいように短い変数をつけて
変数名をつけて今後はこれで呼び出せる
ようにするみたいなのっていつもやってる
ことだからお前がやってることてわざわざ
全部長い文字列リテラルを挿入していて
変数目つければ解決するもの全部文字列で
べた書きしてるのと一緒ですけどそれで
いいんですか完璧です完璧息が続く
ギリギリねいいんです
かおすなよ俺のギリギリブレスバレない
ぐらいのギリギリで言ったんだから
てえいなて思いましたけれもそうですよね
そうそうそうこれ言えばもう一撃で回心し
ますみんなそうなんですよだからそっちの
方向で論証すればま向こうのフィールド
ですしねそれは伝達効率とかって意味では
だその論証に訴えればあのいいんじゃない
かなっていうのをちょっと今回勉強した時
に思いましたね本当だわ符号化としても
極めて効率悪いですからね伝えなくていい
情報をわざわざ織り込んで伝えなきゃいけ
ないってめちゃくちゃ効率悪いんでこれは
ねあ全エンジニアに刺さるわあ本当ですか
全エンジニアの関心じなんですよ結局効率
かうんうん100のものを10で伝え
られるんだったら10にしようぜていうの
多分みんな気にしてることだからこれはね
全員にさりますそ口をね例えばこのとか
いうよりも目線の方がおそらくエネルギー
がつらないはずなんですねだま例えばです
よすごい極端なレはうん取って堀本さんと
か取ってっていう大きい声で注意を引いた
後に目線をこうその方に持っていけばそれ
だけで何取ってほしいかってわかるじゃな
てなるうんから目線とかめっちゃコスパ
いいんすよ本当はうんそうだね目線コスパ
いいな目線コスパ目線コスパいいあってん
だよなあってるよねあってるあってる目線
めっちゃコスパいそうですよねでも口を
使ってえっと灰からの球気流を妨げてとか
下を動かしてとかやるよりも全然いい
わだからあのこういういろんな感覚を使っ
たコミュニケーションてマルチモーダルっ
て言いますけどマルチモーダルの
コミュニケーションよりもそのしっかり
こう形式化して書いた方がいいっていう
ってエネルギー効率もうん悪い悪いそう
いう思想の方々が地球なんかを推進して
しまっているんですそんなことないよどう
いうロシだった今エネルギー効率が悪い
わけでしょエネルギー化石燃料使うんです
かまだて話ですよそれ確かにエネルギー
効率悪いってひてはそういうことだね化石
燃料無駄に燃やしてしまうわけだから地球
促進しているコな生活しましょうだ自然
言語いいだなって言ってるやつのせいで
地球中か起きているそうなんです本当に
もう弊害と言ってよろしいかだから次から
言語ってちょっと効率悪いよねって言っ
てる人見かけたらお前のせいでSS目標が
達成できないんだ17のゴールがざって
いくんだてぶち切れたらいいですっていう
のを今水野さん推奨してましたよね間違い
なくしてないですしてなかったですごめん
なさい僕してなかったですそんなこと一
そうですねあの理がゼロでしたはいすい
ませ
んまただただ自然言語効率悪いよねって
言ってるエンジニアへの説得方法としては
ね非常に優れてると思うんでどれぐらいの
方がエンジニアがね聞いてる率って高いて
聞くのでどれぐらいがあのこれで刺さった
のかってのは是非教えていただきたいです
ね説得されたんじゃないですかねこれ皆
さんねはいまもちろんねそのえっと
スーパーの発話ってのは確かにえっと曖昧
なんですけどそれはどちらかっていうと
構造的多性っていうようなその文章の構造
が2義とか3義に取れてしまうよって
ところが問題なのでうんスーパーの発話あ
あとスーパーの発ってあのスーパーにお
買い物を頼んだあの最初の
そうやつはあのま構造的な性があるわけで
これね1個ね解決方法ねだからこれあるん
ですよあこの多性を取り除けますかそう
あの確認すればいいんですよ
脱せ分かるよそんなこと言われなくてもそ
確認しのなつってね思いましたもねほんと
ね確かにね夫これ気づいて欲しいですよね
変な指示だな牛乳6本もいるかてなっあ
そうすね卵6かあちゃ牛乳6か
牛乳6本やばいね6L牛乳飲まなきゃいけ
ないですからねそうそうそう結構お腹壊し
ちゃいますね常識と照らし合わせるとさ卵
があった場合にさ牛乳を6個買うことの不
常理さってさ分からんもんかねまなんか
そういうジョークだよねこれねそうだよね
あそうだ実際にいたって話じゃないもんね
あ良かったよかったそうあ想像したら
面白くなってきましたねあ卵あるよし牛乳
めそうはならん
やろあこれね変な人ですよね
卵コーナだけ目視してねギに向かって帰る
変な人だ
よまそんなわけではい本日はね意論勉強し
てねちょっと7時間40分ほど無駄にし
ましたけれどもうんいいんですよでもで
非常にね外観できたいい学びになったなと
思いましたねはいはいいや僕も同じでさ実
はこのえっと意味を読んだ時にうん頻発
するのが術語論理はいはいはいおプロログ
じゃんあちょっとわかんないですけど
プロロでするや喋ってるで今はいはいはい
で術語論理についてあんまりこの本に説明
がなかったから一応個人的に調べると名大
論理を発展させたやつって書いてますうん
ああなんかそうだった気するわなった気
する大学でそうで名題論理について理解し
たいと論理学を勉強しなきゃいけない
らしくて結局論理やらいそう意論を
突き進んだ結果論理学が俺に足りてねえ
から理解できないんだってなったんですあ
外観できてるじゃんちゃんとそうだから
えっとねその意味で言ったらちょっと僕
無駄にした部分あって分かんなすぎて
飛ばした分あったけどはい論理学の方が
終わってないからだってこと分かったから
実は僕もちょっと無駄してますこれ必要な
時間だよねだからなんかやいなやってあ俺
にこれ足りないんだって気づかないといけ
ないですからねそうまCていうならばえ
懸命なえ今のこの番組を聞いてる大学生
書見においてはあの近くにいる教授に聞て
すぐてくれるんであの教授の言こと聞く
だけでいいんですけれどもえその社会に
放たれたやつらはあのわかんないよ7時間
半無しちゃうんで大学フルに使いましょう
ねこれは脳に放たれるとね脳をかけにもら
なきゃいけないからね
そうですよねまそんなわけでねあの大学の
唐さについても分かる非常に優れた
コンテンツになったと思いますんで本当
ですよねわざわざね温泉旅館までてね大学
で良かったなって思って帰る改めて思い
ましたね温泉より大学の方が良かったです
もんそうそうだ結局今これやってること
自体が大学でやれたことだったしでこの
勉強した結果ここの勉強必要だたなった
のって大学でやれることじゃないですそう
ですねあのこれまでの人生が虚しくなって
くやましょそんな話やればやると悲しく
なってくるんそうなですよねこれ大学の
解雇感ですはい全てが今日はおい俺たちの
コンテンツ大学の介護感っていうのやめろ
よ悲しすぎるよそんなそうですねまそんな
わけでねあの皆さんも面白かった方は是非
チャンネル登録高評価感想のコメントとか
ですねあのくれぐれも大学の方がいいって
いうコメントしないようにしていただいて
悲しい気持ちになりますんでま思ったこと
皆さんもねコメントしていただければと
これ結構面白い色になったんじゃないかな
自然言語プログラミング言語より優れてる
んじゃないか話とかね色々言いたい
エンジニアの方とかいらっしゃると思い
ますんでそうですね確かに反対意見もねあ
僕別にその強行にそう思ってるってよりは
僕に視点が足りなければ教えてほしいから
ぜひぜひ教えてください思こと書いて
いただけると思いますのでよろしくお願い
しますはいというわけで今回ももにし
ましょうありがとうございました
ありがとうございまし
[音楽]
たDET
Voir Plus de Vidéos Connexes
5.0 / 5 (0 votes)