もしプログラミングに適した自然言語を作るとしたら

**デフォルトの名無しさん** · 2019/10/16(水) 18:26:23.45

どんな言語になるだろうか？

冠詞はなし。複数形は存在する。
単語の区切りはスペース。

とか

**デフォルトの名無しさん** · 2021/04/07(水) 21:19:18.41

>>27
数学が機能するのは「数学的実在」に依存しているので、
「プログラミングに対応しているデータ表現とは別物」という
観点においては賛同する。

>>4
> スタートレックでも未知の知的生命体に会ったときは
> ピカード艦長が簡単な数学でコミュニケーションとっていたし
> 数学は宇宙共通の自然言語だと思われ
主語が抜けている。「1+1 は 2」とか「1 の次は 2」とかいうのは、
「定義」の話でしかない。
「『スター・トレック』というフィクション映画において、
『未知の知的生命体に遭遇したときに会ったときに、
簡単な数学でコミュニケーションを取れた』」というのは
ファンタジーの中のお話でしかない。
ファンタジックでロマンティックな世界に浸っていたいのなら、
ここのような知的なバトルの場に出てこないのが賢明と思われる。

**デフォルトの名無しさん** · 2021/04/07(水) 21:31:46.59

>>25
「実数」と「有理数」では、そもそも密度が違う（ℵ1 とℵ0）ので、
「近似小数」という範疇で数を扱っているのが現状。
そんなわけで、「有効数字」とか「誤差」とかいった工学的な領域で
勝負するのが本筋なので、「自然言語」という話だと、
そのあたりは双方に目配りするのが望ましいと思われ。

**デフォルトの名無しさん** · 2021/04/09(金) 17:32:42.18

小説「1984」に出てくるニュースピークがなんかプログラム言語ぽい。

**デフォルトの名無しさん** · 2021/04/16(金) 03:32:40.04

>>29
誰が実数の話をしてるんだよ…
係数は有理数からしか取れないという前提から、素直に有理表現すれば？という流れは追えてる？
2次方程式の解は有理数か"二次の無理数"であって、√の中に有理数が入るんだから、加算通りしかないので濃度は等しい
これはもっと一般化できて、全ての次数の方程式の解の集合は加算濃度
よって実数の100%を占めている数は、方程式のような系統的手段では見つけられない、まさに一つ一つ発見して命名しなければならないような数であって、πとかeとか精々10そこらしか見つかってないもの

**デフォルトの名無しさん** · 2021/04/16(金) 03:41:03.85

そもそも代数的でない一般の実数を扱う需要ってあるのだろうか
興味を持たれてる一般の実数ってπくらいのもんだろ、それも既知の数でどれだけπに近づけるかゲームでしかないし

**デフォルトの名無しさん** · 2021/04/23(金) 22:26:23.68

>>32
気持はわかるのだが、e とか円周率とかいった超越数が入ってくるので、
代数的な実数だけでは（解析的な）取扱いが難しいのだよ。
むしろ整数のほうがややこしい。
「64bit 整数から外れたら、無視」とかいった縛りがあったら
楽なんだけどね。「63bit の自然数の範囲では、コラッツ予想は正しい
ことが証明されている」とか、「ゴルドバッハ予想は証明されている」とか
言えちゃうわけだし。

**デフォルトの名無しさん** · 2021/06/08(火) 15:38:04.65

>>28
便所の落書きを知的バトルとかいうの草

**デフォルトの名無しさん** · 2021/06/15(火) 11:40:26.69

地味に有理数計算で困るのはirrational rotation(実数の剰余環)の計算
x mod nでxが有理数ならば次数は有限
仮に無限精度であっても必ず同じ値で循環してしまう
精度の問題ではなくて有理数の性質、有理数は無限にあるので
上手く法を選べば次数は有限濃度にできるが

**デフォルトの名無しさん** · 2021/08/23(月) 06:54:45.52

>>28
異次元生命体を想定してて草

**デフォルトの名無しさん** · 2021/10/02(土) 10:49:45.05

まさに英語がコレ
EnglishがProgramming言語書いたからEnglishが standardになったのだと思ってたら
実情は逆だった
今ではEnglishがあるから今のProgramming言語はあるのだ
そう思えるようになった

**デフォルトの名無しさん** · 2021/10/02(土) 10:51:56.09

イングランド人の無駄を嫌い生産性を求める姿勢がEnglishにはそのまま現れている
伊達にマズい飯を食ってきたわけではないのだ