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

1 ：：2019/10/16(Wed) 18:26:23 ID:fafhvCts.net

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

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

とか

2 ：：2019/10/16(Wed) 19:40:51 ID:bcBxjAM2.net

Wikipedia のコボルの項目を読んでくれ。
二次方程式をプログラミングするのがどれだけ大変か書いてある

3 ：デフォルトの名無しさん：2019/10/17(木) 05:48:10.44 ID:26RQP0nr.net

>>2
COBOLは英語風にするものであって、
その英語が、そもそもプログラミングに適してな言語だから
プログラミングに適した自然言語があれば、
COBOLももっとわかりやすくなるだろうって話

4 ：デフォルトの名無しさん：2019/10/17(木) 06:00:45.48 ID:2uY8qYjU.net

数学一択だと思う
スタートレックでも未知の知的生命体に会ったときは
ピカード艦長が簡単な数学でコミュニケーションとっていたし
数学は宇宙共通の自然言語だと思われ

5 ：デフォルトの名無しさん：2019/10/17(木) 06:01:29.80 ID:1mHvnb1C.net

作った時点で自然言語じゃないんだが

6 ：デフォルトの名無しさん：2019/10/17(木) 06:18:51.65 ID:gq3I2ckq.net

この言語を受理するチューリングマシーンが存在する

7 ：：2019/10/17(木) 13:56:31 ID:msbWP/Fe.net

>>3
じゃあ、二次方程式をプログラミングするのに
どういう自然言語が適しているのか教えてくれ

8 ：デフォルトの名無しさん：2019/10/17(木) 22:18:23.85 ID:z1/RyPhF.net

>>7
立体的な表記方法はなくすべきだと思う
例えば2乗とかルートとか。

2乗は^2と書くことも多いが、べき乗を表す記号の他に
ルートを表す記号とかも必要だろう。

9 ：：2019/10/18(Fri) 03:18:11 ID:p2PXkZRX.net

ゲームブックでええやん

10 ：：2019/10/18(Fri) 16:02:05 ID:e+8RgQym.net

「数式」は「自然言語」なのか

11 ：デフォルトの名無しさん：2019/10/21(月) 13:25:09.72 ID:hRejjaIv.net

よく知らんがロジバンとかログランはコンピュータで処理できるような言語になってるとか

12 ：デフォルトの名無しさん：2019/10/21(月) 14:16:43.41 ID:qqa/WroJ.net

SQL が自然言語に近いが評判は悪い
処理の順番が決まっているからかもしれない

13 ：デフォルトの名無しさん：2019/10/21(月) 18:30:03.87 ID:Lyi33uUR.net

>>12
逆やで、プログラム言語を自然言語にするんじゃなくて
自然言語をプログラム言語にするんや

14 ：デフォルトの名無しさん：2019/10/21(月) 19:13:26 ID:p3hDTVkD.net

ロジバン ( lojban [loʒban] ) は、ログランを元に、さらなる機能性を追求して LLG が開発を引率してきた人工言語である。

ロジバンの表記法や統語法はいかなる不規則性もきたさないように設計されているため、コンピュータによる解析や人による読解が容易である。
(略)
日常会話としての言語だけでなく、プログラミング言語としての可能性も秘めている。

15 ：デフォルトの名無しさん：2019/10/21(月) 20:18:43.65 ID:Qf9+D3BN.net

ロジバン→トキポナ→アーヴ語→星界の紋章
なんでワイがwikiるとすぐ星界の紋章にたどり着いてしまうんや…

16 ：デフォルトの名無しさん：2019/10/21(月) 20:54:43 ID:Kc9FjQwr.net

人工言語は自然言語ではない
自然言語は自然発生するものだけを言うのであって、スレタイのように自然言語を作ることはできない
よってこのスレは無意味

17 ：デフォルトの名無しさん：2019/10/22(火) 07:59:11.36 ID:wiC+CMuC.net

>>14
> 不規則性もきたさないように設計されているため

それな。英語とかmouseの複数形がなんでmiceなんだよ？
パソコンのマウスはmousesなんだからmiceにする理由ないだろ？
みたいなのがあるし

18 ：デフォルトの名無しさん：2019/10/22(火) 12:54:30.28 ID:0svP/zpl.net

パソコンのマウスの複数形はmousesも使われると辞書には載っているが、
実際にはmiceの方が多く使われている。

Computer Mice & Mouse Options | Microsoft
https://www.microsoft.com/accessories/en-us/mice

Mice, Computer Mice, Mac & PC Wireless Mice | Logitech
https://www.logitech.com/en-gb/mice

プログラミングで英語を使うときに問題になるのは、動詞の命令形と過去分詞形が
同形のものがあることだな。例えば、ReadDataが「データを読み込め」なのか
「読み込まれたデータ」なのか区別できない。プログラミング分野では後者を
規則活用化しReadedDataとする慣用表記法を普及させるのが良い。

19 ：デフォルトの名無しさん：2019/11/07(木) 07:29:43.65 ID:spGMKH6R.net

>>1
ほい。既にRingってのがある。
どこまでできるかわからんが、試しにコイツでスレタイ言語を作ってみたらいいんじゃない？
ttps://ring-lang-081.osdn.jp/

20 ：デフォルトの名無しさん：2020/03/17(火) 17:15:46.58 ID:55EeZ8o4.net

スレタイが定義矛盾起こしてて草

21 ：デフォルトの名無しさん：2020/10/18(日) 12:37:47.89 ID:8c79Sa1G.net

>プログラミングに適した自然言語を作

「チンポがシコシコする」という自然言語はどうだろうか？

チンポ「を」シコシコするのではなくて、チンポ「が」シコシコする。この場合、「チンポ」は主語となる。

オブジェクト指向で言う「集約」は２種類あって、全体（俺）と部分（チンポ）が繋がっている場合と、
全体（俺）と部分（チンポ）が別々になっている場合とが考えられる。けれども「チンポ」はそれ自体
が独立した生き物であり、所有者の意思とは無関係に、自ら勃起して「シコシコする」。
例えば寝てる時にエロい夢みて朝起きてみたらチンコが勃起して射精してたとか。

違うか？

「胸がドキドキする」は良いが、「チンポがシコシコする」はダメな理由を、５０字以内で述べろ！

22 ：デフォルトの名無しさん：2020/10/19(月) 11:04:37.02 ID:9exYDGUx.net

なでしこ

23 ：デフォルトの名無しさん：2021/02/18(木) 04:00:15.44 ID:sRdwF113.net

>>7
それは数値型の選定を過ったから無駄に複雑になるだけで、アルゴリズムの問題でも、ましてや言語の問題すらないんだが
CASに頼るまでもない、quadratic irrational型を使え、無ければ書け
rationalとirrationalの複合データ型だが、rational型はモダン言語なら標準であるし、無ければnumerator, denominatorのintタプルに四則を定義するだけ
irrational型組み込みは意識高い系言語くらいだが、同様に

24 ：デフォルトの名無しさん：2021/02/18(木) 04:07:49.58 ID:sRdwF113.net

cで書いても桁落ちcatastrophic cancellationのワークアラウンド実装より短くなると思う

25 ：デフォルトの名無しさん：2021/02/18(木) 04:41:09.72 ID:sRdwF113.net

初期値がfloatなど小数表示で与えられるなら、例えば123.456=123456/1000と整数の組で近似すればよいし、そもそも小数表示が不確かだ
微分方程式じゃあるまいし2次方程式に初期値鋭敏性なんてない、全部整数演算でやれば計算に誤差は一切無い、出力は上の逆変換
float演算と整数演算の数も殆ど変わらないしパフォーマンスも同じオーダー

26 ：デフォルトの名無しさん：2021/04/07(水) 16:15:33.55 ID:ZUAxjqla.net

日本語も文語に限っていえば悪くない言語なんだがなぁ ……
語順が縛られていないのと省略が多いのが
難ではある。

27 ：デフォルトの名無しさん：2021/04/07(水) 18:12:07.00 ID:SjTde1ix.net

>>4
そんなら今書いた文章を数学で書けや

28 ：デフォルトの名無しさん：2021/04/07(水) 21:19:18.41 ID:ZUAxjqla.net

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

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

29 ：デフォルトの名無しさん：2021/04/07(水) 21:31:46.59 ID:ZUAxjqla.net

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

30 ：デフォルトの名無しさん：2021/04/09(金) 17:32:42.18 ID:2okAm0d6.net

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

31 ：デフォルトの名無しさん：2021/04/16(金) 03:32:40.04 ID:V2If8tRe.net

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

32 ：デフォルトの名無しさん：2021/04/16(金) 03:41:03.85 ID:V2If8tRe.net

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

33 ：デフォルトの名無しさん：2021/04/23(金) 22:26:23.68 ID:xBH90vPH.net

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

34 ：デフォルトの名無しさん：2021/06/08(火) 15:38:04.65 ID:bmgoTOXu.net

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

35 ：デフォルトの名無しさん：2021/06/15(火) 11:40:26.69 ID:vhbon9Jn.net

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

36 ：デフォルトの名無しさん：2021/08/23(月) 06:54:45.52 ID:3LHf9Adl.net

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

37 ：デフォルトの名無しさん：2021/10/02(土) 10:49:45.05 ID:LDw0e/l6.net

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

38 ：デフォルトの名無しさん：2021/10/02(土) 10:51:56.09 ID:LDw0e/l6.net

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

39 ：デフォルトの名無しさん：2022/11/10(木) 15:01:31.07 ID:hKTEt746c

大多数の議員が統−教会の集會に出席して褒め称えて会費まで支払って祝電まで送って會長を官邸にまて゛招待してた統‐教会と
━心同体の自民党が、白々しくロ先だけで関係を断つだのほさ゛いて，現状を何ひとつ変えようとしないあたり分かりやすいよな
私腹を肥やしたいだけの世界最悪の殺人腐敗利権集団公明党も石川博崇、高木陽介．佐藤茂樹か゛統ー教會と繋か゛ってたし，
政教分離などの宗教全体の問題になることを必死に姑息に阻止して，統─教会を擁護してるあたりも分かりやすいだろ＞創価学会員
都心まで数珠つなぎでクソ航空機に騒音に温室効果ガスにコ□ナにとまき散らさせて，クソポリ公ヘリまて゛ク゛儿グ儿飛は゛させて，
旅行支援もとい人殺し支援た゛のと税金て゛気候変動させて地球破壊して，日本と゛ころか世界中て゛土砂崩れに洪水．暴風，大雪、猛暑，
干は゛つ．森林火災にと災害連發させて，世界中の住民の生命と財産を賄賂癒着組織に強奪させてる世界最悪のテ囗組織自民公明に
乗っ取られた腐敗テ囗國家の暴走を止めるには，民主主義の教祖山上大先生みたいなのか゛大勢出てこないとどうしようもないな

創価学會員は．何百萬人も殺傷して損害を与えて私腹を肥やし続けて逮捕者まて゛出てる世界最惡の殺人腐敗組織公明党を
池田センセ−か゛ロをきけて容認するとか本氣て゛思ってるとしたら侮辱にもほと゛か゛あるそ゛！
https://i.imgur.com/hnli1ga.jpeg

40 ：デフォルトの名無しさん：2023/08/07(月) 04:49:53.62 ID:M2MU5/esx

防衛名目の軍拡利権、少孑化名目の私利私欲利権、旅行支援名目の気候変動災害連発騒音私権侵害の強盗殺人利権による白々しい増税の数々
安全保障を取り巻く状況とか何も変わってないし，原爆使ってみたかった某ならす゛者國家はWW2て゛日本に先制攻撃させる工作してたわけだが、
キチカ゛ヰナセ゛レンスキ―と共謀しての囗シア攻撃と同じ手法て゛，台湾ついでに曰本も巻き込んて゛自民公明と共謀してクソシナ攻撃したいた゛けな
貧乏人が子供なんて作ったら遺棄罪て゛逮捕するのか゛筋た゛ろうに，子供給付とか子や嫁と得た効用の対価を赤の他人から奪い取る不当利得だわな
他人の子を連れ込んで育てる行為を推進するとか，乱交推進して誰の子か分からなくするとかしないと，憲法の下の平等なんて確保できんた゛ろ
小池テ゛夕ラメ百合孑なんて私立に行かせてる金持ちの親に毎年１０万くれてやるとか、税金て゛個人の資産形成させるなら税金泥棒公務員利権の
ナマポやら廃止して給付付き税額控除とかやるのが筋だろ、つか風俗で働いて孑育てしてる自立した女はいくらて゛もいるた゛ろうに，そんな女と
陳情寄生蟲女と、温室効果ガスに騒音にコロナにとまき散らして人殺して他人の権利を強奪して儲けてる強盜殺人女とクズっふ゜り比較してみろ

創価学會員は，何百万人も殺傷して損害を与えて私腹を肥やし続けて逮捕者まで出てる世界最惡の殺人腐敗組織公明党を
池田センセ―が□をきけて容認するとか本気で思ってるとしたら侮辱にもほと゛があるぞ！
ｈТΤＰｓ：／／ｉ．ｉｍｇｕｒ、сοｍ／hnli1ga.jpeg

41 ：デフォルトの名無しさん：2024/03/16(土) 04:35:06.72 ID:H5459IwZB

温室効果カ゛スに騒音にコロナにとまき散らして人殺して私権侵害して私腹を肥やす強盗殺人組織ジェットクサ ─に爆破予告した環境先進国
ドイツの大先生、この場を借りてrespеkt宣言するぜ！それにしても、ガキがいるから新幹線でなくクソ航空テロリストにテロ資金供与する
だのとナメたことほざいてたババァにはドン引きだよな、カ゛キがいるならガキの将来のために地球破壊するのはやめとこうとか思うのが親
としての最低限の良識だろうに、貧乏やクズやバカた゛けど不幸な子を産み落としていいのかしらとか勘違いさせて、路上て゛親子切りつけた
不幸な少女みたいなのを増やす目的ですでに他人から強奪した莫大な税金くれてやってるわけだが、さらにマッチポンプ利権倍増させて
世界最悪の腐敗テロ國家を猛進してやがるし、わざわざ陸域縦断させて閑静な住宅地にまで大騒音まき散らさせて平穏な生活を根底から破壞
して，知的産業に威力業務妨害して壊滅させて地球破壊してエネ価格暴騰させて他人の権利を強奪して私腹を肥やし続ける害虫か゛跳梁跋扈
する腐敗テロ国家でマトモな子が育つわけか゛ない、こいつらテロリストに破防法適用して全員処刑することのみが少子化対策だと気づけカス
（ref.) ttps：//www.call４.jp／info.php?Tyрe＝items&id=I０0000６２
Τtps://haneda-project.jimdofreе.com/　, ttＰs:/／flight-routｅ.com/
ＴТps://n-souonhigaisosyoudan.amｅbaownd.com／