5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

プログラミング言語Egison

1 :デフォルトの名無しさん:2013/10/31(木) 20:35:59.36
パターンマッチが強力みたいです。

2 :デフォルトの名無しさん:2013/10/31(木) 20:41:14.77
すげw スレが立ってるwww

3 :デフォルトの名無しさん:2013/10/31(木) 21:54:00.12
リンクぐらい貼れ

4 :デフォルトの名無しさん:2013/10/31(木) 22:00:37.35
非線形の代数のパターンマッチって何?

5 :デフォルトの名無しさん:2013/10/31(木) 23:45:57.39
http://www.egison.org/etc/history-j.html

作者はなかなかぶっ飛んでるなwww
無職で暇だったらこのスレ来てくれんかな

6 :デフォルトの名無しさん:2013/11/01(金) 00:08:49.11
エギソンって読むんだね

7 :デフォルトの名無しさん:2013/11/01(金) 01:04:35.22
Egisonの歴史ワロタw
結婚して無職とか頑張れ

8 :デフォルトの名無しさん:2013/11/01(金) 01:05:52.35
結婚オメ

9 :デフォルトの名無しさん:2013/11/01(金) 01:55:32.54
構文や記号が非直感的でとっつきにくいけど
目的としてる内容は簡素にかけるね
未踏に選ばれるだけある

10 :デフォルトの名無しさん:2013/11/01(金) 02:03:13.86
ってか最強学歴+未踏に選ばれても
googleに落ちるんだな・・・
どんな会社だよwww

11 :デフォルトの名無しさん:2013/11/01(金) 02:45:13.71
SQL くらい簡単に書けるようにしてくれ

12 :デフォルトの名無しさん:2013/11/01(金) 11:54:42.89
>>5
キモっ

13 :デフォルトの名無しさん:2013/11/01(金) 12:08:40.89
いかにも作者が宣伝で立てたようなスレだな

14 :デフォルトの名無しさん:2013/11/01(金) 12:21:34.45
正規表現を処理するアレコレをゴリゴリ書いてるから、涙が出た。
他の言語でも使えないかな。

15 :デフォルトの名無しさん:2013/11/01(金) 15:07:53.08
未踏とか選ばれているようじゃ
ゴミだな

16 :デフォルトの名無しさん:2013/11/01(金) 16:02:24.46
>>15
どうしてそう思うの?

17 :デフォルトの名無しさん:2013/11/01(金) 16:22:39.32
俺は以前ブラウザもどきが選ばれてるのを見てなんじゃこりゃと思ったな

18 :デフォルトの名無しさん:2013/11/01(金) 16:29:33.75
最近はスーパープログラマだっけ?あの会社のゴミプログラマがなってたな。

19 :デフォルトの名無しさん:2013/11/01(金) 16:29:17.85
未踏は書類書くのが上手い香具師と
東大みたいな官僚とずぶずぶのところが通りやすい

20 :デフォルトの名無しさん:2013/11/01(金) 17:10:44.46
OCamlで実装してほしい(切実

21 :デフォルトの名無しさん:2013/11/01(金) 17:16:00.86
>>19
どっちもダメだったんですね。

22 :デフォルトの名無しさん:2013/11/01(金) 17:18:25.16
採択率No1電通大

23 :デフォルトの名無しさん:2013/11/01(金) 20:04:37.09
若いときに補助金貰って乞食することを覚えると
まともに働けなくなるんだな

24 :デフォルトの名無しさん:2013/11/01(金) 20:33:24.62
プログラミング言語エジソン?

25 :デフォルトの名無しさん:2013/11/01(金) 21:09:08.94
江木損

26 :デフォルトの名無しさん:2013/11/02(土) 18:55:17.69
江木だからEgisonか
なるほど

27 :デフォルトの名無しさん:2013/11/02(土) 19:01:04.56
歴史を何度見ても笑ってしまう

28 :デフォルトの名無しさん:2013/11/02(土) 19:16:38.96
"ゴミ"を連発するuy名無しで乙

29 :デフォルトの名無しさん:2013/11/02(土) 21:48:52.97
これって実際のところ、どのくらいの新規性があるの?

30 :デフォルトの名無しさん:2013/11/02(土) 21:51:03.72
どの言語に採用しても
便利だろう

31 :デフォルトの名無しさん:2013/11/02(土) 21:54:21.12
>>29
関数型SQL

32 :デフォルトの名無しさん:2013/11/02(土) 22:04:47.99
正規表現と同等かそれ以上の記述が出来て当たり前という感覚なので、あまり新しさは感じない。
地球ではこんなのが未踏なのか?

33 :デフォルトの名無しさん:2013/11/02(土) 22:07:43.93
>>32
あんたの星ではどこまで踏んづけてるんや?

34 :デフォルトの名無しさん:2013/11/02(土) 22:23:52.18
>>33
最終言語

35 :デフォルトの名無しさん:2013/11/02(土) 22:26:59.78
それどんな言語?
Z言語とか言うのか?

36 :デフォルトの名無しさん:2013/11/02(土) 22:34:13.90
Z言語って言葉はすでにある。地球人も頑張ってればいつかゴールできる最終地点。

37 :デフォルトの名無しさん:2013/11/02(土) 22:37:48.61
わかった
がんばるからどんな言語か教えてたもれ

38 :デフォルトの名無しさん:2013/11/02(土) 22:40:31.84
>>32
正規表現だと間に余計なのが何個も入るやろ

39 :デフォルトの名無しさん:2013/11/02(土) 22:46:10.36
答えが1つというのは言語の個性が失われた実に寂しい世界だよ。
研究という地球人の楽しみを奪う気はないので教えられる事は限られる。

40 :デフォルトの名無しさん:2013/11/02(土) 22:47:48.95
>>39
我々人類は何合目まで来てるんだ?

41 :デフォルトの名無しさん:2013/11/02(土) 22:57:37.24
>>40
わからない。研究者による。
富士山に登って世界一高い山に登頂成功したぞ!と勘違いしている状態。

42 :デフォルトの名無しさん:2013/11/02(土) 23:03:20.58
いやそれはないだろ
まだ登頂成功したと言える言語は無いぞ
C++をある程度使いこなせると
そういう錯覚に陥ったことは確かだが

43 :デフォルトの名無しさん:2013/11/02(土) 23:04:12.75
富士山登るのはすごいよ

44 :デフォルトの名無しさん:2013/11/02(土) 23:14:52.18
地球の言語の主要パラダイムと宇宙の言語の主要パラダイムとはかなり違ってて、
それらの合成だったり分解だったりする。だから明確な進捗状況があるわけじゃない。

45 :デフォルトの名無しさん:2013/11/03(日) 00:28:36.78
マニュアルの中の例で、
> (match-all {1 2 3 4} (list integer)
[<cons $x $xs> [x xs]])
{[1 {2 3 4}]}

は、なんで{[1 [2 3 4]]}ではないの?
list integerとするならcdr側の$xsもlist integerにならないの?

46 :デフォルトの名無しさん:2013/11/03(日) 00:45:13.48
そうか、リストを[ ]で表してるんじゃないのか
Collectionは全部{ }で表現して、マッチさせるときに(list integer)とか指定するんだ
でもどうしてそうするの?

47 :デフォルトの名無しさん:2013/11/03(日) 01:26:39.59
>>5
何この人・・・・・・
ロックだ。。。

48 :デフォルトの名無しさん:2013/11/03(日) 01:40:25.36
>>42
革新的パラダイムが一向に出てこないだろ。そういう状態。

49 :デフォルトの名無しさん:2013/11/03(日) 02:18:00.24
正直Egisonは革新的パラダイムになる可能性を感じる

50 :デフォルトの名無しさん:2013/11/03(日) 03:08:07.43
さとし、くだらないこと言ってないで宿題やりなさい

51 :デフォルトの名無しさん:2013/11/03(日) 04:00:23.44
>>45-46
[<cons $x $xs> [x xs]]
これ外側の[]はパターンマッチ処理のリストじゃないのか?

52 :デフォルトの名無しさん:2013/11/03(日) 09:13:16.56
>>45
xs相当部分の順序に関するパターンがないからじゃないかな

53 :デフォルトの名無しさん:2013/11/03(日) 09:14:10.27
[]はリストではなくTuple
ぱたーん処理をTupleで表記しているだけ

54 :デフォルトの名無しさん:2013/11/03(日) 12:41:59.26
Ω言語はよ

55 :デフォルトの名無しさん:2013/11/03(日) 13:18:48.38
> (define $div2
(lambda [$x]
(match x (list integer)
{[<join $xs <cons (& ?(lambda [$x] (eq? (modulo x 2) 0)) $y) $zs>> (div2 {@xs (quotient y 2) @zs})]
[_ x]})))

この@は何の意味?
まだ説明していない要素を使用して説明しているところが多いので、ドキュメントを読んでもわからないことが多い

56 :デフォルトの名無しさん:2013/11/04(月) 10:30:48.07
江木さんは情熱大陸にでるべき

57 :デフォルトの名無しさん:2013/11/04(月) 17:01:53.85
http://ll.jus.or.jp/2011/slide/LT/egi.pdf

58 :デフォルトの名無しさん:2013/11/04(月) 19:59:24.46
PDFの中の論文、リンクが切れている

59 :デフォルトの名無しさん:2013/11/15(金) 09:28:53.96
> The creater of Egison starts to work in Rakuten Institute of Technology from today!

60 :デフォルトの名無しさん:2013/11/21(木) 18:34:33.77
なんかニュー速とかでも
Egisonの名前見るようになったんだが
知名度高いの?

61 :デフォルトの名無しさん:2013/11/21(木) 23:53:38.67
自演度が高い
TheEnd

62 :デフォルトの名無しさん:2013/11/22(金) 00:03:54.92
糞スレ上げるな

63 :デフォルトの名無しさん:2013/11/22(金) 14:10:53.76
EgisonってEdisonの間違いじゃないの?

64 :デフォルトの名無しさん:2013/11/22(金) 14:41:14.85
エギソン

65 :デフォルトの名無しさん:2013/11/23(土) 12:31:35.99
言語より江木さんが面白い

66 :デフォルトの名無しさん:2013/11/26(火) 00:39:25.64
いかに金を調達するかが重要な世界だと思う今日此頃

67 :デフォルトの名無しさん:2013/11/26(火) 02:02:49.34
>>23
ひょっとして情熱を注げない仕事だけが、世の中にある、まともな仕事だと思ってる?

68 :デフォルトの名無しさん:2013/11/26(火) 08:52:34.28
>>67
気にするな。
どうせ大した事は言っていない。

69 :デフォルトの名無しさん:2013/11/28(木) 21:26:58.83
>>5
これで笑えるのはISerだけだろ。内輪ネタ乙

70 :デフォルトの名無しさん:2013/11/28(木) 23:36:09.18
へそに溜まってたゴミを取ろうとしてたら
指がうんこ臭くなったそんな感じ

71 :デフォルトの名無しさん:2013/11/29(金) 00:11:33.27
その例えでわかるのは君の生活レベルだけだな

72 :デフォルトの名無しさん:2013/11/30(土) 22:27:00.97
エギソンは偉い人
そんなの常識
ぱっぱぱらりら

73 :デフォルトの名無しさん:2013/12/11(水) 18:14:12.06
楽天で働き始めてる
さすが

74 :デフォルトの名無しさん:2014/02/25(火) 09:33:55.35
どんな言語?

75 :デフォルトの名無しさん:2014/02/28(金) 10:40:57.48
エジソン

76 :デフォルトの名無しさん:2014/03/01(土) 10:18:16.73
これ結局流行んねーの?

77 :デフォルトの名無しさん:2014/03/03(月) 02:10:45.78
>>72の元の歌詞には何十年もずっと違和感を感じていたが、
今ふと偶然にも違和感の正体に気付いた。
本当に偶然、今風呂からあがってちょうど体もポカポカしてたから気付いたのかもしれないし、
もしかしたらエジソンではなく「エギソン」と書いてあったからこそ気付いたのかもしれない。
俺の気付いたことはもしかしたら常識的な感覚ではない可能性もあるが、
個人的にはストンと収まった感がある。
>>72には感謝する。
その違和感というのは

78 :デフォルトの名無しさん:2014/03/07(金) 23:21:06.60
エジソンの開発効率はどんな感じ?

79 :デフォルトの名無しさん:2014/03/10(月) 18:16:10.72
パターンマッチが最強ならいよいよPerlは不要だな

80 :デフォルトの名無しさん:2014/04/23(水) 00:23:18.20 ID:IStIaXKD
prolog,haskellのアレだろ
なんで、皆、使いづらい道具を作りたがるのか謎

81 :デフォルトの名無しさん:2014/05/08(木) 22:31:09.13 ID:jrP+8zy1
Egisonのスレなんてあったのかよww

82 :デフォルトの名無しさん:2014/06/23(月) 11:23:55.66 ID:KyP2nPw3
>>81
俺も今知ってびっくりしたw
まあ俺の場合 Egison を知ったのも一昨日なんだけどw

83 :デフォルトの名無しさん:2015/02/07(土) 00:00:39.64 ID:uaHika1Y
最近なんか進展無いのかな?

84 :デフォルトの名無しさん:2015/02/12(木) 03:41:23.78 ID:DTXdCLax
もし知っている人いたら質問したいんだけど
これC言語とか他言語から呼び出せる?
もしくはGUIのプログラムが書ける?

85 :デフォルトの名無しさん:2015/02/14(土) 06:36:30.88 ID:Z9ZmRxLI
麻雀の役判定とかがやりやすいのはいいけど
GUIができないと麻雀ゲーム作れないから意味ない
GUIの部分は他言語でもかまわないが

86 :84=85:2015/07/23(木) 08:15:43.44 ID:vXWRCJsm
RubyのGemがあるようなので
Ruby覚えてる

87 :84:2015/07/24(金) 21:28:24.34 ID:yGa2jmeM
しかしこれドキュメントは英語だけなのかな?

日本人が作ったんだから
日本語ドキュメント作ればいいのにと思う

日本語ドキュメントなかったら
Rubyみたいに流行ることなさそう

88 :デフォルトの名無しさん:2015/07/25(土) 00:58:20.71 ID:HvVfu3l+
日本語の文書付けると訳知り顔の日本人か朝鮮人か知らんけど、とにかく日本語の
わかるやつらに一大反対キャンペーはられるしな。

英語の文書だけ公開するのが吉。

Rubyが叩かれるのは、日本語の文書が有るから。

89 :デフォルトの名無しさん:2016/01/08(金) 00:16:50.74 ID:Ydps26p4
すいません、egison-rubyってmatchつかった再帰関数って書けますか?
なんかエラーになるんだけど原因がよくわからない。

90 :デフォルトの名無しさん:2016/01/23(土) 20:39:18.43 ID:GeIF04/U
配列の中のある特定の要素が1個以上連続するパターンはどうやったらかけますか

91 :デフォルトの名無しさん:2016/03/16(水) 01:25:59.73 ID:qfT0qZnc
こんなんでどう?先頭の.は半角スペースにしてください。
(define $any-series
..(lambda [$x $xs]
....(if (eq? x (car xs))
......(match xs (list something)
........{[(loop $i [1 $n] <cons ,x ...> <cons ^,x _>)
..........(take n (repeat1 x)) ]
.........[(loop $i [1 $n] <cons ,x ...> <nil>)
..........(take n (repeat1 x)) ] })
......(if (empty? (cdr xs)) {} (any-series x (cdr xs))))))
joinを使いたかったけどできなかった。
> (any-series 1 {1 2 2 2})
{1}
> (any-series 2 {1 2 2 2})
{2 2 2}
> (any-series 3 {1 2 2 2})
{}

92 :デフォルトの名無しさん:2016/05/04(水) 10:34:59.55 ID:lu7aLz6z
http://qiita.com/greymd/items/3515869d9ed2a1a61a49

93 :デフォルトの名無しさん:2017/05/10(水) 00:11:55.22 ID:/qtBCH3O
プログラミング言語Egisonによるガロア理論入門 (1) ―2次方程式の解の導出
https://codeiq.jp/magazine/2017/05/50263/

Egisonで1の原始5乗根の計算
https://codeiq.jp/q/3257

これ

94 :デフォルトの名無しさん:2017/05/10(水) 11:17:20.83 ID:Cp7+CNi6
アフィ乙江●

15 KB
新着レスの表示

★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50
名前: E-mail (省略可) :


read.cgi ver 05.04.00 2017/10/04 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)