【大いなる罠】プログラミング言語の意味論を勉強したら7時間がムダになった

Рет қаралды 70,540

Күн бұрын

プログラミング言語の意味論の勉強をしたら7時間がムダになりました。「自作プログラミング言語に憧れる」「意味論なのに意味論じゃなかった」「自然言語は本当に出来が悪い？」など、意味論について勉強した成果を話しました。
【目次】
0:00 引き続き温泉旅館からお届け
4:05 自作プログラミング言語に憧れる
10:00 7時間40分がムダになった真相
14:43 山に登り、意味論の景色を見た
26:28 言語学が定義する意味はどこまで？
34:56 自然言語は本当に出来が悪いのか？
47:33 大学生は勉強しよう
【参考文献】
◯プログラミング言語の形式的意味論
amzn.to/3R4TIiQ
◯型理論
amzn.to/3KugmNT
◯新装版プログラミング言語の基礎理論
amzn.to/3wYdhTj
◯論理学をつくる
amzn.to/4bHFlJB
◯チューリングを読むコンピュータサイエンスの金字塔を楽しもう
amzn.to/4bx0arf
◯形式意味論入門
amzn.to/4c129E8
【サポーターコミュニティへの加入はこちらから！】
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 )
#意味論 #ゆるコンピュータ科学ラジオ_意味論発表会

Пікірлер: 363

@yurucom Ай бұрын

【参考文献】 ◯プログラミング言語の形式的意味論 amzn.to/3R4TIiQ ◯型理論 amzn.to/3KugmNT ◯新装版プログラミング言語の基礎理論 amzn.to/3wYdhTj ◯論理学をつくる amzn.to/4bHFlJB ◯チューリングを読むコンピュータサイエンスの金字塔を楽しもう amzn.to/4bx0arf ◯形式意味論入門 amzn.to/4c129E8 【サポーターコミュニティへの加入はこちらから！】 yurugengo.com/support 【おたよりフォーム】 forms.gle/BLEZpLcdEPmoZTH4A ※皆様からの楽しいおたよりをお待ちしています！

@Sinker_1987 Ай бұрын

ゆる言語学ラジオとのコラボ、いつか見たかったから嬉しい！お二人なら気が合いそうだと前から思っていました！

@chicha5358 Ай бұрын

二人の中の「ゆる言語学ラジオ人格」と「ゆるコンピューター科学ラジオ人格」がうまく統合できたんですね

@HitYoutube Ай бұрын

座る席の位置を入れ替えれば、斬新さが出たのにね。

@user-uc7nk4wb8u Ай бұрын

お二人をみていると、大学出てからも独学で頑張れるんだなぁと勇気が出ます。

@kaz-jn7ro Ай бұрын

学部と院でプログラミング言語の意味論やってました。表示的意味論に対する期待と誤解は(誤解の仕方は違えど)結構あるあるな気がします

@lareseng Ай бұрын

自然言語による対話は、目や耳などのマルチモーダルな「誤り訂正」が働くが、チャットなどの文章形式ではそれがないために、口語をそのまま記述すると食い違いが起きやすいのかも　と思った。

@to458 Ай бұрын

対面コミュニケーション：文意＋声色＋目線・ジェスチャー等電話コミュニケーション：文意＋声色文章コミュニケーション：文意のみより正確なコミュニケーションが必要な場面（交渉、契約とか）でネットの時代でも対面が好まれるのは誤り訂正のデータ量が多いからですね。

@lonestar930 Ай бұрын

自然言語は誤り訂正機能を積極的に使った圧縮機ですね

@user-uu4nf3vj5k Ай бұрын

能動的推論ってやつですかね

@nanameki5841 Ай бұрын

めっちゃ刺さった．．自然言語曖昧だし数学やコンピュータの言葉の方が厳密で素晴らしいと思っていたけど，効率性に焦点を当てたとき自然言語は身振り手振りや話口調など情報量が多い分優れているのか．咀嚼するために何回もこの動画みることになりそう

@sakaisakasakasu Ай бұрын

水野さん頭良いなぁって思った回。もやっとしてる事を言語化してくれて助かる。前から思ってたけど、水野さんは理系っぽい文系で、堀元さんは文系っぽい理系だよね。

@paalon3303 Ай бұрын

理系でコンピュータ科学にも言語学にも興味あるけど、ここまで文系っぽくなれないからすごいと思う。

@ken7100 Ай бұрын

めっちゃ同意ですわ

@HitYoutube Ай бұрын

水野さんは厳格な文系、堀元さんはいいかげんな理系。だったりして。

@ssusp Ай бұрын

なお理科

@立風tachikaz Ай бұрын

ちょうど琉球にいて日本に布教しようと思って琉球語を頑張って勉強したけど肝心の日本では通じなくて悲しかった宣教師の話を思い出しました。プログラミング言語を作ろうと思ったからとりあえず言語学勉強するのと同じ現象ですかね。

@gnwf47 Ай бұрын

確か、Bettelheimかその前に来たフランス人（名前不明）ですよね？

@hydadesign2490 Ай бұрын

この動画を見ている理由がエネルギー効率だとわかった。活字を追わなくてもエッセンスを味わえるからか。

@shibamuraayumi Ай бұрын

大学に行くためには金とまとまった時間が必要なので、そのコストを下げられる「大学の下位互換」は胸を張ってよいと思います。

@jyomu__ Ай бұрын

プログラミング言語が一意性を重要視する一方で、自然言語は意味を確率分布として扱うことで正確性を犠牲にして効率を上げているように思う。大規模言語モデルが確率分布による予測を最大化することによって文を認識生成できるようになったのは、「卵があるときに牛乳を6本買う」ことの不条理さ（確率の低さ）を学習できるようになったからなんじゃないかなぁ

@8yazaki Ай бұрын

自然言語のが優れているという理由がとても刺さりました。日本語では「目で語る」や「目が笑っていない」という感じで目もコミュニケーションの要素になっていてそれらを含めて言語があるのかなと感じました。

@kamodomon0913 Ай бұрын

コミュニケーションの7割はボディーランゲージという研究結果もありますからね。言語はコミュニケーションの一部でしかないと。 7割という数字が妥当かどうかはともかく、状況や発話の仕方によって意味がまったく変わってしまうことがあるのが自然言語ですよね。

@HANEKAWAhaorenoyome Ай бұрын

そうだよなー、そもそも言語って文章にするためのものじゃないもんね。会話のためのものなのだから、文章に起こした際に欠陥があるように感じてしまうのは当然だよね。

@Fnak202 Ай бұрын

聾者の知り合いに教わった手話の便利な使い方。例えば「私には兄と弟がいます」という会話で、兄と弟の手話をそれぞれ異なる位置で行っておけば、その後の会話では、それぞれの位置で「彼」という手話を行うだけで兄と弟を言い分けられるそうです。

@user-eh5dc5nx5q Ай бұрын

関係ないけど、手話で、南は暑いとか豆腐のケーキとか伝えたいときどうするのか気になる

@Fnak202 Ай бұрын

@@user-eh5dc5nx5q 基本的に手話には助詞がないので、日本語の語順通りに手話を並べれば通じると思います。 ◎南は暑い ⇒ 南＋暑い ◎豆腐のケーキ ⇒ 豆腐＋ケーキ「豆腐とケーキ」と誤解されないように、間に ”の” の指文字を入れた方がよいかもしれません。

@petrolbug Ай бұрын

水野さんの的確すぎる褒めよ…

@clinic50 Ай бұрын

発達障害持ってたりすると、「部屋の電気つけて」という指示に対して「僕工事の人じゃないから電気はつけられない」と返事する子なんかもいますよね。そういった子は、牛乳6つ買ってきたりする気がします。

@術中hack Ай бұрын

地元の路線バスに「エンジンカッター稼働中」という掲示があります

@miomio-zw4zb Ай бұрын

まさに発達障害のことを思い浮かべながら聞いていました。よく空気が読めないと揶揄されますが、目線や表情や声色の役割を理屈立てて学んで行けばコミュニケーションの不得手さが軽減するのでは？とふと思いました。そういう方向の療育とか面白そうです。

@NT-zf8dx Ай бұрын

バスや路面電車は運転手の視覚に頼って居るので、人の飛び出しに気付いて急ブレーキをかけても、その人が居なくなれば加速して運行を続けられる。対してJRは踏切に人が侵入して非常信号が点いた場合、先ず非常ブレーキで停止して指令に連絡し踏切の安全確認が取れたらようやく出発する。前者は自然言語的で効率は良いけど事故を防ぎきるシステムにはなっていない。後者はシステマチックに安全を保証してるけど時間も手間もエネルギーもかかる。中間が京急で踏切に人が入ったらとりあえず非常ブレーキかけるけど、人が出たら徐行で通過して再加速してる。そうしないとJRに勝てないから。

@r0ziscard Ай бұрын

本題と全く関係ないです、すみません→　動画の途中で出てきた卵と牛乳の話を、最後の方で再度具体的に想像して笑っていたので、最初にこの話が出た時点では具体的に想像していなかったということがわかり、少し驚きました。この話になった時、スーツ姿の男性が帰宅し、牛乳を6本奥さんに渡している映像などが自動的に浮かぶわけではなさそうと感じました。自分の場合は勝手に映像が流れたり、各場面の画像が次々に表示されたりします。自分がどんくさい理由がわかったかもしれません。（だとするとかなりの衝撃です。）人の脳内の現象が少し垣間見れた気がして、非常に興味深かったです。いつもありがとうございます。（少し前にゆる言語学ラジオでビジュアルシンカーのお話がありました）

@kamodomon0913 Ай бұрын

ビジュアルを想像していなかった立場でいうと、登場人物の旦那さんを典型的なステレオタイプとしてエンジニア、家事の知識は無い、買い物もしたことが無い、自分の理論に疑問を持たない、コミュニケーション力不足と考えました。奥さんの方はちょっとぶっきらぼうな話し方をする良い意味で旦那さんに遠慮のない人柄と想像しました。自分は他人が何を考えているか、どういう行動をする人間かを考えるような生活を送ってきたために見た目より人間性を理解しようとする癖があるのだと思います。これは人を見た目で判断しないとか崇高な事を言っているのではなく、他人が何を考えているかビクビクしながら生きているという情けない話です。人の性質も絡んでくる話だと思いました。

@r0ziscard Ай бұрын

@@kamodomon0913 ビジュアルを想像せずにそこまで詳細な情報をどうやって推測するのか、全く想像がつきません…またも驚かされました…！個人差が大きいのかなんなのか…奥が深そうです… コメントありがとうございました!

@mudaso-heavy-user Ай бұрын

楽しみに待ってました

@tsuyuki007 Ай бұрын

ぼくも！

@術中hack Ай бұрын

たのまち！

@california_ytani Ай бұрын

おれも！

@user-xo1ie3ui3j Ай бұрын

わたしも！

@Pepe-dn4od Ай бұрын

奇遇ですね、僕もです🍻

@norikatsutube Ай бұрын

自然言語の効率の良さ改心しました

@user-cp5wn2iu7z Ай бұрын

今回の話を聞いて、ロボットが「それ取って」という言葉を正しく判定できる未来が見えてきている気がしました。視覚=カメラと聴覚=マイクがあり、相手の目線の向きを判断し、目線の先にある物体を確率的に選択すれば「それ」の正体がわかる… なんかできそうですね

@dhmo1529 Ай бұрын

物体の認識はすでに画像認識が人間超えしてる目線の動きや音声もかなり高精度で判定できてる手の動きは画像認識の応用でなんとかなるはずだとすればロボットに足りないのは物を実際に動かす機構の方じゃないか?

@kamodomon0913 Ай бұрын

「それ取って」は視界に入るものなので万人が対応できる可能性が高いのでロボットにも可能ですね。逆に人間でも出来ないのが「鍵取って」です。それを言った人のことを知らなければ対応できません。お姉ちゃんなら車のキューブの鍵でお父さんならレクサスの鍵でお母さんなら自転車のカギでおじいちゃんなら電動カートの鍵なんですから。しかも家庭によってどの鍵か変わってきます。自然言語の理解は過去の膨大な情報の蓄積が必要なので簡単には出来なさそうです。

@HitYoutube Ай бұрын

発信側は目線を使えば発話エネルギーが節約できるかもしれないけれど受信側は目線を画像処理するのは音声で受け取るよりエネルギーがかかるのではないかな。例えば手話を爆速で表示したら話しているより早く伝達できるのだろうか。

@nepier Ай бұрын

牛乳を6本を買う側の人間ですが、普遍的な認知の積集合が取れていない＝信頼できないから相手の認知があるであろうところまで集合を広げた結果、 6本必要だった可能性を考慮し、選択肢に入れるという感性です。いつも話すときに、相手がどういう認知を使っているのかを探り相手が持つ目や耳や記憶などの情報がどこまで自分の認知と合っているかを推測するなど、コミュニケーションコストがものすごく高いため、認知合わせのコストを支払うよりかは冗長的な余計な文字列を加えて非効率な体系であってもコストが低いので、解釈が一意である言語を使いたがるのだと自分で思います。「確認すればいい」は、そう。ただし、確認により新たな誤解が発生することを除く。

@術中hack Ай бұрын

もう完全に俺

@miomio-zw4zb Ай бұрын

ある種多様性を尊重していると言えるのかも。牛乳が6本必要なこともあるのだろう、と。こういう指示を素直に受け取るタイプは、もしかしたら偏見や差別とは遠い存在なのかもしれない。

@user-cq1mh5fn1l Ай бұрын

そうか。プログラマー的な人はコミュニケーションのコストが高いと感じる人達が多いのか。たしかに一般的なステレオタイプでみると、プログラマーってコミュニケーション能力に問題がある人ってイメージだもんな

@average6341 Ай бұрын

chatgptが革命的なのは自然言語でコンピュータに指示できるところですよね誤字があっても、文脈が少し曖昧でも良い厳密すぎないところが自然言語の良さなんだなと思いました

@user-zn5yx3rh2b Ай бұрын

大いなる学習には、大いなる罠が伴う。(『誤解だーマン』より引用)

@kyoh86 Ай бұрын

究極の出展出さないと画面左側の人に刺されますよ

@Johannes--evangelium736 Ай бұрын

親愛なる隣人さん。

@user-dm1uc9bz6i Ай бұрын

ポーカーと麻雀はよく似たゲームだが、戦略の研究の方向性が結構違う。ポーカーは麻雀よりパターンが少ないから、全パターンをゲーム理論的に計算したり深い所まで追求できる。水野さんよく、形式言語は曖昧さが無いから羨ましいって言ってるけど、構造が似てるかも？形式言語は曖昧さみたいな複雑な事を考えなくて良いから深い所まで考えれる。

@metboos506 Ай бұрын

46:34　ケアレスミス防止や労働安全衛生に通じる人道的思考　とおもたお　これぞゆる★ラジオ節　素晴らしい

@alice_and_apple1357 Ай бұрын

面白かったです！自然言語は出来が悪いんじゃない、人間の特性に合わせた効率的なものというのは納得させられました。ただ、それを考え始めると、言語学の学問の範囲が難しそうだなと思いました。人間の知覚できるもの全部が対象なのでしょうか…

@mutoi1 Ай бұрын

37:25 機械言語が完全で羨ましいって思うのは、歩き疲れた人が車いすの人を見て車輪で移動するのは無駄が無くて羨ましいって思うのに似ている。平地の移動なら確かに完璧かもしれないが、階段や障害物を乗り越えたり坂道の踏破は絶対足の方が便利だし小石を蹴っ飛ばしたり、泳いだりすることは車いすには出来ない。多機能すぎてメインの機能に不便が出てるけど単純で完璧なものとどっちが良いかは断言できない

@mk.2583 Ай бұрын

40:00　目や耳は減価償却が終わってますから使えば使うほどお得ですもんね！

@user-hk2dn5gw1m Ай бұрын

叡智なトンネルが開通するの待ってます

@user-ht6rh7nu2y Ай бұрын

プログラミング言語の目指すところは曖昧性を排除した恒久的な完全性のように思われる。しかしながら自然言語は変化を許容するような曖昧さを許容するシステムにあたると思う。そういった意味で、プログラミング言語と自然言語はそもそもの目指すところが違うのだと思う。

@midoriakibao8726 Ай бұрын

「それ」のほうが効率がいい場合もあるし悪い場合もあって、一概には言えないっていうのが自分の考えです「それ」が指示しているもの、ことの認識がお互いおおむね一致している場合は自然言語は圧倒的に高効率だと思いますが、齟齬が大きい場合には「これ？」「じゃなくて～」「じゃあこっち？」「そっちのほうでもなくて～」みたいな無駄な訂正手続きが必要になってしまいますそういった可能性があるということを考慮すると、保険込みで最初から「『プログラミング言語の形式的意味論』ってタイトルの本取って」って言っておいたほうが低コストな場合もあるかなと訂正がきかないシーンなどでは後者のほうが圧倒的に低コストですしね

@user-kv6yl7cr7o Ай бұрын

今回の裏ボスは戸田山和久先生

@jun7733 Ай бұрын

人間には体がある、のくだりでそういえばそうじゃん！ってなりました。すごいハッとしたというか

@tamarind_kingdom Ай бұрын

堀元さん、最強の関数型言語を作りたいのかなと思ってたら違った

@user-qk7pv8dp5m Ай бұрын

TAPL読んで意味わかんなかったからやってほしい

@gnwf47 Ай бұрын

ホリ活（「堀元」を「堀本」と書くコメントを眺める活動）をしていて辿り着いた仮説（あるある）。意味（ここでは内容）に集中してコメントすると、堀元か堀本かはどうでもよくなって堀本になりがち。

@術中hack Ай бұрын

本質本！

@nobsun314 Ай бұрын

(42:40) 「それ取って」という短い記号列で伝わるには「それ」が指すものは何かという、文脈があらかじめ共有されているからでしょう。文脈が共有されていない場合は、文脈を含めて記号列にエンコードして伝達する必要があります。これはプログラミング言語でも自然言語でも同じはないでしょうか。

@Summer_Kun Ай бұрын

大学で命題論理と述語論理は勉強してて、言語学もやりつつ、プログラミングを最近勉強している人間にブッ刺さる2回でした。

@user-jb7kp3ox4u Ай бұрын

ロボットを作るとき、コードを長々と書いて何とか目的を実行させようとするよりも、センサーを一つ追加するだけで物凄く楽に実現できるって感じかなと思いました。今後、AIへの命令を作るときには文字や画像だけでなく、命令者の声の調子や表情・目線は勿論のこと、気温や服装も標準の入力対象になるのかも。

@user-ge9ph4tu4r Ай бұрын

指示名詞とか代名詞はポインタだよね

@user-zs9mh3ci3k Ай бұрын

😊曖昧さによって😊言語の処理速度を上げる

@plasoto Ай бұрын

プログラミングにおいて「”これ”はやめて」に相当するのは「"var"はやめて」かも。もっとも人様が書いたものをパクろうとしたときに思うのだが。

@user-fg4fs8ix8s Ай бұрын

自然言語は指示の対象が曖昧なままでも指示できて、受けても曖昧な理解のままでも応答できるので、お互いに終始曖昧なままでもやり取りできるという利点がありますね

@user-ij2fm3rq1x Ай бұрын

群論まじで楽しいからホリモティ勉強してくれないかなぁ

@ofoneDyag Ай бұрын

「君はバラのようだ」についてはラッパー関数なんじゃないかな。 python風に描くとこんな感じ def like_rose(you): return is_beautiful(you) バラのようだ関数の内部で美しい関数を呼び出している。或いは、バラのようだ関数は美しい関数のエイリアスになっている。 C言語のマクロ関数みたいな感じで。 #define LIKE_ROSE(you) is_beautiful(you)

@術中hack Ай бұрын

からの、変数 you を定義したクラス・オブジェクトの設計・実装仕様って何なんだろう? って議論だと思った

@boak6875 Ай бұрын

プログラミング言語と一般言語の一番の違いは、前者は全て命令文ってことでは？

@user-dm1uc9bz6i Ай бұрын

呼吸云々に関する問題は、集合の解釈をちょこっとこねくり回せば解決できそう。呼吸の例って要するに「"パラ"と"その女性"の属性の共通集合が "生物"の属性との共通集合にもなってるから、この例えはおかしい」って事だから、他の任意の単語との共通集合も考えてどうのこうのみたいな。

@user-vp9wp8bo3o Ай бұрын

ちょうどアセンブリをやっているので非常に面白く聞けました。

@secretperopero Ай бұрын

東北のジジイの「けつあつ！」も、めちゃめちゃ合理的なのか

@slmngtms8080 Ай бұрын

集合の重なる部分で優先的に取り出すものは、当人にとっての価値の重みなのではないでしょうか？

@Zennin2007 Ай бұрын

自然言語は本当に出来が悪いのかの話ですが、「これ」というのはプログラミングでいうポリモーフィズムに相当するのではないでしょうか。逆の言い方をすると、プログラミング言語も自然言語的曖昧さを取り入れようとしているのではないでしょうか。

@vonneumann6161 Ай бұрын

ポリモーフィズムもそうですし、 JavaScript の this とかもそんな感じですね

@user-dm1uc9bz6i Ай бұрын

@@vonneumann6161 thisとかselfとかオブジェクト指向言語には大体そうゆうのあるな

@user-ii8yf9uh3e Ай бұрын

自然言語がプログラミング言語と比べて不完全なのではなく、むしろリアルの情報を使って伝達するから効率的この部分、非常に感銘を受けたんですけど一方で「じゃあ目や耳の情報を取り入れる事を初めから念頭に置いた上で、完全性の担保された言語体系を作れば良くない？」とも思いました

@lat.s Ай бұрын

表示的意味論の例えは、Option型（HaskellではMaybe型）が1+A (=A⊔{⊥}) に対応するみたいなところが単純な例な気がします。

@hykathon Ай бұрын

35:49 プログラミング言語においても文脈(context)は同じ文で違う解釈を導き出せるようにするための周囲の状態のことですね。同じプログラム片の再利用性が高まります。コンパイラを作るところから始めると、多態性(polymorphism)の実装などの段階で出てくるのでしょうか。

@nyako2926 Ай бұрын

自然言語、規格としてスループットが高いという着眼点は素晴らしい。でも場面によってはパケロスの多さが気になるかなという印象。

@CursedGear Ай бұрын

漫画ヒロアカのセリフで与えられたものと努力して得たものは本質が違うみたいなセリフがあるが、今回の無駄にしたと言っていた時間は実際は大学では与えられたものにしかならない知識を自力で得たものとしてストックできたという事なので書くしステータス上ではめちゃくちゃ意味がありそう

@motosk9333 Ай бұрын

ものすごいインテリな漫才見てるみたいでオモロいw

@mug1e Ай бұрын

コミュニケーションにおいては自然言語が効率いいんだけど、品質保証の話になった途端に辛くなる

@user-fv1jg9di9f Ай бұрын

驚くほど学びが多い回でした。そして否応なく色々と考えさせられました。あれ、でも水野さんって考え事をしないんっだっけ？こう言う脳に刺激を受けるようなコンテンツを見た時、考え事をせずにどうやって情報処理をしてるんだろう。

@spike2.tracker Ай бұрын

水野さんのゆるコンにおけるAPIとしての性能が爆上がりはしたと思う。

@johndoe-gy7jq Ай бұрын

表示的意味論が、セマンティクス配下にあって、操作的意味論が、シンタックス配下にあるというのはちょっと違うのでは？操作的意味論とはシンタックスの意味を操作的に定義するということなので。操作っていうのは、ある項を次の項へステップ単位で移動させることを表している。それらの操作を定義すること = 意味を定義することとして、(操作的)意味論と呼んでいる。まさに、水野さんが話してる言語学の意味と対応してる

@akinaka7543 Ай бұрын

42:20 やっぱり「ムード盛り上がりを自動的にhtmlタグに反映するテキストエディタ」欲しいです。(ドラえもんのムード盛り上げ楽団のオマージュのつもり…)

@sentuli Ай бұрын

次は圏論ですね！！

@user-zs9mh3ci3k Ай бұрын

😊素敵な奥さん

@nazo_no_message Ай бұрын

おーコラボ回！

@espilab2 Ай бұрын

自然言語は身体性を併用してるから効率がいい…面白いですね。ロボットを開発するとき頭脳が高度でなくても、昆虫レベルでも環境とインタラクションするから大丈夫、みたいな話に似てると思ったりしました。

@hamburger-on-SG 29 күн бұрын

自然言語が効率的な情報伝達手段というのは納得できる話ではありましたが、一方で、補完する感覚的な情報というのは個人差があるのでそれが誤解や諍いの元になりやすいとも思いました。情報伝達における誤解をなくそうとするとやはり言語(文語)的な手段に創意工夫を凝らす必要があるのだろうと。普段から同じ文脈を共有している相手であれば良いのですが…。

@user-zh8gl8ib5q Ай бұрын

わかんねぇー！！！！でもおもしれぇーー！！！ってなってる

@mos399 Ай бұрын

47:01 効率という視点が入ってくるとコンパイラやリンカだけでなくオプティマイザの出番ですねとても気が利くので、変数スコープを始めとするもろもろを意識して翻訳前後で添削します例えば i=0 を実行する場合＿コンテキストによって＿は、素朴に『メモリに保存された0を読み出してiに代入』するのではなく『iの排他的論理和』を計算します「人間が0欲しがってんだけどメモリアクセスは面倒だから、同値でxorとって渡してあげて」といったぐあいです

@koi506 Ай бұрын

五感のI/Oを実装できるハードがあれば自然言語に比肩するプログラミング言語は可能なのかな。でも人間関係とか抽象概念の導入も必要な気がしてきた。沈黙も一義じゃないし。

@furou2430 Ай бұрын

視覚や聴覚があるから自然言語は不完全(ファジー)であるというのはかなり納得感ありました！

@user-uf5qg4ik5j Ай бұрын

フォン=ノイマンが、「ゲーテル博士への賛辞」と題して一般講演で、「ゲーテルは、ある数学の定理で、現在までに受け入れられている数学の厳密な手段を用いて、それを証明することも否定することも出来ないものがある事を証明した、最初の人であります。言い換えれば、彼は決定不可能な数学的命題の存在を証明したのです。」

@masuo64 Ай бұрын

@@user-uf5qg4ik5j ？？ゲーデルの不完全性定理は或る種の数学的公理系（平たくいうと一部の人工言語）が持つ性質のことであって、自然言語は関係なくないですか？あとここでいう「完全」は「或る命題Pについて、"Pである"または"Pではない"のいずれかが必ず真、かつ、もう片方が偽になる」性質のことであって、これは「排中律をどの程度採用するか」とほとんど一緒だと思います（自信なし）。最初のコメントの人は「真理値を何種類おける事にするか」という話です。形式論理で一番メジャーな古典論理は真偽（1と0）の二値論理だけれど、自然言語はファジー論理（0以上1以下の実数）だな、という趣旨。

@user-jo5go4qc2k Ай бұрын

五感からのインプットを使ってる自然言語を、文字情報のチャットツールでそのまま流用すると正確に伝わらないのはあるあるですね

@halbonueda 27 күн бұрын

シニフィエをアセンブラや機械語とすることもできますが、「意味論」で表される論理式や関数をシニフィエとする立場もあります。意味論をシニフィエにすることで、異なるコードが同じバイナリを出すべきかどうかを、論理式の等価性の証明で検証することができます。コンパイラの最適化が正しいかどうかを意味論から証明するという分野もあります。

@fourfiveone5968 Ай бұрын

初コラボ！

@tktk5656 Ай бұрын

40:29 こっちだと油断するとすーぐプリン出てくんね

@saketaro4246 Ай бұрын

31:02 喩え話やメタファーの原典は神話や聖書、叙事詩や源氏物語とかに書いてあるから、「人類が生み出したコンテンツからの引用、またはその孫引き」で全部説明可能になりそう。ちな美しさを薔薇に例えはギリシャ神話のアフロディーテからくるみたいです。

@user-dr2ws4fw6b Ай бұрын

最近の水野さんの口の悪さが面白い。

@HitYoutube Ай бұрын

堀元さんの交際時代には堀元さんの印象が悪くならないように抑えていたんじゃないかな。

@Natsuki_256 Ай бұрын

大学の暗記勉強が向いて無さすぎてやめちゃったけど、あと5年くらいたったら大学の良さを感じるのかな…

@user-zs9mh3ci3k Ай бұрын

それを取っては普通周辺のものある意味、限定的相手の想像力内で補える

@user-zs9mh3ci3k Ай бұрын

小さいコンピューターであれば、コンパイラの分量も制約されるでしょうか？コンパイラで埋まってしまっては意味がないのでコンピュータに詳しい方説明希望

@user-pf4jy1hg2e Ай бұрын

たくさんの情報云々の件どこにでもある単なる安いバタークッキーには、大した情報量ないけれど、情緒とか風情とか季節感がある方が（たとえば和菓子）「単に甘いもの」っていうものよりより豊かに感じる。

@user-lj7wc2dl2s Ай бұрын

前半を聞いていて、LLVMの話を連想しました

@user-zs9mh3ci3k Ай бұрын

コンパイラをコンピューターが作るようになったらどうなるんだろう人間が作るより合理的だったりして

@user-zs9mh3ci3k Ай бұрын

機械に指示するための言語として合理的

@tktk5656 Ай бұрын

37:05 「3割しか伝わらない」を羨むかそうでないか、文脈で変わりそうね。

@user-lu1nn8zm8j Ай бұрын

学部がわからない高3です。この動画やチューリング回みたいな数学に近い情報について興味があります。情報学部(社会情報学部)ではこのようなことを習いますか?　工学部の情報系じゃないと習わないですか?　知ってる方がいれば教えて欲しいです🙇

@user-uc7nk4wb8u Ай бұрын

（大学によりますが）習うと思います。ちなみに、基本的に必修と被っていなければ他学部の授業を受けることもできると思います。（私は理学部ですが文学部の授業とか勝手に受けています。）また、「大学名学部シラバスor講義内容」とかで調べるとどういう授業が展開されているかがわかる場合もあります。

@minami_alinko Ай бұрын

工学部の情報系でもソフトウェア寄りとハードウェア寄りがあったりします。大学のシラバスを調べることを強くお勧めします。（大昔の80年代の工学部はそこが曖昧で、情報工学の学科に入ったもののハードウェア寄りで、在学中にソフトウェア寄りの情報工学の学科が別に新設されたということを体験してね…。今はググれば容易にわかるし学科名で区別もつくようになってるけど、当時そもそもネットないし。）

@user-lu1nn8zm8j Ай бұрын

ありがとうございます🙇　シラバス調べてみます!

@user-cg2kj5gj5t 24 күн бұрын

私は元外大生で、外国語学部の言語学専攻に在籍していました。学生時代、他大学の哲学科の人と話していて、その人は言語学に少し興味が湧いて（現代哲学の一分野にズバリ言語哲学というものがあります）教科書を手にした事があるらしいのですが、それが音声学の教科書だったと聞いて大笑いした記憶があります。音声学というのは平たく言うと発音を研究する学問なので、おそらく一番哲学と縁遠いジャンルだと思います。

@hykathon Ай бұрын

17:08 堀元さんにはカリー=ハワード同型対応とかのキーワードが刺さるのかもしれない。

@chon066 Ай бұрын

マルチモーダルで運用してる言語をマルチモーダルではない方法で解析するのには限界がありそうだなと感じました

@TakamiChie Ай бұрын

48:49 牛乳を6個買うことは買い物に行く間隔によっては割とよくありそうですね(うちも週2なので実際一度に4本くらいは買う)。ただ卵のあるなしで1個が6個に変わることの方には疑問を抱いた方がいいですね、オムライス作るにしてもそこまで極端には使わないですし(そういう話じゃない)

@_Ochiba_fukafuka_ Ай бұрын

『目は口ほどにモノを言う』とはよく言ったものだ。昔から高効率がわかっていらっしゃる。さらに、視覚情報は光速で目に入力されるので音声より何倍も伝達速度が高い。

@ri1944 Ай бұрын

まあ遠くの情報なら光のほうが速いのかな

@main1272 Ай бұрын

全部言わなくてもわかるのは効率がいいつまり動的型付け言語サイコーってコト!?

@user-fantasma_in_machina Ай бұрын

4:13 ロングアゴ型とか作れるのかな?

@tantotbee Ай бұрын

人間は脳がスケールアウトできなかったり会話で帯域をなるべく消費せず節約するためにステートフルを選択してコンピューター(RESTful API)は逆の方が都合がいいからステートレスに進化していったという感じですかね

@ePhSh Ай бұрын

プログラマーの主張は自然言語は正確性に欠ける場合があるであって、効率が悪いではないような気がします。最後の話は論理がすり替わってる

@user-zs9mh3ci3k Ай бұрын

人の弦は発生と消滅がある。コンピューターにはあるんだろうか？

@nozome-jin Ай бұрын

34:00 あたりの「言語学に比べて羨ましい」はある意味そうかも知れません。数学は定義が厳密なので、公理・原理の上で成り立つものだと合意が得られさえすれば論議は成り立ちます。そういった点で自然言語は、公理がさらに別の公理を参照しており、さらにその公理も別の公理を参照している....のようなものなので難しいのだと思います。と思ったら文面だけでなく、感覚神経から取り込んだ情報を含めればよかったんですね