d.y.d. - セキュリティ＆プログラミングキャンプ

17:05 09/08/31 FLTV FLTV で、 『レトリカルプログラミング』（副題： 真・自然言語プログラミング）と題して発表してきました： 発表スライド。 未来の言語…と言われて、いつもしているような言語機能妄想をバラバラと語ればよいのかなー と思って途中まで発表ネタを組んでたのですが、 やっぱり一本スジが通ってる方が面白いだろうということで、一つ軸を通しました。 テーマは「日本語や英語をプログラミング言語と見なしてみると、 実はヤツらはとてもパワフルで凄いので未来の言語は是非パクるべき」。 スライドでは私の思う具体例を３つほど挙げてるんですが、 まあそれはあくまで例でして、伝えたかったのは 「ちょっとみなさん自然言語からプログラミング的な『機能』を探すという考え方をしてみると面白いかもですよ？」 という軸そのものの方です。きっとあの３つの他にも色々あるはず。 ネタ元は、 今年の

[hitsujibane]

プログラミング言語理論で流行っている事柄についての説明

[sshi]

「id:hzkr さんと id:cafelier さんも、この際なので正式に束ねて」/なんだってー id:hzkrってkinabaさんだったのか。ひとり勉強会もよく読んでたのにまああああああああったく気がついてなかった。そうだったのかー

[h-hirai]

「FLTV で、『レトリカルプログラミング』と題して発表してきました」自然言語の(構文ではなく)「機能」をプログラミング言語に取り込もう、という発表。すごいおもしろい。/けど、継続はやっぱり難しい＞＜

[terazzo]

自然言語のメタプログラミング能力すげー、というか、継続とか部分適用って意外と自然な(普遍的に存在するという意味で)ものなのかも。

[kotas]

おもしろ > 「『レトリカルプログラミング』（副題： 真・自然言語プログラミング）」「自然言語からプログラミング的な『機能』を探す」

[hyuki]

"証明をプログラミングする！"というPDFがおもしろかった。稲葉一浩さん。

[tarao]

「いまどきの！？プログラミング言語理論」

[TAKESAKO]

本当にありがとうございました

[yoshihiro503]

いまどきの！？プログラミング言語理論

[Pasta-K]

お世話になりました！！！！！！！！！！