X
もしプログラミングに適した自然言語を作るとしたら
0001デフォルトの名無しさん
垢版 |
2019/10/16(水) 18:26:23.45ID:fafhvCts
どんな言語になるだろうか？

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

とか
0002デフォルトの名無しさん
垢版 |
2019/10/16(水) 19:40:51.36ID:bcBxjAM2
Wikipedia のコボルの項目を読んでくれ。
二次方程式をプログラミングするのがどれだけ大変か書いてある
0003デフォルトの名無しさん
垢版 |
2019/10/17(木) 05:48:10.44ID:26RQP0nr
>>2
COBOLは英語風にするものであって、
その英語が、そもそもプログラミングに適してな言語だから
プログラミングに適した自然言語があれば、
COBOLももっとわかりやすくなるだろうって話
0004デフォルトの名無しさん
垢版 |
2019/10/17(木) 06:00:45.48ID:2uY8qYjU
数学一択だと思う
スタートレックでも未知の知的生命体に会ったときは
ピカード艦長が簡単な数学でコミュニケーションとっていたし
数学は宇宙共通の自然言語だと思われ
0007デフォルトの名無しさん
垢版 |
2019/10/17(木) 13:56:31.37ID:msbWP/Fe
>>3
じゃあ、二次方程式をプログラミングするのに
どういう自然言語が適しているのか教えてくれ
0008デフォルトの名無しさん
垢版 |
2019/10/17(木) 22:18:23.85ID:z1/RyPhF
>>7
立体的な表記方法はなくすべきだと思う
例えば2乗とかルートとか。

2乗は^2と書くことも多いが、べき乗を表す記号の他に
ルートを表す記号とかも必要だろう。
0011デフォルトの名無しさん
垢版 |
2019/10/21(月) 13:25:09.72ID:hRejjaIv
よく知らんがロジバンとかログランはコンピュータで処理できるような言語になってるとか
0012デフォルトの名無しさん
垢版 |
2019/10/21(月) 14:16:43.41ID:qqa/WroJ
SQL が自然言語に近いが評判は悪い
処理の順番が決まっているからかもしれない
0013デフォルトの名無しさん
垢版 |
2019/10/21(月) 18:30:03.87ID:Lyi33uUR
>>12
逆やで、プログラム言語を自然言語にするんじゃなくて
自然言語をプログラム言語にするんや
0014デフォルトの名無しさん
垢版 |
2019/10/21(月) 19:13:26.46ID:p3hDTVkD
ロジバン ( lojban [loʒban] ) は、ログランを元に、さらなる機能性を追求して LLG が開発を引率してきた人工言語である。

ロジバンの表記法や統語法はいかなる不規則性もきたさないように設計されているため、コンピュータによる解析や人による読解が容易である。
(略)
日常会話としての言語だけでなく、プログラミング言語としての可能性も秘めている。
0015デフォルトの名無しさん
垢版 |
2019/10/21(月) 20:18:43.65ID:Qf9+D3BN
ロジバン→トキポナ→アーヴ語→星界の紋章
なんでワイがwikiるとすぐ星界の紋章にたどり着いてしまうんや…
0016デフォルトの名無しさん
垢版 |
2019/10/21(月) 20:54:43.29ID:Kc9FjQwr
人工言語は自然言語ではない
自然言語は自然発生するものだけを言うのであって、スレタイのように自然言語を作ることはできない
よってこのスレは無意味
0017デフォルトの名無しさん
垢版 |
2019/10/22(火) 07:59:11.36ID:wiC+CMuC
>>14
> 不規則性もきたさないように設計されているため

それな。英語とかmouseの複数形がなんでmiceなんだよ？
パソコンのマウスはmousesなんだからmiceにする理由ないだろ？
みたいなのがあるし
0018デフォルトの名無しさん
垢版 |
2019/10/22(火) 12:54:30.28ID:0svP/zpl
パソコンのマウスの複数形は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とする慣用表記法を普及させるのが良い。
0019デフォルトの名無しさん
垢版 |
2019/11/07(木) 07:29:43.65ID:spGMKH6R
>>1
ほい。既にRingってのがある。
どこまでできるかわからんが、試しにコイツでスレタイ言語を作ってみたらいいんじゃない？
ttps://ring-lang-081.osdn.jp/
0021デフォルトの名無しさん
垢版 |
2020/10/18(日) 12:37:47.89ID:8c79Sa1G
>プログラミングに適した自然言語を作

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

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

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

違うか？

「胸がドキドキする」は良いが、「チンポがシコシコする」はダメな理由を、５０字以内で述べろ！
0022デフォルトの名無しさん
垢版 |
2020/10/19(月) 11:04:37.02ID:9exYDGUx
なでしこ
0023デフォルトの名無しさん
垢版 |
2021/02/18(木) 04:00:15.44ID:sRdwF113
>>7
それは数値型の選定を過ったから無駄に複雑になるだけで、アルゴリズムの問題でも、ましてや言語の問題すらないんだが
CASに頼るまでもない、quadratic irrational型を使え、無ければ書け
rationalとirrationalの複合データ型だが、rational型はモダン言語なら標準であるし、無ければnumerator, denominatorのintタプルに四則を定義するだけ
irrational型組み込みは意識高い系言語くらいだが、同様に
0024デフォルトの名無しさん
垢版 |
2021/02/18(木) 04:07:49.58ID:sRdwF113
cで書いても桁落ちcatastrophic cancellationのワークアラウンド実装より短くなると思う
0025デフォルトの名無しさん
垢版 |
2021/02/18(木) 04:41:09.72ID:sRdwF113
初期値がfloatなど小数表示で与えられるなら、例えば123.456=123456/1000と整数の組で近似すればよいし、そもそも小数表示が不確かだ
微分方程式じゃあるまいし2次方程式に初期値鋭敏性なんてない、全部整数演算でやれば計算に誤差は一切無い、出力は上の逆変換
float演算と整数演算の数も殆ど変わらないしパフォーマンスも同じオーダー
0026デフォルトの名無しさん
垢版 |
2021/04/07(水) 16:15:33.55ID:ZUAxjqla
日本語も文語に限っていえば悪くない言語なんだがなぁ ……
語順が縛られていないのと省略が多いのが
難ではある。
0028デフォルトの名無しさん
垢版 |
2021/04/07(水) 21:19:18.41ID:ZUAxjqla
>>27
数学が機能するのは「数学的実在」に依存しているので、
「プログラミングに対応しているデータ表現とは別物」という
観点においては賛同する。

>>4
> スタートレックでも未知の知的生命体に会ったときは
> ピカード艦長が簡単な数学でコミュニケーションとっていたし
> 数学は宇宙共通の自然言語だと思われ
主語が抜けている。「1+1 は 2」とか「1 の次は 2」とかいうのは、
「定義」の話でしかない。
「『スター・トレック』というフィクション映画において、
『未知の知的生命体に遭遇したときに会ったときに、
簡単な数学でコミュニケーションを取れた』」というのは
ファンタジーの中のお話でしかない。
ファンタジックでロマンティックな世界に浸っていたいのなら、
ここのような知的なバトルの場に出てこないのが賢明と思われる。
0029デフォルトの名無しさん
垢版 |
2021/04/07(水) 21:31:46.59ID:ZUAxjqla
>>25
「実数」と「有理数」では、そもそも密度が違う（ℵ1 とℵ0）ので、
「近似小数」という範疇で数を扱っているのが現状。
そんなわけで、「有効数字」とか「誤差」とかいった工学的な領域で
勝負するのが本筋なので、「自然言語」という話だと、
そのあたりは双方に目配りするのが望ましいと思われ。
0031デフォルトの名無しさん
垢版 |
2021/04/16(金) 03:32:40.04ID:V2If8tRe
>>29
誰が実数の話をしてるんだよ…
係数は有理数からしか取れないという前提から、素直に有理表現すれば？という流れは追えてる？
2次方程式の解は有理数か"二次の無理数"であって、√の中に有理数が入るんだから、加算通りしかないので濃度は等しい
これはもっと一般化できて、全ての次数の方程式の解の集合は加算濃度
よって実数の100%を占めている数は、方程式のような系統的手段では見つけられない、まさに一つ一つ発見して命名しなければならないような数であって、πとかeとか精々10そこらしか見つかってないもの
0032デフォルトの名無しさん
垢版 |
2021/04/16(金) 03:41:03.85ID:V2If8tRe
そもそも代数的でない一般の実数を扱う需要ってあるのだろうか
興味を持たれてる一般の実数ってπくらいのもんだろ、それも既知の数でどれだけπに近づけるかゲームでしかないし
0033デフォルトの名無しさん
垢版 |
2021/04/23(金) 22:26:23.68ID:xBH90vPH
>>32
気持はわかるのだが、e とか円周率とかいった超越数が入ってくるので、
代数的な実数だけでは（解析的な）取扱いが難しいのだよ。
むしろ整数のほうがややこしい。
「64bit 整数から外れたら、無視」とかいった縛りがあったら
楽なんだけどね。「63bit の自然数の範囲では、コラッツ予想は正しい
ことが証明されている」とか、「ゴルドバッハ予想は証明されている」とか
言えちゃうわけだし。
0035デフォルトの名無しさん
垢版 |
2021/06/15(火) 11:40:26.69ID:vhbon9Jn
地味に有理数計算で困るのはirrational rotation(実数の剰余環)の計算
x mod nでxが有理数ならば次数は有限
仮に無限精度であっても必ず同じ値で循環してしまう
精度の問題ではなくて有理数の性質、有理数は無限にあるので
上手く法を選べば次数は有限濃度にできるが
0037デフォルトの名無しさん
垢版 |
2021/10/02(土) 10:49:45.05ID:LDw0e/l6
まさに英語がコレ
EnglishがProgramming言語書いたからEnglishが standardになったのだと思ってたら
実情は逆だった
今ではEnglishがあるから今のProgramming言語はあるのだ
そう思えるようになった
0038デフォルトの名無しさん
垢版 |
2021/10/02(土) 10:51:56.09ID:LDw0e/l6
イングランド人の無駄を嫌い生産性を求める姿勢がEnglishにはそのまま現れている
伊達にマズい飯を食ってきたわけではないのだ
新着レスの表示
レスを投稿する

ニューススポーツなんでも実況