次世代言語議論スレ【Go Rust Haskell Scala Erlang Elixir】 第二世代

1 名前：デフォルトの名無しさん mailto:sage [2017/02/11(土) 21:32:37.61 ID:0GjTSBdX.net] いざ、語ろうぞ。 前スレ 次世代言語議論スレ【Go Rust Haskell Scala Erlang Elixir】 [無断転載禁止]©2ch.net echo.2ch.net/test/read.cgi/tech/1479434349/ 168 名前：122 mailto:sage [2017/02/14(火) 08:44:44.67 ID:deUQRuVA.net] >>124 >>125 どう答えればよいか考え倦ねていたのですが、 Prologの場合は、基本論理式であることは確かですから、論理かなと 言われればその通りなのでしょう。 >>107の「私は帰ります」から始まるスレッドで言いたかったのは、 受け取った文そのものが、シンボルで即ち述語となるということ。 それが我々が自然言語を扱う時、自然言語に接する時の作法に近い。 そのシンボルはやがて分解されて、詳細な述語が生まれる。そしてまた それがDCG節で書いた二番目の定義、即ち、句構造への文法的な解析と ほぼ同型になる。そういう主張です。 169 名前：デフォルトの名無しさん [2017/02/14(火) 08:45:48.11 ID:ptdZF2Do.net] 開発されてた GitHub - JuliaLang/julia: The Julia Language: A fresh approach to technical computing. https://github.com/JuliaLang/julia 170 名前：デフォルトの名無しさん mailto:sage [2017/02/14(火) 09:38:35.37 ID:OAj0rQR0.net] >>168 Prolog、面白そうですね。やってみます。 FPでの自然言語処理だと、全てを読んだ訳ではない上での感想と理解いただきたいですが、 Computational Semantics with Functional Programming がFPらしい流儀で本格的なことやってるように見えました。 Draft版がpdfで読めます。 171 名前：デフォルトの名無しさん [2017/02/14(火) 10:03:37.62 ID:lPJlbUrB.net] Juliaはとりあえず永遠にStableにならなそうなふいんき（）をなんとかしてくれ。 同じ事がNimやElmにも言えるが。 172 名前：デフォルトの名無しさん mailto:sage [2017/02/14(火) 11:20:46.81 ID:QO8CQqzs.net] 俺数学大っ嫌い文系だけどオブジェクト指向言語より関数型言語のが好きなんだが異端なのか？ 173 名前：デフォルトの名無しさん [2017/02/14(火) 11:33:19.82 ID:ptdZF2Do.net] 手続き型は関数型を一般化したようなもので、関数型は手続き型を制限したようなもの。 手続き型ができれば、注意深くやれば関数型はかけるはず。 記法は別にしてほぼ一行でプログラムするようなこと。ハンターハンターでこんなのあるが。 制約と誓約についての詳しい考察 | キルアから見たHUNTER×HUNTER 念能力における概念の一つ。 自らの念能力に対し制約と誓約を課すことによってその威力と精度を著しく向上させることが出来る。 能力者のほとんどは「制約」のほうだけを自らの念能力に取り入れているケースが多く、 純粋に制約と誓約の両方を取り入れている能力者はクラピカくらいだと言える。 クラピカ 中指の鎖に対して「旅団以外には使わない」という制約と「旅団以外に使った場合は命を絶つ」という誓約を立てた。 作中では述べられていないが、恐らく制約のみを課すよりも制約と誓約の両方を課した方が能力がより向上するものと思われる。 kirua-hunterhunter.com/seiyaku/ 174 名前：デフォルトの名無しさん mailto:sage [2017/02/14(火) 12:28:22.89 ID:PhsD9VtO.net] >>172 洗練ということに価値をみる人だと至極当たり前の方向だと思う。 175 名前：デフォルトの名無しさん mailto:sage [2017/02/14(火) 12:33:23.61 ID:OAj0rQR0.net] >>172 物事の抽象化という点では文理関係ないのでは？ 受験数学だと抽象的でない暗記的な内容もあるでしょうし。例えば積分公式の暗記とか。 微分と積分が逆だとぼんやり理解するのが大事で、 ばっちり解析解（公式）が出るかはそりゃ出れば嬉しいけど、出ない方が多い。 そういう狭い領域が○×を判定しやすいという理由で試験にでているだけなのに、 それが数学の全てで、そういうテクニカルなことが嫌いだから数学も嫌いと思っている人は多いのではないでしょうか。 176 名前：デフォルトの名無しさん mailto:sage [2017/02/14(火) 13:05:57.35 ID:he6YB8dM.net] lim ver->1.0 JULIA ver 177 名前：デフォルトの名無しさん mailto:sage [2017/02/14(火) 15:41:28.41 ID:90/NuRRw.net] Haskellからは関数型言語という制約を課しながら手続き型言語になりたい という気持ちが伝わってくるからな。 結局、多様なオブジェクツからなる手続き型言語の理想世界を関数という アトムで表すことが夢の最終目的なんだよな。

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef