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